Point-Set Topology With Topics Basic General Topology
Point-Set Topology With Topics Basic General Topology
Point-Set Topology With Topics Basic General Topology
Topology with
Topics
Basic General Topology for
Graduate Studies
This page intentionally left blank
Point-Set
Topology with
Topics
Basic General Topology for
Graduate Studies
Robert André
University of Waterloo, Canada
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONG KONG • TAIPEI • CHENNAI • TOKYO
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
To
R.C.
Je me plaisois surtout aux Mathématiques à cause de la
certitude et de l’évidence de leurs raisons. Mais je ne
remarquois point encore leur vray usage.
René Descartes
Discours de la Méthode (1637)
For though we love both the truth and our friends, piety
requires us to honor the truth first.
Aristotle
Nicomachean Ethics (350 BC)
∼ tion ∼
vii
viii Point-Set Topology with Topics
But first, I should at least write a few words about the mathe-
matical content of this textbook. The choice of content as well as
the order and pace of the presentation of the concepts found in the
text were developed with senior math undergraduate or math gradu-
ate students in mind. The targeted reader will have been exposed to
some mathematical rigor to a level normally found in an introduction
to mathematical analysis texts or as presented in an introduction to
linear algebra or abstract algebra texts. The first two sections of Part
I consist mostly of a review in the form of a summarized presentation
of very basic ideas on normed vector spaces and metric spaces. These
are meant to ease the reader into the main subject matter of general
topology (in Chapters 3–20 of Parts II–VI). Parts II–VI normally
form the core material contained in most, one or two semester, Basic
General Topology course. Once we have worked through the most
fundamental concepts of topology in Chapters 1–20, the reader will
be exposed to brief introductions to more specialized or advanced
topics. These are presented in Part VII in the form of a sequence of
chapters many of which can be read or studied, independently, or in
short sequences of two or three chapters, provided the student has
mastered Chapters 3–20.
Chapters related to the more basic ideas of general topology are
followed by a list of Concept review type questions. These questions
highlight for students the main ideas presented in that section and
will help test their understanding of these concepts. The answers
to all Concept review questions are in the main body of the text.
Attempting to answer these questions will help the student discover
essential notions which are often overlooked when first exposed to
these ideas. Reading a section provides a certain level of under-
standing, but answering questions, even simple ones, related to its
content requires a much deeper understanding. The efforts required
in answering correctly such questions leads the student to the ability
to solve more complex problems in the Exercise sections. If the stu-
dent desires a more in-depth study of a topic in Part VII, there are
many excellent topology books that can satisfy this need.
Textbook examples will serve as solution models to most of the
exercise questions at the end of each section.
In certain sections, we make use of elementary set theory. A stu-
dent who feels a bit rusty when facing the occasional references to set
theory notions may want to review some of these. For convenience,
Preface ix
Robert André
University of Waterloo, Ontario
This page intentionally left blank
About the Author
xi
This page intentionally left blank
Contents
Preface vii
About the Author xi
xiii
xiv Point-Set Topology with Topics
Appendix 747
Bibliography 791
Index 795
This page intentionally left blank
Part I
Abstract
In this section, we review a few basic notions about inner products on
vector spaces and how they are used as a mechanism to construct a
distance measuring tool called “norm” We then define “norm on an
abstract vector space” with no reference to an inner product. We show
how to distinguish between norms that are induced by an inner prod-
uct and those that are not. We then provide a few examples of norms
on vectors spaces of continuous functions, C[a, b]. We end this sec-
tion with a formal definition of the compact property in normed vector
spaces.
3
4 Point-Set Topology with Topics
The expression v is called the norm (or length) of the vector v
induced by the inner product u, v on V.
x, y = x · y = x1 y1 + x2 y2 + · · · + xn yn
x = (x1 , x2 , x3 , . . . , xn )
= (x1 , x2 , x3 , . . . , xn ) · (x1 , x2 , x3 , . . . , xn )
n
= x2i
i=1
Showing that this operation satisfies the inner product axioms IP1
to IP4 is left as an exercise. In this case, the norm of f , induced by
this inner product, is seen to be
b
f = f (x)2 dx
a
6 Point-Set Topology with Topics
|x, y | ≤ xy
Equality holds true if and only if x and y are collinear (i.e., x = αy
or y = αx).
Choosing
x, y
t=
y 2
x, y 2
0 ≤ x2 −
y 2
Proof.
Example 3. Use the the dot product properties and the law of
cosines, c2 = a2 + b2 − 2ab cos θ (where a, b, c represent the lengths
of the sides of a triangle ABC and θ is the angle between to the
sides AB and AC) to prove the Cauchy–Schwarz inequality in R2 .
Since cos θ ≤ 1,
|b,a |
≤1
a b
= x∞ + y ∞
Then max{|xi −yi |} ≤ x∞ +y ∞ and so x +y∞ ≤ x∞ +y ∞ ,
1...n
as required.
n 1/p
p
xp = (x1 , x2 , x3 , . . . , xn )p = |xi |
i=1
It can be shown that this function satisfies the three norm axioms.
We will not prove this for p in general.
Note that when p = 2 the p-norm is simply the Euclidean norm
on Rn . Since the Euclidean norm is induced by an inner product, it
automatically satisfies the three norm axioms. Proving that, for any
p ≥ 1, the p-norm satisfies N1 and N2 is straightforward. But proving
that the triangle inequality holds true for all p ≥ 1 is not easy. The
interested readers can look the proof up in most real analysis texts
or find it online.
A natural question comes to mind . Are all norms on a vector
space V induced by some inner product? The answer is no!
The following theorem tells us how to recognize those norms which
are induced by some inner product.
12 Point-Set Topology with Topics
which is easily shown to satisfy the three norm axioms. In the case
where p = 2, then this norm is one which is induced by the inner
product
b
f, g = f (x)g(x) dx
a
on C[a, b].
Norms on Vector Spaces 13
Proposition 1.8 Let {xn } and {yn } be two sequences in the normed
vector space V. Suppose {xn } converges to a. Let α and β be scalars.
(a) limn→∞ (αxn ± βyn ) = α limn→∞ xn ± β limn→∞ yn .
(b) (limn→∞ xn = a) ⇔ (limn→∞ xn − a = 0).
(c) If x = (x1 , x2 , x3 , . . . , xn ) ∈ Rn then |xi | ≤ x2 , for i = 1 to n.
(d) A sequence of vectors {xk : k = 1, 2, 3, . . .} in Rn converges to
the vector a = (a1 , a2 , a3 , . . . , an ) (with respect to the Euclidean
norm) if and only if the components of the vectors in {xk } con-
verge to the corresponding components of a (with respect to the
absolute value).
Proof. The proof is omitted.
|f (x) − f (a)| ≤ |f (x) − fn (x)| + |fn (x) − fn (a)| + |fn (a) − f (a)|
< fn − f ∞ + |fn (x) − fn (a)| + fn − f ∞
< ε/3 + |fn (x) − fn (a)| + ε/3
For n > N , fn is continuous so there exists δ > 0 such that |x−a| < δ
implies |fn (x) − fn (a)| < ε/3.
Then |x − a| < δ implies |f (x) − f (a)| < ε. So f is continuous
on S.
We now define those sequences in a normed vector space called
Cauchy sequences. As we shall soon see all convergent sequences of
(V, ) must be Cauchy sequences, but some “subsets” S of V have
Cauchy sequences which do not converge in S.
Even if all Hilbert spaces are Banach spaces not all Banach spaces
are Hilbert spaces.
So T converges to L, as required.
≤ lim fn − fm ∞
n→∞
≤ε
1
Bolzano–Weierstrass: Every bounded sequence in R has a convergent subse-
quence.
18 Point-Set Topology with Topics
2
When we revisit the property of compactness in our study of topological spaces,
we will replace the word “compact” with the words “sequentially compact”.
Norms on Vector Spaces 19
Exercises
Metrics on Sets
Abstract
In this section, we define the concept of a “metric” on a set, giving
rise to “metric spaces”. The metric is defined as a tool for measuring
distances between points in the given set. Many metrics can be defined
on a set as long as they each satisfy three metric axioms. Metrics are
then used to determine whether a given sequence converges to a point
or not. The subsets of a set called “open ball” and “open sets” are
then defined. Functions are then introduced to map points from one
metric space to another metric space. We are particularly interested in
those functions which are continuous on their respective domains. The
topological version of the notion of continuity is presented in terms of
“open sets”.
23
24 Point-Set Topology with Topics
It is left to the reader to verify that this function satisfies all three
metric axioms, and so is a valid metric on R2 .
Example 3. Let S be any non-empty set. The function ρ : S×S → R
defined as
0 if x = y
ρ(x, y) =
1 if x = y
We define ρ : Z × Z → R as follows:
⎧
⎪
⎨0 if n = m
ρ(n, m) = 1
⎪
⎩ if m = n
k(m, n)
We verify that ρ is indeed a metric on Z.
26 Point-Set Topology with Topics
1
Of course, T is not a vector subspace of the vector space R.
Metrics on Sets 27
We now direct our attention to those subsets of the set S which are
sequences. The definition of a sequence, {xn }, does not involve the
notions of “norm” or “metric” and so is precisely as we previously
defined it in the section on normed vector spaces. However, conver-
gence or divergence of a sequence depends very much on the tool
we use to measure distances in the set. The following definitions of
limits and convergence in a metric space are in many ways identical
to those involving norms.
lim xn = a
n→∞
Just as for limits in normed vector spaces, we can say that {xn }
converges to the point a with respect to a metric ρ in different ways:
Example 6. Consider the set S = (0, ∞). Let ρ1 denote the discrete
metric on S and ρ2 be defined as ρ2 (x, y) = |x − y|. We compare the
two metric spaces (S, ρ1 ) and (S, ρ2 ).
Claim 1: The metric space, (S, ρ2 ), is not complete. See that the
sequence {1/n : n = 1, 2, 3, . . .} is a sequence in (R, ρ2 ) which
Metrics on Sets 29
U = ∪{Bεx (x) : x ∈ U }
2
Recall that x is a limit point of a set F if there exists a sequence inside F which
converges to x.
Metrics on Sets 31
3
The words “arbitrarily large unions” include the notion of the union of a count-
ably or uncountably infinite number of sets. For example, ∪{An : n ∈ N}.
32 Point-Set Topology with Topics
Theorem 2.10 Let (Sa , ρa ) and (Sb , ρb ) be two metric spaces and
f : Sa → Sb be a function mapping the Sa into the set Sb . Then the
following are equivalent:
Proof. We are given two metric spaces, (Sa , ρa ) and (Sb , ρb ) and a
function and f : Sa → Sb .
(1 ⇒ 2) Suppose f : Sa → Sb satisfies the formal definition of
continuity on Sa . Let u ∈ Sa and ε > 0. There exists δ such that
ρa (u, y) < δ ⇒ ρb (f (u), f (y)) < ε. Suppose {xn } is a sequence in Sa
such that limn→∞ xn = u. Then the sequence {f (xn )} and the point
f (u) are defined in Sb . We claim that {f (xn )} converges to f (u).
Since {xn } converges to u, there exist an N > 0 such that n > N
implies ρa (u, xn ) < δ. Then, for n > N , ρb (f (u), f (xn )) < ε. It then
follows that limn→∞ f (xn ) = f (u), as required.
34 Point-Set Topology with Topics
4
Note that the axiom of choice is invoked here.
Metrics on Sets 35
Exercises
Topological Spaces:
Fundamental Concepts
This page intentionally left blank
Chapter 3
A Topology on a Set
Abstract
In this section, we define the notion of a topological space. We will begin
by describing those families of subsets of a set which form a topology,
τ , on a set, showing along the way how to recognize“open subsets” and
“closed subsets”. There can be many topologies on a set. Given a pair of
topologies τ1 and τ2 on S one can sometimes be seen as being “weaker”
or “stronger” than the other. We have provided many examples both in
the main body of the text as well as in the given exercises.
3.1 Introduction
39
40 Point-Set Topology with Topics
1
Some readers may notice that, if C = ∅ ⊆ τ , then, by O2, ∪{C ∈ ∅} = ∅ ∈ τ .
Also, if the finite subset, F , is empty then, by O3, ∩{C ∈ ∅} = S ∈ τ . So,
theoretically, it would be sufficient to axiomatize “open sets” with O2 and O3
where O1 would logically flow from these two. The axiom O1 is normally included
for convenience to make it easier to identify a topology.
A Topology on a Set 41
From this definition, we can state that the class of all topological
spaces can be subdivided into two subfamilies: One consists of all
metrizable spaces the other of non-metrizable ones.
For example, the usual metric ρ(x, y) = |x − y| on R induces a
topology, τρ , on R. We normally refer to this topology as being the
usual topology on R. In many textbooks it is also referred to as the
42 Point-Set Topology with Topics
τ = {B ⊆ R2 : R2 \B is countable}2 ∪ {∅, R2 }
We see that ρ(x, y ) > ρ(x, z)+ρ(y , z) and so ρ does not satisfy the
triangle inequality, contradicting the fact that ρ is a metric on R2 .
2
If A is a subset of a space S, then S\A is the complement of A. It denotes the
set of all points in S which don’t belong to A.
A Topology on a Set 43
open neighborhood of x.
3
Later, once we covered the concept of “Hausdorff ” this problem will be
more easily solved by stating that “this space is not metrizable because it not
Hausdorff ”.
44 Point-Set Topology with Topics
τd = P(S)
τi ⊆ τ ⊆ τd
4
Caution: However, arbitrary unions of topologies may not form a topology on
a set.
A Topology on a Set 45
(F is closed) ⇔ (S \F is open)
τ = {A : S \A ∈ F } and F = {A : S \A ∈ τ }
5
S \F = {x ∈ S : x ∈ F }.
46 Point-Set Topology with Topics
Proof.
(a) Since ∅ is open, then S = S\∅ is closed. Since S is open, ∅ = S\S
is closed.
(b) Let {Fi : i ∈ I} be a family of closed subsets of S. Then, for
each i ∈ I, S \Fi is open. Since (by De Morgan’s law) S \∩{Fi :
i ∈ I} = ∪{S \Fi : i ∈ I} is open (being the union of open sets),
then ∩{Fi : i ∈ I} is a closed subset of S.
(c) This part is left as an exercise.
6
That is, S \ [∪i∈I Fi ] = ∩i∈I [S \Fi ] and S \ [∩i∈I Fi ] = ∪i∈I [S \Fi ].
A Topology on a Set 47
Then the set F satisfies the three closed sets axioms F1, F2, and F3.
(Verify this!) Then τ = {S \F : F ∈ F } forms a topology on S. The
elements of τ are
τ = {∅, S} ∪ {U ⊂ S : S \U is finite}
τH = {U ⊂ H : U = K ∩ H, for some K ∈ τ }
Then τH is a topology on H.
7
If S \U is finite, we say U is cofinite.
48 Point-Set Topology with Topics
(b) Let
FH = {F ⊂ H : F = M ∩ H where M = S \ K, K ∈ τ }
τH = {U ⊂ H : U = K ∩ H, K ∈ τ }
T is clopen in S.
8
Note that if F is S-open and U is an F -open subset of F then U is also S-open.
50 Point-Set Topology with Topics
F = {F ⊂ S : F ∩ B = ∅} ∪ {S}
Example 8. Let (S, τ ) be a topological space and suppose B is a
fixed subset of S. Let
τB = {A ∈ P(S) : A = C ∪ (D ∩ B) where C, D ∈ τ }
So τB satisfies the three open set axioms O1, O2, and O3.
A Topology on a Set 51
9
Some texts may refer to this set as direct sum or free sum or topological direct
sum.
52 Point-Set Topology with Topics
10
Once we have the necessary tools we will prove that Q is not a Gδ .
54 Point-Set Topology with Topics
(a) Suppose
F = ∪{Ki : i = 1, 2, 3, . . . , where each Ki is closed in S}
S \F = S \(∪{Ki })
= ∩{S \Ki } (By De Morgan’s rule)
= a Gδ -set
11
This is a more specialized topic. It can be omitted without loss of continuity.
56 Point-Set Topology with Topics
(a) contains τ ,
(b) is closed under complements,
(c) is closed under countable unions.
Furthermore, B satisfies the following three properties:
(1) B contains all Fσ ’s of S,
(2) B is closed under countable intersections,
(3) B contains all Gδ ’s of S.
Proof. Given: (S, τ ) is a topological space.
Suppose B is the family of Borel sets in P(S). By definition, B
is the intersection of all σ-rings that
(a) contain τ ,
(b) that are closed under complements,
(c) closed under countable unions.
So B is itself the unique smallest σ-ring of subsets of S which satisfies
these three properties.
Since B contains τ , it contains all open subsets of S and since
it is closed under complements, it contains all closed subsets of S.
Since it is closed under countable unions, then it must contain all
Fσ ’s. This establishes property 1.
The above theorem guarantees that every open set, closed set,
Gδ and Fσ in a topological space S can be referred to as a Borel
set in S. It is sometimes difficult to identify subsets of a topological
58 Point-Set Topology with Topics
space (S, τ ) which are not Borel sets (with respect to τ ). Consider for
example, the topological space (S, τi ) equipped with the indiscrete
topology. If A is a non-empty proper subset of S then A is not a
Borel set since {∅, S} = τi is the smallest σ-ring which contains τi
and does not contain the element A. On page 76 of this text we
provide another example.
Concept Review
Exercises
Abstract
In this section, we introduce the notions of closure and interior of subsets
of a topological space. The concept of the boundary of a set is then
defined in terms of its interior and closure. Based on their properties,
we derive the “closure axioms” and “interior axioms”. We then begin
viewing closure and interior of sets as being operators on P(S). From
this perspective, we better see how closure and interior operators on
P(S) can be used to topologize a set, providing examples on how this
can be done.
61
62 Point-Set Topology with Topics
x is a cluster point of A.
which does not meet other elements of B. The set B is not closed
since it doesn’t contain the cluster points 1 and 3.
Since A ⊂ clS (A) and B ⊂ clS (B), A ∪ B ⊆ clS (A)∪ clS (B), a
closed subset in S. Since clS (A ∪ B) is the smallest closed set
containing A ∪ B, then
clR (A) ∩ clR (B) = {5}. This shows that clS (A) ∩ clS (B) = clS (A∩B)
may sometimes occur.
It is however possible to prove that
clS A = K(A)
F = {A ⊆ S : K(A) = A}
τK = {S \A : where A ∈ F }
K(A) = A if A is countable
K(A) = R2 if A is uncountable
K(∅) = ∅
τK = {B ⊆ R2 : R2 \B is countable} ∪ {∅, R2 }
Also,
Using this theorem, we let the reader verify that the following
three statements are equivalent:
(a) intS (A) = S \clS (S \A),
(b) intS (S \A) = S \clS (A),
(c) clS (A) = S \(intS (S \A)).
Just as for the closure of a set, we have four basic similar proper-
ties for the interior of sets.
Proof. The proofs of statements (a), (b), and (d) are left as an
exercise.
Set Closures, Interiors and Boundaries 71
while
U = {A ⊆ S : I(A) = A}
Then,
(a) The set U forms a topology on S.
(b) Furthermore, if S is equipped with topology U , intS (A) = I(A),
for any A ⊆ S.
Proof. Let S be a set and I : P(S) → P(S) be a function
satisfying the four interior operator axioms I1–I4 listed above. Let
U = {A ∈ P(S) : I(A) = A}.
(a) We are required to prove that U forms a topology on S.
We see that:
— By I1, I(S) = S, so S ∈ U . By I2, I(∅) ⊆ ∅. Since ∅ ⊆ I(∅),
then I(∅) = ∅ and so ∅ ∈ U .
Set Closures, Interiors and Boundaries 73
I(R) = R
I(A) = A\Q otherwise
B = τI ∪ F
Solution:
I(I(A)) = I(A)\Q
= (A\Q)\Q
= A\Q
= I(A)
4. If neither A nor B is R,
I(A ∩ B) = (A ∩ B)\Q
= (A\Q) ∩ (B \Q)
= I(A) ∩ I(B)
τI = {A : I(A) = A}
= {A : A\Q = A} ∪ {R}
= {A : A does not contain any points of Q} ∪ {R}
is a topology on R.
(c) For the topology, τI , on R we now describe the open subsets, the
closed subsets of R, the closure of sets and the interior of sets.
Open sets in R . Open sets in R, are R itself and all sets which
do not contain any rationals, including ∅.
For example, if J is the set of irrationals and r ∈ J, then, since
{r} contains no rationals, {r} is an open singleton set. Also, if
q ∈ Q, R is the only open set containing q. So, {q} is not an open
singleton set.
Closed sets in R . Suppose B is not R. We claim that B is
closed in R with respect to τI if and only if Q ⊆ B:
Q ⊆ B ⇔ R\B = (R\B)\Q
⇔ R\B = I(R\ B)
⇔ R\B is open (with respect to τI )
⇔ B is closed (with respect to τI )
1
Note that, if T is the closed interval [1, 3] in R then T ∈ τI ∪ F (since [1, 3]
contains some elements of Q, but does not contain all of Q) and so is not an
element of the unique family, B, of all Borel sets, with respect to τI . We can then
refer to it as a non-Borel set.
Set Closures, Interiors and Boundaries 77
Often, clS (A) \ intS (A) = ∅. We will now briefly discuss those sets
whose points belong to clS (A)\intS (A).
The expressions, FrS (A), ∂S (A), BdS (A) are also commonly used
to represent the “boundary of A”. It is easily verified that
bdS (A) = clS (A) ∩ clS (S \intS A)
Since the finite intersection of closed sets is closed, we see that
the boundary, bdS (A) of a set A, is always closed. Furthermore, for
any set A in S, both A and S \A share the same boundary (like adja-
cent neighbors who share the same fence). It is always the case that
intS (A) ∩ bdS (A) = ∅ and that intS (A), bdS (A) and intS (clS (S\A))
are pairwise disjoint sets whose union is S. The reader is left to verify
this.
Example 10. If Q is viewed as a subset of R equipped with the
usual topology then
bdR (Q) = clR (Q)\ intR (Q)
= R\∅
=R
2
The word “Frontier” is also sometimes used instead of “boundary”. When the
term “Frontier of A” is used, it is denoted by FrS A.
78 Point-Set Topology with Topics
= N\∅
=N
= {0, 2}
= (0, 2) = B
3
The open subsets are those whose complement is finite.
Set Closures, Interiors and Boundaries 79
A is a dense subset of B.
A = {(x, y) : x2 +y 2 < 1} and B = A∪{(0, 1), (1, 0), (0, −1), (−1, 0)}
Since
then A is dense in B.
Example 16. A nowhere dense subset. Let A = {6} be a subset of
R. Then clR A = {6} and intS clS A = ∅. So A is nowhere dense in
the space R.
Another example: The set of all integers, Z, is nowhere dense in
R, since intR clR Z = ∅.
Example 17. Verify that the set C = {(x, y) : x2 + y 2 = 1} is
nowhere dense in R2 .
On countable dense subsets of a space. The property in the
following definition is one which refers to an upper bound for the
cardinality of a dense subset of a topological space. Hence, in a way
it expresses a restriction on its size.
We will subdivide the class of all topological spaces into two sub-
classes: Those that are separable and those that are not.
So, the family of all regular open sets is closed under finite
intersections.
On the other hand, (1, 5) and (5, 9) are both regular open but
(0, 5) ∪ (5, 9) is not. So, the family of all regular open sets is not
closed under finite unions.
(b) We are given A ⊆ S. We are required to show that intS clS A is
regular open. See that
intS clS (intS clS A) ⊆ intS clS (clS A) (Since intS clS A ⊆ clS A)
= intS clS A
Since intS clS A ⊆ intS clS (intS clS A), then intS clS A is regular
open.
(c) This part is left an exercise.
Concept Review
Exercises
Abstract
In this section, we define a neighborhood system of x ∈ S with respect
to a given topology on S. Given a topology, τ , on S, we define a “base
for the topology τ ”. We deduce a set-theoretic property called the “base
property” possessed by any base. Those subsets of P(S) which satisfy
the described property will be shown to be a base for some topology
on S. We introduce the notion of a “subbase for the topology τ ” by
describing its properties. We then show how to topologize a set both
from a collection of sets which possesses the “base property” and also
from an arbitrary collection of subsets.
85
86 Point-Set Topology with Topics
Ux = {A ∈ P(S) : A is a neighborhood of x}
U3 = {U ∈ P(R) : 3 ∈ intR (U )}
“ [ A is open in S ] ⇔ [ x ∈ A ⇒ ∃ neighborhood, Ux ,
where x ∈ Ux ⊆ A ]”
B = ∪{Bx : x ∈ S}
We call the subset, B, a base for open sets or an open base for the
topology τ (often abbreviated by simply saying a base for S). The
word basis is sometimes used instead of “base”.1
The elements of a base are referred to as basic open sets.2
If F is a family of closed subsets of S satisfying the property:
A base for open sets is generally not unique. Given the topological
space (R, τ ), where τ is the usual topology, both τ and B = {(a, b) :
a < b} are bases for R.
It is easily verified that if F is a base for closed subsets of S then
the family, B, of all complements of the elements of F will form a
base for open sets.
How does one go about constructing a useful base for a topology?
A good way to start is to determine some properties possessed by a
known useful open base. The following theorem characterizes a base
for a topology on a set S.
1
Both words “base” and “basis” are commonly used; thus the reader can assume
these have the same meaning.
2
Note that, if A = ∅ ∈ τ , then A is the union of all elements from C = ∅ =
{ } ⊆ B. So B also generates the empty set.
Bases of Topological Spaces 89
Bx = {B ∈ B : x ∈ B}
⊆A∩B
92 Point-Set Topology with Topics
Gδ -topology generated by τ .
That is, Dε (x, 0) is an open ball, Bε (x, ε), of radius ε tangent to the
horizontal axis at (x, 0) with the point (x, 0) attached to it. Let
(x, y) ∈ Bε (x, y) ⊆ A ∩ B
(x, 0) ∈ C ⊆ A ∩ B
Bases of Topological Spaces 93
The singleton set, {(x, y)}, union the set of all open
line segments originating at (x, y), precisely one in each
direction.
The line segments need not be of the same length. For each (x, y),
let
(x, y) ∈ M(x,y) ⊆ U ∩ V
3
The set B1 (0, 1) refers to the open ball center (0, 1) and radius 1 while B1 (0, −1)
refers to the open ball center (0, −1) with radius 1.
96 Point-Set Topology with Topics
defined as
B = {B : B = ∩{U : U ∈ F } where F is a finite subset of S }
forms a base for τ .
x = (∩M ∈A M ) ∩ (∩M ∈D M ) = ∩M ∈A ∪D M = A ∩ D
If E = ∩M ∈A ∪D M , x ∈ E ⊆ A ∩ D.
Then B is a base for some topology τ on S, as claimed. Also S
is a subbase for τ .
Since τS is the smallest topology which contains S , then τS ⊆ τ .
On the other hand, if U ∈ τ then U is the union of elements of
B ⊆ τS . So U ∈ τS . We conclude that τ ⊆ τS .
Then τS = τ and so S is a subbase of τS .
4
If B = {[a, b) : a < b} ∪ {∅}, this topology is referred to as the
lower limit topology on R.
Bases of Topological Spaces 99
S ∗ = {[x − 1, x] : x ∈ R} ∪ {[x, x + 1] : x ∈ R}
S = {πS−1 (U ) : U ∈ τS } ∪ {πT−1 (V ) : V ∈ τT }
B = {U × V : U ∈ τS , V ∈ τT }
Note that the usual basis for R and the basis for the upper limit
topology described in the example above are not equivalent bases
since (a, b] does not belong to the usual topology on R. However,
since
then every base element for the usual topology belongs to τS and
so. . . the usual topology is weaker than τS .
In the following example, we illustrate a different topology, τscat
on R. The topological space, (R, τscat ), is known as the scattered line
or the discrete irrational extension of R.
Example 9. Consider the real line, R. Let τ denote the usual
topology on R and J denote the subset of all irrationals. Let
τscat = {U ∪ V : U ∈ τ and V ⊆ J}
∪A = ∪{Ui ∪ Vi : i ∈ I}
= Ui ∪ Vi
i∈I i∈I
where i∈I Ui ∈ τ and i∈I Vi ⊆ J. So ∪A ∈ τscat .
O3: Let D = {Ui ∪ Vi : i = 1 to n} be a finite subfamily of τscat .
Then
(an open ball center x with radius 1/n) forms a countable neighbor-
hood base at x.
Hence, S is a first countable space.
We have shown that, when equipped with the usual topology, R has
a countable base for open sets.
2
See appendix on cardinalities.
104 Point-Set Topology with Topics
Bp = {Bi : i ∈ N\{0}}
We have just shown that those spaces that have a countable base
of open sets must have a countable dense subset. In general, the
5
Where R is equipped with the usual topology.
6
Existence theorems often (but not always) suggest an application of the Axiom
of choice in the proof. Keep an eye open for it.
106 Point-Set Topology with Topics
converse does not hold true. That is, there are spaces that have a
countable dense subset which do not have a countable base of open
sets. But if S is a metrizable space then the converse holds true, as
we shall now see.
Then
x ∈ B 1 (xk ) ⊆ B 1 (x) ⊆ Ux
2j 2j
Some properties on spaces are carried over from the whole space to
their subspaces, while others are not. Those properties that do are
called “hereditary properties”.
7
The family of all ordinal numbers is too large to be called a “set”. So, we refer
to it as the class of all ordinal numbers.
Bases of Topological Spaces 109
β + 1 = [0, β] = [0, β + 1) = {α : α ≤ β}
B = {(α, β] : α, β ∈ S, α < β}
U = intS clS U
In the expression, intS clS U , the interior and closure are with respect
to the topology τ on S. The symbol
8
A more detailed study of the ordinals in the context of set theory is found in
Axioms and set theory, by Robert André (can be found online).
112 Point-Set Topology with Topics
The elements of Ro(S) are all open with respect to τ but not all
elements in τs are necessarily regular open in S. Furthermore, there
may be some open sets in τ which are not unions of elements in Ro(S)
and so these are not in τs . So we have possibly distinct topologies,
τs and τ , where
Ro(S) ⊆ τs ⊆ τ
9
We will specify later in this text that, in the literature, semiregular spaces are
assumed to be Hausdorff. But for now this is irrelevant.
10
The choice of the name “semiregular space” suggests that we will be introduced
to a “regular space” at some point. This is the case. We will show in Chapter 9
that “regular spaces” (to be defined in that chapter) are semiregular spaces, but
there exists semiregular spaces which are not regular spaces.
Bases of Topological Spaces 113
Concept Review
Exercises
Abstract
In this section, we formally define the notion of a continuous function
mapping one topological space into another. We discuss various charac-
terizations of these. An important subclass of continuous functions is the
one called “homeomorphisms”. We will see why these are fundamental
in the study of topological spaces.
117
118 Point-Set Topology with Topics
1
f −1 (x) =
f (x)
1
Note that f need not be one-to-one on all of the domain in order for us to
speak of f ← in this way.
Continuity on Topological Spaces 119
(b) It will be helpful to first prove this statement for the intersection
of only two sets U and V. The use of a Venn diagram will also
help visualize what is happening.
So, we first prove the statement: f [U ∩ V ] ⊆ f [U ] ∩ f [V ] with
equality only if f is one-to-one on U ∪ V .
Case 1: We consider the case where U ∩ V = ∅.
Then f [U ∩ V ] = ∅ ⊆ f [U ] ∩ f [V ]. So, the statement holds true.
Case 2: We now consider the case where U ∩ V = ∅.
(By definition of f ← .)
⇔ x = f (y) for some y in some S ∈ B
⇔ x ∈ f ← [{y}] ⊆ f ← [S] for some S ∈ B
⇔ x∈ f ← [S]
S∈B
Thus, f ← S∈B S = S∈B f ← (S).
(e) Proof is left as an exercise.
(f) Proof is left as an exercise.
Given two topological spaces, (S, τS ) and (T, τT ), we will discuss var-
ious types of functions, f : S → T , which map S into T . The reader
is already familiar with those functions called “continuous functions”
mapping R to R. We will generalize this notion of continuity to topo-
logical spaces.
Our formal definition of a continuous function mapping a topo-
logical space into another is presented below. Those readers who
are familiar with the “epsilon-delta” definition of a continuous func-
tion (normally presented in any Introduction to analysis course) will
notice the analytical approach cannot be used in topology since topo-
logical spaces, in their most rudimentary form are not equipped with
distance functions such as absolute values, norms or metrics.
Theorem 6.3 Let (S, τS ) and (T, τT ) be two topological spaces and
f : S → T be a function. Then f is continuous on S if and only if f
is continuous at every point of S.
Proof. (⇒) Suppose f is continuous on S, x ∈ S and y = f (x) ∈
f [S]. We are required to show that f is continuous at the point x.
Suppose U is a neighborhood of y. By definition of continuity on a
set, f ← [intT U ] is an open neighborhood of x ∈ f ← [{y}] ⊆ f ← [intT U ]
in S. By definition of neighborhood, there exists an open set, V ⊆
f ← [intT U ], such that x ∈ V . Then y = f (x) ∈ f [V ] ⊆ U . So, we
have found the required neighborhood, V , of x. So f is continuous
at the point x.
(⇐) Suppose that f is continuous at every point of S. Let U be
a non-empty open subset of f [S] ⊆ T . We are required to show that
f ← [U ] is open in S.
Let x ∈ f ← [U ]. Then f (x) ∈ U . Since f is continuous at x,
then there exists a neighborhood V of x such that f [V ] ⊆ U . Now
x ∈ intT V ⊆ f ← [f [V ]] ⊆ f ← [U ]. Then f ← [U ] is an open subset of S.
So f is continuous on S.
There are other ways of recognizing those functions which are con-
tinuous on a set. For example, if f : S → T satisfies the property,
Theorem 6.4 Let (S, τS ) and (T, τT ) be two topological spaces and
f : S → T be a function.
(a) The function f is continuous on S if and only if f pulls back
subbase elements of the topological space T to open sets in S.2
(b) The function f is continuous on S if and only if f pulls back
open base elements of the topological space T to open sets in S.3
(c) The function f is continuous on S if and only if, for any subset
U of S,
f [clS U ] ⊆ clT f [U ]
Proof. The proofs of parts (a) and (b) are left as an exercise.
(c) ( ⇒ ) Suppose f is continuous on S. To show that f [clS U ] ⊆
clT f [U ] it will suffice to show that x ∈ clT f [U ] implies x ∈ f [clS U ].
Suppose x ∈ clT f [U ]. Then there musts exist an open V in T
such that x ∈ V ⊆ T \clT f [U ]. Then f ← (x) ⊆ f ← [V ] ⊆ S \U . By
continuity of f , f ← [V ] is open in S and so clS U ∩ f ← [V ] = ∅. Then
f [f ← (x)] = x ∈ f [clS U ]. So f [clS U ] ⊆ clT f [U ].
The proof of ( ⇐ ) is left as an exercise.
2
That is, f ← [B] is open in S whenever B is a subbase element of T .
3
That is, f ← [B] is open in S whenever B is a base element of T .
Continuity on Topological Spaces 123
x ∈ f |←
A [U ] ⇒ {x ∈ A : f (x) ∈ U }
⇒ x ∈ {x ∈ S : f (x) ∈ U ∗ } ∩ A
⇒ x ∈ f ← [U ∗ ] ∩ A
The reader should be alerted to the fact that an open function need
not be a continuous function; similarly, a closed function need not be
4
Whether the function f : S → T is open or closed depends on the topology
defined on S and T .
124 Point-Set Topology with Topics
f [U ] = f [S \F ]
= f [S]\f [F ] (Since f is one-to-one)
= T \f [F ]
Example 1. Suppose (R, τ ) denotes the real line with the usual
topology, τ , and (R, τS ) denotes the real line with the upper limit
topology (Sorgenfrey line), τS .
Let i : (R, τ ) → (R, τS ) denote the identity map, i(x) = x. Verify
that this identity map is open on (R, τ ) but is not continuous on its
domain.
Solution: Since the function i(x) = x maps the open base element,
(a, b), of τ to the open set (a, b) ∈ τS (as we have seen earlier, τ ⊂ τs ),
then i maps open sets to open sets hence, i is an open function. But
(a, b ] ∈ τ . So i← [(a, b ]] = (a, b ] ∈ τ . So, the open identity map i is
not continuous on R with respect to τ .
This example illustrates that, if the codomain has more open sets
then the domain, then the identity function will not pass the test of
continuity.
Continuity on Topological Spaces 125
B = {(x, y) ∈ R2 : x2 + y 2 < 1}
f (x, y) = (x, y)
f ← : T → S is continuous ⇔ f : S → T is open
for every ε > 0, there exists N such that whenever n, m > N then
ρ(xn , xm ) < ε. Being a “Cauchy sequence” in a metric space property
which does not translate easily to a topological space. To see this
consider the continuous function g(x) = 1/x on R\{0}. The function
g maps R \ {0} homeomorphically onto itself. The sequence T =
{1, 1/2, 1/3, . . .} is a Cauchy sequence in the domain of g. But g[T ] =
{1, 2, 3, . . .} is not Cauchy in the image of g in R\{0}.5
Example 5. Consider the following property, P , on a space S:
Every real-valued continuous function on S assumes its
maximum value on S.
Verify that P is a topological property.
Solution: The negation, ¬P , of the property P is: “There is a contin-
uous real-valued function on S which does not attain its maximum
value in S”. We will show that ¬P is a topological property. The
desired result will follow.
Suppose S is a space which satisfies ¬P . Then there exists a con-
tinuous function,
f :S→R
which does not attain its maximum value in S.
Let h : S → T be a homeomorphism mapping S onto T . We claim
that T also satisfies ¬P .
Proof of claim: Consider the continuous function, f ◦h← : T → R.
If b ∈ T , then h← (b) ∈ S. Then, by hypothesis, there must exist
a ∈ S such that f (a) > (f ◦h← )(b). Note that (f ◦h← )(h(a)) = f (a) >
(f ◦h← )(b). Thus f ◦h← does not assume a maximum value on T . Then
T also satisfies ¬P , as claimed.
We conclude that S satisfies ¬P if and only if T satisfies ¬P .
Then S satisfies P if and only if T satisfies P . So, P is a topological
property.
It is interesting to note that the closed interval [0, 1] cannot be
homeomorphic to R since elementary calculus shows that [0, 1] sat-
isfies property P and R does not.
5
We will eventually see that the notion of uniform continuity of a function on
a subset of a metric space also does not translate automatically to a topological
space.
Continuity on Topological Spaces 129
sets so that this family of open sets would support the continuity
of f .
Is this hard to do? It is quite easy. We need only equip the domain,
S of f , with the discrete topology, τd . Then, no matter how f is
defined, since every subset of S is open then f is, by definition,
continuous on S. But this is not entirely satisfactory — nor an inter-
esting problem — since the discrete topology on S doesn’t depend
on the function, f , at all. We can tighten up our question a bit so
that the topology on S will relate to the specific function f .
Let f : S → T be some function mapping the set S into the
topological space T . We will topologize S so that, not only is the
function f guaranteed to be continuous on S, but that the chosen
topology is the smallest such topology. To do this, we will define
Sf = {f ← [U ] : U ∈ τT }
S{f,g} = {f ← [U ] : U ∈ τT } ∪ {g← [U ] : U ∈ τT }
fα : S → Tα
f and g agree on A.
Continuity on Topological Spaces 133
D = {x ∈ S : f (x) = g(x)}
ρ( f (a), g(a) )
ε=
3
with center f (a) and g(a), respectively. Since both f and g are con-
tinuous on S, both f ← [Bε (f (a))] and g← [Bε (g(a))] are open in S
each containing at least the point a. So the open subset
6
Once we have introduced the concept of “Hausdorff”, this statement generalizes
from “metrizable topological spaces” to “Hausdorff topological spaces”.
134 Point-Set Topology with Topics
7
An algebra is a set with + and · and scalar multiplication by elements of a field.
8
A partially ordered set is a set P on which is defined a binary relation “≤”
which is reflexive, antisymmetric and transitive.
Continuity on Topological Spaces 135
M = ∪{Ui : i ∈ I}
C = {f |←
F [A] : F ∈ F }
= (V ∩ F ) ∩ f ← [A]
= ∅ ∩ f ← [A]
=∅
Then at most finitely many elements of C intersect the neighborhood
V of p. So, C is locally finite collection of closed subsets, as claimed.
Then f ← [A] = ∪C is closed (see paragraph preceding the theo-
rem).
Then f : S → T is continuous on S.
In the above theorem, if the members of the collection F are all open
(rather than all closed as hypothesized in the theorem) the family F
need not be locally finite and so the statement may not hold true.
Concepts Review
Exercises
Product Spaces
Abstract
In this section, we will review some fundamental facts about those sets
that are “Cartesian products of sets”. We will then consider two topolo-
gies on a Cartesian product of topological spaces and study some of
their most fundamental properties. In the last half of the chapter, we
will look at some applications where product spaces play an important
role. In particular, we prove the existence of a continuous function which
maps the closed interval [0, 1] onto the product space, [0, 1]×[0, 1]×[0, 1],
a cube in a three-dimensional space.
A × B × C = {(a, b, c) : a ∈ A, b ∈ B, c ∈ C}
143
144 Point-Set Topology with Topics
is the set of all functions f mapping the index set, I, into the union,
∪ 1
α∈I Sα , such that, for β ∈ I, f (β) ∈ Sβ . So, if u is an element of
α Sα and yα = f (α), then we can express it in the form
1
We will assume that a verification involving a combination
of the Axiom of
union and the Axiom of power set guarantees that α Sα is indeed a “set”.
Product Spaces 145
2
If we write the product, α∈R Sα , then the reader can assume that the Well-
ordering theorem (equivalent to the Axiom of Choice) has been invoked to linearly
order R.
146 Point-Set Topology with Topics
Definition 7.2 Let S = i∈I Si be a Cartesianproduct of sets.
The family of functions {πi : i ∈ I} where πi : i∈I Si → Si , is
defined as
πj (xi i∈I ) = xj
We will refer to πj as being the jth projection which maps i∈I Si
onto Sj .
Proof. (a) Let β ∈ I. Since the βth projection map, πj , is onto the
(Sj )th factor,
S j = πj S i ⊆ πj Ti = Tj
i∈I i∈I
{πα← [U ] : U ∈ τα }
is the subbase, S , for the product space. While each element of the
base of open sets, B, is of the form
Since πα← [Uα ] ∩ πα← [Vα ] = πα← [Uα ∩ Vα ], we can assume that all
the α’s in the finite set, F , are distinct. This assumption does not
alter the definition of product topology. Also, πβ← [Uβ ] is a subset of
α∈I Sα where, if α = β, the αth factor is, Sα , itself, and only the
βth factor is Uβ . Hence, for any open base element, every factor is Sα
itself except for finitely many factors, Uα , as proper subsets of Sα .
It is also worth noting that
the product topology is the absolute
smallest topology on S = α∈I Sα which guarantees that each and
Product Spaces 149
Proposition 7.5 Given a product space, S = α∈I Sα , the projec-
tion map,
πβ : S → S β
is an open map.
Proof. Given: A product space, S = α∈I Sα , and a projection
map, πβ : S → Sβ .
Since functions respect arbitrary unions, it suffices to show that
the projection map sends basic open sets to open sets.
Let
∩{πα←i [Uαi ] : i = 1, 2, . . . , k}
be a basic open set in S.
If β = αj ⇒ πβ [∩{πα←i [Uαi ] : i = 1, 2, . . . , k}] = Uαj
If, for i = 1, 2, . . . , k, β = αi ⇒ πβ [∩{πα←i [Uαi ] : i = 1, 2, . . . , k}] = Sβ
(note the intersection of infinitely many sets) satisfies the “base prop-
erty”. Hence, this set will be a base for a topology τ ∗ which is different
from the product topology, τ , on S. In the literature, it is referred
to as the box topology. Note that every open base element, B ∈ B,
for the product topology is an open base element in B ∗ . Hence, the
“box topology” is stronger
(finer) than the “product topology”. In
fact, if every
factor of α∈I Uα is a proper open subset of Sα and
xα α∈I ∈ α∈I Uα ∗
∈ τ , then there does not exist a V ∈ B such
that xα α∈I ∈ V ⊆ α∈I Uα . Can you see why? So B ∗ ⊆ B.
Note that, for the Cartesian product of finitely many spaces, the
product topology and the box topology are equivalent topologies.
Example 1. Show that the product space R3 = R × R × R is
metrizable.
Product Spaces 151
Solution: This can be seen since the basic open sets in (R3 , τ )
equipped with the product topology are three-dimensional open rect-
angular boxes. While the basic open sets of (R3 , ρ), where ρ(x, y ) is
the distance between the two given points, are open balls. Since the
rectangular boxes can be filled with open balls and vice versa, the
metric space (R3 , ρ) and the product space R3 = R×R×R (equipped
with the product topology) are equivalent topological spaces. So
(R3 , τ ) is metrizable.
Example 2. The product space [0, 1]3 is metrizable. Since [0, 1]3 is
a subspace of the metrizable, R3 , then by the example on page 107,
[0, 1]3 is metrizable.
The notion of a uniform metric on a product S = j∈J [0, 1] is
discussed in the following example.
Example 3. Let S = j∈J [0, 1]. We define the following metric
on S,
ρ xj j∈J , yj j∈J = sup {|xj − yj | : j ∈ J}
The verification that this is a valid metric on S is left to the reader.
Clearly, the induced metric topology on S is not equivalent to the
product topology
(since,
for small ε, no j-factor of the open base
element, Bε xj j∈J , is equal to [0, 1]). The metric, ρ, is referred to
at the
uniform metric
on a product on S = j∈J [0, 1]. The topology induced by the uniform
metric is referred to at the
uniform topology on [0, 1]
j∈J
Note that the above statement holds true also if the product is
equipped with the box topology.
(a, b) ∈ U ⊆ intM (A × B) ⊆ A × B
We conclude that intM n∈N (0, 1) =∅= n∈N intR (0, 1).
In this text, when we say “product space”, we will always mean the
Cartesian product equipped with the product topology. The product
topology is to be considered as the default topology unless stated
otherwise.
In the following two theorems, we investigate whether the count-
ably properties carry over from factors to product and vice versa.
Recall that a topological space, (S, τS ), is second countable if it has
at least one countable base for open sets. It is first countable if each
point, x ∈ S, has a countable open neighborhood base at x.
3
The number of finite subsets of N is countable: For each n ∈ N, let Un =
{A ∈ P(N) : max A ≤ n}, the set of all subsets of {0, 1, 2, . . . , n}. Then, for each
n, |Un | = 2n+1 . The countable union of countable sets is countable (see 19.3 of
Appendix A.2), so ∪n∈N {Un } is countable. If F is a finite subset of N, F ∈ Um
for some m. Then ∪n∈N {Un } contains all finite subsets of N. Then the number of
finite subsets of N is countable.
156 Point-Set Topology with Topics
We define a function h : W → α∈I Df (α) ⊆ α∈I Sf (α) as
follows:
Let B = πα←1 [Uf (α1 ) ] ∩ · · · ∩ πf←(αk ) [Uf (αk ) ] be a basic open neighbor-
hood of a point in S = α∈I Sf (α) .
We need to verify that B ∩ D ∗ = ∅.
Since Df (α) = {df (α)n : n = 1, 2, 3, . . .} is dense in Sf (α) , then for
each f (αi ) there exists df (αi ) n ∈ Uf (αi ) , for i = 1. . ., k.
i
If df (αi )m ∈ Sf (αi ) , then
πf (αi ) ← (df (αi )m ) = {yf (α) : f (αi ) ∈ [aj , bj ]k,m } = h([aj , bj ]k,m )] ∈ h[W ]
πf (αi ) ← (df (αi )1 ) = {yf (α) : f (αi ) ∈ [aj , bj ]k,m } = h([aj , bj ]k,m ) ∈ h[W ]
Then, h[W ] ∩ πα←1 [Uf (α1 ) ]∩· · ·∩πf←(αk ) [Uf (αk ) ] = ∅. Then B∩D ∗ =
∅, so D ∗ is dense in S, as claimed.
158 Point-Set Topology with Topics
So, h[W ] is a countable dense subset of α∈I Sf (α) . Then
α∈I Sf (α) is separable, as required.
The
choice of the “product topology” on a Cartesian product,
α∈I Sα , is due mostly to the fact that it guarantees the continuity
on a product space of all its projection maps, {πα : α ∈ I}. It is the
smallest topology that will guarantee this.
Lemma 7.11 Let S = α∈I Sα be a product space and (T, τ ) be a
space. Suppose g : T → S is a function mapping the space T to the
product space, S. For each α ∈ I, let
f α = πα ◦ g
Then
is open in S = α∈I Sα . Since α∈I Sα is equipped with the product
topology, πβ← [Vβ ] is a subbase element for this topology. So, g pulls
back an open subbase element, πβ← [Vβ ], to an open subset of S =
α∈I Sα . By Theorem 6.4, g is continuous on T , as required.
Remark. In the above theorem, the fact that the Cartesian prod-
uct, S = α∈I Sα , is equipped with the product topology is what
guarantees that each πα is continuous. If S is equipped with the box
topology the theorem may not hold true.
The following
example illustrates how the above theorem may
break down if α∈I Sα is equipped with the box topology.
Example 5. Consider the Cartesian product n∈N R and suppose
R is equipped with the usual topology. Let i : R → R denote the
identity
function i(x) = x (a continuous function on R). Let g : R →
n∈N R be a function where, for each n ∈ N,
Theorem 7.12 Let {Sα }α∈I and {Tα }α∈I be two sets of topological
α }α∈I be a family
spaces and let {f of functions, fα : Sα → Tα . Then
the function, g : α∈I Sα → α∈I Tα , defined as
g(xα α∈I ) = fα (xα )α∈I
is continuous if and only if fα is continuous on Sα for each α ∈ I.
160 Point-Set Topology with Topics
Proof. Suppose S = α∈I Sα , T = α∈I Tα and {fα }α∈I is a
family of functions, fα : Sα → Tα . Let
πβS : S →Sβ and πβT : T →
Tβ be βth projection maps. Let g : α∈I Sα → α∈I Tα be defined
as g(xα α∈I ) = fα (xα )α∈I .
(⇐) For this direction, we are given that each function fα is contin-
uous on Sα . We want to show that the continuity of g follows.
To show continuity of g it will suffice to show
that g pulls back
subbase elements of α∈I Tα to open sets in α∈I Sα . Let Uβ be an
open subset of Tβ . Then πβ←T [Uβ ] is a subbase element for open sets
in T = α∈I Tα .
By Lemma 7.11, if πα ◦g is continuous for all α, then g is contin-
uous. It then suffices to show that g ← [πβ←T [Uβ ]] is open in S.
See that,
so,
Since both πβS and fβ are continuous, then the right-hand side is
open; so g ← [πβ←T [Uβ ]] is open. So, g is continuous, as required for ⇐.
(⇒) Suppose g : α∈I Sα → α∈I Tα is continuous, where
Theorem 7.13 Let S = α∈I Sα and T = α∈I Tα be two product
spaces. Suppose that, for each α ∈ I, Sα and Tα are homeomorphic.
Then the spaces S and T are homeomorphic.
Theorem 7.14 Let S = α∈I Sα be a product space. Then, for each
α ∈ I, S contains a subspace which is a homeomorphic copy of Sα .
Proof. Let β ∈ I. For α = β, we choose and fix kα ∈ Sα . Let
T = Tα = {xα i∈I : Tβ = Sβ and [α = β] ⇒ [Tα = {kα }]}
α∈I
Verify that ρ : S × S
→ R is a metric on S. Furthermore, verify that
the topology on S = n∈N Sn derived by the metric ρ is the product
topology.
Solution: We are given that S = n∈N Sn where each Sn is a metric
space and, for each n,
sup{ρn (x, y) : x, y ∈ Sn } ≤ 1
That is, the distance between any two elements of Sn does not
exceed 1.
Product Spaces 163
U ⊂ V . If y ∈ U , then
ρn (f (n), g(n))
ρ(f, g) =
2n
n∈N
ρ0 (f (0), g(0)) ρ1 (f (1), g(1))
= + + ···
20 21
ρp+2 (f (p + 2), g(p + 2))
+
2p+2
ρp+3 ( f (p + 3), g(p + 3) )
+ + ···
2p+3
2−p−0−2 2−p−1−2 2−p−2−2 2−p−(p+2)−2
< + + + · · · +
20 21 22 2p+2
1 1
+ p+3 + p+4 + · · · +
2 2
1 1 1 1
= + + + · · · + 3p+6
2p+2 2p+4 2p+6 2
1 1 1
+ + + + ···+
2p+3 2p+4 2p+5
1 1
< +
2p+1 2p+1
1
=
2p
So, g ∈ V = B1/2p (f ).
So, V is open in S with respect to the product topology.
Suppose now that U is an open subbase element in S with respect
to the product topology. Suppose U contains the point a = a(n)n∈N .
It will suffice to find an ε such that Bε (a) (with respect to ρ) is
contained in U .
Now, U is of the form {x : f (n) ∈ Wn } where Wn = Sn for all n
except, possibly, for some k ∈ N where Wk is open in Sk . Then there
is an ε1 such that
ρk (a(k), g(k)) ε1
< k
2k 2
ρn (a(n), g(n)) ε1
ρ(a, g) = n
<ε= k
2 2
n∈N
Since
ρk (a(k), g(k)) ρn (a(n), g(n))
≤ = ρ(a, g) < ε = ε1 /2k
2k 2n
n∈N
S = S1 × S2 × S3 and T = S3 × S1 × S2
are homeomorphic.
Solution: Let q : {1, 2, 3} → {3, 1, 2} be the one-to-one function
where q(1) = 3, q(2) = 1, q(3) = 2. Let q ∗ : S1 ×S2 ×S3 → S3 ×S1 ×S2
be defined as
q ∗x1 , x2 , x3 = x3 , x1 , x2
166 Point-Set Topology with Topics
(πq(3) q ∗ )← [U ] = q ∗← [πq(3) ← [U ]]
= q ∗← [U × S1 × S2 ]
= S1 × S2 × U (Since q ∗ [S1 × S2 × U ] = U × S1 × S2 )
(a basic open subset of S).
Theorem 7.15 Let S = α∈I Sα and let q : I → J be a one-to-
one function mapping I onto an indexing set, J. Then there is a
homeomorphism mapping S onto T = α∈I Sq(α) .
Proof. Let S = α∈I Sα and let q : I → J be a one-to-one function
mapping the indexing
set, I, onto the indexing
set, J. We are required
to show that T = α∈I Sq(α) and S = α∈I Sα are homeomorphic.
Let q ∗ : S → T be defined as q ∗ (xα α∈I ) = xq(α) α∈I .
Since q is one-to-one and onto J, then both q ∗ : S → T and
q ∗← : T → S are one-to-one and onto. Then πq(α) ◦q ∗ : S → Sq(α) ,
where
The above theorem confirms that “altering the order of the factors
of a product space produces another product space which is home-
omorphic to the original one”. We can summarize the statement by
saying that. . .
product spaces are commutative.
We now briefly discuss the product of two ordinal spaces, for future
reference. The ordinal space was introduced in Definition 5.14.4 In the
following example, ω1 represents the first uncountable ordinal, while,
ω0 represents the first countable infinite ordinal. Let W represent
the ordinal space, [0, ω1 ], and T represent the ordinal space, [0, ω0 ].
Recall (from the discussion which appears after Definition 5.14) that
the elements of the open base for an ordinal space are of the form
(α, β].
Let
S = W × T = [0, ω1 ] × [0, ω0 ]
be the product space of the two given ordinal spaces. Then the ele-
ments of S can be viewed as ordered pairs (α, β) ∈ W × T . Since
both sets are linearly ordered, it doesn’t hurt to visualize the prod-
uct space, S, as a Cartesian plane of numbers where W represents
the horizontal axis and T represents the vertical axis. We would then
have (0, 0) in the lower left corner and (ω1 , ω0 ) in the top right cor-
ner. The topological space S = [0, ω1 ] × [0, ω0 ] equipped with this
topology is commonly referred to by topologists as the
Tychonoff plank.
4
A more detailed study of the ordinals in the context of set theory is found in
Axioms and set theory, by Robert André (can be found online).
168 Point-Set Topology with Topics
S ∗ = S \{(ω1 , ω0 )}
simply obtained by deleting the top right corner from the Tychonoff
plank is appropriately referred to as the
(a) We say that F separates points and closed sets if, whenever F
is a closed subset of S and x ∈ F , then there exists at least one
function fβ ∈ F such that fβ (x) 5
∈ clSβ fβ [F ].
(b) We define a function, e : S → α∈Γ Sα , as follows:
e(x) = fα (x)α∈Γ ∈ fα [S] ⊆ Sα
α∈Γ α∈Γ
We refer to the function e : S → α∈Γ Sα as the
evaluation map of S into α∈Γ Sα with respect to F
5
Similar expressions such as “the subsets A and B are completely separated”
and “the real-valued function, f : S → R separates A and B if A ⊆ Z(f ) and
B ⊆ Z(f − 1) for some f ∈ C(X)” will be defined when discussing normal spaces
in Definition 10.2.
170 Point-Set Topology with Topics
⇒ fβ (a) ∈ Sβ \clSβ fβ [F ]
⇒ fβ (a) ∈ clSβ fβ [F ]
⇒ a ∈ S \ F = S \(S \U ) = U
⇒ e(a) ∈ e[U ]
shown that e : S →
We have thus α∈Γ Sα embeds S into the
product space, α∈Γ Sα .
For example,
∞
0
ϕ(0, 0, 0, , . . .) = =0
10n
n=1
∞
9
ϕ(9, 9, 9, . . .) = = 0.9999. . . = 1
n=1
10n
ϕ(2, 9, 9, . . .) = 0.2999. . . = 0.3000. . . = ϕ(3, 0, 0, . . .)
and so ϕ maps n∈Z+ D onto [0,1] but is not necessarily one-to-one
(since an endless string of 9’s and an endless string of 0’s may be
mapped to the same element in [0, 1]). But the entire set [0,1] is,
indeed, the image of n∈Z+ D under ϕ.
∗
However, if we reduce the size∗ of D to say, D = {0, 1, 2, 5, 7, 9},
then the function, ϕ : n∈Z+ D → [0, 1], defined similarly, would
produce a range which is a proper subset of [0, 1] which would contain
multiple gaps in it (since the digits 3, 6, and 8 are lacking in the
ordered strings of the domain).
If we set D = {0, 1, 2} and every number x in [0, 1] is expressed
in its triadic expansion form6 then the set
ϕ n∈Z+ {0, 1, 2} = [0.000. . . 3 , 0.2222. . . 3 ] = [0, 1]
6
. . . , 0, 1, 2, 10, 11, 12, 100, 101, 102, 110,. . .
Product Spaces 173
For example,
∞
0
ϕ(0, 0, 0, . . .) = 0.0000. . . 3 =
3n
n=1
∞
2
ϕ(2, 2, 2, . . .) = 0.2222. . . 3 = =1
n=1
3n
∞
1 1
ϕ(1, 1, 1, . . .) = 0.1111. . . 3 = n
= (Verify!)
3 2
n=1
= [0, 1]
So, every point in [0, 1] can be expressed with simply 0’s and 2’s in
ternary expansion form.
174 Point-Set Topology with Topics
be defined as
∞
mn
ϕ(mn n∈Z+ ) =
3n
n=1
C0 = [0, 1]
C1 = C0 \(1, 3)
1 2 7 8
C2 = C1 \ 2 2 ∪
3 3 32 32
C3 = C2 \. . .open middle thirds in C2
..
.
Cn+1 = Cn \. . . open middle thirds of the remaining intervals in Cn
..
.
C = ∩∞
n=0 Cn
In Definition 7.18 of the Cantor set, C = ϕ[ n∈Z+ {0, 2}] → [0, 1]
where
∞
mn
ϕ(mn n∈Z+ ) =
3n
n=1
Theorem 7.19 The one-to-one function, ϕ : n∈Z+ {0, 2} → [0, 1],
defined as
∞
mn
ϕ(mn n∈Z+ ) =
n=1
3n
which maps the product space n∈Z+ {0, 2} homeomorphically onto
the Cantor set,
C=ϕ n∈Z+ {0, 2}
a subsetof [0, 1]. So, the Cantor set is a topological copy of the product
space, n∈Z+ {0, 2}, contained in [0, 1].
Proof. Given the one-to-one function ϕ : n∈Z+ {0, 2} → [0, 1]
where
∞
mn
ϕ(mn n∈Z+ ) =
3n
n=1
Product Spaces 177
Let ε > 0. First note that, for all mn n∈Z+ ∈ n∈Z+ {0, 2},
∞
2
|ϕ(mn n∈Z+ )| ≤ =1
3n
n=1
∞ 2
Then the sequence, n=k 3k n∈Z+
, converges to zero. So, there
exists N such that
∞
2
<ε (∗)
3n
n=N +1
Claim 1: The function ϕ is continuous. If kn n∈Z+ ∈ n∈Z+ {0, 2}
then
∞
kn
ϕ(kn n∈Z+ ) = n
=x∈C
n=1
3
∞
|kn − bn |
≤0+
3n
n=N +1
∞
2
≤
3n
n=N +1
<ε
Then ϕ[U ] ⊆Bε (x)∩ C. Then ϕ is continuous at kn
n∈Z+ , and so
at all points of n∈Z+ {0, 2}. Then ϕ is continuous on n∈Z+ {0, 2},
as claimed.
Claim 2: The function ϕ is homeomorphic. To prove that ϕ is a
homeomorphism it will suffice to show it is an open function.
kn
For y = kn n∈Z+ ∈ n∈Z+ {0, 2}, ∞ n=1 n converges to ϕ(y).
3
Let U = πj←1 (kj1 ) ∩ · · · ∩ πj←m (kjm ) be an arbitrary open neigh-
borhood base element of kn n∈Z+ .
To show that ϕ is open, it will suffice to find some ε such that
Bε (ϕ(y)) ∩ C ⊆ ϕ[U ].
1
Let N = max {j1 , j2 , . . . , jm } and let ε = N+1 . (**)
3
We claim that, if | ϕ(kn n∈Z+ ) − ϕ(zn n∈Z+ ) | < ε, then
ϕ(zn n∈Z+ ) ∈ ϕ[U ].
∞ k ∞
n z n
| ϕ(kn n∈Z+ ) − ϕ(zn n∈Z+ ) | = −
3n n=1 3n
n=1
∞ k −z
n n
=
3n
n=1
N
kn − zn
∞
kn − zn
= + <ε
3n 3n
n=1 n=N +1
Then
N ∞
−1 kn − zn kn − zn 1
−ε = < + < N +1 = ε
3N +1 n=1 3n 3n 3
n=N +1
∞ N ∞
−1 kn − zn kn − zn 1 kn − zn
− < < N +1 −
3N +1 3n 3n 3 3n
n=N +1 n=1 n=N +1
Product Spaces 179
The Cantor set was defined as being the range ϕ [ n∈Z+ {0, 2}] of
n∈Z+ {0, 2}. But
the above statement shows it is much more. Since
we have shown n∈Z+ {0, 2} is a homeomorphic copy of C then, topo-
logically speaking, the subspace,
C, of [0, 1] we call the Cantor set
“is” the product space, n∈Z+ {0, 2}. The topological point of view
certainly provides much more insight on the nature and various prop-
erties of C as well as those sets that are linked to it via continuous
functions. The set-theoretic definition of C is blind to this aspect.
7
The rest of this section can be omitted without loss of continuity.
Product Spaces 181
δ = ψ ◦ϕ←
where ϕ← continuously maps C one-to-one and onto n∈Z+ {0, 2}
and ψ continuously maps n∈Z+ {0, 2} onto [0, 1].9 So, δ continuously
maps C onto [0, 1], as required.
8
For example, if y = mn n∈Z+ is the string {2, 0, 2, 0, 2, 0, . . .}, then ψ(y) =
0.10101010. . . a point in [0, 1] in dyadic expansion form. The function ψ
is easily seen to be onto [0, 1]. For example, given x = [0.001001001. . ., ],
ψ({0, 0, 2, 0, 0, 2, . . .}) = x.
9
Note that ψ is not one-to-one since ψ maps the two distinct strings
{0, 0, 2, 2, 2, . . .} and {0, 1, 0, 0, 0, . . .} to the same point 0.001111 . . . =
0.01000000 . . .
10
Pronounced: pay-an-o. This section can be omitted without loss of continuity.
182 Point-Set Topology with Topics
If TA = n∈Z+ {0, 2}, and h[TA ×TB ×TC ] = δ[TA ]×δ[TB ]×δ[TC ]
A
then h continuously maps TA × TB × TC onto [0, 1] × [0, 1] × [0, 1].
(By 7.12 and 7.20.)
By appropriately composing these functions, we have,
C → 1-1 onto ϕ←→ {0, 2}
n∈Z+
→ 1-1 onto q∗→ {0, 2}
n∈Z+ + +
A ∪ZB ∪ZC
→ 1-1 onto f → {0, 2} × {0, 2} × {0, 2}
n∈Z+
A n∈Z+
B n∈Z+
C
Let
t = h◦f ◦q ∗ ◦ϕ←
Then the function, t : C → [0, 1]3 , continuously maps C onto [0, 1]3 ,
as required.
Example 9. Show that there exists a function which continuously
maps [0, 1] onto the cube [0, 1]3 .
Solution: We adopt the notation introduced in the previous
example.
Each of the three functions
continuously maps the points in the Cantor set, C, onto the points
of [0, 1].
Recall that C is a subset of [0, 1] with multiple open intervals
missing. Also recall that a function g : [0, 1] → [0, 1] is a continu-
ous extension of fA if g is continuous on [0, 1] and g|C = fA . We
can then extend the continuous function fA : C → [0, 1] to a con-
tinuous function FA : [0, 1] → [0, 1] so that, on each missing open
184 Point-Set Topology with Topics
FA : [0, 1] → [0, 1]
FB : [0, 1] → [0, 1]
FC : [0, 1] → [0, 1]
curve.
In this sense, saying that “there is a curve that can fill the cube
[0, 1]3 ” or “there is a curve that goes through every point of the cube
[0, 1]3 ” is another way of saying that “[0, 1] can be mapped contin-
uously onto the cube [0, 1]3 ”. The reader who follows through the
proof carefully will notice that it can be generalized to the statement
“For any integer n there is a curve which goes through each point of
the cube [0, 1]n ”. The set
[0, 1]n
11
Interested readers are referred to Mathematical Intelligencer 6(3) (1984), p. 78
for a graphic representation of a space filling curve.
Product Spaces 185
Note that,
For β ∈ A, (πβ ◦fA )(xα α∈I ) = xβ = πβ (xα α∈I )
For β ∈ B, (πβ ◦fB )(xα α∈I ) = xβ = πβ (xα α∈I )
For β ∈ C, (πβ ◦fC )(xα α∈I ) = xβ = πβ (xα α∈I )
By Theorem 7.11, the functions fA , fB , and fC are all continuous
on S.
We now consider the function
f: Sα → Sα × Sα × Sα
α∈I α∈A α∈B α∈C
defined as
f (xα α∈I ) = fA (xα α∈I ), fB (xα α∈I ), fC (xα α∈I )
We claim f is one-to-one and continuous on α∈I Sα .
Since fA , fB , and fC are all three continuous, then, by Theorem
7.12, f : S → Y is continuous on its domain S. Also, since I is the
disjoint union of A, B, and C, then f maps S one-to-one and onto Y .
(Verify this!). So, f is one-to-one and continuous as claimed.
To show that f is a homeomorphism it now suffices to show that
it is open.
Let V = πα← 1
[Uα1 ] ∩ πα←2 [Uα2 ] ∩ · · · ∩ πα←k [Uαk ] be an open base
element in S = α∈I Sα . Then
f [V ] = fA [V ], fB [V ], fC [V ]
For fA [V ] = fA [πα←1 [Uα1 ] ∩ πα←2 [Uα2 ] ∩ · · · ∩ πα←k [Uαk ]]:
fA [πα←i [Uαi ]] = Uαi if αi ∈ A
= Sα if αi ∈ A
α∈A
are homeomorphic.
Product Spaces 187
Concept Review
Exercises
1. Show that α∈Γ Sα is dense in α∈Γ Tα if and only if, for each
α ∈ Γ, Sα is dense in Tα .
2. Suppose that, for eachα ∈ Γ, Sα ⊆ Tα . Then α∈Γ Sα is a subset
of the product space, α∈Γ Tα . Show that the product topology
188 Point-Set Topology with Topics
on α∈Γ Sα is the same as the subspace topology α∈Γ Sα inher-
its from α∈Γ Tα .
3. Given the product space α∈Γ Sα , show that the projection map
πα : α∈Γ Sα → Sα is an open function. Is it a closed function?
4. If in the product space, S = α∈Γ S α , each Sα is discrete,
describe the open subsets of S.
5. If in the product space, S = α∈Γ Sα , each Sα is indiscrete,
describe the
open subsets of S.
6. Let X = α∈Γ Sα and Y = γ∈Φ Tγ be two product spaces
where Γ and Φ have the same cardinality confirmed by the
one-to-one function q : Γ → Φ. For each α, Sα and Tq(α)
are homeomorphic topological spaces. Show that X and Y are
homeomorphic.
7. Suppose we are given a topological space (S, τS ) and a family of
topological spaces, {(Tα , τα ) : α ∈ Γ}. Suppose F = {fα : α ∈ Γ}
is a family of functions, fα : S → Tα , where each fα maps its
domain S into Tα . Let
B = {fα← [U ] : (α, U ) ∈ Γ × τα }
Abstract
In this section, we will present a method to topologize the range, T , of
a function, f , whose domain, S, is a topological space. The topology on
the range is referred to as the “quotient topology induced by f ”. When
the function f is used for this purpose, it is referred to as the associated
quotient map.
In this section, we will work the other way around. We are given a
topological space, S, and a function f : S → T . We wish to assign to
T a topology, τT , that will guarantee that f is continuous on S.
Again, we could take the easy way out by assigning to T the indis-
crete topology, {∅, T }. It only has one non-empty open set, T , pulled
189
190 Point-Set Topology with Topics
1
Some authors use the terms “identification topology” instead of quotient topol-
ogy and “identification map” instead of quotient map.
The Quotient Topology 191
Theorem 8.2 Suppose (S, τS ) and (T, τT ) are topological spaces and
f : S → T is a continuous function onto T .
(a) If f : S → T is an open map, then τT is the quotient topology on
T induced by f . That is, τT = τf .
(b) If f : S → T is a closed map, then τT is the quotient topology on
T induced by f . That is, τT = τf .
(c) If there is a continuous function g : T → S such that (f ◦ g)(x) =
x on T , then τT = τf .
Proof. We are given that f : S → T is a continuous function
mapping S onto T with topology τT . To show that τT is the quotient
topology induced by f it suffices to show that τT is the strongest
topology, τf that will guarantee continuity to this function, f . Since
f : S → T is continuous, and τf is the largest topology on T for
which f is continuous, then τT ⊆ τf . For each of the three parts, it
will then suffice to show that τf ⊆ τT .
(a) We are given that f : S → T is open.
We claim that τf ⊆ τT . Let U ∈ τf . By definition of τf , f ← [U ] is
open in S. Since f is both open and onto, then f [f ← [U ]] = U ∈
τT . So τf ⊆ τT . Hence, τT = τf .
(b) The proof of part (b) is similar to (a) and so is left to the reader.
(c) We are given that g : T → S is continuous such that (f ◦ g)(x) = x
(where f ◦ g : T → T ).
We claim that τf ⊆ τT . Suppose U ∈ τf . Then, by definition of
τf , f ← [U ] is open in S. We have
U = {x ∈ T : (f ◦ g)(x) = x ∈ U }
= (f ◦ g)← [U ]
= g ← [f ← [U ]]
⇒ U is open in T since g and f are continuous
⇒ U ∈ τT
192 Point-Set Topology with Topics
Hence, U ∈ τT . So τf ⊆ τT , as claimed.
Then τf = τT , as required.
π1← [U ] ∩ π2← [V ]
Since there can be many different open maps from (S, τS ) into
(T, τT ), it is possible to have distinct maps f and g associated to the
same quotient topology, τT = τf = τg .
2
The word “fiber” (or “fibre”) usually interpreted in this way in the field of set
theory. But it can have an entirely different meaning in other mathematical fields.
Its interpretation is determined by the context.
The Quotient Topology 193
3
In this context, a fiber is a set theoretic concept and is independent of the
topologies involved.
194 Point-Set Topology with Topics
τθ = {U : θ ← [U ] is open in S}
f : S → (T, τf )
θ : S → (S/Rf , τθ )
An insightful reader may already have a feeling that the two quotient
spaces are topologically the same. To confirm this, we have to show
that they are linked by some homeomorphism. We will connect S/Rf
to T by defining a third function, φf : S/Rf → T as
θ φf
S/Rf
x ∈ θ ← [ θ [ f ← [U ] ] ] ⇒ θ(x) ∈ θ [ f ← [U ] ]
⇒ θ(x) ∈ {θ(y) : y ∈ f ← [U ]}
⇒ Sx ∈ {Sy : f (y) ∈ U }
⇒ f (x) ∈ U
⇒ x ∈ f ← [U ]
θ ← [ θ [ f ← [U ] ] ] = f ← [U ]
φf (Sx ) = f (x)
φ←
f
[U ] = {Sx : φf (Sx ) ∈ U }
= {Sx : φf (θ(x)) ∈ U }
= {θ(x) : f (x) ∈ U }
= {θ(x) : x ∈ f ← [U ]}
= θ[f ← [U ]]
(φ←f
◦f ) : S → S/Rf is continuous on S. Let U be an open subset of
S/Rf .
θ ← [U ] = (φ←
f
◦f )
←
[U ] ∈ τS
⇒ f ← [(φ←
f
)← [U ]] ∈ τS
⇒ f ← [φf [U ]] ∈ τS
DS = {Dx : x ∈ S}
τθ = {U ⊆ DS : θ ← [U ] is open in S}
π1 [{a} × R] = {a}
B = {π1← [U ] : U is open in R}
T = {1} ∪ J
Let the domain, [0, 1], be equipped with the usual topology and the
range, T = {1} ∪ J, be equipped with the quotient topology induced
by the function f .
200 Point-Set Topology with Topics
f ← [ [U ∩ J] ∪ {1} ] = f ← [U ∩ J] ∪ f ← [{1}]
= [ U ∩ J ] ∪ [ [0, 1] ∩ Q ]
is open in [0, 1]. We seek a set V in {1} ∪ J that f pulls back to the
subset, f ← [V ]. We test
to find
Then
Example 4. Suppose we are given the subset, S = [0, 2π] × [0, 2π]
of R2 . We will decompose S as follows: For each point (x, 0) on the
line [0, 2π] × {0} let
So for each x ∈ [0, 2π], D(x,0) and D(2π−x,2π) represent the same
element of the decomposition, DS . For example, D(0,0) = D(2π,2π) =
{(0, 0), (2π, 2π)}.
For each (x, y) ∈ [0, 2π] × {0} ∪ [0, 2π] × {2π} let
4
In reference to August Ferdinand Möbius, 1790–1868, a German mathematician
and astronomer.
202 Point-Set Topology with Topics
τθ = {U ⊆ D : θ ← [U ] is open in S}
Concept Review
Exercises
Topological Spaces:
Separation Axioms
This page intentionally left blank
Chapter 9
Abstract
In this section we will present five classes of topological spaces which,
together, form a hierarchy of separation axioms. They differ by the way
their open sets can be used to separate their points and their closed
sets. For each of these spaces, we present a few of their characterizations
and basic properties. These five types of topological spaces are called,
Ti -spaces, where i = 0, 1, 2, 3, 4.
1
A T0 -space is also known as a Kolmogorov space (named after the mathemati-
cian Andrey Kolmogorov).
209
210 Point-Set Topology with Topics
τi = {∅, S}
x ∈ S, let
Bx = {B ∈ B : x ∈ B} ⊆ B
f (x) = Bx
Then |S| = |{Bx : x ∈ S}|. Recall that the cardinality of the power
set, P(T ), of a set T is 2|T | . Since |B| ≤ ℵ0 , then |P(B)| = 2|B| ≤
2ℵ0 .
Since, for each x ∈ S, Bx ∈ P(B), then |{Bx : x ∈ S}| ≤
|P(B)|.
We conclude that
2
Note that 2ℵ0 is the cardinality of R.
3
The T1 -spaces are also referred to as Fréchet spaces, named after the mathe-
matician Maurice Fréchet.
212 Point-Set Topology with Topics
τS = {U : u ∈ U } ∪ {S}
4
Sadly, the talented mathematician, Felix Hausdorff (along with many other
very talented European mathematicians) did not survive persecution by the Nazi
regime in Germany.
Separation with Open Sets 215
G = {(u, f (u)) : u ∈ S} ⊆ S × T
is closed in S × T .
Solution: Let t : S × T → T × T be defined as
t(u, v) = (f (u), v)
Proof. Let D be a dense subset of S such that f (x) = g(x) for all
x ∈ D.
Suppose a ∈ S \D. Then f (a) = g(a) in T . Since T is Hausdorff,
then there exists disjoint basic open sets, Bf (a) and Bg(a) with empty
intersection.
Both f ← [Bf (a) ] and g← [Bg(a) ] are open in S and each contains
the point a. But they should have empty intersection. Contradiction.
So, S \D must be empty. So, D = S.
clS U ∩ clS V = ∅
and
where (0, 1/2) and (0, 1/n) are open intervals. The basic open neigh-
borhoods of the point (1, 0) are defined to be open rectangles of the
form
Verify that the basic open neighborhoods of (0, 0) and (1, 0) can
have empty intersection but that their closures will always have a
point of the form (1/2, x) in common. So, the topological space, S,
is Hausdorff but not completely Hausdorff.
Regular ⇒ Hausdorff ⇒ T1 ⇒ T0
S = B ∪ {Q}
the standard open base be increased by one element, {Q}. That is,
the set of all rationals is a subbase element and so is declared to be
an open set. We declare S to be a subbase for some topology τS
on R. Show that the topological space, (R, τS ), is Hausdorff but not
regular.
Solution: Note that Q belongs to τS but is not an element of the
usual topology, τ, and so S = B ∪ {Q} ⊆ τ . Since every element of
B is a base element of τ, then τ ⊂ τS . So τS is strictly stronger then
the usual topology on R. Since (R, τ ) is Hausdorff, then so is (R, τS ).
We now claim that (R, τS ) is not regular. Since R is Hausdorff, R is
T1 . So, we are required to show that the topological space generated
by S is not T3 . Let J = R\Q. Since Q ∈ τS , Q is an open subset
of R with respect to τS . So, J is a closed subset of R with respect
to τS .
Then 1 is a point which does not belong to the closed subset, J,
of R. Suppose U is any open neighborhood of 1. Then there exists
and open interval (a, b) such that 1 ∈ (a, b) ⊆ U . Since (a, b) ∩ J = ∅,
Separation with Open Sets 223
then there can be no pair of disjoint open sets which contain 1 and
J, respectively. So (R, τS ) is not regular.
We now present two useful characterizations of “regular”.
U = intS clS U
Theorem
9.15 Let {Si }i∈I be a family of topological spaces and
S = i∈I Si be a corresponding product space. Then S is regular if
and only if each factor, Si , is regular.
226 Point-Set Topology with Topics
Since
In the Moore plane there are two types of points. Those points,
(x, y), whose basic open neighborhoods are of the form Bε (x, y) and
the points of the form, (x, 0), which have basic open neighborhoods
of the form
Bε (x, y) ∪ {(x, 0)} where ε = y
So, we consider these two cases separately.
Let U be an open base neighborhood, Bε (x, y), of (x, y), y = 0.
Then
(x, y) ∈ clS Bε/3 (x, y) ⊂ U
Let V be an open base neighborhood of (x, 0) of the form, Bε (x, y) ∪
{(x, 0)}, where ε = y. Then
(x, 0) ∈ clS Bε/3 (x, y/3) ∪ {(x, 0)} ⊂ V
We conclude that the Moore plane is T3 . So, S is regular.
Example 14. Recall from Definition 5.16 that a space is said to
be zero-dimensional if it has a base of clopen sets. Show that zero-
dimensional spaces which are T1 are regular spaces.
Solution: Let F be a closed subset of a zero-dimensional T1 -space
S. Then S has a base of clopen subsets. If x ∈ S \F , then there is a
subset, B, which is both open and closed such that x ∈ B ⊆ S \F .
Then B is an open neighborhood of x which is disjoint from the open
neighborhood, S \B of F . So, S is regular.
Our final axiom of separation “by open sets” involves, what we will
call, “T4 -space”. “Normal” spaces will be those T4 -spaces which are
also T1 .
“normal” ⇔ T4 + T1
So,
T4 + T1 ⇒ T3 + T1 ⇒ T2 1 ⇒ T2 ⇒ T1 ⇒ T0
2
5
Readers may find that, in the literature, many authors invert the definitions
of “T4 ” and “normal” as well as for “T3 ” and “regular”. So, when consulting
other texts we caution the reader to verify carefully which version the particular
author has a preference for. Some writers may feel strongly about their chosen
version. But as long as one is aware of such possible discrepancies, most readers
will easily adapt to a particular version, as long as the author is consistent with
its use throughout the body of the text.
Separation with Open Sets 229
U = ∪{Bαx /3 (x) : x ∈ F }
V = ∪{Bβy /3 (y) : y ∈ W }
Sμ = {x ∈ W : x < μ} = [0, μ) ∩ W
UF = ∪{(xμ , μ] : μ ∈ F }
UW = ∪{(xα , α] : α ∈ W }
6
The existence of the supremum can be justified by the fact that the class of
all ordinals is well-ordered. See the related statements from set theory in the
appendix.
Separation with Open Sets 233
K = {ω1 } × [0, ω0 ) ⊆ T
Wu = (αu , γu ] × (βu , μu ]
K ⊆ M = ∪{Wu : u ∈ K}
since the sup of a countable set cannot reach the uncountable ordinal
ω1 . So (ρ, ω1 ) ∩ M = ∅. So, no open neighborhood M of K can miss
F , as claimed.
So, T is not normal.
Example 18. Show that the subspace of a normal space need not
be normal.
Concept Review
Exercises
Abstract
In this section we will investigate another method for separating closed
sets. A function, f : S → [0, 1], which continuously maps a topological
space, S, onto the closed interval [0, 1] in such a way that f has differ-
ent constant values on a pair of disjoint closed subsets can be used to
separate sets.
f separates A and B.
237
238 Point-Set Topology with Topics
1
Named after the Russian mathematician Pavel Urysohn (1898–1924). Urysohn
was a gifted mathematician destined to make great contributions to mathematics.
He drowned while on holiday at the young age of 26 years old. The proof of
Urysohn’s lemma is an illustration of his deep insight in a mathematical problem.
Separation with Continuous Functions 239
For example,
V1 = 1/21
1 2 3
V2 = , ,
22 22 22
1 2 3 4 5 6 7
V3 = , , , , , ,
23 23 23 23 23 23 23
..
.
1 2 3 2100 − 1
V100 = , , , . . . ,
2100 2100 2100 2100
..
.
Note that, for each n, Vn ⊂ Vn+1 . So, every Vn contains the elements
of its predecessors and some. Let
J = ∪{Vn : n = 1, 2, 3, . . .}
2
To see “dense”: For any interval (a, b), 21n < b − a, for some n. Then, 1 <
b2 − a2n implies a2n + 1 < b2n , hence there must exist an integer, m, such that
n
F ⊂ Uj ⊆ clS Uj ⊆ Ui ⊆ clS Ui ⊂ S \W
W ⊆ S \clS Ui ⊆ S \Ui ⊂ S \Uj ⊆ S \clS Uj ⊂ S \F
U0 = ∩{Ui : i ∈ J} = ∩{clS Ui : i ∈ J}
U1 = ∩{S \ clS Ui : i ∈ J} = ∩{S \Ui : i ∈ J}
So,
x ∈ U0 ∪ U1 ⇔ x ∈ U0 and x ∈ U1
⇔ x ∈ clS Ut and x ∈ S \Uk for some k, t ∈ J
⇔ x ∈ S \clS Ut and x ∈ Uk , for some k, t ∈ J (∗ )
⇔ x ∈ S \clS Ut ∩ Uk , for some k, t ∈ J (∗∗ )
Jx = {i ∈ J : x ∈ Ui }
Jx∗ = {i ∈ J : x ∈ S \Ui }
See that
x ∈ U0 ⇔ x ∈ ∩{Ui : i ∈ J}
⇔ x ∈ Ui for all i
⇔ glb{i : x ∈ Ui } = glb(0, 1] = 0 = f (x)
So, f ← (0) = U0
242 Point-Set Topology with Topics
x ∈ U1 ⇔ x ∈ ∩{S \Ui : i ∈ J}
⇔ x ∈ S \Ui for all i
⇔ lub{i : x ∈ S \Ui } = lub[0, 1) = 1 = lubJx∗ = f (x)
F ⊆ U0 = f ← [{0}]
W ⊆ U1 = f ← [{1}]
f [clS Uk ] ⊆ [0, k]
f [S \Uk ] ⊆ [k, 1]
Let W = Ut \clS Ur .
Claim 3: W is an open neighborhood of q.
Proof of claim: We are given r < f (q) < t. Since, by Claim 2, if
q ∈ Ut , then f (q) ≥ t, we must then have
q ∈ Ut
Separation with Continuous Functions 243
4
Compare this definition with a similar one provided in Definition 7.16, in
another context, one where we speak of a family of continuous functions, not
necessarily real-valued. Here we speak of a single real-valued continuous function.
The reader is however encouraged to verify that when the family is one of con-
tinuous real-valued functions then the two definitions are equivalent (since R is
completely regular).
244 Point-Set Topology with Topics
Z(f ) = {x ∈ S : f (x) = 0}
Two sets in S are completely separated if and only if they are con-
tained in disjoint zero-sets in S.
Proof of this fact: For(⇐), suppose A ⊆ Z(f ) and B ⊆ Z(g) where
Z(f ) and Z(g) are disjoint zero-sets in S. Then
|f (x)|
h(x) =
|f (x)| + |g(x)|
Definition 10.4 Suppose (S, τS ) is a T1 -space. If, for any given point
x and a non-empty closed subset F disjoint from {x}, there exists
a continuous function, f : S → [0, 1], such that {x} ⊆ f ← {0} and
F ⊆ f ← {1}, then the space, S, is called a completely regular space,
or a Tychonoff space 5 A completely regular space is often referred to
as a T3 12 -space.
There are, however, regular spaces which are not completely regu-
lar. The standard example of a regular non-completely regular space
is called the Tychonoff corkscrew space.6 This space is rather involved
and lengthy to describe. So, we will not describe it in this text. The
Tychonoff corksrew, justifies,
Also, there are completely regular spaces which are not normal.
The Moore plane (Niemytzki’s plane) is such an example. At the
5
Named after the Soviet and Russian mathematician Andreı̈ Tychonoff (1906–
1993).
6
Interested readers will easily find a description of the Tychonoff corkscrew
online.
246 Point-Set Topology with Topics
end of this section (on page 263), we prove that the “Moore plane is
completely regular but not normal”. From which we deduce
completely regular ⇒ normal
This means, a T3 1 -space is strictly in between T3 and T4 (which
2
partially explains the tongue-in-cheek terminology, “T3 1 -space”, used
2
by some authors).
The description of the completely regular property does not sim-
ply refer to the separation of closed sets by open sets. It is defined
in terms of the existence of a continuous function. If we want
to refer to the “completely regular property” as a “topological
property” (or topological invariant) we should prove that it is one
first. Fortunately, the proof is fairly straightforward.
“Completely regular” is a topological property: Suppose S is com-
pletely regular and h : S → T is a homeomorphism mapping S onto
the space T . Suppose the singleton set, {x}, and the closed subset,
F , are disjoint in T . Then there exists a function f : S → [0, 1] such
that h← [{x}] ⊆ f ← [{0}] and h← [F ] ⊆ f ← [{1}]. Let g = f ◦ h← . Then
g[{x}] = {0} and g[F ] = {1}. Then T is also completely regular. So,
“completely regular” is indeed a topological property, as expected.
Readers who deal mostly with metrizable topological spaces will
be glad to know that all such spaces are completely regular. We prove
this as follows.
7
Continuous images of completely regular spaces are not always completely reg-
ular. A standard example of this fact is to produce a continuous function on the
completely regular Moore plane which maps it onto a Hausdorff, but non-regular
space.
248 Point-Set Topology with Topics
Then the fiber, f ← (r), is the zero set, Z(g), which contains the
element u. So the fiber of a continuous real-valued function, f , on S
is a zero-set.
Also see that, for any zero-set, Z(f ) of the continuous function, f ,
Z(f ) = ∩{ f ← [ (−1/n, 1/n)]}n>0
Since f is continuous,
any zero-set, Z(f ), is a Gδ
Countable intersections of zero-sets. We know that any zero-set is a
countable intersection of open sets. What can we say about countable
intersections of zero-sets? We claim: The countable intersection of
zero-sets is a zero-set.
Proof of the claim: Let {Z(fn ) : n ∈ N} be a countable family of
zero-sets with non-empty intersection. We are required to show that
∩{Z(fn ) : n ∈ N} is a zero-set. For each fn , let8
1
hn = |fn | ∧
2n
We see that 0 ≤ hn (x) ≤ 21n on S. Since the series, n∈N 21n , con-
verges, n∈N hn (x) converges uniformly to a continuous function
h(x) on S.9 That is,
hn (x) = h(x)
n∈N
8
(f ∧ g)(x) = min {f (x), g(x)}.
9
By the Weierstrass M -test.
Separation with Continuous Functions 251
So,
Z(h) = ∩{Z(fn ) : n ∈ N}
10
Since, if 0 ∈ f [Z(g)], there is some u ∈ Z(g) such that f (u) = 0 hence,
u ∈ Z(f ) ∩ Z(g); so Z(f ) ∩ Z(g) is not empty, a contradiction.
252 Point-Set Topology with Topics
|f (x)|
h(x) =
|f (x)| + |g(x)|
h[A] = {1}
h[Z] = {0}
U1 = V1
U2 = V1 ∩ V2
...
Un = V1 ∩ V2 ∩ . . . ∩ Vn
..
.
Separation with Continuous Functions 255
fi (x) 1 ∞ 1
See that, since 0 ≤ ≤ on S, and i=1 2i = 1, then, by the
2i 2i
Weierstrass M -test, the series (∗) converges uniformly to the function
f (x) on S. Uniform convergence guarantees continuity of f on S.
Also see that, since F = ∩{Vi }, F = f ← [{0}]. So, the Gδ , F , is the
zero-set, Z(f ), produced by the continuous function, f : S → [0, 1],
described in (∗).
1
h(x) = f (x)
f (p)
then,
Hence,
Then
implies
By mathematical induction,
∪{Ui : i ∈ N} ∩ ∪{Vi : i ∈ N} = ∅
x ∈ clS Ux ⊆ V
V = ∪{clS Ux : x ∈ V }
{ω1 } ⊆ ∩{Ui : i ∈ N}
γ = sup U ≤ ω1
So, {ω1 } = ∩{Ui : i ∈ N}. This shows that {ω1 } cannot be a Gδ . So,
S is not perfect, as required.
We provide another example.
Example 7. A normal space which is not perfectly normal. Let S =
R2 and p = (0, 0) and suppose S has a topology defined as follows:
τ = {T ⊆ S : S \T is finite or p ∈ T }
Case 1: Suppose b = 0.
Now, F is closed with respect to both τ and τM .
Since (S, τ ) is completely regular there exists an open neighbor-
hood V (in τ ) of F such that (a, b) ∈ clS V . Then K ∪ clS V is closed
with respect to both topologies. Then there exists a continuous func-
tion g : S → [0, 1] (with respect to τ ) such that, K ∪ clS V ⊆ g← (0)
and (a, b) ∈ g ← (1). Since g is continuous with respect to τ, it is
continuous with respect to τM . Then the continuous function g with
respect to τM completely separates K and (a, b).
Bε ⊆ clS Bε ⊆ Bδ
264 Point-Set Topology with Topics
D = (Q × Q) ∩ W
UT = ∪{Ba : (a, 0) ∈ T }
UF\T = ∪{Ba : (a, 0) ∈ F \T }
of T and F \T , respectively.
For each T ∈ P(F ), let
DT = ∪{Ba ∩ D : Ba ⊆ UT } = UT ∩ D ∈ P(D)
DF\T = ∪{Ba ∩ D : Ba ⊆ UF\T } = UF\T ∩ D ∈ P(D)
where UF\T ∩ UT = ∅
f (T ) = DT , f (F \T ) = DF\T , DF\T ∩ DT = ∅
τS = {f ← [U ] : f ∈ S , U an open subset of R}
forms a subbase for τ . (Note that subbase elements for R are of the
form (ai , ∞) or (−∞, ai ).)
268 Point-Set Topology with Topics
t∗i = ti ∨ 011
We define t : S → R, as
11
(f ∨ 0)(y) = max {f (y), 0(y)}.
12
(t/δ) ∧ 1)(y) = min {(t/δ)(y), 1(y)}.
Separation with Continuous Functions 269
Since i∈J [ai , bi ] and i∈J [0, 1] are homeomorphic spaces (by
Theorem 7.13), then the compact space, i∈J [0, 1], contains a home-
omorphic copy of S.
Notation: If S is a space and f : S → [0, 1] then f ∈ [0, 1]S =
x∈S [0, 1].
x ∈ U1 ⊆ clS U1 ⊆ U0
B = ∩{Ui : i ∈ N} = ∩{clS Ui : i ∈ N}
Concept Review
Exercises
2. Are there any normal spaces which are not separable? If so, show
one.
3. Is “perfectly normal” a hereditary property?
4. Is it true that a topological space, (S, τS ), is normal if and only
if any two non-empty disjoint closed subsets have disjoint closed
neighborhoods? Prove it.
5. Let (S, τS ) be a normal topological space which contains the non-
empty closed subset F . If U is an open neighborhood of F , show
that F ⊂ V ⊂ U for some Fσ -set, V.
6. Let (S, τS ) be a countable completely regular space. Show that S
is normal.
7. Let (S, τS ) be a completely regular topological space. Let V be an
open neighborhood of a point x. Show that there exists a Urysohn
separating function, f : S → [0, 1], for {x} and S\V if and only if
x is a Gδ .
8. We showed that closed subspaces of normal spaces are normal.
A topological space (S, τS ) is said to be completely normal if and
only if every one of its subspaces is a normal space. Show that S
is completely normal if and only if, whenever clS U ∩ V = ∅ =
U ∩ clS V , there exists disjoint open neighborhoods for U and V ,
respectively. Note: To prove “⇒” consider S \(clS U ∩ clS V ).
This page intentionally left blank
Part IV
Abstract
In this section, we will investigate whether the notion of limit points and
their sequences can be applied to topological spaces. We know that, in
metric spaces, closed subsets can be characterized by the limit points
they possess. Also, continuous functions can be characterized in terms
of how they act on sequences and their limits. We will show that first
countable topological spaces have sequences and limits points which can
be handled in the usual way.
11.1 Introduction
277
278 Point-Set Topology with Topics
1
The expressions “{xi } converges to p if the sequence eventually belongs to every
neighborhood, U of p” is also used.
Limit Points in First Countable Spaces 279
A = {f (i) : i = 1, 2, 3, . . .} = {xi }
B = {f (g(i)) : i = 1, 2, 3, . . .} = {xg(i) }
Note that the notation, xg(i) , means that xg(i) is the element of
the sequence {xi } with the index number g(i). The terms in a subse-
quence always respect the order in which they appear in the sequence.
Example 1. If A = { 11 , 12 , 13 , 14 , . . . , n1 , . . .}, where an = 1/n, and
g(n) = 2n, then B = {ag(n) } = {a2n } is the subsequence
1 1 1 1
B= , , ,..., ,...
2 4 6 2n
Every element of a subsequence must always be an element of the
sequence from which it is derived. The key is that the index function
must be strictly increasing. Also, remember that a sequence always
has infinitely many terms (but not necessarily have infinitely many
distinct elements). In this example, the sequence { 12 , 12 , 13 , 13 , 14 , 14 , . . .}
is not a subsequence of the sequence A since the indexing function
used is not strictly increasing.
Example 2. Let
A = {1, 1, 2, 1, 3, 1, 4, 1, . . .}
Bp = {Bi : i = 1, 2, 3, . . .}
1
Reminder: In the chapter on closures on page 62, we defined a cluster point of
a set A as a point p such that any open neighborhood of p contains some other
point x in A.
Limit Points in First Countable Spaces 283
Concept Review
Exercise
Abstract
In this section, we will expand the definition of “limit point” so that it
applies to arbitrary topological spaces, including those which are not first
countable. The indexing set of all natural numbers used for sequences
will be substituted by a more general indexing set called “directed set”.
The sets whose elements are ordered by a “directed set” will be called
“nets”. Nets will serve as a tool which will assist in recognizing closed
subsets and continuous functions in arbitrary topological spaces. They
will also, eventually, be used to identify sets which are “compact” once
this concept has been properly defined.
285
286 Point-Set Topology with Topics
M = {[0, 4]∪[4, 7]∪[7, 10]} ≤ {[0, 2]∪[2, 4]∪[4, 7]∪[7, 9]∪[9, 10]} = K
It is easy to verify that “≤” respects the directed set property on Part .
For example, suppose M = {[0, 5] ∪ [5, 10]} and J = {[0, 2] ∪ [2, 10]}.
If
except that the index set is not necessarily linear and so can be
“larger” than N.
{xi } → p
f [Tk ] ∩ By = ∅
288 Point-Set Topology with Topics
1
In some texts, authors use the word “cluster of a net” instead of “accumulation
point of a net”. This may lead to confusion since the word “cluster” is already
defined in the context, “cluster point of a set” (see page 62). Note that the net
N in this example, when viewed as a set, (according to definitions) has no cluster
points but does have an accumulation point.
Limit Points of Nets 289
{f (U ) : U ∈ B} = {xU : U ∈ B}
We now present the results which describe the closure of a set and
the continuity of a function in terms net convergence.
U is cofinal in D.
B = {f (g(i)) : i ∈ D} = {xg(i) : i ∈ D}
of B, where r ∈ D. Let
f [Tk ] = {f (i) : i ≥ k}
D = {(i, U ) ∈ D × Bu : f (i) ∈ U }
B = {f (g(i, Uu )) : (i, Uu ) ∈ D}
ω0 = {0, 1, 2, 3, . . .} = [0, ω0 )
2ω0 = {0, 1, 2, 3, . . . , ω0 , ω0 + 1, ω0 + 2, . . . , ω0 + n, . . .} = [0, 2ω0 )
3ω0 = {0, 1, 2, . . . , ω0 , ω0 + 1, ω0 + 2, . . . , 2ω0 , 2ω0 + 1, 2ω0 + 2, . . .}
= [0, 3ω0 )
..
.
nω0 = {0, 1, 2, . . . , ω0 , ω0 + 1, ω0 + 2, . . . , (n − 1)ω0 , (n − 1)ω0
+1, . . .} = [0, nω0 )
..
.
ω0 ω0 = [0, ω0 ω0 ) = {0, . . . , ω0 , . . . , 2ω0 , . . . , 99ω0 + 100, . . .}
Limit Points of Nets 295
Those ordinals which are smaller than ω0 are simply the natural
numbers. Ordinals such as {ω0 , 2ω0 , 3ω0 , . . . , nω0 . . .}, are all count-
ably infinite limit ordinals.
With these facts in mind we present a solution for the question
in the following example.
1
Example 5. Consider the set {n + m : n ∈ N, m ∈ N\{0}}. We will
use the set of ordinals, D = [ω0 , ω0 ω0 ), as an index to a subset of
Q ∩ [0, ∞). The set, D, need not be topologized.
Define f : [ω0 , ω0 ω0 ) → Q ∩ [0, ∞) as follows where, for n ≥ 1,
m ≥ 0:
1
f (nω0 + m) = m +
n+1
Then N = {f (i) : i ∈ [ω0 , ω0 ω0 )} is a net in Q ∩ [0, ∞) with
[ω0 , ω0 ω0 ) as directed set.
With this definition, the elements of the net are described as
follows:
1 1 1 1 1 1 1 1 1 1 1 1 1
,1 ,2 ,3 ,..., ,1 ,2 ,3 ,..., ,1 ,2 ,3 ,..., ,
2 2 2 2 3 3 3 3 n n n n n+1
1 1 1
1 ,2 ,3 ,...,
n+1 n+1 n+1
2
This means, we order the ordered pairs by using the same principle as the one
used to order words in the dictionary.
Limit Points of Nets 297
N = {f (c, d) : (c, d) ∈ D}
Solution:
Example 7. Consider the directed set, (Part , ≤), of all finite par-
titions of the closed interval [0, 10] introduced in an example on
page 286. Given two partitions P and Q in Part , P ≤ Q if Q is
a finer partition than P . That is, each closed interval in P is a union
of closed intervals in Q.
Let f : [0, 10] → R be any function on [0, 10]. Let Pαn = {Pi :
i = 1..n} represent a partition of [0, 10]. Let pi be the width of the
298 Point-Set Topology with Topics
both approximate the area beneath the curve of f on [0, 10]. Then
U : Part → R and L : Part → R define two nets,
S = R2 \(0, 0)
and
⎧
⎨r2 < r1
(r1 , θ1 ) < (r2 , θ2 ) if or
⎩
r1 = r2 and θ1 + 2nπ < θ2 + 2nπ
is a tail end of N .
By definition of accumulation point it suffices to show that
f [T(rq ,θq ) ] intersects B. If so, then N contains a subnet which con-
verges to p.
Let (rk , θk ) be any point in B. We can choose m such that
rk
rs = < rk
θk + 2mπ
Let θs = θk + 2mπ. See that (rs , θs ) is a point on the ray passing
through (rk , θk ) and so belongs to B. Also (rs , θs ) > (rk , θk ), so
(rs , θs ) ∈ T(rk ,θk ) . Then
rs
f (rs , θs ) = , θs ∈ f [T(rk ,θk ) ] ∩ B
θs
300 Point-Set Topology with Topics
N = {f (x, Ci ) : (x, Ci ) ∈ D}
z∈B ⇒ z ∈ {f (x, Ci ) : i ≥ j}
⇒ z ∈ Ci for all i ≥ j
⇒ k ∈ Ci for all i ≥ j
⇒ k∈C
N = {f (x, Ci ) : (x, Ci ) ∈ D}
g(x, Cm ) = (km , Cm )
S = R[0,1]
Example 10. Let S = [0, 1][0,1] be the topological space of all func-
tions mapping [0, 1] into [0, 1] equipped with the product topology
(that is, the topology in which convergence is pointwise). Let
D = {f ∈ H : κ(f ) ∈ N}
N = {h(f ) : f ∈ D}
be a net in H.
Limit Points of Nets 305
Example 11. Let the set, S = [0, 1][0,1] , of all functions mapping
[0, 1] to [0, 1] be equipped with the product topology. Here, we view
S as i∈[0,1] [0, 1]i . Show that S is not first countable.
f = f (i)i∈[0,1] = xii∈[0,1]
Bf = {Bn : n ∈ N}
for all n ∈ N.
Now, let V be a proper open neighborhood of πk (f ) = xk ∈
πk [S] = [0, 1]. Since V is proper in [0, 1], then
xk ∈ πk [Bn ] = [0, 1] ⊆ V
f ∈ πk← (xk )
⊆ Bn
⊆ πk← [V ]
Concept Review
Exercises
3. Let J denote the set of all irrationals in R and let p = (π, π). If
S = J2 \{p} we will define a partial ordering, “≤”, on S as:
a≤b whenever || b − p || ≤ || a − p ||
Abstract
In this section, we will introduce a form of convergence by sets rather
than the convergence by points. These families of sets are called filters.
The construction of a filter is modeled closely on the structure of a
neighborhood base at a point. We will formally define a “filter of sets”
and explain how to determine whether it has a limit point or not. We
will also define an “accumulation point” which belongs to the closure of
all sets in a filter. Finally, we will introduce “ultrafilters” and a few of
their characterizations; these will help us distinguish them from regular
filters.
309
310 Point-Set Topology with Topics
1
Not that there can be many types of filters: filters of sets, filters of closed sets,
filters of zero-sets. The definition of “filters of sets” is independent of a topology
on S.
2
If A ⊆ B then we say that B is a “superset” of A. It is worth noting that the
set, P(S), is not a filter. Why?
Limit Points of Filters 311
As we have done for sequences and nets, we define the limit point and
accumulation point of a filter base and of a filter. In what follows,
filters are family of subsets of some topological space.3
(c) The set of all accumulation points of F is called that the adher-
ence of F . The adherence of F is denoted by a(F ). That is,
a(F ) = ∩{clS F : F ∈ F }.
3
Later in the text we will discuss filters whose elements are zero-sets.
Limit Points of Filters 313
4
However, by definition, the set, B = (4 − ε, 4 + μ), will belong to F ∗ , the filter
generated by F .
314 Point-Set Topology with Topics
together all tail-ends of the net. Eventually, we will show they have
the same limit points.
f [Tu ] = {f (i) : i ≥ u in D}
Ff = {f [Tu ] : u ∈ D}
be the set of all tail ends of the net, N . Then Ff is a filter base of
sets in S.
N = {f (i) : i ∈ D}
Having seen how we can construct a filter from a net, we now show
how a net can be constructed given any filter.
DF = {(u, F ) ∈ S × F : u ∈ F }
NF = {f (u, F ) : (u, F ) ∈ DF }
A = {h(u, F ) : (u, F ) ∈ DF , u ∈ F ∈ F }
t∈U ∩V ⊆V ⊆K
t = h(t, V ) ∈ h[T(v,K) ] ∩ U
x ∈ F1 = Ux ∩ Vp ⊆ Wx
p ∈ F2 = Tp ∩ Cx ⊆ Dp
Not surprisingly, given our experience with sequences and nets, the
closure of a set can be described in terms of the limit points of its
filter bases.
F = {Tn : n = 1, 2, 3, . . .}
322 Point-Set Topology with Topics
13.9 Ultrafilters
We have seen that a filter base can contain an other smaller filter base
and can often be itself contained in some other larger filter of sets.
5
Of course, “⊆” is not a “linear ordering” of F since it is not always the case
that one filter is a subset of another.
Limit Points of Filters 323
Filter bases with large adherence sets can be built up so that they
eventually will converge to at most one of those points. But, as we
shall soon see, at some point, a filter of sets will have attained its
maximum size. We often call such filters, “maximal filters”. Although
the use of the words “maximal filter” are by themselves sufficiently
descriptive, most writers have become accustomed to using the single
term, “ultrafilter”. We will formally define an “ultrafilter” and prove
some of its characterizations. These characterizations will make it
easier to recognize an ultrafilter when we see one. We will then dis-
cuss some ultrafilter properties. Ultrafilters play an important role
in certain branches of general topology.
F ⊆H ⇒F =H
H = {U ∩ F : F ∈ F }
6
Zorn’s lemma is proven to be equivalent to the Axiom of choice. A proof appears
in R. André, Axioms and Set Theory.
Limit Points of Filters 325
Theorem 13.16 Let S be a topological space and (F, ⊆), denote the
set of all filters in P(S), partially ordered by inclusion. If F ∈ F,
then there exists an ultrafilter, U , in F which contains F .
Proof. We are given that F ∈ F. We wish to prove the existence
of an ultrafilter which contains F . We set up the problem so that
Zorn’s lemma applies.
For a given F ∈ F, consider the set,
SF = {H ∈ F : F ⊆ H }
of all filters which contain F . We are required to show that some filter
in SF is an ultrafilter (i.e., SF has a maximal element). If SF = {F }
then F is an ultrafilter. Suppose SF contains filters other than F .
Now F can be the filter base element of many chains in SF . In fact,
SF can be viewed as the union of a family of filter-chains,
{Cα : α ∈ J}
F ⊆ F1 ⊆ F2 ⊆ F3 ⊆ · · ·
πi [F ] = {πi [F ] : F ∈ F ∗ } = Fi
is a filter base in Si .8
Since F converges to xii∈I , by continuity of πi , πi [F ] = Fi
will converge to πi (xii∈I ) = xi (by Theorem 13.13).
So if a filter
converges to a particular point in a product space, i∈I Si , then the
corresponding filter in each factor converges to the corresponding
point under πi . The following theorem shows that the converse holds
true.
7
We are assuming that the product space is non-empty. This is a consequence
of Axiom of choice.
8
To see this simply note that if πi [F1 ] and πi [F2 ] belong to Fi then πi [F1 ∩F2 ] ⊆
πi [F1 ] ∩ πi [F2 ] where F1 ∩ F2 = ∅ and πi [F1 ] is never empty.
Limit Points of Filters 327
πi [F ∗ ] = {f [F ] : F ∈ F ∗ } = Fi
B = ∩{πi← [Ui ] : i ∈ F }
πi [A] ⊆ πi [∩{Ai }]
⊆ ∩{πi [Ai ]}
⊆ πi [Ai ]
⊆ Ui
9
This result will be useful to show that the product of compact spaces is compact
in the Section 13.11.
328 Point-Set Topology with Topics
For what follows recall, from Definition 13.19, that “ultranets are
those nets, {xi }, such that, for each B ∈ P(S), either B or S \ B
contains a tail end of {xi }”.
Example 9. Let S be a topological space. Suppose A = {f (i) : i ∈
D} is a net in S and F is a filter of sets in S.
(a) Show that, if A is an ultranet and F is the filter generated by
A, then F is an ultrafilter.
(b) Show that, if x ∈ S is the limit point of the ultranet A, then a
tail end of A is constant. So a convergent ultranet must have a
constant tail end.
(c) Show that, if F is an ultrafilter and A is a net determined by
F , then A is an ultranet.
(d) Show that a non-constant ultranet exists.
Solution: We are given that S is a topological space and A = {f (i) :
i ∈ D} is a net in S. Also, F is a filter of sets in S.
(a) Suppose A is an ultranet and F = {f [Tu ] : u ∈ D}, where
Tu = {i ∈ D : i ≥ u}, is the filter generated by the net A. We
are required to show that F is an ultrafilter.
Let B ∈ P(S)\∅. By Theorem 13.15, either B or S\B belongs
to an ultrafilter of sets. Suppose S \ B does not belong to F .
330 Point-Set Topology with Topics
(DU , ≤) = {(i, F ) ∈ D × U : xi ∈ F }
Concepts Review
Exercises
F × H = {F × H : F ∈ F and H ∈ H }
Is F × H a filter base?
Limit Points of Filters 333
Abstract
In this section we define and describe properties of compactness in a
topological space. The concept of compactness is a generalization of the
“closed and bounded” property in the Euclidean space R. It was intro-
duced by Pavel Urysohn in 1929. We give the most general definition of
compactness in terms of covers and subcovers. The few characterizations
given for this property will simplify the task of determining whether a
space is compact. These characterizations also provide a deeper under-
standing of what it means for a set to be “compact”. We also show
that the compact property is carried over from one topological space
to another by continuous functions. Furthermore, the compact property
carries over from the factors of a product space to the product space
itself. Subsets of a compact space, S, will be seen to be closed only
if S is Hausdorff. But closed subsets of any compact space are always
compact.
14.1 Introduction
337
338 Point-Set Topology with Topics
limit point inside F ”. Or, in the context of normed vector spaces, the
reader may have encountered a theorem which states: “If V is a finite
dimensional vector space, the compact subsets of V are precisely the
closed and bounded subsets”. One of many reasons the notion of
compactness would have been introduced in a previous course is to
access a statement commonly called the “extreme value theorem”
(EVT) which says: “Given that f : V → R is a continuous function
mapping a normed vector into R, if F is a compact subset of V , then
f attains a maximum value and a minimum value on F ”. We will be
studying precisely the same notion of compactness in the more gen-
eral context of a topological space. Compact spaces are encountered
in numerous other fields of mathematics. In general, most students
will feel that spaces which are both compact and Hausdorff are more
intuitive; they seem to be “well-behaved” since they come with many
useful tools that can be used to solve various problems.
In what follows, we will be referring to an “open cover” of a subset
F of a space, S. We say that U = {Ui : i ∈ I} is an open cover of
F if each Ui is an open subset of S and F = ∪{Ui : i ∈ I}. A “finite
subcover”, {Ui : i ∈ K}, is a finite subset of an open cover, U , of F ,
which also covers F .
1
Those readers who have skipped studying the chapters on nets, will find prop-
erties (b), (d) the most useful. These are the characterizations that are the most
often called upon, in future proofs.
Compactness: Definition and Basic Properties 341
That is, there is a point x such that x ∈ clS F for all F ∈ F . Then, by
definition of filter base, F satisfies the finite intersection property.
Then, if G is a finite subset, of F , ∩{F : F ∈ G } = ∅. Then ∩{clS F :
F ∈ G } = ∅. By hypothesis, there exists x ∈ ∩{clS F : F ∈ F } = ∅.
Then F has an accumulation point.
(c ⇒ d) Suppose every filter of sets has an accumulation point. Let
U be an ultrafilter of sets in P(S). We must show that U has a limit
point. By hypothesis, U must have an accumulation point, say p. By
Theorem 13.10, p is a limit point of some filter, H ∗ containing U .
Since U is a maximal filter, then U = H ∗ . So, p is a limit point
of U .
(d ⇒ c) We are given that every ultrafilter has a limit point. We
must show that every filter of sets has an accumulation point. Let
F be a filter base. Then, by Theorem 13.16, F is contained in some
ultrafilter, U . Let p be the limit point of U . Then, for any open
neighborhood, U ∈ Bp , of p, there is F ∈ U such that F ⊆ U . This
means every open neighborhood of p intersects every F ∈ U . Then
p ∈ ∩{clS F : F ∈ F }. So, p is an accumulation point of F .
(c ⇒ b) We are given that every filter base in P(S) has an accumu-
lation point.
Suppose the family, F , of closed subsets of S satisfies the finite
intersection property. By hypothesis, F has an accumulation point,
say p.
We are required to show that ∩{F : F ∈ F } = ∅.
Note that, F , satisfies the main filter base property and so F a
“filter base of closed sets” which has an accumulation point, p. Then,
by definition, p ∈ ∩{clS F : F ∈ F } = ∅. Since each F is closed in
S, p ∈ ∩{F : F ∈ F } = ∅, as required.
(f ⇔ d) By Theorem 13.8 and the example on page 331, an ultrafilter
has limit point p if and only if its corresponding ultranet has limit p.
(e ⇔ c) By Theorem 13.8, a filter has accumulation point p if and
only if its corresponding net has accumulation limit p. By Theorem
12.5, if a net has an accumulation point p then it has a subnet which
converges to p.
The reader will soon discover that, compact spaces are more intu-
itive and richer in interesting properties when equipped with the
342 Point-Set Topology with Topics
then,
f [F ] ⊆ ∪{f [{f ← [U ] ∩ F ] : U ∈ F }
⊆ ∪{f [{f ← [U ]] ∩ f [F ] : U ∈ F }
= ∪{U ∩ f [F ] : U ∈ F }
2
Note that the Hausdorff property for S is not required for this to hold true.
That is, closed subsets of compact spaces are always compact.
344 Point-Set Topology with Topics
Uxi ∩ [∩{Vxui : i ∈ F }] = ∅
3
Let πi [U ] and πi [V ] be two elements of πi [U ] where U and V are elements of
U . Then there exists non-empty W ∈ U such that W ⊆ U ∩ V . Then πi [W ] ⊆
f [U ∩ V ] ⊆ f [U ] ∩ f [V ] = ∅. So, πi [U ] is a filter base.
Compactness: Definition and Basic Properties 347
4
To see this, suppose Ui is a subset of Si which intersects every element of
πi [U ]. Then πi ← [Ui ] intersects every element of U . Since U is an ultrafilter,
πi ← [Ui ] ∈ U . Then πi [πi ← [Ui ]] = Ui ∈ πi [U ].
348 Point-Set Topology with Topics
{Vux × Ux : x ∈ T }
{Vuxi × Uxi : xi ∈ F ⊆ T }
G = {(x, f (x)) : x ∈ S} ⊆ S × T
Now, we know something else about cubes: Since they are the
product of compact sets,the Tychonoff theorem guarantees that
they are compact. Since i∈I [ai , bi ] and i∈I [0, 1]
are homeomor-
phic, then S can be embedded in the compact space, i∈I [0, 1]. With
this in mind, we promote the Embedding theorem II to Embedding
theorem III, in the form of the following theorem.
With the few results involving compact spaces behind us we can now
delve a bit deeper on the topic of complete separation of sets. We
first remind ourselves of some previously proven results.
are not normal. The Moore plane is such an example. (See the Moore
plane on page 265). Then. . .
the Moore plane is a non-normal subspace of the compact
(normal) space in which it is embedded.
5
This is an exercise question which appears in 15B of S. Willard’s General Topol-
ogy (1970).
352 Point-Set Topology with Topics
τ = {T ⊆ S : S \T is finite or p ∈ T }
For a given topological space, (S, τ ), the symbols C(S) and C ∗ (S)
denote the set of all real-valued continuous functions and the set
of real-valued continuous bounded functions, respectively, on S. We
recall a few concepts presented in an earlier chapter on separation of
closed subsets with functions.
— If S is a topological space and f ∈ C(S) then Z(f ) = f ← (0) is
referred to as a “zero-set” in S. We represent the family of all
zero-sets in S by
Z[S] = {Z(f ) : f ∈ C(S)}
— Recall that zero-sets are closed Gδ ’s.
— On the other hand, given a closed Gδ , F , of S, F need not nec-
essarily be a zero-set.
— However, we have shown that, in a normal space, S, every closed
Gδ is a zero-set in S.
Even though Z[S] is just a particular type of subset of P(S), the
expression Z[S] makes sense only if S is a known topological space.
After all, by definition, Z(f ) is the zero-set associated to a continuous
real-valued function on S.
We would like to discuss subfamilies of Z[S] which are “filters”.
To distinguish a filter in Z[S] from a filter of sets in P(S) we refer
to filters restricted to Z[S] as
z-filters.
Even though z-filters are, in most ways, analogous to filters of sets,
for the sake of completeness, we include the following definitions.
354 Point-Set Topology with Topics
Z : C(S) → Z[S]
are called
ideals in C(S).
6
When we will say that I is an ideal in C(S), we will always mean a “proper
ideal”.
7
Note that (C ∗ (S), +, ·) also constitutes a ring, and so we can speak of ideals
and maximal ideals in C ∗ (S) also.
356 Point-Set Topology with Topics
(c) Suppose J is a maximal ideal. Then Z[J] is a z-filter (by part a).
We are required to show that Z[J] is a z-ultrafilter. Suppose
F is a z-filter such that Z[J] ⊆ F . It suffices to show that
F = Z[J].
Z[J] ⊆ F ⇒ J ⊆ Z ← [Z[J]] ⊆ Z ← [F ]
⇒ J ⊆ Z ← [F ] (where J is maximal ideal)
⇒ J = Z ← [F ] (Since Z ← [F ] is an ideal (by part b))
⇒ Z[J] = Z[Z ← [F ]] = F
F ⊆ F1 ⊆ F2 ⊆ F3 ⊆ · · ·
Concepts Review
Exercises
Abstract
In this section, we discuss a slightly weaker version of the compactness
property called “countable compactness”. We formally define it and dis-
cuss its properties. We will see that there are countably compact spaces
which are not compact spaces. We also show that, in some topologi-
cal spaces (such as metric spaces) the countably compact and compact
properties are equivalent.
363
364 Point-Set Topology with Topics
{(S \T )} ∪ {Vx : x ∈ T }
f (n) ∈ T \∪{Ui : i = 1 to n}
Then {f (n) : n ∈ N\{0}} forms a sequence in T .
Then, for each k,
f [ [k, ∞) ] ⊆ T \∪{Ui : i = 1 to k}
So no element of U can intersect a tail end of the sequence, {f (n)},
in T . This contradicts our hypothesis stating that every sequence in
T has an accumulation point. So, U must have a finite subcover.
(a ⇒ d) We are given that S is countably compact. Let F = {Fi : i ∈
N} be countable family of closed sets in S with the finite intersection
property. We are required to show that ∩{Fi : i ∈ N} = ∅.
Suppose ∩{Fi : i ∈ N} is empty. Then {S \Fi : i ∈ N} forms an
open cover of S with no finite subcover, contradicting the property
of countable compactness on S.
(d ⇒ a) We are given that, if F is a countable family of closed sets
in S with the finite intersection property, then ∩F is not empty. We
are required to show that S is countably compact.
Suppose U = {Ui : i ∈ N} is an open cover of S. We are required
to show that U contains a finite subcover of S. Suppose U has no
366 Point-Set Topology with Topics
A = {xi : i ∈ N}
And,
the space S is a countably compact space if and only if
every sequence A in S has a subnet which converges to
some accumulation point, p, of A.
Bolzano–Weierstrass property
Proof. Given: The set, S = j∈N Sj , is a product space.
of B.
Let γ : N → B be defined as
That is,
15.4 Examples
B = {(α, β] : α < β}
1
The set S is well-ordered by ≤.
372 Point-Set Topology with Topics
Ap = {Bp ∈ B : p ∈ Bp ⊆ Up }
D = {y(i,n) : i = 1, 2, 3, . . . kn , n = 1, 2, 3, . . .}
2
Later in the text, we will refer to those spaces, S, in which all continuous real-
valued functions are bounded on S as being pseudocompact spaces. This theorem
can then correctly be paraphrased as “All countably compact Hausdorff spaces
are pseudocompact”.
Countably Compact Spaces 375
Concepts Review
Exercises
Lindelöf Spaces
Abstract
We will now investigate a property which can be seen as a weak rela-
tive of the compact property. It is called the Lindelöf property. We will
formally define it and study its characterizations and basic properties.
We compare its characteristics to those of the countable compactness
property. Finally, we will provide a few examples.
16.1 Introduction
There are various ways to weaken the “open cover. . . finite subcover”
property used to described compactness of a space. The “countably
compact” property, for example, refers to those spaces for which
every countable open cover has a finite subcover. There is another
approach we can use to weaken the compactness property. We can
require that arbitrarily large open covers have a countable subcover
(rather than the stricter “finite subcover”). This property is referred
to as the Lindelöf property. Although, some readers may not nec-
essarily view the Lindelöf property as a relative of compactness, we
included it in this part of the text since it often appears in the liter-
ature combined with other weaker compact properties. Furthermore,
it shares with the “compact relatives” a property which allows for
the reduction of a “large” open cover to one of a “smaller” size. We
will see that this property may be of interest when combined with
the properties of other non-compact topological spaces.
377
378 Point-Set Topology with Topics
1
Named after the Finnish mathematician Ernst Lindelöf (1870–1946). He made
contributions to the fields of real analysis, complex analysis, and general topology.
Lindelöf Spaces 379
16.3 Characterizations
Those who only work with metrizable topological spaces will soon
notice that the Lindelöf property provides nothing new in their topo-
logical region of the universe. This is due to the fact that, in metric
spaces, the Lindelöf property is equivalent to the second countable
property. We will say that the family of subsets, F , of a space S sat-
isfies the countable intersection property (CIP) if, for any countable
subfamily, FN , of F ,
∩{F : F ∈ FN } = ∅
W ∗ = {clS Wx : x ∈ S}
We now show that regular spaces that are equipped with the Lindelöf
property are in fact normal spaces.
Concept Review
Exercises
Abstract
In this section, we define the sequentially compact property and deter-
mine in which precise circumstances it is just another way of referring
to the compactness property. At the same time, we outline conditions
under which a compact space is not sequentially compact. To illustrate
this, we provide various examples. We also introduce two closely related
classes of spaces: feebly compact and pseudocompact spaces.
387
388 Point-Set Topology with Topics
(a) Since [0, 1] is compact and the any product spaceof compact
sets is compact (by Tychonoff theorem), then S = i∈[0,1] [0, 1]i
is compact. Since any compact set is countably compact, then S
is also countably compact.
(b) We are given that S = [0, 1][0,1]is equipped with the product
topology. That is, we view S as i∈[0,1] [0, 1]i . We will construct
a sequence in S which has no converging subsequence. Suppose
each element, x, of [0, 1] is expressed in its binary expansion
form. For each n ∈ N \ {0} we define the one-to-one function
392 Point-Set Topology with Topics
fn : [0, 1] → {0, 1} as
N = {{fn (xk ) : n = 1, 2, 3, . . .} : xk ∈ S}
1
One-to-one if we avoid infinite tail ends of zeroes. For example, 0.1111111 . . . =
1.000000 . . .
Sequentially and Feebly Compact Spaces 393
(⇒) We have already shown that compact metric spaces are com-
plete. To show totally bounded, let U = {Bε (x) : x ∈ I} be an open
cover of M . Since M is compact, U has a finite subcover and so M
is totally bounded.
∩{clS Ui : i ∈ N} = ∅
(4) Any countable open cover, {Ui : i ∈ N}, of open subsets of S has
a finite subcollection, {Ui : i ∈ F }, such that ∪{Ui : i ∈ F } is
dense in S.
396 Point-Set Topology with Topics
∩{clS Bn : n ∈ N} ⊆ S \∪{clS Vi : n ∈ N} = ∅
W (F ) = ∪{Mx : x ∈ S, F = Fx }
W = {W (F ) : F ∈ F } is an open cover of S
2
The number of finite subsets of N is countable: For each n ∈ N, let Un =
{A ∈ P(N) : max A ≤ n}, the set of all subsets of {0, 1, 2, . . . , n}. Then, for each
n, |Un | = 2n+1 . The countable union of countable sets is countable (see 19.3 of
Appendix A.2), so ∪n∈N {Un } is countable. If F is a finite subset of N, F ∈ Um
for some m. Then ∪n∈N {Un } contains all finite subsets of N. Then the number of
finite subsets of N is countable.
398 Point-Set Topology with Topics
f (x) = f (0.x1 x2 x3 · · · xn · · · )
x1 + x2 + x3 + · · · + xm
= lim sup
n→∞ m≥n m
x1 + x2 + x3 + · · · + xm
= lim sup :m>n :n≥0
n→∞ m
u = f (z)
z1 + z2 + z3 + · · · + zm
= lim sup
n→∞ m>n m
z1 + z2 + z3 + · · · + zn zn+1 + zn+2 + · · · + zm
= lim sup +
n→∞ m>n m m
zn+1 + zn+2 + · · · + zm
= 0 + lim sup (∗ )3
n→∞ m>n m
zn+1 + zn+2 + · · · + zm
= lim sup
n→∞ m>n m
= f (0.zn+1 zn+2 zn+3 · · · )
Suppose
We can choose
3
The step (∗ ) is an application of the rule: If {am } converges to a then
lim sup (am + bm ) = a + lim sup (bm )
n→∞ m>n n→∞ m>n
400 Point-Set Topology with Topics
B = {Ui : i ∈ N\{0}}
of dense subsets.
Suppose τ denotes the usual topology on S.
For each i ∈ N\{0}, let
The subset
S =τ ∪γ
(r, s) ∩ U3
2
The set γ is, γ = {U1 , U3 , U5 , . . . , } ∪ {U1 ∪ U2 ∪ U3 , U3 ∪ U4 ∪ U5 , U5 ∪ U6 ∪
U7 , . . .}.
Sequentially and Feebly Compact Spaces 401
[(w, z) ∩ V2 ] ∩ [(r, s) ∩ U3 ] = ∅
See that
Proof. Let
A1 = {U3 ∪ U5 ∪ U7 ∪ · · · }
A2 = {U5 ∪ U7 ∪ U9 ∪ · · · }
A3 = {U7 ∪ U9 ∪ U11 ∪ · · · }
..
.
An = {U2n+1 ∪ U2n+3 ∪ U2n+5 ∪ · · · }
..
.
Also,
Then
But there are spaces which are pseudocompact but not feebly com-
pact. (Such a space would have to be non-“completely regular”.)
U = {f ← [(xn − 13 , xn + 13 )] : n ∈ N}
Suppose ∩{clS Un : n ∈ N} = ∅.
For each n, choose a point xn ∈ Un to form a closed infinite
sequence {xn : n ∈ N}. For each xn we can inductively choose a
closed neighborhood, Vn , of xn such that Vn ⊆ Un and Vm ∩ Vn = ∅
whenever m = n.
Since S is completely regular, there is, for each n, a continuous
function gn : S → [0, 1] such that gn (xn ) = 1 and gn [S \Vn ] = {0}.
Let fn = ngn . Then fn maps S into [0, n]. We define the function,
h(x) = fn (x)
n∈N
on S.
We investigate properties of this function carefully. First see that
h is an unbounded function.
Also see that, for any u ∈ S, then fn (u) = 0 for no more than
one n. Then h(u) = fm (u), for some m.
We now proceed to show that h is a continuous function. Let
u ∈ S. We claim that u has an open neighborhood Wu which inter-
sects at most a single Vn .
Proof of claim: Suppose every open neighborhood in h[S] of u
intersects infinitely many Vn ’s. Then u would belong to ∩{clS Un :
n ∈ N} which has been hypothesized to be empty. So u has an
open neighborhood, say W , which intersects finitely many Vn ’s, say
{Vn1 , Vn2 , . . . , Vnk }. Since each Vni is closed, u has an open neighbor-
hood Wu which intersects only Vn1 , as claimed.
Then, for some m, h agrees with fm on a neighborhood Wu of u.
Let h(y) ∈ h[S] and U be an open neighborhood of h(y) in R.
Then h(y) = fm (y) for precisely one m ∈ N. We have shown that
h = fm on some open neighborhood, Wy , of y in S. Since fm is
continuous on Wy , then there exists an open neighborhood B of
y such that h(x) = fm (x) on B and fm [B] ⊆ U So h[B] ⊆ U .
We conclude that h is continuous at each point y ∈ S. Then h is
continuous on S, as desired.
Since h is unbounded, we have a contradiction. So ∩{clS Ui : i ∈
N} = ∅.
(2 ⇒ 3) Follows from 2 ⇔ 3 of Theorem 17.10.
(3 ⇒ 1) This follows from Theorem 17.11. This does not require
complete regularity.
406 Point-Set Topology with Topics
Concept Review
Exercises
Abstract
We will discuss another way of weakening the compact property without
sacrificing many of the properties we find desirable in a topological space.
It is called the “locally compact” property. Rather than have the compact
property assigned to the whole space, we assign it on the elements of a
certain neighborhood base of each point. After defining this property
formally we examine what are its main characteristics. Even though
local compactness is usually seen combined with the Hausdorff property
our formal definition will be in its most general form. We have seen that
all Hausdorff compact spaces are normal. But locally compact Hausdorff
spaces will be proven to be only completely regular. All metrizable spaces
will also be seen to be locally compact and Hausdorff. These concepts
will set the stage for the future study of “compactifications of locally
compact Hausdorff spaces”.
407
408 Point-Set Topology with Topics
Note that, in the above definition, in the particular case where the
space S is not Hausdorff, it may occur that the compact neighbor-
hood is not a closed subset of S. The following characterization refer-
ring specifically to locally compact spaces which are also Hausdorff
allows us to say, “there is an open set U with compact closure such
that x ∈ U ⊆ clS U ”.
p ∈ V ⊆ clK V ⊆ (intS K) ∩ U ⊆ K
Locally Compact Spaces 409
In the proof of the above theorem, note why the Hausdorff prop-
erty on S is required.
The above characterization of local compactness on Hausdorff
spaces allows us to quickly see that every compact Hausdorff space,
S, is locally compact: Since compact Hausdorff spaces are regular,
we can construct a compact neighborhood of a point, p, inside any
open neighborhood of p.
Example 1. Consider the space R with its usual topology. Show
that R is locally compact.
Solution: Let Bp = {(a, b) : a < p < b} be an open neighborhood
base for the point p. For each (a, b) ∈ Bp , there exists ε > 0, such
that,
ε ε ε ε
p ∈ p− , p+ ⊆ p− , p+ ⊆ (p − ε, p + ε) ⊆ (a, b)
3 3 3 3
Since the closed interval in this chain of containments is the closure
of the first interval and is compact, then R, with the usual topology,
is locally compact.
The space R2 is locally compact. Note that R2 is also locally compact
since, for (a, b) ∈ R2 , [a + ε, a − ε] × [b + ε, b − ε] is compact and
(a, b) ∈ intR2 [a + ε, a − ε] × [b + ε, b − ε]
= (a + ε, a − ε) × (b + ε, b − ε)
x ∈ A ⊆ clU A ⊆ Z ∩ U ⊆ U
x ∈ B ⊆ clV B ⊆ Z ∩ V ⊆ V
x ∈ A ∩ W ⊆ clW (A ∩ W ) = clS (A ∩ W ) ∩ W
a ∈ (c, d) ∩ Q ⊆ F ⊆ (x, y) ∩ Q
q[clR2 V ] = q[clR2 q ← [S ]]
= clD (q[q ← [S ]])
= clD S
ωS = S ∪ {ω}
B = {Ux : x ∈ S}
B ∗ = {clS Ux : x ∈ S}
is compact in S, as claimed.
Locally Compact Spaces 419
C0 ⊆ U0 ⊆ clS U0
C1 ∪ clS U0 ⊆ U1 ⊆ clS U1
C2 ∪ clS U1 ⊆ U2 ⊆ clS U2
.. ..
. .
Ci ∪ clS Ui−1 ⊆ Ui ⊆ clS Ui
.. ..
. .
Set
Ki ⊆ ∪{Vjk : k ∈ Fi }
clΓ V = {(x, y) : x2 + (y − δ2 ) ≤ δ2 }
We claim that clΓ V is not compact. To see this consider the open
cover
R\[r, r + δ) = ∪∞
r=1 [r − n, r) ∪ [r + δ, r + δ + n]
is open, so clR [r, r + δ) = [r, r + δ). But [r, r + δ) is not compact since
Concept Review
Exercises
Abstract
We will develop in this section some familiarity with the paracompact
property. After giving a formal definition, we provide a few examples
and discuss its invariance properties. Finally we show that all metrizable
spaces are paracompact.
1
The word “neighborhood-finite” is sometimes used instead of “locally finite”.
423
424 Point-Set Topology with Topics
We alert the reader to the fact that, in some books, the Hausdorff
property is incorporated into the formal definition of the paracom-
pact property, in the sense that, for these authors, all paracompact
2
Note that V satisfies four conditions: (1) V ’s elements must be open sets, (2)
V must refine U , (3) V must be locally finite, (4) V covers S.
Paracompact Topological Spaces 425
Vi = Ui \[−n + 1, n − 1] ⊆ Ui
and let
Vn = {Vi : i ∈ Fn }
V = ∪{Vn : n ∈ N\{0}}
U = {Ux : x ∈ H} ∪ {S \H}
V = {Vi : i ∈ I} ∪ {V }
clS W = ∪{clS Vi : i ∈ I}
It follows that
U = {Ux : x ∈ H} ∪ {S \H}
V = {Vi : i ∈ I} ∪ {V }
U = ∪{Un : n ∈ N}
430 Point-Set Topology with Topics
Let
Tn = {Tn (Uα ) : α ∈ Ω}
is a refinement of U .
3
Note that E is “σ-locally finite” (not locally finite) so we cannot conclude
immediately that metrizable spaces are paracompact. This will come later.
4
Here we are invoking the Well-ordering theorem which permits such an ordering.
It is a statement which is equivalent to the Axiom of choice.
5
For, if x ∈ Tn (Uγ ), then x ∈ B1/n (x) ⊆ Uγ .
Paracompact Topological Spaces 431
Then
1/n ≤ ρ(b, c)
≤ ρ(b, v) + ρ(c, v)
< [ρ(b, u) + ρ(u, v)] + 1/3n
< 1/3n + ρ(u, v) + 1/3n
= ρ(u, v) + 2/3n
E = ∪{En : n ∈ N\{0}}
Vm = ∪{Em(i) : i ∈ Im } = ∪ Em
6
The ordinal μ exists since the ordinals are “well-ordered”.
7
Note that we are not hypothesizing that the members of C are open in S.
434 Point-Set Topology with Topics
Cn = {Sn (En(i) ) : i ∈ In }
C = ∪{Cn : n ∈ N\{0}}
∪{clS F : F ∈ F } = ∪{F : F ∈ F }
D = {EH ∩ UH : H ∈ H }
Then,
B ⊆ ∪{Ci : i = 1, . . . , k}
y ∈ Cj ∩ EH1 ⇒ y ∈ Cj ∩ S \∪{C ∈ C : C ∩ H1 = ∅}
⇒ y ∈ ∪{C ∈ C : C ∩ H1 = ∅}
Concepts Review
Exercises
Abstract
In this section, we formally define the topological property of connected-
ness while providing a few examples of connected spaces, and of spaces
which are not. Continuous images of connected spaces are proven to
be connected. Arbitrary unions of families of connected sets are proven
to be connected provided they have at least one point in common. If
the set A is connected and is dense in a set, B, then B is shown to
be connected. In particular, closures of connected sets are connected.
The connected property will be seen to be invariant over arbitrary prod-
ucts of connected spaces, without conditions on the number of factors.
A connected component is defined as being the largest connected sub-
space containing a given point. Components will be seen to be closed,
but not necessarily open. Properties of spaces that have an open base
of connected neighborhoods will be briefly discussed. We will also define
the pathwise connected property; we will see that sets which satisfy this
property are connected. But the converse does not hold true. Finally, we
will introduce the totally disconnected property.
20.1 Definition
441
442 Point-Set Topology with Topics
course!”. Then take a pair of scissors and cut it, and ask, “what
about now?” to which you would intuitively answer “well no, not
anymore”. A bystander might add: “Both represent the same string,
but the second one differs topologically from the the first”.
All this is stated based on an intuitive understanding of the word
“connected”. But intuition, as a guiding tool, precedes the process
of providing a rigourous mathematical definition. That is, producing
a definition which can be interpreted in only one way while simulta-
neously satisfying our intuitive understanding of this property.
A rigourous definition should allow us to answer more difficult
questions about objects which possess this property but whose com-
plexity defies our imagination.
Recall that, in this book, those subsets of a space that are both open
and closed are referred to as being clopen. So, if S is the disjoint
union of two open sets A and B if and only if both A and B are
complements of an open sets and so are also closed. So, we can say
that a space
h : f [S] → {0, 1}
is defined as h[U ] = {0} and h[ f [S]\U ] = {1}. Then h[f [S]] ⊆ {0, 1},
so h is continuous on f [S]. Since f is continuous on S,
h◦f : S → {0, 1}
U = f [f ← [U ]] = f [∅] = ∅
i : (R, τ ) → (R, τs )
is not continuous.
Solution: We have seen that (R, τ ) is connected and that (R, τs ) is
not. Since the continuous image of a connected set is connected, then
i : (R, τ ) → (R, τs ) cannot be continuous, as required.
Does the union of connected sets preserve the connected prop-
erty? Our instinct states that they must, a least, have non-empty
intersection. We should check this out.
Suppose
S = ∩{Ui : i ∈ I}
Ti = Si if i ∈ F
Ti = {qi } otherwise
Let KF = i∈I Ti . By the claim established above, KF is a connected
subspace of the product space, S. Hence, {KF : F ∈ F } is a family
of connected subspaces of S, where
f (x) − x
h(x) =
|f (x) − x|
S = ∪{Cx : x ∈ S}
(U ∩ C) ∩ (V ∩ C) = ∅ and (U ∩ C) ∪ (V ∩ C) = C
1
When there can be (by context) no confusion we often drop the adjective “con-
nected” and only say “component”.
Connected Spaces and Properties 449
T ∗ = U ∪ V ∪ {(0, 1)}
B = ∩{πi← (ui ) : i ∈ F }
Hence,
the product of discrete spaces need not be a discrete space.
Example 10. Show that the components of the Cantor set are all
singleton sets.
Solution: Recall that, in Example 2 of page 174 and Theorem 7.19,
the
Cantor set was defined as being the image of the infinite product,
n∈Z+ {0, 2},
of the discrete space, {0, 2}, under the homeomorphism
function ϕ : n∈Z+ {0, 2} → [0, 1]. By the above example, the com-
ponents of n∈Z+ {0, 2} are singleton sets. The homeomorphic image
of a component must be a component. So, the components of the
Cantor set are singleton sets.
Example 11. Decomposition of a compact space into components.
Let S be a compact Hausdorff topological space which is not con-
nected. We will partition the space S by its connected components.
That is,
θ : S → DS
defined as
θ(u) = Cu if u ∈ Cu
2
We will later refer to such spaces as being totally disconnected.
Connected Spaces and Properties 453
V = {Vx : x ∈ S, x = p} ∪ {Px : x ∈ S, x = p}
F = {Vxi : xi ∈ S, xi = p, i ∈ F } ∪ {Pxi : xi ∈ S, xi = p, i ∈ F }
V = ∪{Vxi : xi ∈ S, xi = p, i ∈ F }
P = ∩{Pxi : xi ∈ S, xi = p, i ∈ F }
as claimed.
It follows that no two points in DS belong to the same connected
component and so the only connected components of DS are its
points.
Even when a space is not connected it may have a base for open
sets whose elements are connected subspaces. For example, any dis-
crete space, S, can easily be seen to have an open base of connected
subspaces, B = {{x} : x ∈ S}. So does the connected space of
454 Point-Set Topology with Topics
real numbers, R, with the usual topology since it has an open base,
B = {(a, b) : a, b ∈ R, a < b}.
We formally define this particular notion.
Ln = {(x, yn ) : yn = gn (x), x ≥ 0}
Let
B = {B1/k (1, 0) ∩ T : k ≥ 2}
of the point (1, 0) ∈ T . For each k, the open “ball”, B = B1/k (1, 0) ∩
T , in T contains countably many line segments (belonging to the
Ln ’s). If j = m there is a line L∗ whose slope is strictly in between
the slopes of Lj and Lm , so the line of L∗ does not appear in T . Then
B is disconnected at the line L∗ . So, T is not locally connected at
the point (1, 0).
Connected Spaces and Properties 455
B = {Bi : i ∈ I}
1.4
1.2
L1
(0.1)
L2
0.6
L3
0.4
0.2
u ∈ U = ∩{πi← [Ui ] : i ∈ F } ⊆ C
f is a path from a to b in S
3
If the continuous function, f , from a = f (0) to b = f (1) is a homeomorphism
then f is called an arc. If every path on S is a homeomorphism then the space is
said to be arcwise connected.
460 Point-Set Topology with Topics
Example 15. It follows from the previous theorem that the space,
S = RR , equipped with the product topology is pathwise connected
since each factor, R, is pathwise connected.
Example 16. Let u be a point in a topological space, S. Show that
S is pathwise connected if and only if there is a path joining each
point, x ∈ S, to u (Figure 20.4).
fA (0) = a
fA (1) = u
fB (1) = b
fB (0) = u
g(0) = a
g(1/2) = fA (1) = u
g(1/2) = fB (0) = u
g(1) = b
For many spaces, the only connected subspaces are singleton sets.
We briefly discuss some basic properties of these types of spaces.
M ⊆ MF = ∩{Di : Di ∈ D, i ∈ F } ⊆ U ∪ V
MF \V = MF ∩ U
p ∈ M ⊆ clS M ⊆ V
Let
D = {D ∈ S : D is clopen in S, p ∈ D}
Cp ⊆ ∩DF ⊆ clS M ⊆ V
Concepts Review
Exercises
τ = {{∅} ∪ {U : S \U is finite }}
Topics
This page intentionally left blank
Chapter 21
Compactifications of Completely
Regular Spaces
Abstract
In this section, we discuss those spaces, S, which can be densely embed-
ded in a compact Hausdorff space. Only completely regular spaces can
possess this property. The process by which we determine such a compact
space, αS, for S, is called compactifying S. The space, αS, is called the
compactification of S. The family of all compactifications of a completely
regular space can be partially ordered. The maximal compactification of
S with respect to the chosen partial ordering is called the Stone–Čech
compactification. We discuss methods for its construction. We will show
that only locally compact spaces have a minimal compactification with
respect to the chosen partial ordering. It is called the one-point com-
pactification.
477
478 Point-Set Topology with Topics
1
When we say “compactification of S” we always mean a Hausdorff compactifi-
cation.
Compactifications of Completely Regular Spaces 479
thereis a homeomorphism, h : T → i∈J [0, 1], which maps T onto
P = i∈J [0, 1]. By Tychonoff’s theorem, P is guaranteed to be com-
pact.So the function, q : S → P , defined as, q = h ◦ e, embeds S
into i∈J [0, 1]. Hence, clP q[S] is a compact subspace of the product
space, P , which densely contains the homeomorphic image, q[S], of
S.2 So, even common topological spaces such at R, Q, and N have at
least the compactification obtained by the method just described.
clT e[S]
2
This is just one small example which shows why the Tychonoff theorem deserves
to be titled and why it is such an important theorem in topology.
480 Point-Set Topology with Topics
K = αR\(Ba ∪ Bb )
αR = R ∪ {a, b, c}
482 Point-Set Topology with Topics
αR = clαR R
= clαR (R+ ∪ R− )
= clαR R+ ∪ clαR R−
= R+ ∪ R− ∪ {a, b, c}
C = {αi S : i ∈ I}
αi S αj S
πγ→α : γS → αS
Compactifications of Completely Regular Spaces 483
3
There is an analogous definition for “C-embedded” studied later: We say that U
is C-embedded in S if every real-valued function, f ∈ C(U ), continuously extends
to a function, f ∗ ∈ C(S).
484 Point-Set Topology with Topics
Suppose g ∈ C ∗ (S).
We are required to show that g : S → R extends continuously to
some function, gβ : βS → R.
If πg is the gth-projection map then
πg : f ∈C ∗ (S) clR If → clR Ig
πg |βS : βS → clR Ig
Since giβ is continuous on βS, for each i, then g β(K) : βS → i∈J [0, 1]
is continuous on βS.
486 Point-Set Topology with Topics
See that gβ(K) [βS] = gβ(K) [clβS (S)] = clV (g[S]) ⊆ clV (K) = K.
Since g β(K) |S = g, then g : S → K continuously extends to
g β(K) : βS → K on βS. As required.
Given a completely regular topological space S, and T = i∈I [ai , bi ]
we now see that the evaluation function eC ∗ (S) : S → i∈I [ai , bi ]
(which homeomorphically embeds a copy of S into T ) then continu-
ously extends to βS as follows:
eβC ∗ (S) [βS] = eβC ∗ (S) [clβS S]
= clT eC ∗ (S) [S]
where
eβC ∗ (S) (x) = f β (x)f ∈C ∗ (S)
πβ→α : βS → αS
g = f on K
g(x) = f (u), if x ≥ u
g(x) = f (v), if x ≤ v
4
Urysohn’s extension theorem should not be confused with Urysohn’s lemma.
Urysohn’s lemma states that “The topological space (S, τS ) is normal if and
only if given a pair of disjoint non-empty closed sets, F and W , in S there
exists a continuous function f : S → [0, 1] such that, F ⊆ f ← [{0}] and
W ⊆ f ← [{1}]”.
Compactifications of Completely Regular Spaces 489
hn+1 = hn − gn |T
g(x) = gn (x)
n∈N\{0}
n
See that g(x) is continuous on S: Since |gn (x)| ≤ k2 23 , and
k 2 n
n∈N\{0} 2 3 is a converging geometric series, then n∈N\{0} gn (x)
converges uniformly to g(x). Since each gn (x) is continuous on S, then
g ∈ C ∗ (S). So, g is a continuous on S.
5
To see this, the function hn = (−rn ∨ fn ) ∧ rn ) has Un ⊆ Z(hn − (−rn ) ) and
Vn ⊆ Z(hn − rn ).
490 Point-Set Topology with Topics
21.4.5 Uniqueness of βS
We are now able to prove that, up to equivalence, the Stone–Čech
compactification of S is the only compactification in which S is
C ∗ -embedded. By this we mean that, if S is C ∗ -embedded in the
compactification, γS, of S, then γS is equivalent to βS. So the sym-
bol, βS, is strictly reserved for the Stone–Čech compactification of S.
g = tα ◦πγ→α
αS γS ⇒ Cα (S) ⊆ Cγ (S)
as required.
Compactifications of Completely Regular Spaces 493
f − g ∈ Cω (S)
f∼
=g
f α = f β ◦ eβF ←
6
The Stone–Weierstrass theorem states: “Let S be a compact topological space.
Let F be a complete subring of C ∗ (S) which contains the constant functions. If
F separates the points of S then F = C ∗ (S)”.
Compactifications of Completely Regular Spaces 495
Z ∗ = {clβS Z(f ) : f ∈ M }
So,
for any free z-ultrafilter, Z = {Z(f ) : f ∈ M ⊆ C ∗ (S)} in
Z[S], we can write,
{p} = ∩{Z(f ) : f ∈ M }
for some p in S.
7
To see this, note that Z(|h| + |g|) = ∅ in T and so for the function, k(x) =
|h(x)|/[|h(x)| + g(x)|], Z(h) ⊆ Z(k) and Z(g) ⊆ Z(k − 1).
498 Point-Set Topology with Topics
S \T ⊆ βT \T
γT \T = (βS \S) ∪ (S \T )
πβ→γ |S (x) = x
f ∗ (x) = f β ◦πβ→γ |←
S (x)
8
The one-point compactification of S is also referred to as the Alexandrov com-
pactification of S, named after the soviet mathematician, Pavel Alexandrov (1896–
1982).
Compactifications of Completely Regular Spaces 501
ωS = S ∪ {ω}
Cω (S) = {f |S : f ∈ C(ωS)}
But the symbol, Cω (S), has already been used in another sense on
page 493 where Cω (S) is used to represent the set of all f ∈ C ∗ (S)
such that f β is constant on βS\S. We verify that these are the same
set. For f ∈ Cω (S) if and only if,
We can even say more. Amongst all the the completely regular spaces,
S, the only ones that are open in any compactification are the ones
where S is locally compact. We will prove this now.
9
Had we known this fact before we would has seen that, in the statement of
Theorem 21.11, the condition (1) is redundant.
502 Point-Set Topology with Topics
10
The converse of the statement in this example is true. That is, “Locally compact
second countable spaces have a metrizable one-point compactification” has been
proven. But its proof is fairly involved. So, we will not show it here.
504 Point-Set Topology with Topics
N = {f (α) : α ∈ S = [0, ω1 )}
So, q = q ∗ as claimed.
From this we can conclude that, for all f ∈ C ∗ (S), f β is constant
on βS \S. Then βS = [0, ω1 ] = ωS, the one-point compactification
of S.
11
The function, g, is known as a stereographic projection.
506 Point-Set Topology with Topics
g:N→D⊂K
gβ(K) : βN → K
Then
|βN| ≥ |K| = 2c
as claimed.
Claim 2: That |βN| ≤ |K| = 2c .
Proof of Claim 2: We know that each function in C ∗ (N) can be
seen as a sequence {xi : i ∈ N} in RN . Then
C ∗ (N) = {fi : N → R : i ∈ I}
12
The proof of | i∈R [0, 1]| = cc = 2c is shown in an example of Section 24.2 of
Axioms and Set theory, R. André, in which we compute the cardinality of RR .
13
The proof of |RN | = c is shown in Theorem 25.2 of Axioms and Set theory,
R. André.
508 Point-Set Topology with Topics
Let T = i∈I [ai , bi ] ⊆ i∈I R where, by Tychonoff theorem, T is
compact.
Recall that eC ∗ (N) : N → i∈I R is the evaluation map generated
by C ∗ (N), explicitly defined as
eC ∗ (N) (n) = fi (n)fi ∈C ∗ (N) ∈ eC ∗ (N) [N] ⊆ T ⊆ i∈I R
Then eC ∗ (N) [N] ⊆ T = i∈I [ai , bi ], and |T | ≤ |R|I = cc = 2c . So,
Then
i : Q → clβR Q = βR
iβ(βR) : βQ → βR
Then
i∗ : R → βN
βN = clβN N
= clβN i[N]
⊆ clβN i∗ [R] (Since i embeds N in i∗ [R])
= i∗β [clβR R]
= i∗β [βR]
510 Point-Set Topology with Topics
Since i∗β [βR] contains βN, then |βN| ≤ |βR|. This establishes
Claim 3.
Combining the results in the three claims above we conclude that
|βR| = |βQ| = |βN| = 2c as required.
βT = iβ(βS) [βT ]
= iβ(βS) [clβT T ]
= clβS i[T ]
= clβS T
clβS F = βF
Compactifications of Completely Regular Spaces 511
(clβS S)\S ⊆ βS \S
D = {xi : i ∈ N}
n∗ ∈ (βN\N)\D and n ∈ N
Now, for each i ∈ N, {xi } and {n∗ , n} form disjoint closed subsets
of βN.
512 Point-Set Topology with Topics
Concepts Review
Abstract
In this chapter, we introduce an alternate method to construct a com-
pactification of a locally compact Hausdorff space. We define the notion
of the singular set, S(f ), of a function, f : S → T . We will show that
we can always use S(f ) to construct a compactification, αS = S ∪ S(f ),
by applying a suitable topology on αS. If the singular set, S(f ), con-
tains the image, f [S], of f , we refer to f as a singular map. When f is
singular the resulting compactification, S ∪f S(f ), is called a singular
compactification.
515
516 Point-Set Topology with Topics
S(f ), of f as follows:
γS = S ∪f S(f )
Bx = U ∪ f ← [U ]\F
1
Remember that, if S is locally compact Hausdorff, then S is open in any com-
pactification of S.
518 Point-Set Topology with Topics
If U is an open subset of γS \S
Since f is not singular, then S(f ) does not satisfy the condition,
f [S] ⊆ S(f ), required to construct a singular compactification.
Despite this, we can still adjoin the singular set S(f ) to S to form a
larger set, K = S ∪ S(f ).
We define a topology on K as follows: The set, BS , of basic open
neighborhoods of points in S will be the same as the ones in S when
viewed as a topological space on its own. For x ∈ S(f ), F a compact
subset of S and U an open neighborhood of x in T , we define
Bx = (U ∩ S(f )) ∪ f ← [U ]\F
B = BS ∪ {Bx : x ∈ S(f )}
2
If f is not singular, f [S] may still intersect S(f ), or may not even intersect
S(f ) at all; it is just that f [S] cannot be entirely contained in S(f ).
522 Point-Set Topology with Topics
(2) The set S is dense in γS = S ∪ S(f ). See that very open neigh-
borhood, U ∪ f ← [U ]\F , of a point in S(f ) intersects S.
(3) Fact: Suppose f : S → T is a continuous function, where T is
compact.
Case 1: If f [S] is compact, S(f ) ⊆ f [S].
Case 2: If f [S] is non-compact, f also induces a compactification
of f [S]:
f β(T ) [βS] = f [S] ∪ S(f ) = clT f [S]
with compactification outgrowth, S(f )\f [S].
Proof. We are given that f : S → T is a continuous function
mapping S into the compact space T . The function f extends to
f β(T ) : βS → T .
By definition of S(f ), f [S] ∪ S(f ) ⊆ clT f [S] = f β(T ) [βS].
Case 1: Suppose f [S] is compact. Then f [S] ∪ S(f ) ⊆ clT f [S] =
f [S], so S(f ) ⊆ f [S], as required.
Case 2: Suppose f [S] is non-compact. We claim that
f β(T ) [βS] ⊆ f [S] ∪ S(f ). Suppose not. Suppose there is a point
u ∈ f β(T ) [βS]\S(f )). Then, since u ∈ S(f ), there is a clT f [S]-
open neighborhood, U , of u such that clS f ← [U ] is a compact
subset of S.
←
Then f β(T ) (u) ⊆ clS f ← [U ] ⊆ S. So, u ∈ f [S]. Then
f β(T ) [βS] ⊆ f [S] ∪ S(f ) as claimed.
We conclude that f β(T ) [βS] = f [S] ∪ S(f ).
So, f [S] ∪ S(f ) is a compactification of f [S] with compactifi-
cation outgrowth S(f ) \ f [S].
(4) Fact: For f : S → T , f β(T ) [βS \S] ⊆ S(f ).
Proof. Let f β(T ) (u) ∈ f β(T ) [βS \S] and U be an open neigh-
borhood of f β(T ) (u) in clT f [S]. Then
←
u ∈ f β(T ) [U ] ∩ βS \S = ∅
Then clS f ← [U ] cannot be compact.3 So f β(T ) (u) ∈ S(f ).
We conclude f β(T ) [βS \S] ⊆ S(f ).
3
For if clS f ← [U ] is compact and V is an open neighborhood of u which misses
←
clS f ← [U ] then V ∩ f β(T ) [U ] is an open subset of βS contained in βS \S.
Singular Sets and Singular Compactifications 523
= f β(T ) |← ←
βS\S [U ] ∪ f [U ]\F
= f β(T ) |←
βS\S [U ] ∪ f
β(T ) ←
|S [U ]\F
←
= f β(T ) [U ]\F
f β(T ) (y) = x
So,
(x)] = x.
Then f γ : γS → clT f [S] is easily seen to be continuous on its
domain.
We can then say, f extends to f γ : γS → clT f [S] where
f γ [γS] = f γ [S ∪ S(f )]
= f γ [S(f )] ∪ f [S]
= S(f ) ∪ f [S]
= clT f [S]
both mapping R into the compact subspace [−1, 1]. Show that sin
and cos are both singular maps on R and so each induce a singular
compactification of R.
Solution: Case sine: See that, for any x ∈ [−1, 1] and open neigh-
borhood, U of x, in [−1, 1], sin← [U ] is unbounded and so its clo-
sure, clR sin← [U ], in R is not compact. Then x ∈ S(sin), and so
[−1, 1] ⊆ S(sin). By definition, S(sin) ⊆ cl[−1,1] sin[R], so
Then sin : R → [−1, 1] is a singular map. We can then use the sine
function to construct the singular compactification
of R.
Not surprisingly,
αR = R ∪cos S(cos)
γR = R ∪sin S(sin)
πγ→α : γR → αR
p ∈ ∩{clY f [S \F ] : F is compact in S}
⊆ clY f [S \clS f ← [U1 ]]
⊆ clY f [S \f ← [U1 ]]
⊆ clY f ◦f ← [Y \U1 ]]
= Y \U
4
Where Cα (S, K) is the set of continuous functions mapping S into K which
extend to f α C(αS, K).
530 Point-Set Topology with Topics
αS = S ∪f S(f )
γS = S ∪g S(g)
f γ = f α ◦πγ→α
αS = S ∪f S(f )
γS = S ∪g S(g)
f γ : S ∪g S(g) → S(f )
on [0, 1]. Then sin2 and cos2 are homeomorphically related. By the
above theorem R ∪sin2 S(sin2 ) and R ∪cos2 S(cos2 ) are equivalent
compactifications. This is what we were required to show.
There can be various ways of showing that
the compactification βN is not a singular compactification.
5
The limit ordinal (equipped with the interval topology), ωn is the set of all
ordinals less than ωn . It is also expressed as ωn = [0, ωn ). For example, ω0 =
[0, ω0 ) = N, is the set of all finite ordinals and [0, ω0 ] is the successor, ω0 + 1, of
ω0 . The first uncountable ordinal, ω1 = [0, ω1 ), is the set of all countable ordinals
and [0, ω1 ] is the successor ω1 + 1 of ω1 .
If |T | ≥ |ωn | for all n ∈ N, we can always choose a non-limit ordinal, α, such
that |ωα | > |T |. Things would then follow identically.
6
Since |[0, ωn ) × {p}| = |ωn | > |ω1 | = |R| ≥ |f [[0, ωn ) × {p}]|. Then
sup |f ← [f [[0, ωn ) × {p}]]| < |ωn |.
536 Point-Set Topology with Topics
Concepts Review
On C-Embeddings and
Pseudocompactness
Abstract
In this section, we define the C-embedded property. We describe a char-
acterization associated to the existence of a C-embedded subset. We then
present a few applications associated to these types of subsets. We then
discuss the pseudocompact property in relation to C-embeddings.
537
538 Point-Set Topology with Topics
t(x) = tan[(gk)(x)]]
= tan[g(x)(1)]
= tan[arctan(f (x))]
= f (x)
N = {mi : i ∈ N}
S \U ⊆ ∩{S \Vi : i ∈ N}
ni ∈ Z(gi − 1)
S \Vi ⊆ Z(gi )
S \U ⊆ ∩{Z(gi ) : i ∈ N}
Z(t) ∩ N = ∅
1
See justification on page 252 where it is shown that a countable intersection of
zero-sets is a zero-set.
544 Point-Set Topology with Topics
It follows that,
2
This statement expresses a property related to the concept of “p-points”.
A p-point in a space S, is a point p ∈ S such that p belongs
to the interior of any Gδ which contains it. It is easily verified
that, if S is completely regular and p is a p-point in S, then
p ∈ intS Z for any zero-set Z in Z[S] such that p ∈ Z.
On C-Embeddings and Pseudocompactness 545
U = ∪{Vi : i ∈ N}
Proof of this fact: Let p ∈ (clβS N )\N . Since (clβS N )\N ⊆ Z(f β )∩
βS \S, f β (p) = 0 and p is an accumulation point of N . Then there
is some subsequence {nj(i) : i ∈ N} ⊆ N , converging to p. Since f β
is continuous on βS,
{f β (nj(i) ) : i ∈ N} −→ f β (p) = 0
such that such that clβS (S \U ) ⊆ Z(hβ ) and clβS N ⊆ Z(hβ − 1), as
claimed.
We are then guaranteed that there exists a continuous function
h : S → [0, 1] such that,
[W ∩ βS \clβS (S \U )]\ K
Since Cz(hβ )∩βS\S is open in βS\S, then clβS N\N ⊆ intβS\S (Z(f β )∩
βS \S), as required.
With the tools presented above, we are now able to prove an inter-
esting statement (in Theorem 22.10) presented in the last chapter
548 Point-Set Topology with Topics
whose proof was differed to this time. We stated that spaces, S, such
that βS is a singular compactification must be pseudocompact. We
prove this in the next theorem.
T = {ti : i ∈ N}4
M = {mi : i ∈ N}
3
By Theorem 6.11, the continuous image of a separable set is separable.
4
For if r[βN ]\(βN \N ) is finite, then βN \N is separable.
On C-Embeddings and Pseudocompactness 549
5
T ⊆ r[βN ]\(βN \N ) ⇒ T ∩ βN \N = ∅
and
M ⊆ N ⇒ clβS M ⊆ clβS N = βN
⇒ clβS M \M ⊆ clβS N \N = βN \N
⇒ clβS M \M ⊆ βN \N
⇒ T ∩ clβS M \M = ∅ (Since T ∩ βN \N = ∅)
6
Every function is continuous on N so M is C-embedded in N . Now, N
was declared to be C-embedded in S so M is C-embedded in S. Then M is
C ∗ -embedded in S.
550 Point-Set Topology with Topics
So,
By Corollary 23.6,
continuous, f : S → ωR,
7
We will add later to this list the following characterization: Pseudocompact
spaces, S, are precisely those spaces whose realcompactification, υS, is βS (24.8).
8
We will add later: A Hausdorff topological space, S, is compact if and only if
S is both realcompact and pseudocompact (24.7).
9
When U satisfies this property we say that U is “locally finite”.
552 Point-Set Topology with Topics
αX = βS × βT ≡ βX
βX ≡ αX
X ∪ A ∪ B is C ∗ -embedded in αX (∗)
Z(f α ) = ∩{Vi : i ∈ N}
g = 1/f
is continuous on X ∪ A ∪ B.
Suppose (u, v) ∈ Z(f α ), a subset of C.
On C-Embeddings and Pseudocompactness 555
M = {mi : i ∈ N}
we have a contradiction.
So, X ∪ A ∪ B must be pseudocompact. We are done with step 1.
Step 2. In this part we conclude the proof by showing that X is
pseudocompact.
We are given that αX and βX are equivalent compactifications
and so X is C ∗ -embedded in αX. Also we know (from step 1) that
X ∪ A ∪ B is pseudocompact.
Suppose X is not pseudocompact.
Then the space X contains a copy, N = {(ni , mi ) : i ∈ N}, of N
which is C-embedded in X. That is, there is a continuous function d :
N → R such that d[N ] is closed and unbounded in R and {d(ni , mi )}
is clopen in d[N ], for each i. Suppose, without loss of generality, that
Z = {ni : (ni , mi ) ∈ N } is infinite. Let
W = {(nij , v) : nij ∈ Y }
a subset of S × {v} ⊆ A.
Let r : W → d[N ] be defined as r(nij , v) = d(nij , mij ).
On C-Embeddings and Pseudocompactness 557
10
By comparison
with a geometric series and the Weierstrass M -test. Note that,
2n
since 13 ∞n=1 3 converges to 1 the range of g is contained in [−1, 1].
On C-Embeddings and Pseudocompactness 559
We let
h(x) = k(x)g(x)
Concepts Review
Realcompact Spaces
Abstract
In this section, we introduce the set of all points in βS called the “real
points” of a space S. The set of all real points of S is denoted by υS.
Given a space S, the extension of S, υS, is referred to as the Hewitt–
Nachbin realcompactification of S. If υS = S then S is said to be real-
compact. We provide a characterization as well as a few examples of
realcompact spaces.
ωR = R ∪ {∞}
561
562 Point-Set Topology with Topics
f β(ω) : βS → ωR
Of course, if f : S → R is unbounded,
υf S = f β(ω)← [R]
= f β(ω)← [clR f [S]]
= f β← [clR f [S]]
= βS
υf S = βS
f β(ω) |υS
1
The Greek letter, υ, is pronounced upsilon.
564 Point-Set Topology with Topics
υf S = f β(ω)← [R]
S ⊆ υS ⊆ βS
f υ = f β(ω) |υS
At one end of the spectrum we have, for example, the class of count-
ably compact spaces. These spaces have been shown to have only
Realcompact Spaces 565
real z-ultrafilter
p ∈ Z(hβ ) ⊆ βS \υS
as required.
(b) We are given that every point in βS \υS belongs to a zero-set
entirely contained in βS \ υS. Suppose p is a point in βS \ υS.
We will show that no real z-ultrafilter converges to p; so a real
z-ultrafilter can only converge to a point in υS.
Realcompact Spaces 567
2
See that hβ ← [ [−a, b] ] = ∩{hβ ← [ (a − 1/n, b + 1/n) ]} is a closed Gδ -set
in βS. In a normal space, closed Gδ ’s are zero-sets (by Theorem 10.10). Then
hβ ← [−1/n, 1/n] is a zero-set, for each n.
568 Point-Set Topology with Topics
= lim {h(xi )}
xi →p
= lim {1/f (xi )}
xi →p
= ∞ ∈ ωR
So, p is not a real point. Then, if every point in βS\S belongs to a
zero-set entirely contained in βS\S the subset, βS\S, cannot con-
tain any real points. So, υS = S. By definition, S is realcompact.
This proves (ii ⇒ i).
(ii ⇒ iii) We are given that every point in βS \S belongs to a
zero-set entirely contained in βS\S. We are required to show the
limit of any real z-ultrafilter belongs to S.
Since (ii) ⇒ (i), our hypothesis implies that no point in βS\S
is real. So, υS = S. By part b) no real z-ultrafilter converges to
a point in βS \ υS = βS \ S. Then a real z-ultrafilter can only
converge to point in S, as required.
(iii ⇒ ii) We are given that every real z-ultrafilter in Z[S] con-
verges to a point in S. Let p ∈ βS\S. We are required to produce
a zero-set Z(h) ∈ Z[S] such that p ∈ Z(hβ ) ⊆ βS \S.
Suppose Zpβ = {Z(f β ) : f ∈ C ∗ (S), p ∈ Z(f β )} is the unique
z-ultrafilter in Z[βS] which converges to p. By hypothesis, the
corresponding z-ultrafilter, Z = {Z(f ) : f ∈ C ∗ (S), p ∈ Z(f β )},
in Z[S] is not real. Then, Z contains a countable subfamily
{Z(fn ) : fn ∈ D, p ∈ Z(fnβ } such that
∩{Z(fn ) : fn ∈ D, p ∈ Z(fnβ } = ∅
Let
W β = ∩{Z(fnβ ) : fn ∈ D, p ∈ Z(fnβ )}
Then W β is a zero-set, say W β (hβ ), in Z[βS] such that p ∈
W β (hβ ) ⊆ βS \S, as required.
Realcompact Spaces 569
3
If S is pseudocompact then every function in C(S) is bounded and so βS \υS
is empty. Being empty it cannot contain a zero-set of Z[βS]. On the other hand,
if a non-compact space, S, is realcompact, then βS\S = βS\υS is non-empty. So,
C(S) contains unbounded functions. So a non-compact realcompact space cannot
be pseudocompact. In this case, βS \S contains a zero-set.
1
In Theorem 25.7 of the next chapter where better tools are available, we show
that any product of R’s is realcompact.
570 Point-Set Topology with Topics
4
Where f υ = f β(βT ) |υS .
Realcompact Spaces 571
f υ (r) ∈ υh T
S is C-embedded in υS.
The function
φ : C(S) → C(υS)
We have seen that S ⊆ υS ⊆ βS. We have also seen that, for every
function f ∈ C(S), the function, f β(ω) |υS , continuously maps υS
into R. That is, every function f ∈ C(S) extends to a function, f υ ,
in C(υS).
We also make the following observation. Since υS ⊆ βS, then
clβS υS ⊆ βS. Given that clβS S ⊆ clβS υS, then
β(υS) = βS
υ(υS) = υS
5
Named after the American mathematician Edwin Hewitt (1920–1999) and the
Jewish-Brazilian mathematician Leopoldo Nachbin (1922–1993).
Realcompact Spaces 573
Then
6
We can also conclude that “if and only if every z-ultrafilter satisfies the count-
able intersection property”.
Realcompact Spaces 575
to the function
(iα |T )υ : υT → υSα = Sα
Since T is dense in υT , (iα |T )υ = iα on υT , so (iα |T )υ embeds
υT into υSα , establishing the claim.
Since (iα |T )υ [υT ] = υT ⊆ υSα = Sα for all α ∈ I, then
υT ⊆ ∩{Sα : α ∈ I} = T .
Given that T ⊆ υT , we can only conclude that T = υT and
so T is realcompact.
(b) Suppose S = α∈I Sα where each Sα is realcompact. For γ ∈ I,
the projection map, πγ : S → Sγ is continuous and hence extends
continuously to
πγυ : υS → υSγ
where Sγ = υSγ .
Let G = {πα :α ∈ I} where πα : S → Sα . Thenthe evaluation
map, eG : S → α∈I Sα extends to eG υ : υS → α∈I Sα = S a
function which embeds υS into S.
Then υS ⊆ S. We conclude that S = υS and so S is
realcompact.
The above few examples may lead the reader to suspect that non-
realcompact spaces are uncommon. This motivates us to construct
such a space. We do so in the following example.
Example 6. Recall that ω1 denotes the first uncountable ordinal
while ω0 denotes the first countable infinite ordinal. Let X = [0, ω1 )
and Y = [0, ω0 ) be equipped with the ordinal topology, and T =
X × Y be the corresponding product space.7
In the example on page 373, it is shown that X = [0, ω1 ) is count-
ably compact. By Theorem 15.9, since X is countably compact, for
any f ∈ C(X), f [X] is compact in R. This implies that [0, ω1 ) is
pseudocompact. But the space X is non-compact since the open
cover {[0, γ) : γ ∈ S} has no finite subcover. By Theorem 24.7,
pseudocompact spaces which are realcompact must be compact. So,
[0, ω1 ) is not realcompact.
But the space X, when viewed as a homeomorphic image of the
subspace, [0, ω1 )× {0}, of the product, T , is closed in T . By Theorem
24.11, closed subspaces of realcompact spaces are realcompact. So,
the product space, [0, ω1 ) × [0, ω0 ), cannot be realcompact.
Concepts Review
7
In Theorem 21.18, it is shown that βX = [0, ω1 ] = ωX.
Realcompact Spaces 579
Perfect Functions
Abstract
In this section, we introduce the notion of a “perfect function”. After pro-
viding a formal definition we derive two of its most well-known charac-
terizations. Our brief discussion of perfect functions will involve notions
discussed in our study of singular functions and of realcompact spaces.
25.1 Introduction
581
582 Point-Set Topology with Topics
υS = ∩{υf S : f ∈ C(S)}
was called the set of “all real points of S”. When υS ∩ βS\S = ∅, we
referred to S as satisfying the “realcompact” property and referred
to S as being a realcompact space.
In this section, we will generalize the procedure used to construct
υf S and study those functions f : S → T such that f+ : S → αT ,
for any compactification αT of T (instead of only for ωR).
1
Some authors may not require that perfect functions be continuous.
Perfect Functions 583
f β(α) : βS → αT
K = f ← (f β(α) (u))
2
Since u ∈ clS∪{u}S = clS∪{u}(S \ U ∪ U ) = clS∪{u} (S \ U ) ∪ clS∪{u} U and
u ∈ clS∪{u}U then u ∈ clS∪{u}(S \U ).
Perfect Functions 585
= f [F ]
f β(α) [clβS F ] ∩ T = f [F ]
γS = S ∪ S(f )
586 Point-Set Topology with Topics
Let
γS = S ∪ S(f )
where f γ(α) [S(f )] = S(f ) appears in the role of the identity map on
S(f ).
(⇒) Suppose f is perfect. We are required to show that f [S] ∩
S(f ) = ∅.
Then, f β(α) [βS \ S] ∩ f [S] = ∅ ((By Theorem 25.2, part (c)).
Therefore,
f β(α) [βS \S] ⊆ f β(α) [βS]\f [S] (By Theorem 25.2, part (c)
= [ f [S] ∪ S(f ) ]\f [S] (See (††))
Since f β(α) [βS\S] = S(f ) (see († † †), above), and [ f [S] ∪ S(f ) ] \
f [S] = S(f )\f [S], we obtain
Case f [S] = [a, b] : Then f β [βS] = f [S] = [a, b]. So S(f ) ⊆ f [S].
Since S(f ) ∩ f [S] = ∅, then f is not perfect.
Other cases, f [S] = [a, b) or f [S] = (a, b] or f [S] = (a, b):
If f [S] = [a, b) then f β [βS] = clR f [S] = f [S] ∪ S(f ) = [a, b) ∪ {b}
where {b} = S[f ]. Then S(f )∩f [S] = ∅ and so f is perfect. Similarly,
if f [S] = (a, b] or f [S] = (a, b) then S(f ) ∩ f [S] = ∅ and so f is
perfect.
Example 2. Let f = π2 arctan. We then obtain the function f :
R → [−1, 1]. Show that f is perfect.
Solution: The function, f , maps the connected interval (−∞, ∞)
one-to-one onto T = (−1, 1). Since f : R → [−1, 1] is real-valued
and bounded then, by the statement the previous example, f is
perfect.
Perfect Functions 589
So, in this case, υf S = f β(ω)← [R] = βS. Then ∩{f β(ω)← [R] : f ∈
C ∗ (S)} = βS. When S is not pseudocompact3 the functions, f , in
C ∗ (S) play no role in distinguishing the real points in βS \S from
the “non-real points”. Only unbounded functions, f , will extend to
a function, f β(ω) , so that f β(ω)← (∞) is non-empty.
So, if S is not pseudocompact and F = C(S) we will denote
the non-empty set of all unbounded real-valued functions on S by
3
A pseudocompact space is one for which C(S) = C ∗ (S).
590 Point-Set Topology with Topics
H = F \C ∗ (S). Then
eF (x) = f (x)f ∈F ∈ T
It extends to
β(α)
eF : βS → αT
β(α)
where eF maps βS onto clK T = αT .
In the following theorem, we establish a fundamental relationship
between the realcompact property and properties of eF .
β(α)
eH (x) = f β(ω) (x)f ∈H
Suppose S is realcompact.
We are required to show that eF : S → eF [S] ⊆ f ∈F R is a
β(α)
perfect function. To do this it will suffice to show that eF [βS \S] =
(clK T ) \T and invoke Theorem 25.2, part (b).
Since S is realcompact, βS \S = βS \υS, so, for every x ∈ βS \S,
there is some f ∈ H such that f β(ω) (x) = ∞.
Then
hence,
β(α)
eF [βS \S] ∩ f ∈F Rf =∅ (∗)
592 Point-Set Topology with Topics
Let T = eF [S]. Since T ⊆ f ∈F Rf , then (*) implies
β(α)
eF [βS \S] ∩ T = ∅ (∗∗)
For K = f ∈F clωR f [S].
β(α) β(α)
eF [βS] = eF [βS \S] ∪ eF [S]
β(α)
= eF [βS \S] ∪ T (By (**), disjoint union.)
= clK T
β(α) β(α)
Since [eF [βS \S] ∪ T ]\T = eF [βS \S], then
β(α)
eF [βS \S] = (clK T )\T
So, if S is realcompact, then, by 25.2, eF : S → f ∈F f [S] is
perfect.
eβ(α)F : βS → αT
Perfect Functions 593
is a perfect function.
Theorem 25.7 Let R = j∈J Rj denote a product of R’s. The
product space, R, is realcompact.
Proof. Let R = j∈J Rj and K = j∈J ωRj .
Let πi : j∈J Rj → Ri denote the function defined as πi ( xj j∈J ) =
xi ∈ Ri . Essentially πi is the real-valued continuous function which
projects R into R. So,
P = {πj : j ∈ J} ⊆ C(R)
The family P generates the evaluation map eP : Rj →
j∈J
j∈J Rj defined as
β(ω)
eP β(K) (y) = πj (y)πj ∈P ∈ πj ∈P ωRπj \ j∈J Rπj
eC(R) β(K) (y) = f β(ω) (y)f ∈C(R) ∈ f ∈C(R) ωRf \ j∈J Rj
This means that eC(R) : R → f ∈C(R) Rf is a perfect function.
By Corollary 25.6, R is realcompact.
We have shown that R is realcompact.
596 Point-Set Topology with Topics
Concept Review
Abstract
In this chapter, we define both the Freudenthal compactification and
the family of “perfect compactifications”. In spite of its name, a perfect
compactification has very little to do with “perfect functions”. A per-
fect function is one which is closed and whose fibers are compact, while a
perfect compactification, αS, is one for which the fibers of πβ→α are con-
nected. We produce an algebraic characterization of those compactifica-
tions we call “perfect”. We also present examples of both the Freudenthal
compactification of a space and a perfect compactification. This chapter
can be studied immediately after the chapter introducing compactifica-
tions without loss of continuity.
1
Hans Freudenthal (1905–1990) was a Jewish, German-born Dutch mathemati-
cian at the University of Amsterdam. He was suspended from his duties by the
Nazis during the war. After the war he was reinstated to his former position.
597
598 Point-Set Topology with Topics
While,
a space is totally disconnected if and only if every connected
component is a singleton set.
T = ∩{Z(f − tf ) : f ∈ A }
602 Point-Set Topology with Topics
p = eG (x)
= f (x) f ∈G
= pf f ∈G
∈ f ∈G Rf
eA (x) = t = tf f ∈A
Let T = e←
A ( tf f ∈A ). Then f (x) ∈ f [T ] = {tf }, for each f ∈ A .
This means that
T = ∩{f ← {tf } : f ∈ A }
T = F1 ∪ F2 ⊆ h← [th , th + ε] ⊆ U1 ∪ U2 (∗)
as claimed.
T = F1 ∪ F2 ⊆ W1 ∪ W2
See that
h← (th + ε) ⊆ h← [th , th + ε]
= h← [th , th + ε] ∩ (U1 ∪ U2 ) (by (∗))
= [h← [th , th + ε] ∩ U1 ] ∪ [h← [th , th + ε] ∩ U2 ]
= W1 ∪ W2
h(y) = th + ε (∗∗)
For p ∈ γS, let Fp denote the set of all functions in C(βS) which
are constant on the connected set, πβ→γ ← (p). By Lemma 26.6, Fp
is an algebraic subring of C(βS).
Since πβ→γ = eGγ ← ◦eG β (by Lemma 21.12), then πβ→γ ← (p) =
β←
eG (eGγ (p)). So,
G β ⊆ ∩{Fp : p ∈ γS}
Then
clβN A = Z(f β − 1) = βN\Z(f β − 0)
is clopen in βN.
Concept Review
Abstract
In this chapter, we investigate a family of topological spaces whose
elements are sequences. These spaces of sequences are vector spaces
equipped with a topology which is determined by norms. The norms
we will study are p -norms and the ∞ -norm. We will verify when the
p -spaces are separable, second countable, Lindelöf and sequentially com-
pact. The ∞ -spaces of sequences will be shown to be complete. Along
the way we will prove two important inequalities: Hölder’s inequality
and Minkowski’s inequality for the p -spaces.
F (N, S)
611
612 Point-Set Topology with Topics
Given a normed vector space (S, +, ·, ) and the set F (N, S), an
“p -space” and the “p -norm” are defined as follows.
N3: The triangle inequality for p -norms, also called the Minkowski
inequality, is more difficult to prove. It is in fact quite tricky. It’s
proof is the main subject of the next subsection on inequalities.
Lemma 27.2 Lemma for Hölder’s Inequality For any t ∈ (0, 1) and
any A > 0, B > 0
At B 1−t ≤ tA + (1 − t)B
Proof. We are given that A > 0, B > 0. For values of t ∈ (0, 1),
we define the functions f (t) and g(t) as
To prove the lemma it suffices to show that g(t) ≤ f (t) on (0, 1).
If we let a = ln A and b = ln B, then
A = ea
B = eb
The functions f (t) and g(t) then take on the form (Figure 27.1),
where f (t) represents a straight line joining the points (0, eb ) and
(1, ea ) and g(t) represents an exponential function joining the same
points (0, eb ) and (1, ea ).
Spaces Whose Elements Are Sequences 615
200
(1, ea)
f(t) = (ea – eb) t+ eb
100
(0, eb)
0
–0.4 –0.2 0.2 0.4 0.6 0.8 1 1.2 1.4
x
Figure 27.1. The graph of f (t) and g(t) when a > b. See Figure 27.2 for case
a < b.
200
(0, eb)
(1, ea)
0
–0.4 –0.2 0.2 0.4 0.6 0.8 1 1.2 1.4
x
p
Proof. Note that q = p−1 implies 1p + 1q = 1. If either f or g is
0 then both sides are zero and so the theorem holds true. Suppose
then that neither f nor g is the zero sequence.
Suppose A = si p /f pp and B = ti q /gqq .
p
Let t = 1/p. Then q = p−1 implies 1 − t = 1/q. Then At B 1−t ≤
tA + (1 − t)B (this follows from the lemma).
A B
At B 1−t ≤ tA + (1 − t)B ⇒ A1/p B 1/q ≤ +
p q
si ti si p ti q
⇒ ≤ p +
f p gq pf p qgqq
implies
∞
∞ ∞
si ti 1 si p 1 ti q
≤ +
f p gq p f pp q gqq
i=0 i=0 i=0
Spaces Whose Elements Are Sequences 617
∞ p
∞ q
1 i=0 si 1 i=0 ti
= +
p f pp q gqq
1 f pp 1 gqq
= +
p f pp q gqq
1 1
= +
p q
= 1 (By hypothesis)
f + gp ≤ f p + gp
= f p/q
p
= f p−1
p (Since q = p/(p − 1))
So, si p−1 i∈N q = f p−1
p , as claimed.
The inequality is now proven in the following chain of inequalities.
⎛ 1/p ⎞p
∞
f + gpp = ⎝ si + ti p ⎠
i=0
∞
= si + ti p−1 si + ti
i=0
∞
≤ si + ti p−1 (si + ti ) (Triangle inequality for .)
i=0
∞
∞
p−1 p−1
= si + ti si + si + ti ti
i=0 i=0
Spaces Whose Elements Are Sequences 619
≤ si + ti p−1 i∈N q · f p
+ si + ti p−1 i∈N q · gp (By Hölder’s twice)
= si + ti p−1 i∈N · [f p + gp ]
q
= f + gp−1
p · [f p + gp ] (By claim *)
Then
1
f + gp = f + gpp ≤ f p + gp
f + g p−1
p
from which we obtain the desired triangle inequality.
Bε (f ) = {y ∈ S : y − f p < ε}
contains a sequence in D.
p 1/p is a number, then
Since f p = [ ∞i=0 si ]
∞
lim si p = 0
n→∞
i=n
Let ε > 0. We can then choose n such that ∞ p p
i=n+1 si < ε /2.
Since D is dense in S, every open ball, Bε (si ), with center si meets
D, and so, for a given n, for each i = 0 to n, we can find di ∈ D such
that si − di < εp /2n.
For i > n, set di = 0. Let d = {di : i ∈ N} =
{d0 , d1 , d2 , . . . dn , 0, 0, 0, . . .}. Then d ∈ D.
Then
∞
f − dpp = si − di p
i=0
n
∞
= si − di p + si − 0p
i=0 i=n+1
n
εp εp
< +
2n 2
i=0
nεp εp
= + = εp
2n 2
Spaces Whose Elements Are Sequences 621
U = {fn : n ∈ N}
If n = k,
⎡ ⎤1/p
∞
fn − fk p = ⎣ s(n,j) − s(k,j)p ⎦
j=0
= (1p + 1p )1/p
= 21/p
We know that for each real value of p ∈ [1, ∞), f p is a valid norm
on F (N, S).
We now wonder if there is a natural way we can extend the value
of p so as to include p = ∞, In a sense, we are wondering whether
the limit, limp→∞ f p is a number. If so, is this number a norm of
f which we could represent as “f ∞ ”. How would we define it?
To investigate this, let (S, ) be a normed vector space, let
f =< si >i∈N ∈ F (N, S) and p ≥ 1, let
k(n) = sup{si : i = 0, 1, 2, . . . , n}
β = sup{si : i ∈ N}
lim k(n) = β
n→∞
Let
n 1/p
p
g(n, p) = si
i=0
Spaces Whose Elements Are Sequences 623
Then there exists κ > 0 such that p > κ implies, for any choice
of n
This implies,
∞
1/p
p
lim f p = lim si
p→∞ p→∞
i=0
n
1/p
p
= lim lim si
p→∞ n→∞
i=0
624 Point-Set Topology with Topics
⎛ 1/p ⎞
n
= lim lim ⎝ si p ⎠
p→∞ n→∞
i=0
=β
lim f p = f ∞
p→∞
f ∞ = sup{si : i ∈ N}
lim sni = ti
n→∞
1
The subscript b indicates “bounded” to ensure that the sup-norm is never ∞.
626 Point-Set Topology with Topics
= sni − smii∈N ∞
= snii∈N − smii∈N ∞
= fn − fm ∞
<ε
Then, for each i, when m, n > N , sni − smi < ε. Then for each i,
{sni : n ∈ N} is a Cauchy sequence in S. Since S is a complete space,
for each i, {sni : n ∈ N} converges to some ti ∈ S (with respect to
). That is, for each i, there exists Ni , such that,
≤ε+K
= fn − fm ∞
<ε
For two normed topological spaces S and T , let F (S, T ) denote the
family of all functions mapping S into T . Whenever the functions on
S are continuous and real-valued the expression, C(S, R), specifies
this fact. It is standard to express this set more concisely as C(S).
We can topologize C(S) in a way that is analogous to the method
used to topologize the family of all sequences, F (N, S). We do this by
defining a similar norm on C[a, b] called, an Lp -norm. The symbol,
p -norm, is reserved specifically for the set, F (N, S), or the family of
all n-tuples, S n , of elements from S.
Definition 27.7 Let C[a, b] denote the set of all real-valued contin-
uous functions on [a, b] and p ∈ [1, ∞). If f ∈ C[a, b] we define,
b 1/p
f p = |f (x)|p
a
Then
f1 (x) = x
f2 (x) = xx
x
f3 (x) = xx
xx
f4 (x) = xx
..
.
lim fn (x)
n→∞
630 Point-Set Topology with Topics
= xlimn→∞ fn (x)
= xy
dy y2
= ln y
dx (1 − ln y)e y
2
Also see that the the slope of the tangent line is negative for y > e.
3
Note that e does not bound all values of fn (x), just the values of fn (x) where
{fn (x) : n > 0} converges.
Spaces Whose Elements Are Sequences 631
Concept Review
1. Let F (N, R) denote the set of all sequences of real numbers. Define
the p -norm and p -space.
2. State the Minkowski inequality for the p -space, F (N, R).
3. State Hölder’s inequality for p -spaces.
4. Define the sup-norm, f ∞ , on Sb the set of all bounded
sequences in F (N, R).
5. Describe a condition on S which guarantees that (F (N, S)b , ∞ )
is complete.
This page intentionally left blank
Chapter 28
Completing Incomplete
Metric Spaces
Abstract
Some metric spaces are not complete. The space Q is the example which
immediately comes to mind.Every irrational number is the limit of a
Cauchy sequence in Q, so R is the smallest non-compact complete metric
space which densely contains Q. We investigate how we can complete a
metric space by isometrically and densely embedding it in a complete
metric space.
28.1 Introduction
633
634 Point-Set Topology with Topics
[S ] = {[α] : α ∈ S }
(1) We claim that if γ ∈ [α] and ε > 0 then there exist M such that
n, m > M implies ρ(αn , γm ) < ε. Let ε > 0 and γ ∈ [α] ∈ [S ].
Since γ ∼ α, then (by definition of ∼) limn→∞ ρ(γn , αn ) = 0.
There exists, M > 0 such that n, m > M implies, ρ(αn , γn ) < ε/2
and ρ(γn , γm ) < ε/2 (since γ is Cauchy). Then, if n, m > M ,
as claimed.
(2) Also, suppose limn→∞ αn = x ∈ S, and γ ∈ [α]. Then, if ε > 0,
there exists, M , such that if n, m > M ,
<ε
(2) Next, we verify that, for the Cauchy sequences η, γ in [α] and [β],
respectively, δ([η], [γ]) = δ([α], [β]). So, the value of δ([α], [β])
does not depend on the choice of representatives η and γ.
For all j, n,
Similarly
For i ∈ N\{0} there exist η(i) ∈ [α] and γ(i) ∈ [β] such that
This implies
f (x) = [x]
implies
= 0 + ρ(x, y) + 0
= ρ(x, y)
Then
So,
is a metric.
Let
[U ] = {[α(j) ] : j ∈ N}]
inf{ lim ρ(η(j) n , η(k) n ) : η(j) ∈ [α(j) ], η(k) ∈ [α(k) ]} < ε/3
n→∞
1
For, if limn→∞ ρ(α(j) n , α(k) n ) ≥ ε/3, for all j, k > M δ([α(j) ], [α(k) ]) =
inf{limn→∞ ρ(α(j) n , α(k) n ) : η(j) ∈ [α(j) ], η(k) ∈ [α(k) ]} ≥ ε/3.
640 Point-Set Topology with Topics
So
j, k > M ⇒ ρ(α(j) k , α(k) k ) < ε
Since inf{limk→∞ ρ(η(j) k , η(k) k ) : η(j) ∈ [α(j) ], η(k) ∈ [ζ]} < ε, then
limj→∞ δ([α(j) ], [ζ]) = 0.
We conclude that [U ] converges to [ζ], as claimed.
= ρ(αn , αk )
<ε
Abstract
This section serves as a brief introduction to uniform space. Given a
non-empty set S we define a family of subsets, U , of P(S × S) which
satisfies a set of axioms. The family, U , is called a uniformity on S and
the pair (S, U ), is called a uniform space. We then show that any metric
space, (S, ρ), generates a uniform space, (S, Uρ ), which inherits some
of its metric space properties. Even though (S, U ) is not a topological
space, the uniformity U , generates a topology τU , on S. A topological
space, (S, τ ), which can be obtained from a uniformity, U , is called a
uniformizable topological space.
29.1 Introduction
643
644 Point-Set Topology with Topics
the domain of g. But its image, g[T ] = {1, 2, 3, . . .}, is not Cauchy
in R \{0}. So being “Cauchy” is not a topological property and so
cannot be adequately expressed in this mathematical context.
In this section, we discuss a space which, like topological space,
generalizes metric spaces, but in slightly different way.
We begin by reviewing a few basic notions associated with
relations.
Basic definitions and notation: Recall that for a given non-empty
set S, a subset U of S × S is referred to as a (binary) relation on S.
If U is a relation on S,
U −1 = {(x, y) : (y, x) ∈ U }
The relation
Δ(S) = {(x, x) : x ∈ S}
Ud = {U ∈ P(S × S) : Δ(S) ⊆ U }
Ui = {S × S}
Note that,
Bsym = {V ∈ U : V is symmetric}
Bκ = {(a, b) ∈ R × R : |a − b| < κ}
B = {Bκ : κ > 0}
We see that a uniform space, (S, U ), has slightly more structure than
a topological space (S, τ ). In the following example, we verify that a
metric, ρ, on a set S will always generate a uniformity on S.
Example 4. Let (S, ρ) be a metric space. For each κ > 0, let
Bκ = {(x, y) ∈ S × S : ρ(x, y) < κ}
be a subfamily of P(S ×S) generated by the metric ρ. Verify that the
family, Bρ = {Bκ : κ > 0}, is a base which generates a uniformity,
Uρ , on S.
Solution: It will suffice to show that Bρ satisfies properties U1,
U2∗ , U3, and U4. If so, then, by Theorem 29.4, Bρ generates the
uniformity,
Uρ = {V ∈ P(S × S) : V contains some Bκ ∈ Bρ }
Since ρ(x, x) = 0 < κ for all x ∈ S, then Δ(S) ⊆ Bκ for each κ. This
is property U1.
The Uniform Space and the Uniform Topology 651
1
Where π2 (a, b) = b.
The Uniform Space and the Uniform Topology 653
Bτ = {B(x) : x ∈ S and B ∈ B}
τ = τU
S −→ (S, U ) −→ (S, τU )
Finally, note that, for a given set S, we can speak of a base B for the
uniformity U and a base B for the topology τU . Even though we
tend to use the same symbol, B, for both bases, the reader should
determine, by the context, which one it refers to.
For convenience we juxtapose both concepts.
B is a base for U : For every U ∈ U , there is a B ∈ B
such that B ⊆ U .
Bτ is a base for τU : Bτ = {B(x) : x ∈ S and B ∈ B, a
base for U }.
2
In fact, a uniformizable space is always completely regular. We will not prove
this in this book. For a proof the reader is referred to Theorem 38.2 of Willard
where it is shown that, for (S, τ ), “uniformizable ⇔ completely regular”.
The Uniform Space and the Uniform Topology 655
x ∈ (x − ε/4, x + ε/4)
= π2 ({x} × S) ∩ Bε/2
= (Bε/2 )(x)
⊆ (x − ε, x + ε)
⊆A
u ∈ V (u)
⊆ (V ◦V )(x)
⊆ U (x)
⊆T
U [T ] = ∪x∈T {U (x)}
We choose,
B = {Δ(S)}
B(x) = π2 [({x} × S) ∩ B]
= π2 [ ({x} × S) ∩ Δ(S)]
= {x}
B = {Bκ : κ ∈ R}
D ◦D ⊆ B
(D ∩ B)◦(D ∩ B) ⊆ D ◦D ⊆ B
(D ∩ B)◦(D ∩ B)◦(D ∩ B) ⊆ (D ∩ B)◦B ⊆ B ◦B ⊆ M
W = W (x) × W (y)
Equivalently,
W ◦U ◦W = {W (x) × W (y)}
(x,y)∈U
Then. . .
(x, y) ∈ W ⇒ (x, y) ∈ W (x) × W (y) ⊆ intS×S M
Then every point of W belongs to intS×S M . So, W ⊆ intS×S M .
Since W ∈ B, by U5, intS×S M ∈ U . We are done.
(x, y) ∈ B ◦M ◦B
We conclude that, if M ∈ U ,
clS×S M = {B ◦M ◦B}
B∈Bsym
3
Recall that a space is T3 if, given a closed set F and a point x ∈ F , there exists
disjoint open neighborhoods U, V such that F ⊆ U and x ∈ V .
664 Point-Set Topology with Topics
clS×S V ⊆ V ◦V ◦V ⊆ U
Suppose (a, b) ∈ U ∈U {U }. Then b ∈ U ∈U {U (a)}. So b must equal
a. We conclude that U ∈U {U } = Δ(S).
( ⇐ ) Suppose that U ∈U {U } = Δ(S). Then for each x ∈ S, {x} =
U ∈U {U (x)} = clτU {x}. So, {x} is closed and
hence, (S, τU ) is T1 .
We have shown that (S, τU ) is T3 , so, if U ∈U {U } = Δ(S), the
space is regular (T3 + T1 ).
Definition 29.18 Let (S, U ) and (T, V ) be two sets equipped with
the uniformities, U and V , respectively. Let f : S → T be a func-
tion mapping S into T . Let gf : S × S → T × T be the function
defined as
Abstract
In this section, we revisit the relationship between algebraic structures
of C ∗(S) and the family of Hausdorff compactifications of S. We provide
a detailed proof of the Stone–Weierstrass Theorem. One consequence of
this important theorem is allowing us to view the family of all compact-
ifications as a lattice of topological spaces.
30.1 Introduction
669
670 Point-Set Topology with Topics
1
Note that neither (C(S), ≤, ∨, ∧) nor (C ∗ (S), ≤, ∨, ∧) need be a complete lattice
unless extra conditions are attached to S.
The Stone–Weierstrass Theorem 671
and so,
|f | − p◦(1 − f 2 )∞ ≤ ε
f + g + |f − g|
f ∨g =
2
f ∧ g = f + g − (f ∨ g)
Most of the technical work for the proof of the following theorem is
done in the preceding two lemmas.2
Verify that, for such choices of p and q, gpq (p) = f (p) and gpq (q) =
f (q). Since F is a subring which contains the constant functions and
hpq ∈ F , then gpq ∈ F .
Step 2. Let ε > 0. Let
2
The Theorem 21.11 states: Suppose (S, τ ) is a completely regular space and
F is a subalgebra of C ∗ (S) which separates points and closed sets in S. Suppose
F generates the compactification αS = eβF [βS] = clT eF [S]. If F satisfies the
properties, (1) F contains Cω (S) and (2) every f ∈ Cα (S) is equivalent to some
function g ∈ F , then F = Cα (S).
674 Point-Set Topology with Topics
For what follows we will fix q ∈ S. Note that, since gpq (q) = f (q),
Similarly, see that gpq (p) = f (p), so p ∈ Upq . Since Upq = (gpq − f )←
[(−∞, ε)] is open for any p, then {Upq : p ∈ S} is an open cover
of S. Since S is compact, there is a subset, {p1 , p2 , p3 , . . . , pn },
of S such that {Up1 q , Up2 q , . . . , Upn q } covers all of S. Let Vq =
∩{Vp1 q , Vp2 q , . . . , Vpn q }. Then q ∈ Vq .
We define, for our fixed q, the function gq : S → R as,
Then g ∈ F (by the lemma) and there is some qa ∈ {gq1 , gq2 . . .gqm }
such that
f −ε<g (5)
Step 4. From inequality (2) we have gq < f + ε (on S) for all values
of q. Then
f −ε<g <f +ε
αi S αj S
πγ→α : γS → αS
Cω (S) = {f |S : f ∈ C(ωS)}
3
Theorem 21.11 states: Suppose (S, τ ) is a completely regular space and F
is a subalgebra of C ∗ (S) which separates points and closed sets in S. Suppose
F generates the compactification αS = eβF [βS] = clT eF [S]. If F satisfies the
properties, (1) F contains Cω (S) and (2) every f ∈ Cα (S) is equivalent to some
function g ∈ F , then F = Cα (S).
The Stone–Weierstrass Theorem 677
embeds S into T = f ∈F R. Then eF β [βS] = clT eF [S] can be
viewed as a compact space which densely contains a homeomorphic
copy of S. We can then represent clT eF [S] as a compactification,
αS = clT eF [S]. By the Stone–Weierstrass theorem, F α = C ∗ (αS).
Then F = Cα (S).
4
It is the intersection of all subrings of C ∗ (S) which contains both Cα (S) and
Cγ (S).
678 Point-Set Topology with Topics
Metrizability
Abstract
In this section, we prove two important metrizability theorems. The
Urysohn metrization theorem is proved for the special case where the
space is known to be separable. This is of particular interest since it
exposes the strategy used to prove the more general Nagata–Smirnov
metrization theorem.
31.1 Introduction
679
680 Point-Set Topology with Topics
(a) If F separates points and closed sets of its domain, S, then the
evaluation map,
e(x) = fn (x)n∈N ∈ n∈N fn [S] ⊆ n∈N [0, 1]
1
By Lemma 31.1.
Metrizability 681
A = {(U, V ) : U, V ∈ B, clS U ⊆ V }
in B × B.
Since S is normal, for each pair (U, V ), there is a continuous
function f(U,V ) : S → [0, 1] such that
2
Which states that second countable spaces are Lindelöf.
3
Which states that regular Lindelöf spaces are normal.
682 Point-Set Topology with Topics
UW = {B ∈ B : B ⊆ clS B ⊆ W }
B = ∪n∈N\{0} Bn
U = ∪{UnS\K : n ∈ N}
V = ∪{VnS\A : n ∈ N}
Then
K⊆V
A⊆U
For each n, we replace UnS\K and VnS\A with Un∗S\K and Vn∗S\A
defined as follows:
If
x∈A ⇒ x ∈ S \K
⇒ x ∈ UmS\K , for some m (By (†))
x∈A ⇒ x ∈ S \A
⇒ x ∈ clS VnS\A , for all n (By (††))
so
x∈A ⇒ x ∈ Un∗S\K
Similarly, x ∈ K ⇒ x ∈ Vn∗S\A .
Then, for each n,
A ⊆ Un∗S\K
K ⊆ Vn∗S\A
Let
U ∗ = ∪{Un∗S\K : n ∈ N}
V ∗ = ∪{Vn∗S\A : n ∈ N}
B = ∪n∈N\{0} Bn
F = {fnB : n ∈ N\{0}, B ∈ B}
where
4
A\B ∩ C \D = A ∩ C ∩ S \B ∩ S \D.
688 Point-Set Topology with Topics
Since F separates points and closed sets, then the evaluation map,
eF : S → T , defined as
is satisfied.
(a) For each of the values of i, i = 1, 2, . . . , N −1 and a ∈ S we repeat
the procedure to prove the existence of {V1 (a), V2 (a), . . . , VN −1 (a)}.
For Vi (a) ⊆ Ui (a),
x ∈ Vi (a) implies |fiB (x) − fiB (a)| ≤ min {1/i, ε/2} ≤ ε/2 < ε
Let
Then, for i ≤ N ,
x ∈ V (a) implies |fiB (x) − fiB (a)| ≤ min {1/i, ε/2} < ε (††)
Then,
Then,
So, πk← [0, 1]\ cl[0,1] fk [F ] is an open neighborhood of eF (u)
which
is entirely contained in e[U ]. We conclude eF [U ] is open in
j∈J [0, 1].
So, eF embeds S into the metric space, T .
So, S is metrizable.
5
Jun-iti Nagata (1925–2007) was a Japanese mathematician specializing in
topology. Yuri Mikhailovich Smirnov (b. 1921, Kaluga, d. 2007, Moscow) was
a Soviet and Russian mathematician, specializing in topology. This theorem was
proved independently by Nagata in 1950 and Smirnov in 1951.
692 Point-Set Topology with Topics
Abstract
In this section, we discuss those partially ordered sets called lattices and
Boolean algebras along with some of their properties. Given a Boolean
algebra, B, we construct the set, S (B), of all ultrafilters on B and topol-
ogize it. We call the resulting topological space, (S (B), τ ), the Stone
space. We show that the Stone space, (S (B), τ ), is a compact, zero-
dimensional Hausdorff space. We then show that any Boolean algebra,
B, is isomorphic to B(S (B)), the set of all clopen subsets of (S (B), τ ).
693
694 Point-Set Topology with Topics
(τ, ⊆, ∩, ∪)
(ϕ, ⊆, ∩, ∪)
(Z[S], ⊆, ∩, ∪)
A∨B =A∪B
A ∧ B = intS (A ∩ B)
Also, if ψ ⊆ τ ,
∨ψ = ∪{A ∈ P(S) : A ∈ ψ} ∈ τ
∧ψ = intS (∩{A ∈ P(S) : A ∈ ψ}) ∈ τ
1
For example, suppose R is equipped with the discrete topology and R ∪ {ω} is
its one-point compactification. To verify that arbitrary intersections of zero-sets
in Z[R ∪ {ω}] need not be a zero-set in Z[R ∪ {ω}], suppose F = {0, ω}. For any
open neighborhood U of F , R\U must be compact and so finite. So, F cannot be
a Gδ and so could not be a zero-set. For each x ∈ R\{0}, let Ux = (R ∪ {ω})\{x}.
Then each Ux is a zero-set in R ∪ {ω}. Then ∩{Ux : x ∈ F } = F . Then F is a the
intersection of zero-sets but not itself a zero-set.
696 Point-Set Topology with Topics
(τ, ⊆, ∨, ∧)
N = {N ∈ B : N ≤ M for all M ∈ M }
∨N ≤ glbM = ∧M
2
A set is clopen if it is simultaneously open and closed in S.
The Stone Space 697
Solution: Note that, for any set B in S, since intS clS B is open in
S, intS clS B ⊆ intS clS (intS clS B) (since intS clS B is open in S and by
698 Point-Set Topology with Topics
(∗)). Also
implies
The set Ro(S) is then the set of all open subsets B of S which can
be expressed in the form B = intS clS B.
When the elements of a set are subsets of a certain type, partially
ordered by “⊆”, it does not automatically follow that ∨ and ∧ rep-
resent ∪ and ∩, respectively. Consider the following statement which
verifies that (Ro(S), ⊆, ∨, ∧) forms a complete lattice in τ .
A∧B =A∩B
∨M = intS clS (∪M )
τs
(S, τs )
Note that τs is strictly weaker than τ (since there are open sets which
are not regular open). So, (S, τ ) may differ from (S, τs ).
32.2.4 Sublattices
Note that every element of (B(S), ⊆, ∩, ∪) (the clopen subsets of S)
is an element of (Ro(S), ⊆, ∨, ∧). We say that (B(S), ⊆, ∩, ∪) is a
sublattice
of Ro(S).
The lattice (Ro(S), ⊆, ∨, ∧) cannot be viewed as a “sublattice” of
(P(S), ⊆, ∩, ∪) since A ∨ B = intS clS (A ∪ B) = A ∪ B.
z-filter.
3
Since if ∅ ∈ F , ∅ ⊆ F for all F ∈ L, so F = L.
The Stone Space 703
Proof.
(a) We are given that L ⊆ P(S) and F is a proper L-filter. Let
H = {M : M is a proper L-filter such that F ⊆ M }
We partially order H with ⊆. Let C be a chain in (H , ⊆). Then
∪{C : C ∈ C } is an upper bound of C with respect to ⊆. So every
chain in H has an upper bound. By Zorn’s lemma, (H , ⊆) has a
maximal element. That is, H contains a filter, F ∗ , which is not
properly contained in any other filter. Since F ∗ ∈ H , F ⊆ F ∗ .
Then F can be extended to an L-ultrafilter, as required.
(b) (⇒) We are given that F is an L-ultrafilter in L ⊆ P(S) and
that A ⊆ S. We are required to show that either A ∈ F or
S \A ∈ F .
Suppose neither A nor S \A belongs to F . Let
HA = {B ∈ L : A ∩ F ⊆ B for some F ∈ F }
We claim that HA is a proper L-filter base which contains F as a
proper subset.
Proof of claim: See that, if U ∈ F , A ∩ U ⊆ U , an element of F .
Then U ∈ HA , so F ⊆ HA .
Also, since A ∩ F ⊆ A for all F ∈ F , A ∈ HA . Then, A ∈ HA\F .
Then F is a proper subset of HA .
Suppose B, D ∈ HA . We now show that B ∧ D ∈ HA .
Then B, D ∈ L, A∩ F1 ⊆ B and A∩ F2 ⊆ D for some F1 , F2 ∈ F .
Then A ∩ (F1 ∧ F2 ) ⊆ A ∩ F1 ⊆ B and A ∩ (F1 ∧ F2 ) ⊆ A ∩ F2 ⊆ D.
Then A ∩ (F1 ∧ F2 ) ⊆ B ∩ D ⊆ glb{B, D} = B ∧ D. Since B ∧ D ∈ L,
then B ∧ D ∈ HA .
Also, see that ∅ ∈ HA . For, if it was, A ∩ F = ∅ for some F and
so F ⊆ S \A which would imply S \A ∈ F , a contradiction. So, HA
is proper.
Hence, since HA is proper, is non-empty and is closed under finite
applications of ∧, it is an L-filter base, as claimed.
Then HA will generate an L-filter HA∗ . Then F ⊂ HA∗ which
contradicts the fact that F is an L-ultrafilter.
Then the L-ultrafilter F must intersect either A or S \A.
(⇐) Conversely, for L ⊆ P(S), suppose that, for every A ⊆ S,
either A ∈ F or S \A ∈ F . We are required to show that F is an
704 Point-Set Topology with Topics
ultrafilter. Suppose not. That is, suppose that there exists a proper
filter, H , such that F ⊂ H . Then there exists some non-empty A
such A ∈ H \F . Then S \A cannot belong to F , for, if it did, then
A ∩ (S\A) = ∅ must belong to H , contradicting the fact that H is
a proper filter. Hence, F must be an L-ultrafilter.
A set (B, ∨, ∧) along with two such binary operations is also referred
to as a lattice.
A lattice (B, ∨, ∧) is said to be a distributive lattice if, in addi-
tion to the three properties stated above, the following property is
satisfied:
complemented lattice
a ∨ c = a ∨ (b ∨ c) = (a ∨ b) ∨ c = b ∨ c = c
Since a ∧ c = a and a ∨ c = c, then a ≤ c.
4
Note that in this context and with the information given it is not meaningful
to say x = S \x.
The Stone Space 707
So,
(x ∧ y) = x ∨ y
B(S) = {A ⊆ S : A is clopen in S}
A = S \A
A ∧ (S \clS A) = A ∩ (S \clS A)
=∅
A ∨ (S \clS A) = intS clS (A ∪ (S \clS A))
= intS S
=S
B-filter base
[ x ∈ F and x ≤ y ] ⇒ y∈F
F is called a B-filter.
710 Point-Set Topology with Topics
Keep in mind the fact that B-filters and B-ultrafilters are subsets
of B (not subsets of P(B)).
We will emphasize three important B-ultrafilter characterizations.
Of particular interest: For an ultrafilter F , if x is an element of B
which meets every element of F then x must belong to F . Also if
x ∈ B, either x or its complement belongs to F .
U = {z ∈ B : z ≥ a ∧ y = 0 for some y ∈ F }
We claim that U = F .
Since z ∈ F ⇒ a ∧ z ≤ z ⇒ z ∈ U
F ⊆U
f (1) = f (1 ∨ 1 )
= f (1) ∨ f (1 )
= f (1) ∨ f (1)
=1
(P(B), ⊆, ∪, ∩, B, ∅)
The Stone Space 713
(S (B), ⊆, ∪, ∩, B, ∅)
ϕx ∈ P(S (B))
as follows:
ϕ(x) = ϕx
Proof.
Proof of property (a): We are given that ϕx∧y is the family of
all ultrafilters which contain x ∧ y. We claim that every ultrafilter
in ϕx∧y contains x. If so then ϕx∧y ⊆ ϕx . Let V be an ultrafilter in
ϕx∧y . We will show that V ∈ ϕx . If z ∈ V then z ∧ (x ∧ y) = 0.
Then, for any element z in V , z ∧ x = 0. Then every element
of V meets x. So, V ∈ ϕx . We conclude that ϕx∧y ⊆ ϕx , as
claimed.
By applying similar reasoning, every ultrafilter in ϕx∧y contains y.
So,
ϕx∧y ⊆ ϕx ∩ ϕy
Let V ∈ ϕx ∩ ϕy . Then V is an ultrafilter which contains x and
contains y. We claim that V ∈ ϕx∧y .
Since V is an ultrafilter which contains both x and y, then it must
contain x ∧ y. Let z ∈ V . Then z ∧ x = 0 and z ∧ y = 0. So V ∈ ϕx∧y .
Therefore ϕx ∩ ϕy ⊆ ϕx∧y , as claimed.
We conclude
ϕx∧y = ϕx ∩ ϕy
Proof of property (b): Let V ∈ ϕx∨y . Then x ∨ y ∈ V . Then x or
y belongs to V (Theorem 32.11). Suppose without loss of generality
that x ∈ V . Then V ∈ ϕx . We conclude that V ∈ ϕx ∪ ϕy . So,
ϕx∨y ⊆ ϕx ∪ ϕy .
Suppose V ∈ ϕx ∪ ϕy . Suppose without loss of generality that
V ∈ ϕx . Let z ∈ V . Then z ∧ x = 0. So, z ∧ (x ∨ y) = (z ∧ x) ∨ (z ∧ y)
cannot be 0. Then V ∈ ϕx∨y . We conclude that ϕx ∪ ϕy ⊆ ϕx∨y .
Finally ϕx ∪ ϕy = ϕx∨y .
Proof of property (c): Since B-ultrafilters are proper filters, no
ultrafilter can contain the 0-element of B; then
ϕ(0) = ϕ0 = ∅
Also, 1 belongs to all B-ultrafilters hence, ϕ(1) = ϕ1 = S (B).
Proof of property (d): See that, ∅ = ϕ0 = ϕx∧x = ϕx ∩ ϕx .
Also, S (B) = ϕ1 = ϕx∨x = ϕx ∪ ϕx . It follows that
ϕx = S (B)\ϕx = ϕx
The Stone Space 715
M = {ϕx : x ∈ B}
x∧y ∈U ⇔ x, y ∈ U
This implies that, for any x, y ∈ B other than 0 and 1, there exists
a B-ultrafilter, U , such that
U ∈ ϕx∧y ⊆ ϕx ∩ ϕy
τM
(S (B), τM )
(S (B), τM )
The Stone Space 717
is referred to as the
(B(S), ⊆, ∪, ∩, ∅, S)
(B, ≤, ∨, ∧, 0, 1, )
5
Named after the American mathematician, Marshall Harvey Stone (April 8,
1903 to January 9, 1989). He significantly contributed to real analysis, functional
analysis, topology and the study of Boolean algebras. In 1936, he published a
long paper that included Stone’s representation theorem for Boolean algebras.
718 Point-Set Topology with Topics
S (B) = {U : U is a B-ultrafilter on B}
ϕx = {U ∈ S (B) : x ∈ U }
M = {ϕx : x ∈ B}
(S (B), τM )
6
Recall that a space is zero-dimensional if it has a base of clopen sets.
The Stone Space 719
TF = {x ∈ B : F ⊆ ϕx }
T = ∪{TFi : i ∈ I}
a non-empty subset of B.
So,
∩{ϕx : x ∈ ψ} ⊆ ∩{ϕx : x ∈ T }
= ∩{ϕx : x ∈ ∪i∈I TFi }
= ∩{Fi : i ∈ I}
720 Point-Set Topology with Topics
(B(S (B)), ⊆, ∪, ∩, 0, 1)
S (B) = {U : U is a B-ultrafilter on B}
ϕx = {U ∈ S (B) : x ∈ U }
M = {ϕx : x ∈ B}
properties of ϕ, that
ϕx∧y = ϕx ∩ ϕy
ϕx∨y = ϕx ∪ ϕy
ϕx = S (B)\ϕx
x = x ∨ 0 ⇒ x = x ∨ (x ∧ y )
⇒ x = (x ∨ x) ∧ (x ∨ y ) (B is distributive)
⇒ x = 1 ∧ (x ∨ y )
⇒ x = (x ∨ y )
⇒ y ≤ x
⇒ x≤y
Baire Spaces
Abstract
In this section, we present a brief introduction to a particularly impor-
tant class of topological spaces called “Baire spaces”. The properties
possessed by members of this class turned out to be relevant in many
applied fields, in particular in analysis. We will define such spaces and
describe a few characterizations and properties. This is followed by a few
examples.
33.1 Definitions
intS clS A = ∅
723
724 Point-Set Topology with Topics
1
The expression A is first category also appears in texts in the form of the
following equivalent definition: “The set, A, is first category in S if and only if
S\clS A is dense in S”. The set A if first category in S if and only if it is “meager”
in S.
2
A set A is non-meager in S if and only if it is a set of second category. A set
A is said to be residual if it is the complement of a meager set.
Baire Spaces 725
intS U = U
= ∪{Ai : i ∈ N}
⊆ ∪{clS Ai : i ∈ N}
33.2 Characterizations
E = ∪{S \Ui : i ∈ N}
726 Point-Set Topology with Topics
At the first reading, a few questions which may come to mind are
“How common are Baire spaces?”, “Are they hard to recognize?”
Baire spaces are, in fact, quite common as we shall see. The following
results show, by describing some of their most basic characteristics,
that Baire spaces are quite common. We will then provide a few
examples.
such that
ui−1 ∈ Ui−1 ⊆ clS Ui−1 ⊆ S\Fi−1 and clS Ui−1 ⊆ Ui−2\Fi−1 ⊆ U\Fi−1
diam(U0 ) = sup{ρ(x, y) : x, y ∈ U1 } ≤ 1
Q = ∩{Ui : i ∈ N}
F ∗ = {clS Fi : i ∈ N}
732 Point-Set Topology with Topics
F ∗ = {Fi ∩ T : i ∈ N}
of closed subsets of T .
We claim each Fi ∩ T has empty interior in T . Suppose that V ∗ is
an open subset of T such that V ∗ ⊆ Fi ∩T . Then there exists an open
subset V in S such that V ∗ = V ∩ T . Then V ∗ ⊆ intS clS V ∗ ⊆ Fi .
Since V is non-empty and T is dense in S, intS clS V ∗ ⊆ intS Fi
contradicting our hypothesis. Then each Fi ∩ T has empty interior in
T , as claimed.
Since T is a Baire space, then ∪F ∗ has empty interior.
If W is an open subset in S such that W ⊆ ∪F then W ∩ T ⊆
∪F ∗ . Since T is a Baire space, W ∩ T must be empty. Since T is
dense in S, intS ∪ F is empty. So, S is a Baire space.
Example 3. The space, Q, is not a Baire space.
Solution: Since Q is a countable set, it can be enumerated Q = {xi :
i ∈ N}. So, Q = ∪{{xi } : i ∈ N}, the countable union of sets with
Baire Spaces 733
Qf = {x ∈ R : f is continuous at x}
U = ∩{Ui : i ∈ N\{0}}
Then U is a Gδ set in R.
We claim that U = Qf . We first verify that U ⊆ Qf . To do this
we verify that f is continuous on U . The function f is continuous on
U if f pulls back basic open sets in R to open subsets of U (6.4).
For all z and all i ∈ N\{0}, f ← [B1/i (z)] is open in U = ∩{Ui : i ∈
N\{0}} ⊆ R. So, f is continuous on U . Then U ⊆ Qf .
Conversely, if x ∈ Qf and f (x) = z, f ← [Bi/i (z)] is open in Qf so
x ∈ f ← [Bi/i (z)] ⊆ U . Then Qf ⊆ U .
Then
Qf = U = ∩{Ui : i ∈ N\{0}}
Abstract
In this section, we introduce the class of topological spaces called,
F -spaces. In order to better follow the contents of this chapter the reader
is encouraged to first review the contents of Chapters 21, 23, and 24.
34.1 Definition
1
In that text an F -space, S, is introduced in the form of a particular algebraic
property of the ring, C(S), of all continuous real-valued functions:
An F -space is a topological space S for which every finitely gen-
erated ideal in C(S) is a principal ideal.
We will discuss those spaces called F -spaces, strictly from a topological point of
view.
735
736 Point-Set Topology with Topics
Even if the two subsets of S, Cz(f ∧ 0) and Cz(f ∨ 0), are disjoint,
they need not be completely separated. If they are for all f , then
certain interesting topological properties on S will hold true.
The following properties on S, will be useful when discussing its
compactifications.
(a) We are given that, for every g ∈ C ∗ (S), Cz(g ∧ 0) and Cz(g ∨ 0)
are completely separated sets.
Let H = Cz(h) be a cozero-set in S.
The Class of F -Spaces 737
implies
Cz(h|S ∧ 0) ⊆ Z(t)
Cz(h|S ∨ 0) ⊆ Z(t − 1)
U ∪ V = S \Z(h) ∪ S \Z(t)
= S \ [Z(h) ∩ Z(t)]
= S \Z(h2 + t2 )
= Cz(h2 + t2 )
Cz(f ∗ ∨ 0) ⊆ Z(t)
Cz(f ∗ ∧ 0) ⊆ Z(t − 1)
Cz(f ∨ 0) ⊆ Z(t|H )
Cz(f ∧ 0) ⊆ Z(t|H − 1)
H = Cz(h) = S \Z(h)
g|Cz(h) : Cz(h) → R
extends to a function
[g|Cz(h) ]∗ : S → R
[g|Cz(h) ]∗ β : βS → R
Corollary 34.7, part (c). To show that they are completely separated
it will suffice to show that that their closures, clβS\S Cz(h ∨ 0) and
clβS\S Cz(h ∧ 0), have empty intersection.
Since the compact subsets of a completely regular space
are C ∗ -embedded (see example on page 492), then βS \S is a
C ∗ -embedded subset of βS. Then h : βS \S → R extends to
hβ : βS → R
where
h = hβ |βS\S
hβ |S ∈ C ∗ (S)
See that,
f = 1/g
2
Note that if g β = |hβ | + |tβ | then Z(g β ) = Z(hβ ) ∩ Z(tβ ).
744 Point-Set Topology with Topics
M = {mi : i ∈ N}
3
The set ωR is the one-point compactification, R ∪ {∞}, of R.
4
As shown in the example on page 512.
The Class of F -Spaces 745
747
748 Point-Set Topology with Topics
A ∪ B = {x : (x ∈ A) ∨ (x ∈ B)}
A ∩ B = {x : (x ∈ A) ∧ (x ∈ B)}
C = {x : x ∈ C}
C − D = C ∩ D
C D = (C − D) ∪ (D − C)
(a) C ⊆ C ∪ D
(b) C ∩ D ⊆ C
Theorem 3.6 Let C and D be classes (sets). Then,
(a) C ∪ (C ∩ D) = C
(b) C ∩ (C ∪ D) = C
Theorem 3.7 Let C be a class (a set). Then (C ) = C.
Theorem 3.8 DeMorgan’s laws. Let C and D be classes (sets).
Then,
(a) (C ∪ D) = C ∩ D
(b) (C ∩ D) = C ∪ D
Theorem 3.9 Let C, D, and E be classes (sets). Then,
IdC = {(x, y) : x ∈ C, y ∈ C, x = y}
1
A class on which is defined a linear ordering R is also said to be fully ordered
or totally ordered by R. In certain branches of mathematics “linearly ordered set”
is abbreviated as l.o.set or simply called loset.
2
In certain branches of mathematics “partially ordered set” is abbreviated as
p.o.set or simply called a poset.
Appendix 755
m ∈= n if and only if m = n or m ∈ n
rm (0) = m
rm (n+ ) = [rm (n)]+
rm (0) = m
rm (n+ ) = [rm (n)]+
sm (0) = 0
sm (n+ ) = sm (n) + m
sm (0) = 0 ⇔ m0 = m × 0 = 0 (5)
sm (n+ ) = sm (n) + m ⇔ mn+ = mn + m = m × n + m (6)
sm (0) = 0
sm (n+ ) = sm (n) + m
For each n ∈ N let [(0, n)] and [(n, 0)] denote the Rz -
equivalence classes containing the elements (0, n) and (n, 0)
respectively. Then the quotient set induced by Rz can be
expressed as
Z− = {[(0, n)] : n ∈ N}
Z+ = {[(n, 0)] : n ∈ N}
764 Point-Set Topology with Topics
3
Note that −[(n, 0)] = [(0, n)] = −n.
4
When there is no risk of confusion with subtraction of other types of numbers
we will simply use “−”.
5
Note that the “center dot” can be used instead of the “×z symbol. When there
is no risk of confusion with multiplication of other types of numbers we will simply
use “×”.
Appendix 765
n if 0 ≤z n
|n| =
−n if n <z 0
(h) Equality of two integers: If (a, b) and (c, d) are ordered pairs
which are equivalent under the relation Rz , then the Rz -
equivalence classes [(a, b)] and [(c, d)] are equal sets. To
emphasize that they are equal sets under the relation Rz
we can write
(i) Distribution properties: If [(a, b)], [(c, d)] and [(e, f )] are inte-
gers then
and
6
Recall that a and b is shorthand for expressions of the form [(0, a)] or −[(0, b)].
766 Point-Set Topology with Topics
⎧
⎪
⎪ f (0) = m ⇒ (0, m) = (0, f (0)) ∈ f
⎨
(n, f (n)) ∈ f ⇒ (n + 1, k(S − {f (0), f (1), . . . , f (n)})
⎪
⎪
⎩ = (n + 1, f (n + 1)) ∈ f
A →e B
A →e∼ B
[A]e ≤e [B]e
κ + λ = |S ∪ T |
(b) κ × λ = |S × T |
(c) κλ = |S T |
(c) κ ≤ κ + λ
(d) κ ≤ λ and φ ≤ ψ ⇒ κ + φ ≤ λ + ψ.
Theorem 23.3 Multiplication on C is well-defined. That is, if S1 ,
S2 , T1 and T2 are sets such that κ = |S1 | = |S2 | and λ =
|T1 | = |T2 |, then |S1 × T1 | = κ × λ = |S2 × T2 |.
Theorem 23.4 Let κ, λ, φ, and ψ be any three cardinal numbers.
Then
(a) κλ+φ = κλ × κφ
(b) (κλ )φ = κλ×φ
(c) (κ × λ)φ = κφ × λφ
Theorem 24.3 Let κ, λ, and α be infinite cardinal numbers. Then
(a) κ ≤ κλ
(b) α ≤ κ ⇒ αλ ≤ κλ
(c) α ≤ λ ⇒ κα ≤ κλ
S ∼WO T
S <WO T
Appendix 775
S ≤WO T
The Axiom of choice holds true if and only if AC∗ holds true.
The Axiom of choice holds true if and only if AC∗ holds true.
Theorem 30.3 The statement “Every set is well-orderable” holds
true if and only if the Axiom of choice holds true.
Theorem 30.4 [AC] Any infinite set can be expressed as the union
of a pairwise disjoint set of infinite countable sets.
Theorem 30.5 [AC] Let (X, <) be a partially ordered set. If every
chain of X has an upper bound then X has a maximal
element.
Theorem 30.6 Suppose that those partially ordered sets (X, <) in
which every chain has an upper bound must have a maximal
element. Then given any subset S ⊆ P(S) − ∅ there exists
a choice function f : S → S which maps each set in S to
one of its elements.
Theorem 30.7 [ZL] Every vector space has a basis.
α + β = ord(S ∪ T, ≤S∪T )
7
Addition can also be defined inductively as follows: For all α and β,
(a) β + 0 = β, (b) β + (α + 1) = (β + α) + 1, (c) β + α = lub{β + γ : γ < α}
whenever α is a limit ordinal.
786 Point-Set Topology with Topics
(d) α < β ⇒ α + γ ≤ β + γ
(e) α < β ⇒ γ + α < γ + β
(f) α + β = α + γ ⇒ β = γ (Left term cancellation
is acceptable)
(g) α + 0 = α
Theorem 33.6 Let β be a limit ordinal. Then, for any ordinal, α,
α + β = sup {α + γ : γ < β}
X Ordinal Numbers Arithmetic: 34 — Multiplication
Definition 34.1 Let (S, ≤S ) and (T, ≤T ) be two well-ordered sets.
We define the lexicographic ordering on the Cartesian product
S × T as follows:
⎧
⎪
⎨ s1 <S s2
(s1 , t1 ) ≤S×T (s2 , t2 ) provided or
⎪
⎩ s =s
1 2 and t1 ≤T t2
α × β = ord(B × A)
The product α × β is equivalently written as αβ, (respecting
the order). Note the order of the terms in the Cartesian prod-
uct B × A is different from the order α × β of their respective
ordinalities.
Theorem 34.5 Let α, β, and γ be three ordinal numbers. Then:
(a) (γβ)α = γ(βα) (Multiplication is associative)
(b) For any γ > 0, α < β ⇒ γα < γβ
Appendix 787
791
792 Point-Set Topology with Topics
A Bolzano-Weierstrass property
a(F ), 312 (BWP), 366–367
accumulation point, 278 Bolzano-Weierstrass theorem (BWT),
367
agree, two functions, 133
Boolean algebra, 705–706
algebra C(S), 134
ϕ properties, 713
algebraic subring, 601
filter, 709
axiom of choice, 145
isomorphism, 712
topological representation, 720
B
ultrafilter characterization, 710
βN is Freudenthal, 609 Boolean homomorphism, 712
β(S × T ), 553 Borel sets, 56
βN cardinality, 506 properties, 56
Baire category, 728 boundary of a set, 77
application, 730 bounded in Rn , 347
application two, 731 box topology, 150
open-hereditary, 731 Brouwer’s fixed point theorem, 447
theorem one, 729
theorem two, 730 C
Baire space, 724 C(S), 134
characterization, 725 C[a, b], 627
lemma, 727 Cα (S), 492–493, 676
Banach space, 16 C-embedded, 571
base a sufficient condition, 541
zero-sets as base, 256 closed subsets of R, 540
base for a topology, 87 property, 543–544
base for closed sets, 88 C ∗ -embedded
base property, 91 closed subset in compl. reg., 511
basis, 88 closed subset of R, 491
bdS A, 77 closed subset of a metric, 491
795
796 Point-Set Topology with Topics
I Lindelöf
ideal, 355 carried over by continuous
maximal, 355 functions, 384
properties, 355 hereditarily closed, 383
identification map, 197 regular implies normal, 384
identity map not cts, 124 second countable implies Lindelöf,
identity of indiscernibles, 24 378
indiscernibility of identicals, 24 are realcompact, 575
indiscrete topology, 44 is realcompact, 575
infinity norm, 13 local connectedness, 454
inner product, 4 locally compact, 408
interior of a set, 69 +T2 ⇒ compl. reg., 417
interior operator axioms, 72 Q is not, 412
interior point, 69 arbitrary products, 414
interior properties, 70 completely regular, 417
interior viewed as an operator, 71 dense subsets, 412
finite products are, 414
K hereditary properties, 410
Kolmogorov space, 209 image under open continuous
Kuratowski closure operator, function, 412
65–66 neighbourhood base, 408
one point compactification, 416
L open in all compactifications, 501
locally connected
p -space, 612
characterization, 455
is Lindelöf, 621
components that are open, 456
is normal, 621
products, 457
is sec. ctble, 621
locally finite, 135, 395, 682
is separable, 621
σ-locally finite, 429
not compact, 621
locally finite family of sets, 423
not seq. compact, 621
lower limit topology, 98
∞ -norm, 624
≡, 480
M
Lp -norm, 12, 627
lattice, 693–694 maximal filter, 323
complete, 694 meager, 724
filter, 701 metric
ultrafilter, 702 ρ(x, F ), 63
lattice from a partial order, 669 compact is complete, 393
limit point, 27 separable is realcompact, 575
limit point of a sequence, 278 uniform on prod, 151
limit point of a set, 278 metric axioms, 24
limits, 13 metric space, 24
limits in metric space, 27 closed sets are zero-sets, 256
Lindelöf, 378 closed subsets of, 256
characterizations, 379 compact ⇒ totally bounded, 393
800 Point-Set Topology with Topics
W z-ultrafilters
weak topology induced by functions, in βS, 495
132 Z+ , 171
weaker topology, 43 Z(f ), 249
well-ordered set, 108 Z[S], 255
Zariski topology, 47
Z zero-dimensional, 113
z-filter, 354 if T1 is regular, 227
base, 354 plus T1 is tot. disconn., 468
fixed, 358 zero-set, 249
free, 358 closed G-delta in normal sp., 254
properties, 355 countable intersection, 251
z-ultrafilter G-delta need not be, 254
every z-filter is contained in, 357 in metric closed sets are, 256
real, 565 is a Gδ , 250