Compact Part One Analysis 2024
Compact Part One Analysis 2024
Stefano Ferri
September 8, 2024
1 Introduction.
These notes are meant to complement, not to replace, the content of the
textbook [1].
In this notes we shall present the basic definitions and properties of
compact spaces. The concepts are presented for subsets of the real line R but
it should be clear from the statements that most of the theorems presented
can be applied almost without changes to subsets of metric spaces or even
to subsets of topological spaces.
Please, be aware that these are notes written as additional material for
a course and that they did not pass any proofreading other than my own.
If you find any mistake or you think that some part of the notes can be im-
proved, please do not hesitate to contact me at [email protected].
2 Compact Subsets of R.
Definition 2.1. Given any subset ∅ ̸= X ⊂ R a collection U = {Uα : α ∈ I}
of subsets of R which are are open in R and such that
[
Uα ⊇ X
α∈I
is called a open covering of X. Notice that here I is any set of indeces and
that I can be of any cardinality.
Definition 2.2. A subset X of R is compact if given any open covering
U = {Uα : α ∈ I} of X there exists a finite sub-covering of U, i.e. there are
elements Uα1 , . . . , UαN ∈ U such that
N
[
Uαk ⊇ X.
k=1
1
2
X = U α1 ∪ · · · ∪ U αN .
In other words, unlike being open or closed, being compact does not depend
on the space in which the set is contained.
Theorem 2.6. A subset X of the real line is compact if and only if every
family of closed subsets of X with the FIP has non-empty intersection.
Proof. Assume first X is a subset of R with the property that every family
of closed subsets of X with the FIP has non-empty intersection. We want
to prove that X is compact. To this end we consider[any open cover {Uα :
α ∈ I}. By definition of covering we have that X = Uα , so by passing to
α∈I \
complement sets and using De Morgan’s Laws we get that ∅ = Uα∁ , with
α∈I
the sets Uα∁ being closed subsets of X. Since we assumed that a collection
of closed subsets of X cannot have empty intersection if it has the FIP it
3
follows that {Uα∁ : α ∈ I} doesTnot have the FIP. This means that there are
α1 , α2 , . . . , αN ∈ I such that N ∁
i=1 Uαi = ∅. By passing to complement sets
[N
again we get that Uαi = X, the requested finite subcovering of {Uα : α ∈
i=1
I}.
Suppose now that X is compact and T let {Cα : α ∈ I} be a collection of
closed subsets of X and suppose that α∈I Cα = ∅. As before we get that
[
X= Cα∁ , with Cα∁ open, i.e. {Cα∁ : α ∈ I} is an open covering of X. Since
α∈I
X is compact there is a finite subcovering {Cα∁ 1 , Cα∁ 2 , . . . , Cα∁ N } of {Cα∁ : α ∈
N
[ N
\
∁
I}. This means that X = Cαi , and so we have that ∅ = Cαi , which
i=1 i=1
means that the original family of closed sets {Cα : α ∈ I} does not have the
FIP.
Example 2.7. The real line R with the usual metric d(x, y) = |y − x| is not
compact.
Example 2.9. The unit interval [0, 1] ⊂ R with the usual metric is a com-
pact metric space.
Remark 2.10. With small modifications the above proof shows that any
closed subinterval of R is compact.
Before passing to the main theorem of these notes we proof a few pre-
liminary results about compact sets.
Theorem 2.11. Compact subset of the real line are closed in R.
Proof. Let F ⊂ R be compact. We show that F ∁ is open in R. Let x ∈ F ∁ ,
for every point p ∈ F there exists disjoint open intervals Ip ∋ x and Jp ∋ p.
Clearly, {Jp : p ∈ F } is an open covering of F . Hence, there exist p1 , . . . , pN
such that
F ⊆ Jp1 ∪ · · · ∪ JpN .
The set
Ux = Ip1 ∩ · · · ∩ IpN
being a finite Rintersection of open sets is itself open and, clearly, contains x.
Moreover, Ux F = ∅, so Ux is a neighbourhood of x completely contained
in F ∁ , which proves that x is an interior point of F ∁ and that F ∁ is open.
(a.) X is compact;
CN := {xN , xN +1 , xN +2 , . . . }.
The CN are closed subsets of X and, since they are nested, i.e.
C1 ⊃ C2 ⊃ C3 ⊃ . . .
1 1
xk ∈ B x0 , ⊆ B x0 , ⊆ B x0 , ε .
k k0
References
[1] Brian S. Thomson, Judith B. Bruckner, Andrew M. Bruck-
ner, Elementary Real Analysis, Prentice Hall (Pearson), 2008.