Compactness, I
Compactness, I
Compactness, I
2. We also saw that a given set may have many different topologies, so we
often have to specify which topology we’re talking about. (For example,
when X = Rn , we could give X the discrete, the trivial, or the standard
topology. Our favorite should be the standard topology.)
3. We also saw that any poset admits a topology, called the Alexandroff
topology.
Today, we’re going to learn about a very important property that some
topological spaces have, called compactness.
In a highly sophisticated way, a space being “compact” will be very much
like a set being “finite.” Compactness is some way that we can talk about a
space as being “small enough” to comprehend using very nice tools.
91
92 LECTURE 9. COMPACTNESS, I
This doesn’t mean that non-compact spaces are inaccessible. (Even for
sets, we can understand infinite sets like Z just fine.) But there are more
tools available for studying compact spaces.
(g ¶ f )≠1 (W ) = {x œ X | (g ¶ f )(x) œ W }
= {x œ X | g(f (x)) œ W }
= {x œ X | f (x) œ g ≠1 (W )}
= f ≠1 (g ≠1 (W )).
U = {U– }–œA .
The word “cover” is used because the collection “covers” all of X. (Every
element of x is inside one of the U– .)
Definition 9.2.2. Choose a subset B µ A of the indexing set A. If the
collection {U— }—œB is a cover of X, we call it a subcover of the original cover.
Example 9.2.3. Let A = Rn ◊ R>0 , and for all (x, r) œ A, define U(x,r) =
Ball(x, r). We saw long ago that this collection {U(x,r) }(x,r)œA is a cover of
Rn .
Now choose the subset B µ A consisting of those (x, r) for which x is the
origin of Rn , and r is a positive integer. Then the collection {U— }—œB is also
a cover of Rn . Hence {U— }—œB is a subcover of {U– }–œA .
Definition 9.2.4. Let X be a topological space. A cover {U– }–œA is called
an open cover if, for every – œ A, the set U– µ X is open.
In other words, an open cover is a cover consisting of open subsets.
Example 9.2.5. Both the covers in Example 9.2.3 are open covers of Rn .
The following exercise shows that covers of X induce covers of subspaces;
moreover, open covers of X induce open covers of A, simply by intersecting
elements of the cover with A:
Exercise 9.2.6. Let {U– }–œA be an open cover of a topological space X.
Fix a subset A µ X, and endow it with the subspace topology.
Then the collection {V– }–œA , where
V– := U– fl A
is an open cover of A.
94 LECTURE 9. COMPACTNESS, I
Proof. We must verify two facts: That {V– }–œA is a cover of A, and that
each V– is open (in A).
Each V– is open by definition of subspace topology.
t
Clearly, the union –œA V– is a subset of A because each V– is a subset
of A.
So we must only show that A is a subset of this union. So fix a œ A.
Then a œ X because A is a subset of X. In particular, because {U– }–œA is
a cover of X, there is some – œ A for which a œ U– . Because a œ A by
assumption, we conclude that a œ U– fl A = V– . This finishes the proof.
In other words, X is called compact if the following holds. For every open
cover {U– }–œA , there exists some finite subset B µ A so that the collection
{U— }—œB is a cover of X.
Example 9.4.1. Let X be a finite set, and let T be a topology on the finite
set. (So that we may consider X to be a topological space.)
I claim that X is compact.
Here is a proof: Any topology T µ P(X) has only finitely many elements,
so X has only finitely many open subsets to begin with. In particular, fix an
open cover {U– }–œA . It may be that A itself is an infinite set, we can choose
some finite subset B µ A so that for every – œ A, there is some — œ B for
which U– = U— . Then {U— }—œB is a finite subcover.
To prove that something is not compact, we need only find one example
of an open cover that does not admit a finite subcover.
So let’s choose the following open cover: Let A = Z>0 (so that A is the
set of positive integers), and define, for all n œ A,
Un := Ball(0, n)
to be the open ball of radius n about the origin of Rn . We have seen that
{Un }nœZ>0 is an open cover of Rn .
Now, if B µ A is any finite subset (so that B is some finite collection
of positive integers), there is a maximal element of B. Call this maximal
element N . Then €
U— = UN = Ball(0, N ).
—œB
In particular, the collection {U— }—œB is not a cover of Rn because any element
x œ Rn having distance larger than N from the origin is not inside the union
t
—œB U— .
Thus, the open cover {Un }nœZ>0 admits no finite subcover. This shows
that Rn is not compact.
Example 9.4.3. Let X be an infinite set, and let Tdisc be the discrete topol-
ogy on X. (This means that any subset of X is declared open.)
I claim that (X, Tdisc ) is not a compact space.
Let A = X, and for all x œ A, declare Ux to be the one-element set
{x} µ X. By definition of the discrete topology, Ux is open in X. Hence
{Ux }xœA is an open cover of X.
On the other hand, this does not admit a finite subcover. For a finite
subset of A is a finite collection {x1 , . . . , xn } of some points in X. The union
of the sets {xi }i=1,...,n is clearly the set {x1 , . . . , xn }, which is not all of X
because X is assumed infinite.
This shows that any infinite set, when equipped with the discrete topol-
ogy, is not compact.
Here is another example, which we state as a proposition:
Proposition 9.4.4. Let X be a compact space. Suppose Y is a space home-
omorphic to X. Then Y is also compact.
This proposition is a verification that “compactness” is a notion that de-
pends only on the topology of space—after all, homeomorphisms are equiv-
alences of topological spaces.
96 LECTURE 9. COMPACTNESS, I
If you study the above proof, you realize that the only property of Z we
used is that there is some element (namely, 1) that is less than or equal to
any other element. Such an element doesn’t always exist in a poset. (For
example, the poset Z doesn’t have such an element.) But here is another
example of a compact poset:
Proof. Any open cover U of P(A) must have some U œ U for which ÿ œ U .
But by definition of Alexandroff topology, any B œ P(A) satisfying ÿ µ B
must be contained in U ; meaning U contains every element of P(A).
In other words, any open cover U must satisfy P(A) œ U; so U admits
a finite subcover—in fact, a subcover consisting of a single element called
P(A).
You may use this theorem freely from now on. It will soon be superseded
by the Heine-Borel theorem, but the proof of the Heine-Borel theorem will
actually depend on Theorem 9.6.1.
In fact, there is nothing special about [0, 1]. Any closed and bounded
interval is compact as a consequence of the above theorem.
Corollary 9.6.2. Fix two real numbers a, b satisfying a < b. Then the
closed interval [a, b] (endowed with the subspace topology inherited from R)
is compact.
Proof. By Proposition 9.4.4, we are finished if we can exhibit a homeomor-
phism between [a, b] and [0, 1].
Consider the function
f : R æ R, x ‘æ (b ≠ a)x + a.
f is continuous, as we know from calculus. (This is relying on the Theorem
from previous lectures that continuity in the sense of topology is equivalent
to continuity in the sense of calculus.)
We know that, because [0, 1] is given the subspace topology, the inclusion
function i[0,1] : [0, 1] æ R is also continuous. Moreover, by Proposition 8.3.2,
the composition of conitnuous functions is still continuous, so we see that
the function
j = f ¶ iA [0, 1] : [0, 1] æ R, x ‘æ (b ≠ a)x + a
is continuous. What is the image of j? It is precisely the interval [a, b]. (Note
that j(0) = a and j(1) = b; I’ll let you fill in the rest of the details.) Thus,
by the universal property of the subspace topology of [a, b] µ R, the function
j Õ : [0, 1] æ [a, b], x ‘æ (b ≠ a)x + a
is continuous. It is straightforward to verify that j Õ is both an injection and
a surjection, hence a bijection.
In fact, you can write an inverse to j Õ as follows:
1
g : [a, b] æ [0, 1] x ‘æ (x ≠ a).
b≠a
A similar argument to the demonstration that j Õ is continuous shows that g
is also continuous.
Because j Õ is a continuous bijection whose inverse is also continuous, j Õ is
a homeomorphism.
9.7. PROOF THAT [0, 1] IS COMPACT 99
If a1 > 1, we are done, for then there is some (x– , r– ) for which Ball(x– , r– )
contains both 0 and 1, hence the entire interval [0, 1]. (This exhibits an open
subcover with a single element—[0, 1] itself.)
So suppose a1 Æ 1. We let A2 µ A consist of those – for which a1 œ
Ball(x– , r– ). ANd as before, we define
a2 := sup (x– + r– ).
–œA2
2
This is a bad joke.
100 LECTURE 9. COMPACTNESS, I
an+1
to equal the lesser of 1 and sup–œAn+1 x– + r– . (So an+1 Æ 1.) Note that
an Æ an+1 . (9.7.0.1)