Scribd
Upload
306 views3 pages

05 - One-Point Compactification PDF

The document defines and discusses the one-point compactification of a topological space X. It proves that: 1) Adding a single abstract point p to X and defining a new topology TY results in a compact space Y containing X as a dense subspace. 2) The subspace topology on X induced by TY is the same as the original topology TX on X. 3) Y is compact by showing any open cover of Y contains a finite subcover. The one-point compactification adds just enough structure to a non-compact space to make it compact by adjoining a single point.

Uploaded by

Arkadev Ghosh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
306 views3 pages

05 - One-Point Compactification PDF

The document defines and discusses the one-point compactification of a topological space X. It proves that: 1) Adding a single abstract point p to X and defining a new topology TY results in a compact space Y containing X as a dense subspace. 2) The subspace topology on X induced by TY is the same as the original topology TX on X. 3) Y is compact by showing any open cover of Y contains a finite subcover. The one-point compactification adds just enough structure to a non-compact space to make it compact by adjoining a single point.

Uploaded by

Arkadev Ghosh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

1.

The one point compactification


Definition 1.1. A compactification of a topological space X is a compact topological
space Y containing X as a subspace.
Given any non-compact space X, compactifications always exist. This section ex-
plores the smallest possible compactification obtained by adding a single point to X
and extending the topology in a suitable way. The thus obtained compactification of
X is called the one-point compactification of X. Here are the details:
Given any non-compact space X, define Y = X ∪ {p} where p is some abstract point
(and p ∈/ X). Let TX be the existent topology on X. We define a new topology TY on
Y as follows: A subset U of Y is open if either
(1) p ∈
/ U and U ∈ TX or
(2) p ∈ U and X − U is a compact closed subset of X.
Lemma 1.2. The collection TY of subsets of Y is a topology.
Proof. The proof comes down to checking the 3 properties of being a topology.
(1) Clearly ∅ ∈ TY since ∅ ∈ TX ⊂ TY . On the other hand Y ∈ TY since Y = X∪{p}
and X − X = ∅ which is closed and compact.
(2) Let Ui ∈ TY for i ∈ I and let U = ∪i∈I Ui . We need to show that U lies in TY .
If p ∈
/ U then all the sets Ui are in TX and we’re done. If p ∈ U then we can
decompose I as I = I0 t I1 so that
(a) If i ∈ I0 then p ∈
/ Ui .
(b) If i ∈ I1 then p ∈ Ui . In this case let’s write Ui = Ai ∪ {p} with Ai ⊂ X
such that X − Ai is compact and closed.
But then U = A ∪ {p} with
A = (∪i∈I0 Ui ) ∪ (∪i∈I1 Ai )
From DeMorgan’s law we then find
X − A = X − [(∪i∈I0 Ui ) ∪ (∪i∈I1 Ai )] = (∩i∈I0 (X − Ui )) ∩ (∩i∈I1 (X − Ai ))
which is a closed subset of X − A1 which in turn is compact. Thus X − A is
itself compact and so U is in TY by definition.
(3) Pick V1 , ..., Vn ∈ TY and set V = ∩ni=1 Vi . If p ∈ V then each Vi has the form
Vi = Ai ∪ {p} with X − Ai being compact and closed. Therefore V = A ∪ {p}
with A = ∩ni=1 Ai . To see that V is open we need to check that X − A is closed
and compact:
X − A = X − ∩ni=1 Ai = ∪ni=1 (X − Ai )
The latter expression is a finite union of closed compact sets and is therefore
itself closed and compact.
If p ∈
/ V then at least one Vi contains p. Up to re-ordering the summands Vi
we can then write
Vi ∈ TX and Vj = Aj ∪ {p}
1
2

for i = 1, ..., m and j = m + 1, ..., n. Here X − Aj is compact and closed, in


particular Aj is open in X. But then
V = ∩ni=1 Vi = (∩m n
i=1 Vi ) ∩ (∩j=m+1 Aj )
which is a finite intersection of open sets in X and therefore an open set in X.

Lemma 1.3. With the notation as above, X is a dense subspace of Y .
Proof. The lemma contains two claims – that X is dense in Y and that the subspace
topology on X induced by TY coincides with TX . The latter is a mere observation:
Writing TY |X for the induced subspace topology on X we find that
TY |X = {U ∩ X | U ∈ TY }
= {U ∩ X | U ∈ TX or U = A ∪ {p} with X − A closed and compact}
= {U ∩ X | U ∈ TX } ∪ {U ∩ X | U = A ∪ {p} with X − A closed and compact}
= TX ∪ {A | X − A is compact and A is open}
= TX
Thus is remains to see that X is dense in Y . This is equivalent to showing that X = Y .
If the latter were not true then we would be forced to conclude that X = X. But then
Y − X = {p} would have to be an open set. Since it has the form ∅ ∪ {p} we would
need X − ∅ = X to be compact and closed. But our assumption was that X is not
compact. Thus we must have X = Y . 
Lemma 1.4. Continuing with the notation as above, Y is a compact space.
Proof. Let F be an open cover of Y . There must be some set U0 ∈ F which contains
p. But then X − U0 is a compact set covered by F and so there is a finite number of
elements U1 , ..., Un ∈ F whose union contains X − U0 . Then F 0 = {U0 , U1 , ..., Un } is a
finite subcover of F showing that Y is compact. 
We summarize the last 3 lemmas in the following theorem.
Theorem 1.5 (One point compactification). Let X be a non-compact space and
let Y = X ∪ {p} for some abstract point p ∈
/ X. Define the topology TY on Y as
TY = TX ∪ {A ∪ {p} | X − A is closed and compact }
Then Y is compact and X is a dense subspace of Y . The space Y is called the one-point
compactification of X 1.
2. Exercises
(1) Show that the one-point compactification of Rn (with the Euclidean topology)
is homeomorphic to the n-sphere
S n = {x ∈ Rn+1 | |x| = 1}
equipped with the relative topology.
1If X is itself compact then the theorem is still true except that X is no longer dense in Y .
3

(2) Define a “two-point compactification”of a non-compact space X. Show that


the two-point compactification of S 1 × [0, 1] is again homeomorphic to S 2 .

You might also like