Professional Documents
Culture Documents
Mardani - PHD Thesis
Mardani - PHD Thesis
Non-metric Manifolds
Afshin Mardani
The University of Auckland
A Dissertation
Submitted in Partial Fulfillment of the
Requirements for the Degree of
Doctor of Philosophy in Mathematics at
The University of Auckland
ii
ABSTRACT
The main core of this thesis is the general topology of non-metrisable manifolds.
Although our emphasis was studying non-metrisable topological manifolds, we did
not hesitate to consider topological properties which are useful in studying manifolds
in a more general context. This thesis consists of five chapters :
The first chapter consists of two parts and in the first part we provide a perspec-
tive of what has been done in the field of non-metrisable topological manifolds and
motivation for doing research in this field from a set-theoretical point of view. In
this overview our emphasis is on distinguishing some classical examples according to
separation properties such as Hausdorffness, the Tychonoff property, normality and
perfect normality. The second half of this introductory chapter is devoted to the
classification of one dimensional topological manifolds.
The second chapter is mainly about topological manifolds which do not satisfy the
Hausdorff property with the emphasis on the studying the neighbourhoods of singular
points. In the third chapter we show that the Prüfer surface is realcompact.
Chapter 5 is closely related to the Nyikos bagpipe theorem. The proof of Nyikos
Bagpipe theorem can be divided into two parts. The first part has a more set-theoretic
iii
nature and the second part has a more geometric topology nature. The first part of
the proof of the Bagpipe theorem is closely related to exhausting the manifold with an
increasing ω1 -sequence of open subspaces of the manifold. We study some topological
spaces which have a λ-exhaustion for some ordinal number λ ≥ ω1 . In this chapter
we also generalise the definition of a long pipe in higher dimensions.
iv
Copyright by
Afshin Mardani
2014
v
ACKNOWLEDGMENTS
vi
Contents
2. Non-Hausdorff manifolds 61
2.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2 Filter and filterbase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.3 Non-Hausdorff topological spaces . . . . . . . . . . . . . . . . . . . . 64
2.4 Non-Hausdorff manifolds . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.4.1 Generalisation of the feather space . . . . . . . . . . . . . . . 75
vii
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.2 Prüfer surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.3 Realcompactness and non-metrisable manifolds . . . . . . . . . . . . 88
Appendices 161
Bibliography 172
Index 180
viii
Chapter 1
Introduction to topological
manifolds
1.1 Motivation
– Shing-shen Chern –
Topological manifolds are special types of topological spaces. Topological manifolds can be
covered by a family of open subspaces of the space such that any member of the family looks
like the Euclidean space and members of this family are put together in a nice way. Almost
1
all topological spaces which are interesting from a geometric point of view are topological
surface, and in algebraic geometry as algebraic manifolds or varieties. The relation between
manifolds and theoretical physics can traced be back to Riemann’s “In microstructure of
matter and its binding forces” and his famous Paris prize essay in which Riemann modeled a
3-dimensional heat flow problem in an ex ante in-homogenous matter region and translated
Although some mathematicians step towards a generalization language, the credit should
go to Riemann who explained the concept which from an extensional point of view would
form a manifold in his famous Habilitationsvortag in 1854. Even Riemann’s definition was
not well defined and had a rather engineering approach, but the necessary ideas are all
present. Hermann Weyl gave the first rigorous and axiomatic description of the Riemann
In this introduction we briefly give the set-theoretical and topological backgrounds that we
In this thesis we use the Zermelo-Frankel axioms for set theory with the axiom of choice
(ZFC) but we do not assume the Continuum Hypothesis (CH) unless otherwise stated.
The set of all countable ordinals ω1 is essential for constructing some non-metrisable man-
ifolds which are called Type I. In this section we study some properties of ω1 .
2
Definition 1.2.1. A subset C of ω1 is closed if and only if C is closed subset of ω1 with
Lemma 1.2.2. A subset C of ω1 is closed if and only if for every nonempty set A ⊆ C if
Proof. (⇒) Let C be a closed subset of ω1 , A ⊂ C and sup A < ω1 . Let α = sup A. If α ∈
/C
ordinal β < α such that (β, α] ∩ C = ∅. We know that for every β < α, (β, α] ∩ A 6= ∅.
This contradicts the assumption α = sup A. Therefore sup A ∈ C. (⇐) If C is not a closed
assumption α ∈
/ C. Therefore C is closed.
Theorem 1.2.4. [4] Suppose that for every n ∈ ω , Cn is a closed, unbounded subset of
Definition 1.2.5. [4] A subset S of ω1 is called stationary provided that for every cub
subset C ⊆ ω1 , C ∩ S 6= ∅.
It is easy to see from Theorem 1.2.4 that every cub subset of ω1 is a stationary subset. It
is also straightforward to see from 1.2.4 that the intersection of any stationary subset of
The following is usually called Fodor’s lemma or the pressing down lemma.
that |f −1 (δ)| = ω1 .
3
1.2.2 Martin and diamond axioms
For any cardinal number κ the following statement is called the κ-Martin axiom.
the countable chain condition, ccc, and {Uα |α < κ} is a family of dense open subsets of X,
We use M A instead of M A(ω1 ) and M A + ¬CH for ω1 -Martin axiom and the negation of
the Continuum Hypothesis. The following statement is called the diamond axiom (♦).
Definition 1.2.9. There exists a sequence {aα | α < ω1 } so that each aα ⊆ α and, for each
The relation between Gödel’s axiom of consructibility, V = L, the diamond axiom (♦), the
Continuum Hypothesis (CH) and Martin axiom (MA) is as follows [59] [41]:
V = L ⇒ ♦ ⇒ CH ⇒ M A.
Definition 1.3.1. A topological manifold M is a topological space in which each point has
A point p ∈ M is called a boundary point if p does not have any neighbourhood homeo-
morphic to the open ball, Bn . We call the manifold M , a manifold with boundary if it has
some boundary points otherwise we call it a manifold without boundary or simply a man-
ifold. If we do not specify the manifold is with boundary or without boundary we always
mean a manifold without boundary. The integer n in the definition of manifold is called
4
the dimension of manifold and it is unique except where M = ∅. If M = ∅ the dimension
is not well defined; in fact the dimension of the empty manifold can be any integer n. If
is a 2-dimensional manifold. Metric manifolds, i.e. locally Euclidean metric spaces, have
been amongst the most studied objects in the whole of mathematics. Despite this very
few people have tried to do research on non-metrisable manifolds, (i.e. locally Euclidean
topological spaces which do not carry a metric structure), and understand their similarity
manifolds in their research mostly mentioned them just as pathological examples. There
are two different approaches to the study of non-metric manifolds. The first is to try to find
topological properties equivalent to metrisability and the second is to try to construct some
non-metrisable manifolds, categorizing them, studying their properties and structures. The
studied by David Gauld and more than one hundred topological properties equivalent to
In this introduction we will concentrate on the second approach and we will look at what has
been done and the methodology used in studying non-metric manifolds. There is a familiar
pattern in general topology of looking at spaces which do not have special topological
step we can look at some topological properties which all metric spaces share and try to
construct a topological space which violates one or more of those properties. By looking
at the figure 1.1 we get some idea about the topological properties which are essential for
metric spaces. We should mention that from now on all of our spaces are supposed to be
connected unless otherwise stated. Figure 1.1 gives some idea about our approach to the
theory of non-metrisable manifolds. The direction of an arrow shows what property implies
5
Compact / Compact / σ-compact
Metric
T3
Metrisable / Paracompact o Lindelöf
Perfectly normal T2
T3
Separable
x T1
&* x !
Metacompact T4 Countably compact
T3 1
2
T3
T2
KC
US
T1
6
TO 2
KC
O
US
Figure 1.2: Weak separation properties in topological manifolds
what property in a general topological space and if we need an extra condition it is shown
by the arrow.
The first step towards non-metric manifolds is to construct some topological spaces which
share all local properties of Euclidean space but do not have one of the above properties.
In our list obviously strong separation properties are the most interesting ones but axioms
weaker than Hausdorffness such as KC ∗ , US † and T1 are not independent of local properties.
Theorem 1.3.2. [75] Let X be a first countable topological space, then the following are
equivalent:
1. X is Hausdorff
2. X is a KC space
3. X is a US space.
Any locally Euclidean space is T1 and first countable so the previous theorem shows that
there is no difference between T2 manifolds and KC manifolds. Hence we cannot relax the
∗
A topological space is called a KC space if its compact subsets are closed.
†
A topological space is called a US space if every convergent sequence of the space converges to
at most one point.
7
1.3.1 Metrisable manifolds
In the last century most of the research in the field of topological manifolds was about
manifolds. In this section we mention some topological conditions which are equivalent to
Theorem 1.3.3. [17] Let M be a manifold. Then the following are equivalent:
1. M is σ-compact
2. M is Lindelöf
3. M is second countable;
Theorem 1.3.4. [50] Let M be a connected Hausdorff manifold. The following are equiv-
alent:
1. M is metrisable.
2. M is paracompact.
3. M is Lindelöf.
For a more complete list of topological properties equivalent to metrisability see [20].
Figure 1.3 shows the relation between some topological properties for a metrisable manifold
M.
arrows in Figure 1.3 which are labeled by numbers 1 to 4 are reversible or not and where they
8
Compact o T2
/ Compact / σ-compact
Metric 4 O
T2
T2
T2
t T2
Metrisable o / Paracompact o
8
/ Lindelöf
1 T2
PerfectlyO normal T2
T2
T3
Separable
2
T2
x x !
*
Metacompact T4 Countably compact
3
T3 1
O 2
T2
4
T1
are not to construct counterexamples and conditions under which they will be reversible.
In some cases the question of reversibility of the arrows can be complicated. In the next
section we show that the long line is an example of a normal topological manifold which is
In this section we review the history of non-metrisable manifolds and study some known
basic examples of non-metrisable manifolds which are essential for our studies in other
chapters. We also give some examples that show the red arrows in Figure 1.3 in general
9
are not reversible even for topological manifolds.
Metrisation theorems are considered to be amongst the most important theorems in general
topology. In this type of theorem we provide one or more topological properties which im-
ply metrisability of the topological space. A normal topological space X is called perfectly
normal if every open subset of X can be written as the union of countably many closed
subsets of X [49]. Every metric space is perfectly normal [49] [13]. So it is natural to ask
whether perfect normality is equivalent to metrisability or not. The answer to this question
is no, even for compact topological spaces [73]. The answer is yes for compact Hausdorff
manifolds since compact connected manifolds are Linelöf, so by Theorem 1.3.4 they are
metrisable. In 1975, Mary Ellen Rudin provided a consistent solution to a problem posed in
1949 by Wilder [77]. The problem was whether every perfectly normal generalised manifold
is metrisable or not, and Mary Ellen Rudin showed that under the axiom ♦ (a consequence
compactness, she built an example using the Continuum Hypothesis (CH) alone, which
P.L.Zenor helped to simplify [63]. In 1978 Mary Ellen Rudin showed that the existence of
a perfectly normal nonmetrisable manifold is independent of the usual axioms of set theory
[62]. Specifically, she showed MA+¬CH implies all perfectly normal manifolds are metris-
able [62]. These discoveries brought a new interest in the field of non-metrisable topological
manifolds.
10
1.4.2 The long line, powers of the long line and the long
cylinder
We mentioned that in [62] Mary Ellen Rudin shows that existence of perfectly normal non-
metric manifolds is dependent on the axioms of set theory. Therefore if we assume the
Continuum Hypothesis, then the first red arrow from the top on the Figure 1.3 is not
reversible. If we assume Martin’s Axiom and the negation of the Continuum Hypothesis
the answer to the question posed by Raymond Wilder in [77] is positive so the first red
In this section we show that the closed long ray introduced by Georg Cantor is an example
of a one dimensional manifold which is a normal topological space but it is not a perfectly
Definition 1.4.1. Let L1 and L2 be two totally ordered sets. The lexicographic order on
L1 × L2 is defined as follows:
Notation 1.4.2. We write L1 ×lex L2 for the lexicographically ordered product of L1 and L2 .
Definition 1.4.3. The closed long ray L+ is the ordered set ω1 ×lex [0, 1) with the order
topology induced by the lexicographic order on L+ . The space Lo = L+ \ {0} is called the
and only if and only if y ≤ x. Similar to L+ , L− has the natural topology induced by the
order of L− .
Definition 1.4.5. Assume that 0 and −0 are the first and the last elements of L+ and L−
respectively. If we identify the two points 0 and −0 of L+ and L− , then the topological space
L = (L+ ∪ L− )/(0 ∼ −0) with the quotient topology induced by the equivalence relation ∼ is
11
Notation 1.4.6. If (α, t) ∈ L+ we write α + t for (α, t).
The following lemmas are necessary to prove that the long line and the long ray are not
perfectly normal.
Theorem 1.4.7. If A and B are two closed and unbounded subsets of L+ , then A ∩ B is a
Proof. A∩B is closed because the intersection of any two closed subspaces of any topological
let an+1 = αn+1 + tn+1 be such that αn+1 > bn . This choice of an is possible because A is
an unbounded subset of L+ . Similarly we can choose bn+1 = βn+1 + sn+1 ∈ B such that
βn+1 > an+1 . By using a leapfrog argument it is easy to see that two sequences {αn } and
{βn } converge to the same point δ ∈ ω1 . For every n ∈ ω, an < bn < αn+1 < βn+1 < δ. So
δ is an upper bound for these two sequences {an } and {bn }. If θ < δ is a countable ordinal
then there are some n ∈ ω such that αn and βn ∈ (θ, δ). So an+1 , bn+1 ∈ (θ, δ) ⊂ L+ . This
shows that δ ∈ ω1 is the limit point of the two sequences {an } and {bn }. Therefore δ > λ
is an element of A ∩ B ∩ ω1 .
Corollary 1.4.8. If {An }n∈ω is a sequence of cub subsets of L+ , then ∩n<ω An contains a
cub subset of ω1 .
Proof. For every n ∈ ω1 , by Theorem 1.4.7 An ∩ω1 is a cub subset of L+ . Let Bn = ω1 ∩An
for every n ∈ ω. Then for every n ∈ ω,Bn , is a closed and unbounded subset of ω1 . So
using Theorem 1.2.4 we see that B = ∩n<ω Bn is a cub subset of ω1 and B ⊆ ∩n<ω An .
12
Corollary 1.4.9. If {An }n∈ω is a sequence of cub subsets of [α, ω1 ) ⊂ L+ , then ∩n<ω An
Proof. The set [α, ω1 ) is a closed subspace of L+ and A = ∩n∈ω An is a closed subspace of
Definition 1.4.10. Let L be a totally ordered topological space with the order topology and
S ⊂ X if and only if there is z ∈ L such that f (y) ∈ S for all y > z. If S is a singleton we
for some α ∈ ω1 .
Proof. To show that f is eventually constant we need to show that there is a unique r ∈ [a, b]
Uniqueness. If there are two real numbers r1 and r2 such that r1 6= r2 and f −1 (r1 ) and f −1 (r2 )
are cofinal subsets of the closed long ray, then choose two increasing interlacing sequences
These two sequences converge to the same point z. Hence f (xn ) → f (z) and f (yn ) → f (z).
Let Jn be chosen for the natural number n so that f −1 (Jn ) is a cofinal subset of L+ .
00 0
We write In+1 = [ min Jn +max
2
Jn
, max Jn ] and In+1 = [min Jn , min Jn +max
2
Jn
]. Then at least
0 00
one of f −1 (In+1 ) or f −1 (In+1 ) is a cofinal subset of L+ otherwise f −1 (Jn ) is not a cofinal
13
0 00
subset of L+ . Choose Jn+1 to be one of In+1 or In+1 so that f −1 (Jn+1 ) is a cofinal sub-
set of L+ . The sequence {Jn }n∈ω is a nested sequence of closed subintervals of [a, b]. So
is cofinal for all k ∈ ω, then by using Theorem 1.2.4 f −1 ( k∈ω Jk )) = k∈ω (f −1 (Jk ) is a
T T
cofinal subset of L+ . On the other hand k∈ω Jk is a singleton r ∈ [a, b], so f −1 (r) is a
T
cofinal subset of L+ .
Eventually constant : Let {xn }n∈ω and {yn }n∈ω be two sequences approaching r for
a < r < b from both sides. Then, f −1 ([xi , xi+1 ]) is bounded for all i ∈ ω. f −1 i∈ω [xi , xi+1 ]
S
is bounded. Similarly f −1 i∈ω [yi , yi+1 ] is bounded. Hence f −1 ([a, b] − {r}) is bounded and
S
we are done.
f (x) : x ∈ [β, ω1 )
g(x) =
f (β)
: x ∈ [0, β]
The Lemma 1.4.11 shows that g is eventually constant. It is clear that for any γ > β we
Proof. Assume that for every x ∈ L+ and every n ∈ N there is y ∈ L+ such that | f (y) |> n.
subset of the interval [−1, 1], then we are done. If the image of the continuous function
such that | f (x1 ) |> 1 and x1 > x0 . If xn is chosen then we choose xn+1 > xn such
14
that | f (xn ) |> n + 1. The sequence {xn }n∈ω is an increasing sequence. Then {xn }n∈ω
converges to a point x ∈ L+ . From the construction of the sequence {xn }n∈ω we see that f
is unbounded. Then the sequence {f (xn )} diverges. On the other hand f is a continuous
function so f (xn ) → f (x). This is a contradiction because the sequence {f (xn )} cannot
f ([x0 , ω1 )) ⊆ [−n0 , n0 ].
some α ∈ ω1 .
Proof. By using the Lemma 1.4.13 it is easy to see that f is bounded on [α, ω1 ) for some
Before proving that any initial segment [0, x] of the long line is homeomorphic to the unit
interval [0, 1] we need some background theorems and definitions from general topology.
Definition 1.4.15. [5] A partially ordered set P is called conditionally complete if and
only if every bounded subset of P has a greatest lower bound and a least upper bound.
Definition 1.4.16. [5] A lattice L is called complete if and only if every subset of L has
Definition 1.4.17. A nonempty subset S of a partially ordered set (P, ≤) is called a chain
if and only if every two elements x and y in S are comparable that is, x ≤ y or y ≤ x.
Theorem 1.4.18. [5] A chain C is complete if and only if it is compact in its order topology.
Definition 1.4.19. A chain L is dense in itself if and only if for every two distinct points
15
Theorem 1.4.20. [5] A chain is connected with respect to the order topology if and only if
Definition 1.4.21. [33] A point p of a connected topological space X is called a cut point
if and only if X \ {p} is not connected. If p is not a cut point we call it non cut point.
points because [0, 1) and (0, 1] are connected. Similarly it is easy to see that if p ∈ (0, 1),
then X \ {p} is not connected so any element of the open unit interval is a cut point.
Theorem 1.4.23. [49] (Urysohn Metrisation Theorem) Let X be a Hausdorff second count-
Theorem 1.4.25. [33] If X is a metric continuum with just two non-cut points, then X is
We use the following lemma later to give a characterisation of the closed long ray.
Lemma 1.4.27. For every x ∈ L+ the initial segment [0, x] ⊆ L+ is a connected, compact
metric space. Moreover [0, x] has exactly two non cut points 0 and x.
Proof. For every x ∈ L+ the interval [0, x] is a chain with the initial point 0 and the terminal
To see that L+ is regular let C be a closed subset of the closed long ray and p ∈
/ C.
16
which does not intersect C. U contains an interval (x, y) for some x and y in U such that
0 0 0 0
x < p < y. L+ is dense in itself so there are x ∈ (x, p) and y ∈ (p, y). Let W = (x , y )
and V = [0, x) ∪ (y, ω1 ) ⊂ L+ . Clearly W and V are disjoint open subsets of L+ . Moreover
To see that [0, x] is second countable we introduce a countable basis for [0, x]. In case one
assume that x ∈ ω1 is a limit ordinal. It is easy to see that S = {[0, a) | a ∈ LQ and a <
x} ∪ {(a, b) | a, b ∈ LQ and a, b < x} ∪ {(b, x] | b ∈ LQ } provides a countable basis for [0, x].
Then [0, x] is a metrisable totally ordered set with the maximum x and the minimum 0.
Theorem 1.4.18 implies that [0, x] is compact. The Urysohn Metrisation Theorem implies
that [0, x] is a metric space. Theorem 1.4.20 implies that [0, x] is connected.
Any bounded subset S of (0, x) is clearly a bounded subset of [0, x] . Let S be bounded
above by q ∈ (0, x) and bounded below by p ∈ (0, x). Therefore 0 and x can not be the
greatest lower bound and least upper bound of S in [0, x] respectively. The greatest upper
bound of S as a subset of [0, x] is the same as the greatest lower bound of S as a subspace
of (0, x).
Similarly the least upper bound of S in (0, x) is the same as the least upper bound of S in
[0, x]. So S ⊂ (0, x) is conditionally complete. On the other hand for every two elements p
This shows that (0, x) is dense in itself. So Theorem 1.4.20 implies that (0, x) is connected.
So 0 and x are the only non-cut points of [0, x]. Clearly for every p ∈ [0, x], the two disjoint
open subsets [0, p) ∪ (p, x] separate [0, x] \ {p}. So every point of [0, x] except 0 and x is a
Proposition 1.4.28. For every x ∈ L+ , the closed interval [0, x] is homeomorphic to the
unit interval.
The proof of 1.4.28 follows from Lemma 1.4.27 and Theorem 1.4.25.
The following lemma is immediate consequence of Proposition 1.4.28 and Lemma 1.4.13
17
Lemma 1.4.29. Every continuous function f : L+ → R is bounded.
The following theorem gives more general result than Proposition 1.4.28 and has a more
Theorem 1.4.30. Let p ∈ L+ . For every x ∈ L+ \ {0}, such that x > p, (0, x) is an open
neighbourhood of p homeomorphic to R.
Proof. By using induction on ω1 we show that for every x ∈ L+ such that x > 0, [0, x) is
First we show that for every limit ordinal α ∈ L+ , [0, α) is homeomorphic to [0, 1) ⊂ R. Let
α ∈ ω1 be a limit ordinal, then there is an increasing sequence {αn }n∈N which converges
the first few terms of the sequence and it does not affect convergence of {αn }. Clearly
[α0 , α1 ) is order isomorphic to [0, 1). Assume for each αn we have an order isomorphism
h
from [αn , αn+1 ) to [0, 1). Clearly [0, 1) can be written as [0, 1) = ∪n∈N 1 − n1 , 1 − n+1
1
and
Now define f : [0, α) → [0, 1) by f (x) = fn (x) for αn ≤ x ≤ αn+1 . We show that f is an
order isomorphism.
Let 0 < x < y < α. If x and y both belong to [αn , αn+1 ) for some n ∈ N, then fn is an
order isomorphism. Therefore fn (x) < fn (y) so f (x) = fn (x) < fn (y) = f (y).
n n+k
If αn ≤ x < αn+1 and αn+k ≤ y < αn+k for some k, then f (x) = fn (x) < n+1 < n+k+1 ≤
[0, α) onto [0, 1) where both ordered sets are equipped with the order topology.
Clearly f can be extended to a homeomorphism f : [0, α] → [0, 1] where f (x) = f (x) for all
Assume for α ∈ ω1 we have an order isomorphism f : [0, α) → [0, 1). We write [0, α + 1) =
18
[0, α] ∪ [α, α + 1) and [0, 1) = [0, 12 ] ∪ [ 12 , 1). g : [0, 1] → [0, 12 ] defined by g(x) = 1
2x and
0 0
g : [0, 1) → [ 21 , 1) defined by g (x) = x
2 + 1
2 are order isomorphisms. Define h : [0, α + 1) →
[0, 1) by
g ◦ f (x)
(x ∈ [0, α])
h(x) =
g 0 (t)
(x = α + t ∈ [α, α + 1))
Finally we have proved that for each non zero x ∈ L+ , [0, x) is homeomorphic to [0, 1)
homeomorphism which preserves the order, then h(0) = 0 so h|(0, x) : (0, x) → (0, 1) is a
homeomorphism.
subset of ω1 .
then there is α0 ∈ ω1 such that E ⊂ [0, α0 ]. By Lemma 1.4.11 and Proposition 1.4.28
define λk = min{λ | e(λ) ∈ Uk }. So we have a non-decreasing sequence {λn }n∈ω such that
19
0 0
for every k ∈ ω, e(λk ) ∈ Uk . This sequence converges to a limit ordinal λ so e(λn ) → e(λ ).
0
The long ray has the order topology so it is Hausdorff. Then e(λ ) = p. This shows that E
Corollary 1.4.32. For any two points x, y ∈ L+ , (x, y) is homeomorphic to (0, 1).
The following lemma shows that the closed long ray is a manifold with boundary.
Proof. To show that L+ is normal we need to show that for every pair M , N of closed and
disjoint subsets of L+ there is a pair U and V of open and disjoint subsets of L+ such that
M ⊂ U and N ⊂ V . Either M and N both are bounded, both are unbounded or only one
If M and N are two disjoint closed subsets of L and both are bounded, then M, N ⊆ [a, b] ⊆
L for some a ∈ L+ and some b ∈ L+ . Proposition 1.4.28 and Theorem 1.4.25 imply that
[a, b] is homeomorphic to [0, 1] ⊆ R, so there are two open and disjoint subsets U and V of
If M and N are both unbounded then Theorem 1.4.7 implies that M ∩ N 6= ∅. So we are
done.
subspaces of L+ . Let q > p be a point of L+ . M ⊂ [0, q) and N ∩ [0, q) are closed subspaces
20
0
open subspaces U and V = V ∪ (p, ω1 ) are two open subspaces of L+ such that M ⊂ U
Proof. To show that L+ is countably compact we show that every countable open cover U
If for some natural number m, Vm = Vk for all k > m, then we are done.
So without loss of generality we assume that for every natural number m there is a natural
number k such that k > m and Vk 6= Vm . Moreover we delete the consecutive terms of the
sequence which are the same set. To do this define an increasing sequence {nk } as follows:
Vnk , m > nk }. So V0 ⊂ Vn1 ⊂ Vn2 ⊂ Vn3 ⊂ Vn4 ⊂ . . . and Vnk 6= Vnk+1 for all k ∈ N. Note
that U0 6= ∅ so V0 6= ∅.
Choose p0 ∈ V0 and for every natural number k let pk+1 ∈ Vnk+1 \ Vnk . Any countable
Proposition 1.4.28 implies that [0, x] is a compact subspace of L+ . The set V = {Vnk | k ∈ ω}
is a countable cover for {pk | k ∈ ω}. So finitely many of the elements of V cover {pk | k ∈ ω}.
Therefore {pn | n ∈ ω} ⊆ VnN for some N ∈ N. On the other hand pN +1 ∈ VnN +1 \ VnN .
This is a contradiction. Therefore only finitely many of the elements of V cover L+ . This
Theorem 1.4.36. [49] [13] A normal topological space X is perfectly normal if and only
C = {x ∈ X | f (x) = 0}.
21
Lemma 1.4.37. [13] The closed long ray is not perfectly normal.
Proposition 1.4.14 shows that there is x0 ∈ L+ such that f (x) = 0 for all x ≥ x0 . This
shows that the zero set {x ∈ L+ | f (x) = 0} is not equal to ω1 . Therefore by using Theorem
1.4.36 it is easy to see that L+ is not perfectly normal. This completes the proof.
Lemmas 1.4.37, 1.4.14 and 1.4.33 show that the second red arrow from the top in the
Figure 1.3 which is labelled 2 is not reversible for topological manifolds. Therefore the
Proposition 1.4.38. L is normal, countably compact and locally Euclidean but it is not
perfectly normal, hence it is an example of a normal manifold which is not perfectly normal.
In what follows we give a characterisation of the closed long ray but before that we need
Theorem 1.4.39. [37] Any countable linearly ordered topological space X without first and
Theorem 1.4.40. [37] Any complete linearly ordered topological space X without first and
last elements which has a dense subspace homeomorphic to Q is homeomorphic to the real
line.
Corollary 1.4.41. Any complete linearly ordered topological space X with a first and a last
element which has a dense subspace homeomorphic to Q is homeomorphic to the closed unit
interval.
Lemma 1.4.42. Any totally ordered topological space L with the order topology which sat-
22
1. Any bounded subset of L is separable.
2. L is connected.
a limit ordinal, then define xλ = sup{xγ |γ < λ}. If sup{xγ |γ < λ} does not exist then
0
S = {x ∈ L|x > xγ for all γ < λ} and S = {x ∈ L|x < xγ for some γ < λ} are non
S 0
empty open subsets of L, since any countable subset of L is bounded and L = S S which
Now we show that κ = ω1 . If κ > ω1 , then for an ordinal number µ such that ω1 < µ < κ
If κ < ω1 it contradicts the condition (3). So κ = ω1 . Now for every α < ω1 consider
[xα , xα+1 ] which is a separable totally ordered space, with a maximum and a minimum
hence is a metric continuum with two non cut-points and consequently is homeomorphic to
L+ , where φ(x) = φα (x) for x ∈ [xα , xα+1 ] is the desired homeomorphism. This completes
the proof.
0
Corollary 1.4.43. Any totally ordered topological space L with the order topology which
0
1. Any bounded subset of L is separable.
0
2. L is connected.
23
0
3. Any countable subset of L is bounded.
0
4. L does not have a minimum point but it has a maximum point.
0 0
Proof. Let (L , ≤ ) be a totally ordered set with all properties mentioned above and define
0 0
L = {−x | x ∈ L }. Now define −x ≤ −y if and only if y ≤ x where x, y ∈ L. It
is easy to see that (L, ≤) satisfies all the conditions of Theorem 1.4.42. So L ∼
= L+ .
0
The function f : L → L defined by f (x) = −x is an order reversing function so it is a
homeomorphism.
It is easy to see that most of the theorems and lemmas that we proved in this section are
true for the long line L and the open long ray Lo . We repeat these theorems and lemmas
Definition 1.4.44. Let M and N be two manifolds with the same dimension. If ∂M and
h(x) ∈ ∂N . We write (M, ∂M ) for a manifold M with the manifold boundary ∂M . For a
Lemma 1.4.45. [44] Let (M, ∂M ) and (N, ∂N ) be two n−manifolds with boundary and
Lemma 1.4.46. The open long ray and the long line are manifolds without boundary.
Proof. The closed long ray is a manifold with the boundary 0 ∈ L+ . By Lemma 1.4.45
it is easy to see that L is a manifold without boundary. It is clear from the definition of
24
Lemma 1.4.47. The open long ray and the long line are normal spaces.
Proof. Let E and F be two disjoint closed subspaces of the long line. If for every open
L. Then there is z ∈ L such that (−z, z) ⊂ W . Choose an arbitrary ∈ (0, z). Clearly
[−, ] ∩ F = ∅. Now let r be an element of (0, ). So we have − < −r < 0 < r < .
We have already proved in Lemma 1.4.34 that L+ is normal. So by splitting E and F into
two pieces we will be able to use Lemma 1.4.34 and show that L is normal. Details are as
follows:
and F+ are closed and disjoint subspaces of L+ so by using Lemma 1.4.34 we can find two
Similarly there are two open disjoint subspaces U− and V− of L− such that E− ⊂ U− and
Now let A = (V+ ∩ (r, ω1 )) ∪ ((−ω1 , −r) ∩ V− ) and B = (U+ ∪ (−r, r) ∪ U− ). A and B are
Proof. Let U = {Un | n ∈ ω} be a countable open cover of L. L+ has the subspace topology
compact topological space. Then finitely many elements of U, say {Ui1 , Ui2 , Ui3 , . . . , Uin },
cover L+ . Similarly finitely many elements of U cover L− , say {Uj1 , Uj2 , Uj3 , . . . , Ujm }, so
{Ui1 , Ui2 , Ui3 , . . . , Uin } ∪ {Uj1 , Uj2 , Uj3 , . . . Ujm } is a finite subcover of L. This completes the
25
proof.
Proof. The closed long ray L+ is a closed subspace of L and ω1 is a closed subspace of
{x | f (x) = 0} =
6 ω1 . Then Theorem 1.4.36 implies that L is not perfectly normal.
constant. So there is a β ∈ ω1 such that (f | L+ )(α) is constant for all α > β. Clearly
Corollary 1.4.51. Any continuous function f : L → R is constant on (−ω1 , −β] for some
β ∈ ω1 .
1 (x ≥ 1)
f (x) = x (x ∈ [−1, 1])
−1
(x ≤ −1).
Lemma 1.4.53. Any totally ordered topological space L with the order topology which sat-
26
1. Any bounded subset of L is separable.
2. L is connected.
Proof. Pick an arbitrary element x0 ∈ L. By using Lemma 1.4.42 we see that the set
homeomorphic to L.
The following examples provide normal topological manifolds which are not perfectly nor-
Any locally compact Hausdorff, topological space is completely regular [75]. So all Hausdorff
manifold which is not normal. The main feature of the Prüfer manifold which makes it
Theorem 1.4.56. [75] Every locally compact Hausdorff space is a Tychonoff space.
27
Theorem 1.4.57. [54] The following properties are equivalent for a topological space X.
• X is completely regular.
• X is uniformisable.
Lemma 1.4.58 (Jones’ Lemma). [75] If X is a separable and normal topological space,
3. Lr = {(0, y, r) ∈ R3 |y ∈ R}.
Our goal is to introduce a topology τ , different from the usual topology of R3 , on P which
makes P into a topological manifold. Moreover we need the space (P, τ ) to be a Tychonoff
p
N (p) = {(x, y, 0) ∈ Q | (x − x0 )2 + (y − y0 )2 < min{, x0 }}
p
B (p) = {(x, y, r) ∈ Pr | (x − x0 )2 + (y − y0 )2 < min{, | x0 |}}
Open -neighbourhoods of a point p ∈ Lr are more complicated and consist of the union of
28
three different subspaces of P .
1. W (p) = {(x, y, 0) ∈ Q|0 < x < , (y0 − )x + r < y < (y0 + )x + r}.
The following convention helps us to unify our notation: For every p ∈ P we say V (p) is
W (p) ∪ I (p) ∪ S (p) : p ∈ Lr
V (p) = N (p) :p∈Q
B (p) : p ∈ Pr
neighbourhoods of p ∈ P .
Proof. Let p be a point in P . In the first case we assume that p ∈ Pr for some r ∈ R.
If p = (x0 , y0 , r) ∈ Pr for a fixed real number r ∈ R, then choose a positive real number
|x0 |
< 2 . So V (p) = B (p) is an open subset of P with respect to the topology τ . Clearly
p
B (p) is homeomorphic to the open disc {(x, y) ∈ R2 | (x − x0 )2 + (y − y0 )2 < } in R2 .
The second case is similar to the first case. If p = (x0 , y0 , r) ∈ Q, then we can choose a
|x0 |
positive real number < 2 .
For the last case we assume that p = (0, y0 , r) ∈ Lr for some fixed real number r ∈ R.
29
Then Np = {V (p)| > 0} = {W (p) ∪ I (p) ∪ S (p) | > 0} is an open neighbourhood system
is a bijection between V1 (p) in P and {(x, y) ∈ R2 | −1 < x < 1, −1 < y < 1)} ⊂ R2 .
0
Furthermore f preserves the partially order relation ⊆ between N and N hence it is a
homeomorphism.
1. It is clear from the definition of the Prüfer manifold that Q and Pr for a fixed r ∈ R
are open subspaces of the Prüfer manifold. So if p ∈ Q and q ∈ Pr for some fixed
0 0 0 0
2. If p = (x, y, r) ∈ Pr and q = (x , y , r ) ∈ Pr0 and r 6= r , then as in the previous case
Pr and Pr0 separates p and q since both Pr and Pr0 are open and Pr ∩ Pr0 = ∅.
|x0 |
3. Let p = (x0 , y0 , r) ∈ Pr and q = (0, y1 , r) ∈ Lr . For < 2 , V (p) ∩ V (q) = ∅.
0 00
0 00 |y −y |
4. If p = (0, y , r) ∈ Lr and q = (0, y , r) ∈ Lr , then we choose < 2 .
00 0
0 0 00 00 r −r |
5. If p = (0, y , r ) ∈ Lr0 and q = (0, y , r ) ∈ Lr00 , then choose <| 2 .
00
0 00 00 |x |
6. If p = (0, y , r) ∈ Lr and q = (x , y , 0) ∈ Q, then choose < 2 .
0 00
√
(x0 −x00 )2 +(y 0 −y 00 )2
min{ |x2 | , |x2 | ,
0 0 00 00
7. If p = (x , y , 0) ∈ Q and q = (x , y , 0) ∈ Q, then let < 2 }.
30
W! (p)
S! (p) I! (p)
=p
Figure 1.4
31
0 00
√
(x0 −x00 )2 +(y 0 −y 00 )2
8. If p = (x , y , r) ∈ Pr and q = (x , y , r) ∈ Pr , then let < min{ |x2 | , |x2 | ,
0 0 00 00
2 }.
0 0 00 0
9. If p = (x , y , r) ∈ Pr and q = (0, y , r ) ∈ Lr0 , then Pr is an open neighbourhood
of p and V (q) is an open neighbourhood of q. Note that V (q) ⊂ Pr0 ∪ Lr0 ∪ Q and
In the all cases mentioned above V (p)∩V (q) = ∅, where V (p) and V (q) are chosen properly
from the definition of the Prüfer manifold. Therefore the Prüfer manifold P is a Hausdorff
topological space.
Proof. Lemma 1.4.61 states that the Prüfer manifold P is a Hausdorff space and Lemma
1.4.60 shows that the Prüfer manifold is a locally Euclidean topological space. So P is a
locally compact Hausdorff topological space. Then by using Theorem 1.4.56 we see that P
is a Tychonoff space.
Proof. The idea of the proof is similar to the proof of non-normality of the Moore tangent
disc space and in both spaces we show that the space contains an uncountable closed discrete
space. So the Prüfer manifold P contains a subspace which is homeomorphic to the Moore
normal. Since it is closed in P then nor is P normal. This completes the proof.
There are other topological spaces which have all the topological properties we mentioned
above for the Prüfer manifold in common. We describe one of them in the next chapter.
32
Lemma 1.4.64. The Prüfer manifold is not separable.
Proof. The sets {Pr | r ∈ R} are open subsets of P and any dense subset of P must contain
uncountable.
p
Proof. For every r ∈ R, let Br = {(x, y, r) | (x + 1)2 + y 2 < 14 } ⊂ Pr . Then for distinct
real numbers r1 and r2 we have Br1 ∩ Br2 = ∅. On the other hand we know that the
the same as | R |.
The Prüfer manifold is an example which shows that the red arrow labelled 3 on Figure
Theorem 1.4.57 states that a topological space is completely regular if and only if it is
topological manifolds which are not uniformisable the only choice is non-Hausdorff topo-
logical manifolds. The line with a double origin is an easy example of a non-Hausdorff
manifold.
Example 1.4.66. (Real line with a double origin) We define a neighbourhood basis on the
set X = (−∞, 0) ∪ {p1 , p2 } ∪ (0, +∞) ⊆ R2 which makes X into a locally Euclidean non-
Hausdorff topological space, where p1 = (0, 1) and p2 = (0, −1) are points in R2 . For any
point p except p1 and p2 let p have the usual neighbourhood that it has in R? = R \ {0} but
S
any neighbourhood of pi , i = 1, 2 has the following form : N (pi ) = ((−, ) − {0}) {pi }
[68].
33
Figure 1.5: Line with a double origin
This example shows that the last red arrow in Figure 1.3 is not reversible. We study
The classification of closed manifolds has been a very active field of mathematics and math-
ematicians have introduced many different methods and techniques to classify manifolds
manifolds and piecewise linear manifolds. In dimension one there are just four topologically
different connected, Hausdorff manifolds without boundary which are the circle, the real
line, the open long ray and the long line. There are three connected, Hausdorff manifolds
with boundary as well: the closed unit interval, the half closed unit interval, and the closed
long ray.
Among the one dimensional manifolds the circle is the only closed, compact manifold with-
34
out boundary, of dimension one. The closed unit interval is a compact manifold with
boundary and the half open interval is a manifold with boundary but it is not compact.
The real line is the only paracompact and hence metrisable non-compact one dimensional
manifold. The long line and the closed long ray are countably compact nonmetrisable
manifolds and the open long ray is the only non metrisable non-countably compact one
dimensional manifold. In dimension two we have the following theorem due to Brahana [6].
He was the first mathematician who gave a complete proof of the classification of closed
surfaces i.e. compact two dimensional manifolds without boundary in 1921, and conse-
quently in 1923 Kerḱjártó successfully classified metrisable non compact surfaces without
boundary in terms of their ideal boundaries [58] [23]. In 1979 Edward M. Brown and Robert
Messer completed the classification of the metrisable 2-dimensional manifolds with bound-
ary. Their result appeared in the paper titled “ The Classfication of Two Dimensional
Manifolds ” [7]. They developed some invariants that helped them to overcome the compli-
cation of the classification of metric 2-manifolds with boundary. Another type of surface,
called ω-bounded surface, an example being the long plane L2 , has been studied by Peter
Nyikos [50]. He introduced his bagpipe theorem which reduces the question of classification
of the ω-bounded surfaces to the classification of some building blocks of manifolds which
are called long pipes. Long pipes have a relatively simple structure. We will talk about
Theorem 1.5.1. [6] (Brahana 1921) Any compact connected surface is homeomorphic to
the connected sum of a sphere, finitely many tori and finitely many projective planes.
The recent book titled “A guide to the classification theorem for compact surfaces” by Jean
Gallier and Dianna Xu is a good reference for the classification of compact surfaces [15].
0
Theorem 1.5.2. (Kerḱjártó) Let S and S be two metrisable surfaces without boundary of
0
the same genus and orientability class.Then S and S are homeomorphic if and only if their
35
ideal boundaries are topologically equivalent.
In dimension three, work on the classification of compact manifolds is still very active and
Although the classification of all topological spaces is not feasible it is the ultimate aim of
topology. Instead topologists try to classify some subclasses of topological spaces. Clas-
sification of manifolds has been one of the targets of topologists and the study of low
though the classification of one dimensional manifolds is easier than 2-manifolds, we could
On the page 643 Example 3.2 of [42] Peter Nyikos stated that there are only four connected
one dimensional manifolds without boundary, namely the circle, the real line, the open long
ray and the long line. In the same example he wrote that there are three one dimensional
connected Hausdorff manifolds with the boundary namely, the closed long ray, the closed
unit interval of the real line and the half closed interval of the real line. In this section
we provide a complete proof for this classification. We should note that in Appendix 2
in [26], Victor Guillemin and Alan Pollack wrote a complete proof of the classification of
the compact one dimensional connected Hausdorrf differentiable manifolds. We should also
mention the book titled “Beginner’s course in topology ” by D.B.Fucks and V.A.Rokhlin
[14] from which we adopted some techniques to achieve our goal. In [14] the authors briefly
discuss the classification of connected metrisable one dimensional manifolds. In this section
we give a detailed proof of this classification. Our goal like any other classification problem
36
in mathematics is to consider a class of mathematical objects and provide a list of different
mathematical objects in that class, here one dimensional manifolds, and then prove that
any other objects of that class have to be the same as one element of our list of objects.
Here we should be careful about the term the same because it all depends on the class
that we are working on. In this section all the manifolds are assumed to be Hausdorff and
x1 ≥ 0}.
of Rn which is homeomorphic to Rn .
Lemma 1.6.2. S1 and the real line are one dimensional manifolds.
Lemma 1.6.3. The closed interval and the half closed interval are manifolds with boundary.
Proof. We write [0, 1] = [0, 1) ∪ (0, 1) ∪ (0, 1]. If 0 < x < 1, then ((0, 1), tan(πx − π2 )) is
a chart around x. ([0, 1), tan( π2 )x) is a chart around 0 and ((0, 1], tan π2 (1 − x)) is a chart
around 1. This shows that [0, 1] is a manifold with boundary. Hence so is [0, 1).
37
Figure 1.6
Lemma 1.6.4. The closed long ray is a manifold with boundary. Moreover L+ has only
that [0, α] is homeomorphic to [0, 1] where α = min{β ∈ ω1 |x < β}. So (0, α) is an open
The identity function provides a homeomorphism from [0, 1) ⊂ L+ onto [0, 1) ⊂ R. Note
Lemma 1.6.5. The open long ray and the long line are one dimensional manifolds without
boundary.
that for each α ∈ ω1 , (−α, α) is homeomorphic to (−1, 1). For each x ∈ L+ larger than or
Let x be an element of the open long ray Lo . Then (0, x + 1) is an open neighbourhood of
38
x so Lo is a one dimensional manifold.
α ∈ I} such that ∪α∈I Uα = M . Given two charts (Uα , hα ), (Uβ , hβ ), the transition map
Lemma 1.6.7. [67] Any open subspace of R can be written as a countable union of disjoint
intervals, {In | n ∈ N} .
Lemma 1.6.8. Any connected metrisable manifold without boundary M of dimension one
with an atlas A, such that the atlas A consists of only one chart, is homeomorphic to R.
Proof. The proof is obvious. Let A = {(U, h)} be an atlas on M . {U } is a cover for M so
new chart (U, ρ ◦ h) on M which has the same domain as (U, h), where ρ : R → R defined
The following lemma is briefly discussed in [14] and here we give a detailed proof with
Lemma 1.6.10. Any connected Hausdorff manifold M of dimension one without boundary
which has an atlas with two charts is homeomorphic to the circle or to the real line.
Proof. To prove the lemma first we consider an atlas A = {(U, hU ), (V, hV )} on M and we
Then we realise ten different scenarios and show that each scenario either does not happen
39
Let M be a one dimensional connected metrisable manifold without boundary. If U ⊆ V or
V ⊆ U , then the problem reduces to an atlas with one chart so Lemma 1.6.8 implies that
M = R.
Lemma 1.6.7 shows that any open subspace of R can be written as a countable union of
Let r1 and r2 be two real numbers such that I = (r1 , r2 ) ∈ I is one of open intervals
in hU (U ∩ V ). For every m ∈ N, r1 ∈
/ Im . Otherwise there are r3 and r4 such that
V = h−1 −1
U (I) ⊆ hU (R) ⊆ U which contradicts the assumption V \ U 6= ∅. If the decomposi-
the two following cases and show that neither of them can happen.
II. The transition map hU V maps a bounded interval I = (r1 , r2 ) ∈ I onto abounded
interval J = (s1 , s2 ) of R.
Case I.
40
Let ρ : R → R be defined by ρ(x) = −x. Replacing hV by ρ ◦ hV if necessary we may
Since (U, hU ) and (V, hV ) are charts with r1 ∈ hU (U ) and s1 ∈ hV (V ), then for some p ∈ U
Note that p 6= q. For every neighbourhood P of p there is a positive real number δ such
space.
Similarly hU V does not map a bounded element I ∈ I onto an initial segment (−∞, s2 )
where s2 ∈ R.
Therefore hU V does not map bounded elements of I to the unbounded subsets of R so case
Case II.
Now we show that hU V does not map bounded elements of I to bounded subsets of R.
function. We discuss the case where hU V is increasing. The other case is similar.
otherwise h−1 −1 −1
/ V ∩ U so h−1
U (r1 ) = hV (s1 ) ∈ U ∩ V but we know that hU (r1 ) ∈ U (r1 ) ∈
/ V.
h−1 −1 −1 −1 −1 −1
U and hV are homeomorphism so hU (xn ) → hU (r1 ) and similarly hV (xn ) → hV (s1 ).
41
to two points. This contradicts the our assumption that M is T2 .
This shows that the transition map hU V does not map bounded intervals of I onto the
In view of the argument above it is not possible for hU V to map a finite end of its domain
to a finite end of its range. Note that hU (U ∩ V ) is an open subspace of R and it does not
have any bounded interval in its decomposition into disjoint intervals. So hU (U ∩ V ) has
Now we continue the proof for each combination of these cases for hU (U ∩V ) and hV (U ∩V ).
Scenario one:
r1 , r2 ∈ R
Our goal in this scenario is to show that the manifold M has to be homeomorphic to the
real line.
We use the same method that we have used already to show that the image of U ∩ V under
42
the transition map hU V does not contain any bounded interval.
Every homeomorphism between intervals (−∞, r1 ) and (r2 , +∞) has to be monotonic;
otherwise we can choose three points a, b and c in the initial interval (−∞, r1 ) such that
hU V (a) < hU V (c) < hU V (b) ( or hU V (b) < hU V (c) < hU V (a) ) then by using intermediate
value theorem there is a real number r ∈ [hU V (c), hU V (b)] which will be acquired more than
hU V is increasing.
Our method of showing that hU V is increasing is very similar to the argument that we used
In fact we show that if hU V is decreasing, then it maps the finite end of (−∞, r1 ) to the
Let {tn }n∈N be a sequence in (−∞, r1 ) converging to r1 . The transition map hU V is decreas-
ing so the sequence {hU V (tn )}n∈N converges to r2 . We write sn = hU V (tn ) for all n ∈ N. So
This contradicts the Hausdorff property of the manifold M since in T2 spaces every sequence
The function hU V : (−∞, r1 ) → (r2 , +∞) is an increasing bijection so there are two points
Note that hU V : (−∞, r1 ) → (r2 , +∞) is an increasing function so hU V ((−∞, p]) = ((r2 , q]),
So h−1 −1 −1 −1
U ((−∞, p]) = hV ((r2 , q]), hU ([q, +∞)) = hV ([p, r1 )).
43
Figure 1.7: Decreasing transition map
Figure 1.8
44
Let h−1 −1 ∗ −1 −1
U (p) = hV (q) = x ∈ U ∩ V . We claim that M = hU ([p, +∞)) ∪ hV ((−∞, q]).
h−1 −1 −1 −1
U (−∞, p]) ∪ hU ([p, +∞)) ∪ hV ((−∞, q]) ∪ hV ([q, +∞)).
h−1 −1 −1 V −1 0 −1
V ((−∞, q]) ∪ hV ([q, +∞)) so hU ((−∞, p]) ⊆ hV ([p, +∞)) and hV ([q + ∞)) ⊆ hU ([p +
h−1
1 (−∞, 0] = M and finally we can establish a homeomorphism h : R → M defined by:
h−1 ◦ h−1 (x) (x ≥ 0)
U 2
h(x) =
h−1 ◦ h−1 (x) (x ≤ 0)
V 1
Scenario two:
0
hU (U ∩ V ) = (−∞, r1 ) ∪ (r2 , +∞), hV (U ∩ V ) = (−∞, r1 ) ∪
0
(r2 , +∞)
and
0 0
hU V (r2 , +∞) = (−∞, r1 ), hU V (−∞, r1 ) = (r2 , +∞)
45
First we should note that r1 < r2 , otherwise hU (U ∩ V ) = R so U ⊂ V and we showed that
0 0
U ⊂ V implies M = R. So we assume that r1 < r2 . Hence also r1 < r2 .
increasing homeomorphism.
0 0
If hU V ((−∞, r1 )) = ((−∞, r1 ))) and hU V ((r2 , +∞)) = (r2 , +∞)) we follow hV : V → R by
h−1 −1
U ([p1 , r1 )) = hV ([q1 , +∞))
h−1 −1
U ((r2 , q1 ]) = hV ((−∞), p2 ])
0
h−1 −1
U ([q1 , +∞)) = hV ([p2 , r1 ))
M = h−1 −1
U ([p1 , p2 ]) ∪ hV ([q2 , q1 ]).
46
exp(πi hUp(x)−p 1
) (x ∈ h−1
U ([p1 , p2 ]))
2 −p1
H(x) =
− exp(πi hV (x)−p2 ) (x ∈ h−1
V ([q2 , q1 ]))
q1 −q2
M is compact because M has a cover with only two charts. By using the Pasting Lemma
Scenario three:
hU (U ∩ V ) = (−∞, r1 )
and
0
hV (U ∩ V ) = (−∞, r1 )
Assume that A = {(U, hU ), (V, hV )} is the atlas with two charts for M . We consider the
new atlas B = {(U, hU ), (V, ρ ◦ hV )} which consists of two charts (U, hU ) and a reversal of
47
(V, hV ). The new atlas reduces the question to the scenario one.
Scenario four:
hU (U ∩ V ) = (r1 , ∞)
and
hV (U ∩ V ) = (r2 , +∞)
If we replace (U, hU ) by its reversal this scenario will be similar to the scenario number one.
Scenario five:
hU (U ∩ V ) = (r1 , +∞)
and
0
hV (U ∩ V ) = (−∞, r1 )
This scenario is similar to scenario one if we replace both charts by their reversals.
Scenario six:
hU (U ∩ V ) = (−∞, r1 )
and
0 0
hV (U ∩ V ) = (−∞, r1 ) ∪ (r2 , +∞)
This scenario does not happen because hU (U ∩V ) = (−∞, r1 ) implies that U ∩V is connected
0 0
but hV (U ∩ V ) = (−∞, r1 ) ∪ (r2 , +∞) implies that U ∩ V is not connected. Therefore this
48
Scenario seven:
hU (U ∩ V ) = (r2 , +∞)
and
0 0
hV (U ∩ V ) = (−∞, r1 ) ∪ (r2 , +∞)
This case is similar to the scenario six and never happens by replacing hU by −hU .
Scenario eight:
and
0
hV (U ∩ V ) = (r2 , +∞)
Scenario nine:
and
0
hV (U ∩ V ) = (−∞, r1 )
This scenario is similar to the scenario six and does not happen.
49
Scenario ten:
0
hU (U ∩ V ) = (−∞, r1 ) ∪ (r2 , +∞), hV (U ∩ V ) = (−∞, r1 ) ∪
0
(r2 , +∞)
and
0 0
hU V (−∞, r1 ) = (−∞, r1 ), hU V (r2 , +∞) = (r2 , +∞)
ary and with an atlas consisting of two charts, then the topological boundary of the domain
of every chart is either empty, has only one point or has two elements.
Proof. Any such one dimensional manifold is homeomorphic to the circle or the real line.
So for any chart (U, h) the image h(U ) is the image of an interval in the circle or the real
line. If M ∼
= R then h(U ) has one of the following forms:
0 0
(−∞, +∞), (−∞, r), (r, +∞) or (r, r ) for some real numbers r, r . Therefore it has at most
If M ∼
= S1 , then h(U ) is a connected subset of S1 \ {p} for some p ∈ S 1 so it has at most two
Theorem 1.6.12. Let M be a metrisable one dimensional connected manifold with a finite
atlas A. Then M ∼
= S1 or M ∼
= R.
clear from Lemma 1.6.8 or Lemma 1.6.10 respectively. Assume that the result is true for
50
every manifold which has an atlas A with at most n many charts.
Consider a manifold M with the mentioned properties which has an atlas A = {(Uk , φk ) |
1 ≤ k ≤ n + 1} with n + 1 charts.
Assume that M does not have any atlas of cardinality less than or equal to n otherwise the
{1, . . . , n}. Consider the subspace V = ∪nk=1 Uk of M . Note that V is the union of open
V . So by our assumption V ∼
= S1 or V ∼
= R. If V ∼
= S1 , then V is a compact subspace of
Lemma 1.6.13. Assume that U and V are two topological spaces homeomorphic to open
that hU and hV introduce the same directions on U . More precisely for every pair x, y ∈ U
we have either hU (x) < hU (y) and hV (x) < hV (y) or hU (x) > hU (y) and hV (x) > hV (y).
map hU V = hU ◦ h−1
V is a homeomorphism so hU V ((s, t)) = (a, b). If s 6= c and t 6= d, then
let f : (c, d) → (α, β), where α < a and b < β be a function defined by
a−α
s−c (x − s) + a (c < x ≤ s),
f (x) =
hU ◦ h−1
V (x) (x ∈ (s, t)),
β−b (x − t) + b
(t ≤ x < d),
d−t
51
If s = c but t 6= d, then we define the function f : (c, d) → (α, β), where α = a and b < β
to be as follows:
hU ◦ h−1 (x)
(x ∈ (s, t)),
V
f (x) =
β−b
d−t (x − t) + b (t ≤ x < d),
and if t = d but s 6= c, then we let f : (c, d) → (α, β), where α < a and β = b to be as
follows:
a−α
s−c (x − s) + a (c < x ≤ s),
f (x) =
hU ◦ h−1 (x)
(x ∈ (s, t)).
V
Note that f is a homeomorphism from (c, d) onto the interval (α, β). Now we define h =
Definition 1.6.15. [64] Let {Xk | k ∈ I} be a family of topological spaces indexed by a set
follows:
Lemma 1.6.16. [64] Let X = ∪k∈N Xk and Y = ∪k∈N Yk such that for every k, Xk ⊂ Xk+1 ,
and Yk ⊂ Yk+1 . Moreover assume that for every k there is gk : Yk → Xk+1 such that
gk ◦ hk = ik : Xk → Xk+1 , where hk : Xk ∼
= Yk is a homeomorphism for all k ∈ N. Then
X∼
=Y.
52
Lemma 1.6.17. The only connected subspaces of R are intervals.
x < z < y, then C can be decomposed into two disjoint open subspaces C ∩ (−∞, z) and
Lemma 1.6.18. Suppose that X = ∪k∈N Xk where {Xk }k∈N is an increasing sequence of
Proof. We prove the Lemma by using induction and Lemma 1.6.16. It is clear from the
assumption that X1 ∼
= R. So there is a homeomorphism h1 : X1 → (a1 , b1 ) for some
real numbers a1 and a2 . Now assume that for every natural number k ≤ n there is a
that Xn+1 ∼
= R. So there are real numbers c, d and a homeomorphism f : Xn+1 → (c, d).
The Lemma 1.6.13 provide us with a homeomorphism h : Xn+1 → (α, β) for some real
numbers α and β such that hn+1 | Xn = hn , and (c, d) ⊂ (α, β). Now let α = an+1 and
The following theorem by Morton Brown generalises the result of Lemma 1.6.18 to an
arbitrary finite dimension but the proof is more complicated. For a short proof of the
Theorem 1.6.19 (Morton Brown). [8] Suppose that X = ∪k∈ω Xk where {Xk }k∈ω is an
53
Corollary 1.6.20. Any non-compact, σ-compact one dimensional manifold M without
Proof. If M is covered by finitely many charts, then the theorem is the result of Theorem
1.6.12. The manifold M is σ-compact so it may be covered by countably many charts. Then
R.
Theorem 1.6.22. Any connected, metrisable manifold with boundary of dimension one is
Proof. Let M be a one dimensional manifold with boundary ∂M . Define the manifold
M ×{1}∪M ×{2}
N = ∼ where for all x ∈ ∂M we have (x, 1) ∼ (x, 2). In Definition 1.4.44 this
space is called the double of M , and Lemma 1.4.45 asserts that N is a manifold without
1.6.17 and 1.6.21 show that the only connected subspaces of R and S1 are homeomorphic
to [0, 1], [0, 1), R or S1 . But S1 and R have no boundary so the only choices are [0, 1) and
Corollary 1.6.23. Any compact, connected one dimensional manifold with boundary is
54
Corollary 1.6.24. Any connected, metrisable non-compact one dimensional manifold with
We have already proved that if a manifold M has an atlas A = {(U, hU ), (V, hV )}, then the
domain of each of those charts say U has either empty boundary, a boundary consisting of
only one point or a boundary consisting of two points. Now we show that this is the case
empty, then either B is an atlas or there is (U, φ) ∈ A such that U meets both the subset
Proof. Let V = ∪U ∈B U . Then V is open and non-empty. Suppose that there is no (U, φ) ∈
A such that U meets both V and M \ V . Then for every (U, φ) ∈ A either U ⊂ V or
atlas.
1. There are two charts (U, φ) and (V, ψ) in B such that ψ(U ∩ V ) is an initial segment of
2. There are two charts (U, φ) and (V, ψ) in B such that ψ(U ∩ V ) is a final segment of R,
3. There are three charts (U, φ), (V, ψ) and (W, θ) such that W ∩ V = ∅, U ∩ W 6= ∅,
U ∩ V 6= ∅, θ(U ∩ W ) = (−∞, t) for some t ∈ R and ψ(U ∩ V ) = (s, +∞) for some s ∈ R.
Proof. Let us agree to say that a chart (U, φ) is immediately to the left (right) side of a
chart (V, ψ) if ψ(U ∩ V ) is an initial (final) segment of R. Now consider the case that there
55
is a chart (U0 , φ0 ) ∈ A such that (U0 , φ0 ) does not have any chart in its left side. Consider
two points p, q ∈ U0 with φ(p0 ) < φ(q0 ). For every chart (U, φ) ∈ A if U ∩ U0 6= ∅, then
0 0
replace U by φ−1 (φ(q), +∞) and let A be the new atlas. Note that A which consists of
(U0 , φ0 ), all modified charts (ψ −1 (ψ(q), +∞), ψ | ψ −1 (ψ(q), +∞)) and all charts (W, θ) such
0
that W ∩U0 = ∅ is an atlas for M . So far we have an atlas A which consists a chart (U0 , φ0 )
0
such that no other chart of A is in the left side of (U0 , φ0 ) and also there is an element
0
p ∈ U0 which is not in the domain of any other chart in A .
Now we introduce a new atlas B for M which satisfies the conditions mentioned in 1.
0
Consider a chart (U1 , φ1 ) ∈ A such that U1 ∩ U0 6= ∅ and assume U1 is distinct and not
So from now we always assume that every manifold M of dimension one has an uncountable
atlas A which satisfies conditions mentioned in the Lemma 1.6.26 and A can not be reduced
to a countable atlas.
Suppose A is an atlas for M and there is a chart (U0 , φ0 ) ∈ A meeting only one other chart
Assume α < ω1 is such that (Vα , hα ) has been chosen such that Vα is a union of open sets
subset of R it can not be all of M so by Lemma 1.6.25 there is (Uα+1 , φα+1 ) ∈ A with
Following φα+1 by reflection of R if necessary we may assume the transition φα+1 hα preserves
56
continuity, for example, one can show hα+1 as defined so far is continuous.
Using φα+1 one can then extend hα+1 over all of Uα+1 \Vα so as to obtain a homeomorphism
Assume λ is a limit ordinal and (Vα , hα ) has been chosen for all α < λ such that Vα is a union
So inductively we have defined (Vα , hα ) for all α < ω1 such that Vα is a union of open sets
If ∪α<ω1 Vα 6= M then the lemma 1.6.25 tells us that there is (U, φ) ∈ A such that U meets
consider φ−1 (inf{φ(t)|t ∈ U \ ∪α<ω1 Vα }); call it x. Choose a sequence {xn }n∈ω in ∪α∈ω1 Vα
converging to x. Then xn ∈ ∪α<ω1 Vα so there is some αn < ω1 such that each xn is in Vαn .
Let α = sup{αn |n ∈ ω} and consider hα+1 : Vα+1 → (0, α + 1). Note that hα+1 (xn ) ∈ (0, α)
Note that we discussed the case when atlas A of a one dimensional manifold M satisfies
the first condition in the Lemma 1.6.26. If A satisfies the second or the third condition we
boundary with an uncountable atlas A which is not reducible to a countable atlas, then
M is homeomorphic to either L or Lo .
57
Figure 1.11: Charts in 1-manifods
ary. If M has an uncountable atlas A which is not reducible to a countable atlas, then M
Proof. Let M be a manifold with boundary ∂M which satisfies the conditions of the theo-
rem. The double of M , D(M ) is a manifold without boundary. Lemma 1.4.45 implies that
D(M ) is either L or Lo . On the other hand the only connected non metrisable subspaces of
Lo or L are (x, ω1 ), L, Lo , (−ω1 , x), [x, ω1 ) and (−ω1 , x]. The only manifolds with boundary
among the mentioned connected subspaces of L and Lo are [x, ω1 ) and (−ω1 , x] where x ∈ L
or x ∈ Lo .
Proof. Let x ∈ Lo . Consider y ∈ Lo such that y > x. Proposition 1.4.28 implies that there
58
is an order preserving homeomorphism h1 : (0, y] → (x, y]. The identity map id : [y, ω1 ) →
[y, ω1 ) is a homeomorphism. So by using the pasting lemma [47] it is easy to see that the
function
h1 (x)
: x ∈ (x, y]
h(x) =
id(x)
: x ∈ [y, ω1 )
So (−ω1 , x) ∼
= Lo . It is clear that for x ∈ Lo , −x < 0, so (−x, ω1 ) ∼
= (−ω1 , x) by
h(z) = −z for every z ∈ (−x, ω1 ). So as a final case let −x ∈ L and −x < 0. We can
1h
write (−x, ω1 ) = (−x, 1] ∪ [1, ω1 ). Moreover we have two homeomorphisms (−x, 1] ∼
= (0, 1]
h 2
and [1, ω1 ) ∼
= [1, ω1 ) by using the pasting lemma we define the homeomorphism
h1 (x) : x ∈ (−x, 1]
h(x) =
id(x)
: x ∈ [1, ω1 )
sion one. Then M is homeomorphic to one of the following manifolds {L+ , Lo , L}.
the number of charts cannot exceed c. Therefore the only manifold with the mentioned
The table on the next page summarises some topological properties of one dimensional
connected Hausdorff topological manifolds and the non-Hausdorff manifold line with two
origins.
59
Topological property→ Compact countably compact Metrisable with boundary Hausdorff
Manifold ↓
L NO YES NO NO YES
Lo NO NO NO NO YES
R NO NO YES NO YES
60
Chapter 2
Non-Hausdorff manifolds
disaster.”
“Kelley’s book set the cat among the pigeons in 1955 by daring to omit the Hausdorff
2.1 Motivation
Although there were some examples of non-Hausdorff topological spaces known in the first
half of the 20th century such as Sierpinski space and Alexandroff’s Raüme, non-Hausdorff
Ivan L.Reilly in [57] writes “ Until about 1950 it seemed that, with few exceptions, topolo-
61
gists had a theorem which said all spaces are Hausdorff”.
Another example of a topology which is interesting is the Zariski topology of algebraic vari-
eties. Surprisingly the Zariski topology was introduced shortly after Kelley’s book appeared
Only a few papers have been published about non-Hausdorff topological manifolds. In [28]
Hájı́ček studied causality in non-Hausdorff space-times. Another two papers about non-
Hausdorff manifolds that should be mentioned are [16] and [3]. In this chapter we study
some examples of non-Hausdorff topological manifolds and describe three different kinds of
Filters and filter bases are amongst the simplest structures on a set in set theory. In this
section we study the system of filter bases on a set and the topological structure induced
by such a system. Most of the results are well known and we just slightly modify some of
that:
1. ∅ ∈
/ B.
Definition 2.2.2. A filter F on the set S is a non-empty family of subsets of S such that:
1. ∅ ∈
/ F.
3. If F1 ∈ F and F1 ⊆ F , then F ∈ F.
62
Definition 2.2.3. Let S be a set and Bx ⊆ P(S) a filter base based at x. A family B =
subset U of S is B-open if and only if U is the empty set or for every x ∈ U there is an
Proof. Note that the empty-set is in τB by definition. To see that S belongs to τB for every
B3 ∈ Bx . So W is open.
To see that τB is closed under arbitrary unions assume that {Uα |α ∈ I} is a family of
x ∈ Uα0 and Uα0 is an open subset of S so there is B ∈ Bx such that B ⊆ Uα0 ⊂ U . This
Definition 2.2.6. Let B1 and B2 be two filter bases on the set S . We say B1 is finer
63
2.3 Non-Hausdorff topological spaces
In this section we develop the terminology that we need to study non-Hausdorff manifolds.
A topological space X is non-Hausdorff if there is at least one pair (x, y) of distinct elements
defined in [78].
Definition 2.3.2. Let Nx be open neighbourhood base at x for a topological space X. For
apart(x) = X \ adj(x)
otherwise it is singular.
Definition 2.3.6. If x is a singular point, then |adj(x)| is called the singularity number of
x.
64
Definition 2.3.7. If Y ⊆ X is a topological space we define:
We usually suppress the dependence on X and write Sing(Y ) and Reg(Y ) instead of
Definition 2.3.9. A subset S of a topological space X is called neat if and only if AdjS (S) =
Lemma 2.3.11. A topological space X is locally Hausdorff if and only if each p ∈ X has
a neat neighborhood.
are closed.
Any KC topological space is US and in first countable topological spaces the KC and US
65
2.4 Non-Hausdorff manifolds
In this section we use the tools that we introduced in the previous section to explore
connected and second countable non-empty topological space such that AdjM (M ) 6= ∅.
The following pattern that we call sewing appears frequently in non-Hausdorff topological
spaces.
arbitrary element of τ which contains f (p). So p ∈ (U ∪ {p}) \ {f (p)} where f (p) ∈ U and
`
U ∈ τ . It shows that B is a cover for X S. Let B1 and B2 be two elements of B. We
and B3 ⊆ B1 ∩ B2 . B3 ∈ B since τ ⊆ B.
If B1 ∈
/ τ and B2 ∈
/ τ , then there are U1 ∈ τ and U2 ∈ τ such that B1 = (U1 − {x}) ∪ {f (x)}
and B2 = (U2 \ {y}) ∪ {f (y)}. Then B1 ∩ B2 ⊂ (U1 \ {x}) ∩ (U2 \ {y}) so there is B3 ⊂
Finally we consider two elements B1 and B2 of B which do not have empty intersection and
66
B1 = (U \ {x}) ∪ {f (x)} and B2 = (V \ {y}) ∪ {f (y)}. In this situation U \ {x} ∈ τ and
V \ {y} ∈ τ so there is W ∈ τ such that W ⊂ (U ∩ V ) \ {x, y}. This completes the proof.
x and y are strongly adjacent if and only if any sequence {xn } in M \{x, y} which converges
to x, also converges to y and vice versa. If x and y are strongly adjacent we write x ln y
or x ∈ sadj(y) . If x and y are two adjacent points but they are not strongly adjacent we
Definition 2.4.4. Let X be a first countable, topological space and x ∈ X. We say the
sequence {Un }n∈ω of open non-empty subsets of X, which are not neighbourhoods of x tends
to x if and only if every neighbourhood N of x contains a tail of the sequence of open sets.
Proof. Every manifold is first countable so without loss of generality we assume that {Un |n ∈
ω and Un ∼
= Rn } and {Vn |n ∈ ω and Vn ∼
= Rn } are nested open base for x and y respectively,
where x l y.
neighbourhood of pn+1 such that Wn+1 ⊂ Wn ∩ Un ∩ Vn . The sequence {Wn } is the desired
sequence.
Figuers 2.1 and 2.2 illustrate two non-Hausdorff manifolds which have adjacent points
which are not strongly adjacent. Figure 2.3 illustrates strongly adjacent points.
67
p
(
q )
(
p
(
q
( )
(
r
(
( O
-r +r
q
68
We defined two points p and q of a non-Hausdorff space to be adjacent points if and only
intersection. The following lemma shows that for non-Hausdorff topological manifolds being
adjacent points x and y of M are c-adjacent, where c is the cardinality of the continuum.
Proof. Let U and V be two open sets containing x and y respectively such that U ∩ V 6= ∅.
to Rn . To see this consider two charts (U, φ) and (V, ψ). p ∈ φ(U ∩ V ) ⊂ Rn so there
is an open ball Dn ⊂ Rn which contains φ(p) which is contained φ(U ∩ V ). Then let
Note that in Lemma 2.4.6 if U and V are Euclidean neighbourhoods, then | U ∩ V |≤| U |
if x lc y.
Proof. Suppose (U, φ) is a chart and x, y ∈ U . Then φ(x) and φ(y) are two elements of
Rn where n is the dimension of the manifold so there are disjoint open balls B1 and B2
in Rn such that φ(x) ∈ B1 and φ(y) ∈ B2 . On the other hand φ−1 (B1 ) ∩ φ−1 (B2 ) = ∅,
where φ−1 (B1 ) and φ−1 (B2 ) are open subsets of M containing x and y respectively. This
69
Proof. If x and y are two non-adjacent points of a non-Hausdorff manifold M , then there
and y ∈
/ U.
Let x and y be two adjacent points of the manifold M . There is a chart with domain U
which contains x. Then y does not belong to U . Similarly there is a chart with the domain
manifold M .
So x l y implies y l x.
Example 2.4.11. Consider the set X = R × {−1, 0, 1}. Each line X1 = R × {−1},
0
X2 = R × {0} and X3 = R × {1} has a natural order defined by (r, i) ≤ (r , i) if and only if
0
r ≤ r for a fixed i ∈ {−1, 0, 1}.
Assume that every line Xi for i = −1, 0, 1 has the order topology. Now we define an
(x, −1) ∼ (x, 0) for x < 0 and (x, 0) ∼ (x, 1) for x > 0. The topological space X/∼ with the
quotient topology is a non-Hausdorff topological manifold. Moreover (0, −1) l (0, 0) and
70
(0,1)
(0,0)
(0,-1)
is not a neighbourhood of x.
In Figure 2.6 two points x and y are adjacent and U is a deleted neighbourhood of x but
71
U x
U
( (
72
Example 2.4.15. Consider the real line with two origins x and y. It can be seen from the
locally Hausdorff.
Nx and Ny are two open neighbourhoods bases of Euclidean neighbourhoods of x and y re-
T T
spectively. Then x ∈ ∂M V and y ∈ ∂M U , where ∂M U is the topological boundary
V ∈Ny U ∈Nx
of U in M .
every V ∈ Nx , y ∈
/ V . On the other hand U ∩ V 6= ∅. Hence U ∩ V is a non-empty subset
T T
of M and x, y ∈/ U ∩ V hence x ∈ ∂U U and y ∈ ∂M V . So x ∈ V ∈Ny V and y ∈ U ∈Nx U
Proof. (⇒) First we assume that x ln y and show that every deleted open neighbourhood
73
Assume to the contrary that there is an open deleted neighbourhood U of x such that for
nested open Euclidean neighbourhoods of y such that Bn+1 ⊂ Bn for all n ∈ ω. So for every
(⇐) Assume that every open deleted neighbourhood of x contains an open deleted neigh-
bourhood of y and vice versa. Let pn → x and pn 6= x for all n ∈ N. We show that pn → y.
shows that U ∪ {x} and U ∪ {y} are open neighbourhoods of x and y respectively. So U is
φ : I → M such that φ(0) = x and φ(1) = y, where I is the closed unit interval.
that α(0) = x and α(1) = z. Similarly there is a path β : I → V such that β(0) = z and
74
β(1) = y. We define φ : I → M by
α(2t) (t ∈ [0, 21 ])
φ(t) =
β(2t − 1) (t ∈ [ 12 , 1])
In [27] Haefliger and Reeb introduced an example of a one dimensional manifold which is
called the feather space. For every point x in the feather space adj(x) consists of exactly
two points.
Moreover every two adjacent points are weakly adjacent, i.e. for two adjacent points x and
y of the feather space there is a sequence {pn } such that pn converges to only p or only to
q.
In this section we generalise the idea behind the feather and for every totally ordered space
Let (L, ≤) be a linearly ordered topological space ( LOTS ). We define the relation < on
[
the set HR(L) = L<k+1> , where L<k+1> = {(x1 , x2 , x3 , . . . , xk , xk+1 )|xi ∈ L for 1 ≤
k∈ω
i ≤ k + 1 and x1 < x2 < x3 < · · · < xk ≤ xk+1 } as follows:
75
Consider two elements x and y in HR(L). We can write x = (x1 , x2 , x3 , . . . , xn−1 , xn , xn+1 )
or
Lemma 2.4.23. If L is a linearly ordered topological space (LOTS), then the relation ≤
Proof. It is evidently clear from the definition 2.4.22 that x < y implies x 6< y. So
x < z.
Hence x < z.
Hence x < z.
have xi = yi = zi since x < y < z. We see that xk < yk implies that x < z since yk ≤ zk .
We know that x < y < z so xk ≤ yk+1 ≤ zk+1 . Hence xk ≤ zk+1 and consequently x < z.
76
One method of introducing a topology on a set is defining a neighbourhood system of open
sets for every point of the set. Here we use the method described in [31]. We define a
topology τHR on HR(L) by defining the neighbourhood system for every point p ∈ HR(L).
We topologise the HR(L) by defining an open neighbourhood system Nx for every point
x = (xi )i=n+1
i=1 .
For every open interval I ⊂ L such that xn+1 ∈ I we define I(x) = {(x1 , x2 , x3 , . . . , xn−1 , xn , t)|t ∈
I}.
Similarly for every interval I such that xn ∈ I we define I(y) = {(x1 , x2 , x3 , . . . , xn−1 , xn , t)|t ∈
So we see from the definition of I(p) that every point p ∈ HR(L) has a neighbourhood
I(p). So for every p ∈ HR(L), Np 6= ∅. We also see from this definition that for every
p ∈ HR(L), p ∈ I(p).
Consider two open neighbourhoods I1 (x) and I2 (x) and let p ∈ I1 (x) ∩ I2 (x) where I1 and
Now we see that J(x) ⊂ I1 (x) ∩ I2 (x). Similarly for all basic open neighbourhoods I1 (y)
and I2 (y) we consider J ⊂ I1 ∩ I2 so from the definition we see that J(y) ⊂ I1 (y) ∩ I2 (y).
Now if p ∈ I(x), we can write p = (x1 , x2 , x3 , . . . , xn , pn+1 ) where pn+1 ∈ I. If pn+1 > xn+1 ,
then we consider J1 = {t ∈ I|t > xn+1 } and if pn+1 < xn+1 , then we consider J2 = {t ∈
I|t < xn+1 }. We see that J1 (p) ⊂ I(x) and J2 (p) ⊂ I(x). Similarly if y ∈ I(y) and p ∈ I(y)
we can define J1 (p) and J2 (p) such that J1 (p) ⊂ I(y) and J2 (p) ⊂ I(y). So we have:
Lemma 2.4.24. If L is a linearly ordered set, then (HR(L), τHR ) is a topological space.
If L is a linearly ordered set, then (HR(L), τHR ) is not an order topology on HR(L)
77
since every neighbourhood U of x = (x1 , x2 , x3 , . . . , xn , xn ) and every neighbourood V of
(x1 , x2 , x3 , . . . , xn ) have nonempty intersection so (HR(L), τHR ) is not Hausdorff but every
TOSET is Hausdorff.
subspace of HR(L).
Let x = (p1 , p2 , p3 , . . . , pk−1 , xk , xk+1 , . . . , xn ) from the definition of HR(L) we see that I(x)
is an open subspace of HR(L) and I(x) ⊂ S so x is an interior point. this shows that S is
Lemma 2.4.26. Let x and y be two elements of HR(L) and L be a linear ordered set. Then
Proof. (⇐) First assume that x = (x1 , x2 , x3 , . . . , xn−1 , xn ) and y = (x1 , x2 , x3 , . . . , xn−1 , xn , xn )
neighbourhood of x contains {(x1 , x2 , x3 , . . . , xn−1 , t)|t ∈ I and t ≤ xn } for some open in-
terval I ⊂ L which contains xn . On the other hand every open neighbourhood of y contains
{(x1 , x2 , x3 , . . . , xn−1 , t)|t ∈ J and t ≤ xn } for some open interval J ⊆ L which contains xn .
Consider I ∩ J.
Now we see that {(x1 , x2 , x3 , . . . , xn−1 , t)|t ∈ I ∩ J and t < xn } is a non-empty subspace of
78
p = (x1 , x2 , x3 , . . . , xi−1 ).
We see that Sp,I and Sp,J are two disjoint open subspaces of HR(L). Hence x and y are
not adjacent.
xm+1 , xm+2 , . . . , xn+1 ). In this case we consider an arbitrary open interval I such that
xm+1 ∈ I and U = {z ∈ HR(L)|z > (x1 , x2 , x3 , . . . , xm+1 , xm+1 )}. It can be seen that
I(x) and U are open disjoint subspaces of HR(L). So x and y are not adjacent unless
(x , x )
1 2
(x , x )
1 1
x x
1 2
79
Definition 2.4.27. A partially ordered set P is said to be dense in itself if and only if for
every two elements x and y of P where x < y there is another element z ∈ P such that
x < z < y.
manifold.
HR(L).
desired homeomorphism.
Corollary 2.4.29. HR(R), and HR(L) are one dimensional non-Hausdorff manifolds.
The space HR(R) is called the feather space. It is clear from the discussion above that for
Proof. Consider the countable nested open cover {∪k∈N L<k> |n ∈ ω} of HR(L). We see
that for every n ∈ ω, ∪nk=0 L<k> does not contain (x1 , x2 , x3 , . . . , xn+k , xn+k+1 ) for k ≥ 2.
In the examples 2.4.32 and 2.4.33 we provide two examples of non-Hausdorff spaces which
are not Haefliger-Reeb spaces but before that we introduce the Sorgenfrey circle which is
80
Example 2.4.31. (Sorgenfrey circle) The Sorgenfrey circle is the unit circle with the topol-
ogy which has {[eit , eis )|s, t ∈ R, | s − t |< π, t < s} as a basis for open sets, where
Example 2.4.32. (Non-Hausdorff Double circle) Consider two concentric circles A and B
a non-Hausdorff manifold.
Let A = {eit |0 ≤ t < 2π} and B = {2eit |0 ≤ t < 2π}. Let B have the subspace topology of
e
d
(
)
b
[
p
(
(
c
q
) A
a
B
R2 and for every point xt = eit where t ∈ [0, 2π) define -basic open neighbourhood of eit0
by U (eit0 ) = {eit ∈ A|t0 ≤ t < t0 + } ∪ {eit ∈ B|t0 − < t < t0 } where 0 < < π. In this
example the outer circle is homeomorphic to the circle and the inner circle is homeomorphic
to the Sorgenfrey circle. Note that in this example every point is singular. The outer circle
and inner circle are neat subspaces. Moreover every two adjacent points are weakly adjacent
i.e. there is a sequence which converges to a point p but it does not converge to another
Note that the only adjacent points are intersections of rays originated from circles with two
circles and every two points on the same ray are adjacent.
81
The non-Hausdorff double-circle is not a manifold. To see this consider point eit0 with basic
open neighbourhood U (eit0 ) as we defined in Example 2.4.32. U (eit0 + 2 ) is an open subset
Example 2.4.33. (Non-Hausdorff double circle with uncountable discrete subspace) Con-
sider two concentric circles A and B of radius 1 and 2 respectively. We define a new topology
Let A = {eit |0 ≤ t < 2π} and B = {2eit |t ∈ 0 ≤ t < 2π}. Let B have the subspace topology
b
c
(
(
q
(
)
p
)
(
d a
A
B
of R2 and for every point xt = eit where t ∈ [0, 2π) define -basic open neighbourhood of
p = eit0 by U (eit0 ) = {2eit ∈ B|t ∈ (t0 − , t0 + ) \ {t0 }} ∪ {eit0 } where 0 < < π. In this
example the outer circle is homeomorphic to the circle and the inner circle is homeomorphic
to a discrete space of cardinality c. Note that the inner circle is not a submanifold of X.
Note that in this example every point is singular. The outer circle and inner circle are neat
82
subspaces. Moreover every two adjacent points are strongly adjacent i.e. every sequence
which converges to a point p = eit0 converges to q = 2eit0 . This space is a one dimensional
Note that two points are adjacent if and only if they are on the intersection of a ray and
two circles.
space.
Definition 2.4.35. A topological space X is homogeneous if and only if for each pair
Proof. Assume that L is not connected. We show that HR(L) is not connected.
If L is not a connected ordered set, then there are two disjoint open subspaces L1 and L2 of
L2 }. These two open subspaces of HR(L) are disjoint so HR(L) is not connected.
Now assume that L is connected we show that HR(L) is connected. Note that HR(L) =
∪k∈N L<k+1> so we show that for every k ∈ N, ∪k<n L<k+1> for some n ∈ N is a connected
space.
Consider n ∈ ω, and let HR(L)n = ∪k<n+1 L<k+1> . If HRn (L) = U ∪ V where U and V
are two open disjoint subspaces of HR(L)n we see that every two adjacent points x and
y either both belong to U or both belong to V . On the other hand every subset Xk =
HR(L).
83
Note that HR(L) = ∪n∈N HR(L)n and for every two natural numbers m and n HR(L)m ∩
adjacency.
(clean) subspace of X.
84
Chapter 3
“ One of the most impressive achievements in the mathematics of the past two centuries is
the development of various remarkable techniques that can handle non flat spaces of various
dimensions.”
— Roger Penrose —
3.1 Introduction
In differential topology, the celebrated Whitney embedding theorem states that any smooth
n-dimensional metrisable manifold smoothly embeds in Euclidean space for some large
enough integer m. Later Whitney improved his result and showed that m = 2n was sufficient
[36]. This number cannot be improved in general as the Klein bottle does not embed in R3 .
into a finite power of the real line R, then the question is more easier to answer.
85
The embedding Theorem of dimension theory states that every separable metric space of
covering dimension at most n can be embeded in R2n+1 [48]. The covering dimension of
Since every metrisable topological manifold M is paracompact and Hausdorff, for every
indexed open cover of M there is a partition of unity subordinate to the open cover of M
[44]. Consequently M admits a function f : M → R such that for every r ∈ R, f −1 ((−∞, r])
This shows that every paracompact topological manifold embeds in R2n+2 where e(M ) is a
2dim(M ) + 2.
In this chapter we address the question: if a manifold embeds as a closed subset of some
as a closed subspace of some power of R is called realcompact, so our question asks whether
S of R which has cardinality ω1 . These manifolds are submanifolds of the Prüfer surface.
While these manifolds are realcompact, they are not Lindelöf so are not metrisable. As a
consequence of this result it follows that assuming the Continuum Hypothesis the Prüfer
surface is realcompact.
86
3.2 Prüfer surface
In Chapter One we saw the classical Prüfer surface and studied some of its topological
properties. In this section we study another non-metrisable topological manifold which has
most of the properties in common with the classical Prüfer manifold but still there are some
properties that one of these two spaces holds while the other one does not.
Let X = {(x, y)|x, y ∈ R and x 6= 0} and for each fixed real number y define By =
{(0, y, z)|z ∈ R}. Write < y, z > for a typical member ((0, y), z) of By . Set MP = X ∪
(∪y∈R By ). To make MP into a topological manifold, we assume X has the subspace topology
of R2 . So for every point q = (x0 , y0 ) ∈ X and < |x20 | we define the -neighbourhood N (q, )
p
of q to be the set {(x, y) ∈ X| (x − x0 )2 + (y − y0 )2 < }.
If p =< y0 , z0 >= (0, y0 , z0 ) ∈ By0 , then an open basic -neighbourhood of p is the union
of two subsets U (p, ) = {(x, y) ∈ X|y0 + (z0 − )x < y < y0 + (z0 + )x and 0 < x <
} ∪ {(x, y) ∈ X | y0 − (z0 − )x < y < y0 − (z0 + )x and 0 < x < } and V (p, ) =
surface M . We show that every basic open set of the topology defined in Example 3.2.1
contains some point of Q2 . The subspace X of M has the subspace topology of R2 and Q2
N (p, ) = U (p, ) ∪ V (p, ) for some > 0. Now consider a rational number a ∈ (0, ). Let
b be a rational number in the open interval (r0 + (y0 − )a, r0 + (y0 + )a). We see that
87
q
(p
(
Corollary 3.2.3. The Prüfer surface MP is not homeomorphic to the Prüfer manifold in
Example 1.4.59.
Proof. We see from Lemma 1.4.64 that the Prüfer manifold is not separable but Lemma
3.2.2 states that Prüfer surface is separable so they are not homeomorphic.
Definition 3.3.1. [13] [49] A topological space X is called pseudo-compact if and only if
Definition 3.3.2. [13] [49] A topological space X is realcompact if and only if X is home-
88
Theorem 3.3.3. [13] [49] A Hausdorff topological space X is compact if and only if X is
on [α0 , ω1 ) for some α0 ∈ L+ say f ([α0 , ω1 )) = x0 . On the other hand [0, α0 ] is homeomor-
phic to [0, 1] so it is compact hence has a compact image under the continuous function f .
We see that f (L+ ) ⊆ [a, b] where a = min f ([0, α0 ])} and b = max f ([0, α0 ]).
Proof. The closed long ray is pseudo-compact by Lemma 3.3 so if L+ is realcompact, then
L+ is compact but we know that L+ is not compact since the open cover U = {[0, α)|α ∈ ω1 }
For every topological space X, the set of all continuous functions from X in R with the
pointwise addition and pointwise multiplication constitutes a ring which is called the ring
of continuous functions and shown by C(X). For realcompact topological spaces X and Y ,
Definition 3.3.6. A partially ordered set D is a directed set if and only if for every pair
Definition 3.3.7. Let D be a directed set and suppose that to each α ∈ D there corresponds
The maps παβ are called bonding maps and we call {(Xα , παβ )|α, β ∈ D} an inverse system.
89
Definition 3.3.8. The inverse limit of an inverse system {(Xα , παβ )|α ∈ D} is the topo-
Q Q
logical space X ⊂ α∈D Xα consisting of all elements x = (xα )α∈D ∈ α∈D Xα such that
παβ (xβ ) = xα for all α ≤ β. Elements of the inverse limit X are called threads.
Notation 3.3.9. Sometimes we write {Xα , παβ , D} instead of {(Xα , παβ )|α, β ∈ D} and we
X the inverse limit of the inverse system {(Xα , παβ )|α ∈ D}. Then for every α, β ∈ D such
X
πβ πα
~ β
πα
Xβ / Xα
Lemma 3.3.11. [55] Let {(Xα , παβ )|α ∈ D} be an inverse system of topological spaces and
for each α ∈ D let Bα be a basis for the topology of Xα . If X is the inverse limit of the
system, then a basis for the topology of X consists of all the sets of the form (πα )−1 (Uα ),
where Uα ∈ Bα and α ∈ D.
Lemma 3.3.11 uniquely defines the inverse limit of the inverse system {(Xα , παβ )|α ∈ D}.
topological space and for every α ∈ D, pα : Y → Xα is a continuous function such that the
following diagram commutes for every α ≤ β, then Y is homeomorphic to the inverse limit
Y
pβ pα
~ β
πα
Xβ / Xα
90
Lemma 3.3.12. [49] Every T1 , regular Lindelöf space is realcompact.
Proof. Every subspace of a Tychonoff space is Tychonoff [78]. And every subspace of Rn is
Lemma 3.3.14. [13] The inverse limit of an inverse system of realcompact topological
spaces is realcompact.
and X = R2 \ {(0, y)|y ∈ R}. We assume that X has the usual topology of R2 and for every
For every s ∈ S and n ∈ N define ps,n = ( n1 , s) and qs,n = (− n1 , s). Now for every n ∈ N
and s ∈ S let
1 1
Nn (0, s) = {p ∈ R2 | kp − ps,n k < } ∪ {p ∈ R2 | kp − qs,n k < } ∪ {(0, s)}.
n n
For every point (0, s), the set {Nn (0, s)|n ∈ N} is an open neighbourhood base at (0, s). We
are specially interested in the case where | S |= ω1 . In this case we call the space ω1 -Double
91
Lemma 3.3.19. [22] Let X be T3 1 space. If f : X → Y is a continuous injection and every
2
Proof. Recall that every subspace of R2 is realcompact. Consider the identity function
id : M N (S) → R2 \{(0, y)|y ∈ R\S}, where M N (S) is the S-double Moore-Nemitski plane.
By using Lemma 3.3.19 and Corollary 3.3.13 we see that M N (S) is realcompact.
The following two examples are hybrids of the Prüfer surface and the Moore-Nemitski plane.
Example 3.3.21. (Euclidean plane with spikes) Let X = {(x, y) ∈ R2 |x 6= 0}, L a subset
The underlying set of the Euclidean plane with spikes is M (S) = X ∪ ({0} × (L \ S)) ∪
M (F ) instead of M (S). Now we are ready to introduce the topology on M (S) by defining a
neighbourhood base at each point of the set M (S). For every p = (0, y0 , z0 ) ∈ By0 we define
NBF (p) = {(x, y)|y0 +(z0 −) | x |< y < y0 +(z0 +) | x |, − < x < , x 6= 0}∪{(0, y0 , z) |
The rest of the space which consists of X and {0} × L \ S has the usual topology of the
Euclidean plane.
Example 3.3.22. (Moore-Nemitski plane with spikes) The underlying subset of the Moore-
Nemitski plane with spikes M N S(S) is the same as the Euclidean plane with spikes in
Example 3.3.21. As in Example 3.3.21 we let X have the usual topology of the Euclidean
plane and for every point p of the spike By based at (0, y) ∈ S we have a neighbourhood base
92
of -butterfly neighbourhoods of p. If we let ∈ {1, 12 , 31 , . . . , n1 , . . . } we see that 1
n -butterfly
NB (p) = {(x, y) ∈ R2 |(x−)2 +(y−y0 )2 < }∪{(x, y) ∈ R2 |(x+)2 +(y−y0 )2 < }∪{(0, y0 )}.
Lemma 3.3.23. The Euclidean plane with finitely many spikes, M (F ), is a metrisable
manifold.
locally compact space. Moreover we need to show that M (F ) is a connected and Lindelöf
topological space.
1
In [19] it is shown that n -butterfly neighbourhoods of every point p on spike By are locally
Euclidean. So the same proof is applicable here as well. If p = (x0 , y0 ) ∈ X, then we choose
1 1
a natural number n ∈ N such that n <| x0 |. We see that {(x, y)|(x − x0 )2 + (y − y0 )2 < n2
}
connected since {(x, y) ∈ X|x > 0} and {(x, y) ∈ X|x < 0} are connected and every open
neighbourhood of every point of p ∈ {0} × (L \ S) intersects both {(x, y) ∈ X|x > 0} and
93
many spikes. By using Theorem 1.3.3 we see that Lindelöf manifolds are metroisable so
M (F ) is a metrisable manifold.
Every locally compact Hausdorff space is Tychonoff [78] and every Lindelöf Tychonoff space
Lemma 3.3.24. The Euclidean plane with finitely many spikes, M (F ), is realcompact.
Lemma 3.3.25. The Moore-Nemitski plane M N S(F ) with finitely many spikes is realcom-
pact.
y
x 1
1
y
x 2
a. O 2
r
x C(O,r)
3
L
(0,r)
X
y
3
94
Consider the line L with the equation x = r in the Euclidean plane and the circle C(O, r)
exactly one point. The ray R intersects the line L with the equation x = r in exactly one
point. So we have a bijection between the line L and C(O, r) \ {a}. This correspondence
provides a homeomorphism from C(O, r) \ {O} onto R see Figure 3.2. By using a similar
projection [71]. Let C(P, r) be a circle of the radius r tangent to the y-axis at the point
L1
Y
Z
L
C 2
a. D
a = (0, t) and let P = ( 2r , t) be the centre of the circle C(P, r). Assume that D is the
open disc which has C(P, r) as its boundary and L be a line. Stereographic projection [71]
provides a homeomorphism from C(P, r)) \ {a} onto R. For every > 0 and z ∈ R let L1
and L2 be two non-vertical lines through a with slopes z + and z − and intersecting
95
number δ < min{xp , xq } the region which is bounded by L1 , L2 and x = δ is a subset of D.
From what we discussed we conclude that the subspace {(x, y) ∈ R2 |(x − r)2 + (y − y0 )2 <
y0 ∈ C.
Lemma 3.3.26. The Moore-Nemitski plane M N S(C) with countably many spikes is real-
compact.
Proof. The idea of proof is to show that for every countable set C ⊂ {0} × R, M N S(C) can
be written as an inverse sequence of a sequence of the Euclidean plane with finitely many
spikes.
Consider M N S(C) where C = {yn |n ∈ ω}. We also use M N S(n) for M N S(F ) where
Let fn+1 (x, y) = (x, y), fn+1 (0, yk , z) = (0, yk , z) if k < n + 1 and fn+1 (Byn+1 ) = (0, yn+1 ).
−1
Consider an open neighbourhood NB (0, yn+1 ) of (0, yn+1 ). We see that fn+1 (NB (0, yn+1 ) =
96
Note that
−1
fn+1 ({(x, y)|(x − )2 + (y − y0 )2 < 2 , − < x < , x 6= 0})
∪ {(0, y0 )}
∪ Byn+1
and
∪ Byn+1
n : M N S(n) →
is an open subset of M N S(n + 1)( see Figure 3.4). So if we define fm
n = f ◦· · ·◦f we see that bonding maps are continuous so {M N S(n), f n , ω}
M N S(m) by fm n 1 m
is an inverse system.
If (x, y) ∈ M N S(C), then we define πn (x, y) = (x, y) and for (0, ym , z) ∈ Bym , πn is defined
by
(0, ym , z) : m ≤ n
πn (0, ym , z) =
(0, ym )
:m>n
We see from the definitions of πn and fn that the following equalities hold:
97
If m > n + 1, then πn (0, ym , z) = (0, ym ) = fn+1 πn+1 (0, ym , z).
Finally if m = n+1, then πn (0, yn+1 , z) = (0, yn+1 ) = fn+1 πn+1 (0, yn+1 , z) = fn+1 (0, yn+1 , z).
So πn = πn+1 fn+1 for all n ∈ N. Then M N S(C) is the inverse limit. Hence by Theorem
M N S(C)
πn+1 πn
w fn+1 &
M N S(n + 1) / M N S(n)
p
MN N(p) MN
N ( 0,y0)
)
N ( 0,y )
0
N(p) N(p)
q
N(q)
)
By
0
Lemma 3.3.27. [13] The limit of an inverse system of Ti -spaces is a Ti -space for i ≤ 3 12 .
0 0
If D is a directed set and D ⊂ D such that for every x ∈ D there is y ∈ D such that y ≥ x
0
we say D is cofinal subset of D.
98
0
Lemma 3.3.28. [13] Let {Xα , παβ , D} be an inverse system and D a cofinal subset of D.
0
Then the inverse limit of {Xα , παβ , D} and the inverse limit of {Xα , παβ , D } are homeomor-
phic.
subsets of L. (L[≤ω] , ⊆) is a partially ordered set and the union of every two elements C1 and
C2
C2 of (L[≤ω] , ⊆) belongs to (L[≤ω] , ⊆). So (L[≤ω] , ⊆) is a directed set. {M N S(C), πC1
, L[≤ω] }
C2
is an inverse limit where πC 1
: M N S(C2 ) → M N S(C1 ) and C1 ⊂ C2 is defined as follows:
For every (x, y) ∈ X ∪ {0} × L \ C2 we have π(x, y) = (x, y) and for (0, y, z) ∈ By where
C1
y ∈ C2 \ C1 we have πC2
(0, y, z) = (0, y).
Note that the family {Lα |α ∈ ω1 } is cofinal in (L[≤ω] , ⊆) where Lα = {lβ |β < α}. So
C1
we consider the inverse system {M N S(Lα ), πβα , ω1 } instead of {M N S(C), πC 2
, L[≤ω] } since
both of them have the same inverse limit by using Lemma 3.3.28.
We assume that {(x, y)|x, y ∈ R, x 6= 0} has the subspace topology of R2 and every point
N BF
1 (p) = {(0, y0 , z)|z0 − < z < z0 + }
n
Now consider a bijection f : L → ω1 and let M N S(α) = M N S(C), where C ⊆ L such that
C = {f −1 (β)|β ≤ α}.
99
Lemma 3.3.26 and by using Lemma 3.3.14 limω1 M N S(α) is realcompact. Consider the
←−
following diagram where f : L → ω1 is a bijection and the projection πα is defined as follows:
p (p = (x, y), x 6= 0)
πα (p) = (0, y, z) (p = (0, y, z), α < f (y))
(0, y)
(p = (0, y, z), f (y) ≤ α)
M
πβ+1 π1
πα
πβ
r t *
... / M N S(β + 1) / M N S(β) / ... / M N S(α) / ... / M N S(1)
α+1 2
πββ+1 πα π1
Continuity of bonding maps can be shown as in the proof of Lemma 3.3.26. For every
We see from the definition of the projection πα and the bonding map παβ that the diagram
Note that M N S(ω1 ) is a realcompact submanifold of the Prüfer surface with ω1 many spikes
on it. If we assume the Continuum Hypothesis we can establish a bijection from ω1 onto R
and replace points with spikes all over the y-axis. So we have:
Corollary 3.3.30. Assuming the Continuum Hypothesis the Prüfer surface is realcompact.
100
q (
(
p
(
p
(
( (
Figure 3.5: Inverse system in the Prüfer Surface
( )
A A
B B
B
()
101
Lemma 3.3.31. [13] The inverse limit of an inverse system of compact Hausdorff topolog-
Corollary 3.3.32. The long line is not the inverse limit of the following system:
L
πβ+1 π1
πα
πβ
s v (
... / [0, β + 1] / [0, β] / ... / [0, α] / ... / [0, 1]
α+1 π12
πββ+1 πα
Proof. The inverse limit of an inverse system of T2 compact spaces is compact and T2 by
Lemma 3.3.31. L+ is not compact so L+ is not the inverse limit of the inverse system
{[0, α], παβ , ω1 } where πβα : [0, β] → [0, α] is retraction of [0, β] into [0, α].
102
Chapter 4
It is well known that every continuous function f from the set of all countable ordinals,
ω1 , with the order topology into the real line, R, is constant on a tail of ω1 , i.e . there is
β ∈ ω1 such that f (α) = x for all β < α. This result is a surprise to our intuition. In this
chapter we generalise this result. We also study some properties of ω-bounded topological
spaces. Then we define the concept of P -squatness for a partially ordered topological space
103
4.1 ω-bounded topological spaces
Definition 4.1.1. A topological space X is an ω-bounded space if and only if any countable
Lemma 4.1.2. A Hausdorff topological space X is ω-bounded if and only if any countable
Now we prove the converse. Let C ⊆ K ⊆ X, where C is countable, K is compact. Note that
A property p is called a topological property if and only if for any two spaces X and Y
which are homeomorphic spaces with one of them satisfies p, then the other space also
X and Y have a weaker relation, such as having the same homotopy type, and one of them
is connected still the other one has to be connected but it is not the case for compactness.
As an example a singleton {0} and R have the same homotopy type but R is not compact
while the singleton is compact. In this situation compactness is called a topological property
by a weaker relation between spaces, i.e. homotopy equivalence. We will show that ω-
boundedness and strict ω-boundedness are both topological properties but they are not
104
Proof. To show that ω-boundedness is a topological property we consider a homeomorphism
f : X → Y from an ω-bounded space X onto Y and show that any countable subspace of
subspace of X.
X and Y are spaces with the same homotopy type, then both have the property p or both do
not satisfy p.
defined by
α+1
(α < ω0 )
f (α) =
α
(α ≥ ω0 )
f+ − {−1} be defined by
L
tx
(x ≤ 0)
F (x, t) =
x
(x ≥ 0)
105
F (L
f+ × {0}) = L+ and F (L
f+ × {1}) = L
f+ .
tx
(−1 < x ≤ 0)
G(x, t) =
x
(x ≥ 0)
G(L
f+ − {−1}) × {0}) = Lo and G(L
f+ − {−1}) × {1}) = L
f+ − {−1}.
ω−bounded.
Example 4.1.7. The long line, L, the long ray, L+ and all compact topological spaces are
ω-bounded spaces.
Example 4.1.8. The Euclidean space Rn for all n ∈ N is not an ω- bounded space. Consider
The following example shows that the Hausdorff property is essential in Lemma 4.1.2.
`
Example 4.1.9. (Line with ℵ0 origins) Let X = R {∗1 , ∗2 , . . . } with the usual topology
on R and define {Ui ()| > 0} to be a basic system of open neighborhoods of ∗i where
Ui () = ((−, )\{0}∪{∗i }) and is a positive real number. Then U = {(−1, 1)\{0}∪{∗i }|i ∈
N} ∪ {(−1, 1)} is an open cover for cl({∗i |i ∈ N}) which does not have a finite subcover. So
X is not ω-bounded.
Proof. Suppose the topological space X is not countably compact, then there is a countable
open cover U = {Un |n ∈ ω} for X such that no finite subfamily of U covers X. Consider
106
k
[
the increasing open cover {Vn | n ∈ ω} defined by V0 = U0 and Vk = Un . Define i0 = 0
n=0
and
Then V = {Vi0 , Vi1 , . . . , Vik , . . . } is an open cover of X and any finite number of elements
of V does not cover X. Choose an arbitrary point p0 in V0 and for any k ∈ N let pk+1 be
is countably compact.
0
Lemma 4.1.11. Let X be a topological space and S be a closed and discrete subspace of
0
X. Then every subspace of S is closed and discrete.
Lemma 4.1.12. If X contains an infinite closed discrete subset, then X is not countably
compact.
0
Proof. Let S ⊂ X be an infinite closed discrete subset of X. Let S be a countable subset of
0
S . Note that S is a closed and discrete subspace of X by Lemma 4.1.11. So we can choose
compact.
Corollary 4.1.13. If X contains a closed discrete infinite subset, then X is not ω-bounded.
107
Example 4.1.14. {(k, 0, . . . , 0)|k ∈ N} is a closed discrete subset of Rn . On the other hand
by the Bolzano-Weierstrass property any uncountable subset of Rn has a limit point. Then
so clX (C) ⊆ Y so clY (C) = clX (C). Since clX (C) is compact, then clY (C) is compact so Y
is ω-bounded.
The following example shows that the closedness of Y can not be dropped from the previous
theorem.
Example 4.1.16. The long line is ω-bounded but (0, 1) ⊂ L+ is not ω-bounded, since (0, 1)
Example 4.1.17. The long ray with ℵ0 many origins contains a closed countable subspace
Proof. Let S = {pk | k ∈ ω} be a countable subset of X. For any i ∈ I, |πi (S)| ≤ |S| ≤ ℵ0 ,
where πi is the projection on the i’th coordinate. Then there is a compact subspace Ki of
Y
Xi such that πi (S) ⊆ Ki . K = Ki is a compact subspace of X but S ⊆ K, and X is a
i∈I
Hausdorff space, so X is ω-bounded by Lemma 4.1.2.
Theorem 4.1.19. Let D be a directed set, and X = {Xλ , φλλ0 , D} be an inverse system
108
0 0
Proof. For each pair of elements λ, λ ∈ D such that λ ≤ λ define:
0
Y
X(λ, λ ) = {p ∈ Xβ | φλλ0 ◦ φλ0 (p) = φλ (p)}.
β∈D
0
Y
Note that Xβ is Hausdorff, φλλ0 ◦ φλ0 and φλ are continuous, so X(λ, λ ) is closed for
β∈D
0
all λ and λ ∈ D.
0 0 0
\
If I = {(λ, λ ) ∈ D × D | λ ≤ λ }, then lim
←− λ∈D Xλ = X(λ, λ ) is a closed subspace of
(λ,λ0 )∈I
Y
Xβ .
β∈D Q
Theorem 4.1.18 implies that β∈D Xβ is ω-bounded. Now by using Theorem 4.1.15 we
The following example shows that we cannot omit the Hausdorff condition in Theorem
4.1.18.
L+ has the order topology on it and basic neighbourhoods of {?} have the following form.
S
N (?k ) = {?k } (0, ), where is a positive real number.
Q
Each Xk is ω-bounded. On the other hand their product X = k∈N Xk is not ω-bounded as
we now show.
the sequence zero except the nth element which is ?. Now assume that S = {sn | n ∈ N} ⊂ X
is the set of all such a sequences. If p = (0, 0, 0, . . . , 0, . . . ) is the point with all coordinates
Y
0 it is clear that sn → p. On the other hand p ∈ / S. Let Vk = Um , where Um = Xm for
m∈N
all m 6= k and Uk = {?} ∪ (0, 21 ).
Y
So U = {Vn | n ∈ N} ∪ { L+ } is an open cover for S but there is no subfamily of U
m∈N
Q
which covers S. Then k∈N Xk is not ω-bounded.
109
Theorem 4.1.21. Let X be topological space and Y a Hausdorff topological space. Let
ω-bounded.
of Y which contains f ({xk | k ∈ ω}) = {yk | k ∈ ω}. Then by using Lemma 4.1.2 Y is
ω-bounded.
compact.
Any countably compact metric space is compact. Then N is compact. This completes the
proof.
0
Definition 4.1.23. A topological space X is called strongly ω-bounded provided 0 < |C | ≤
ω-bounded space.
that C is compact.
110
a countable enumeration {pn | n ∈ ω} of C. For every pn ∈ C there is an Un ∈ U such that
show that C can be covered by only finitely many elements of {Un | n ∈ ω0 }. Assume to
the contrary that C is not covered by finitely many elements of {Un | n ∈ ω}.
point say p. There is j such that p ∈ Vj , and hence Vj contains infinitely many members
of the sequence {xn }. On the other hand the construction of the sequence {xn } implies
that xk ∈
/ Vj whenever k > j. This is a contradiction. Hence finitely many members of
Example 4.1.26. L+ is an example which shows the converse of Lemma 4.1.25 is not true.
The subspace ω × ([0, 1) ∩ Q) of L+ countable but it has uncountably many limit points.
Definition 4.1.27. A pair (S, ?) consisting of a nonempty set S and an associative binary
(x, y) 7→ x ? y
111
is a continuous function, where S × S has the product topology.
Definition 4.1.29. A topological group is a group (G, ?) such that G has a topology with
(x, y) 7→ x ? y
and
inv : G → G
x 7→ x−1
Theorem 4.1.30. [78] If F ⊆ Y X has the pointwise topology, (fλ ) converges to f if and
Theorem 4.1.31. (Kakutani’s theorem) [49] A topological group is metrisable if and only
if it is first countable.
with a topological group structure, M has to be compact since manifolds are first countable.
In other words Kakutani’s theorem implies that strictly ω-bounded manifolds do not carry
Example 4.1.32. [66] Let G = (2ω1 , +) be the set of all functions from ω1 in to {0, 1},
and + defined by (f + g)(λ) = f (λ) + g(λ) for all λ ∈ ω1 , where + is the mod2 addition of
{0, 1}.
112
We show that G is a topological group. By definition of + : 2ω1 × 2ω1 → 2ω1 for any two
elements f and g of 2ω1 , f + g is a function from 2ω1 × 2ω1 into 2ω1 which shows that the
+ is a binary operation. The constant function 0 : 2ω1 → {0, 1} defined by 0(λ) = 0 for all
λ ∈ ω1 is the identity of the group G and each function is its own inverse.
Then G is a group.
To see that + : 2ω1 × 2ω1 → 2ω1 is a continuous function consider the following diagram:
2ω1 × 2ω1
+ / 2ω1
πα
πα ◦+ %
{0, 1}
Note that (πα ◦ +)−1 ({0, 1}) = 2ω1 × 2ω1 , (πα ◦ +)−1 (∅) = ∅. We need to show that
For every α ∈ ω1 we have (πα ◦ +)−1 ({0}) = {(f, g) ∈ 2ω1 × 2ω1 | f (α) = g(α)} = {f ∈ 2ω1 |
an open subset of G since {0} and {1} are open subsets of {0, 1} and 2ω1 has the pointwise
topology.
Assume H ≤ G is the set of all functions f : ω1 → {0, 1} such that there is a λ ∈ ω1 , and
Consider f, g ∈ H. Note that f and g are eventually zero,i.e. there are α1 and α2 in ω1
such that f (α) = 0 for every α > α1 and g(α) = 0 for every α > α2 . So if β > max{α1 , α2 }
we have f (β) = g(β) = 0. On the other hand (f − g)(α) = (f + g)(α) = f (α) + g(α). So
assuming f (α) = 0 for all α > α1 and g(α) = 0 for all α > α2 we have f (α) = g(α) = 0
113
for all α > max{α1 , α2 } so (f − g)(α) = 0 for all α > max{α1 , α2 }. This shows that H is
The topological subgroup H is dense in G. To see that H = G we need to show that for
Uα1 , Uα2 , Uα3 , . . . , Uαn are non-empty open proper subsets of {0, 1} so for every k such that
α∈
/ {α1 , α2 , . . . , αn } otherwise g(αk ) ∈ Uαk . g ∈ U so H is a dense subspace of G. Thus
H = G.
Consider F = {fn | n ∈ ω} ⊂ H we need to show that clH (F ) is compact where the closure
Q
is taken in H. Let g ∈ clG (F ) so every non-empty open neighbourhood U = α<ω1 Uα
where Uα 6= {0, 1} for only finitely many α’s in ω1 contains fn for some n ∈ ω. fn ∈ H
so clH (F ) ⊆ clG (F ). Hence clG (F ) = clH (F ). Note that G is a compact space by using
ω-bounded.
We know that every ω-bounded subspace of metric spaces are compact subspaces. So H is
114
Corollary 4.1.36. The subgroup H ≤ G in Example 4.1.32 is strictly ω-bounded.
In Chapter One we proved that every continuous function from the set of all countable
ordinals with the order topology onto the real line is eventually constant. In this section
Order and topology are closely related. For example the usual topology on the real line has
the open intervals as its basis. The open intervals on the real line are defined by using the
There are several ways to define a topology on partially ordered sets. In this section we
mostly adopt the terminology used by Ward in [74], Birkhoff in [5] and specially the defini-
Definition 4.2.1. A preorder (P, ≤) is a set P and a binary operation ≤ which satisfies
1. For any x ∈ P, x ≤ x.
3. For any finite set S ⊆ P , there is an element pS ∈ P such that: for any s ∈ S, s ≤ pS .
115
x0 ↑= (x0 ⇑) \ {x0 } and x0 ↓= (x0 ⇓) \ {x0 }.
the up set of S ⇑ to be {y ∈ P | there exists x ∈ S such that x ≤ y}. Similarly the down
E(S) = (S ⇑) ∩ (S ⇓) where S ⊆ P .
Definition 4.2.5. Suppose that X is a topological space endowed with a partial order. The
there is an open set U , with a ∈ U , such that if x ∈ U then x 6≤ b (b 6≤ x). The partial
continuous provided that whenever a 6≤ b in X, and there are open sets U and V containing
There are several different ways to define a topology on partially ordered sets to make them
Definition 4.2.6. If (P, ≤) is a partially ordered set, the interval topology in P is a topology
Definition 4.2.7. A subset S of P is called right Dedekind closed if and only if whenever
Definition 4.2.8. A subset S of P is called left Dedekind closed if and only if whenever
116
Definition 4.2.10. A topology D on a partially ordered set P is called Dedekind if the
and only if I ⊂ τ ⊂ D where I is the interval topology and D is the Dedekind topology on
P.
Definition 4.2.12. Let X be a topological space and P a preorder equipped with a topology.
Example 4.2.14. In Chapter One we showed that any continuous function from the set of
all countable ordinals, ω1 , with the order topology to the real line with the usual topology is
Definition 4.2.16. A topological space X is locally P -squat if and only if every point
eventually constant.
Definition 4.2.17. A subset S of a totally ordered set A is called cofinal (coinitial) if and
Definition 4.2.18. A subset S of a partially ordered set P is cofinal (coinitial) if and only
if for each p ∈ P there is s ∈ S, such that s ≥ p (s ≤ p). If S is not cofinal we call it final
above.
117
Definition 4.2.19. A subset S of a partially ordered set P is bounded above (bounded
not bounded above (below) we call it unbounded above (below). If S is bounded below and
Similarly we have:
Definition 4.2.22. A preordered set (P, ≤) is complete if and only if any subset of P with
This section contains the main theorem of this chapter which appears as Corollary 4.2.32.
Definition 4.2.23. [52] A topological space X is called lob, linearly ordered base, space if
every x ∈ X has a linearly ordered base, i.e. every point x ∈ X has a open neighbourhood
Definition 4.2.24. For every regular ordinal λ a topological space X is called λ-small if
and only if |χ(X)||L(X)| ≤ λ, where L(X) is the Lindelöf number of X and χ(X) is the
character of X.
Definition 4.2.25. For every regular ordinal number λ we say that a topological space X
is λ-lob space if and only if X is a lob space and a λ-small topological space.
The cofinality of a lob space with respect to the reverse set inclusion relation is a regular
cardinal, and equal to the character χ(x, X) of that space at x [52]. Any other base at x will
118
contain a subset order-isomorphic to χ(x, X) [52].Whenever a point x in any topological
space x has a lob, the cofinality of that base (with the respect to reverse inclusion) is a
regular cardinal, and equal to the character χ(x, X) of that space at x. Any other base at
topological space with the interval topology and f : P → X a continuous function subject to
cofinal in P .
Then
f −1 ({x}) is cofinal in P .
X is a lob space so without loss of generality we assume that Nx = {Uδ | δ < θ} for some
Let p0 be an element of f −1 (U0 ) such that p0 > p. If pβ is defined for ordinal number β < θ
we define pβ+1 to be an element of the cofinal subset f −1 (Uβ+1 ) ⊆ P such that pβ+1 > pβ .
For a limit ordinal λ define pλ to be an element of the cofinal subset f −1 (Uλ ) ⊆ P such that
pλ > pβ for all β < λ. Condition 1 implies that sup{pβ | β < θ} exists, say pθ = sup{pβ |
β < α}.
119
Now we show that f (pθ ) = x. The θ-sequence {pβ }β<θ is an increasing sequence so for
Note that the θ-sequence {pβ } is a net and f is a continuous function so Theorem 4.2.26
implies that f (pβ ) → f (pθ ). For every β < θ, f (pβ ) ∈ Uβ so f (pβ ) → x. The topological
space X is Hausdorff so Theorem 4.2.27 implies that x = f (pθ ). This completes the
proof.
1. The intersection of every two cofinal closed subsets of P with cardinality at most α is
not empty.
Then
x = y.
Proof. f −1 {x} and f −1 {y} are cofinal closed subspaces of P so f −1 {x} ∩ f −1 {y} is a cofinal
topological space and f : P → X a continuous function subject to the conditions 1-3 below:
3.The intersection of every family of cofinal subsets of P with the cardinality at most α is
cofinal.
Then
Proof. Assume to the contrary that for every x ∈ X there is an open neighbourhood U of
x, f −1 (U ) is a final subset of P .
120
The subset f −1 (U ) of P is final so there is pU ∈ P such that f −1 (U ) ∩ (p ⇑) = ∅, so
f (pU ⇑) ∩ U = ∅.
For every x ∈ X choose an open neighbourhood Ux of x such that f −1 (Ux ) is final. These
open sets constitute an open cover for X say V. The space X is α-small so the Lindelöf
{Vβ | β < α}. For every β < α let pβ to be an element of P such that f −1 (Vβ ) ∩ (pβ ⇑) = ∅.
The set of all such elements of P say S = {pβ | β < α} has cardinality at most α. For
every β < α, f −1 (Vβ ) ∩ (pβ ⇑) = ∅ so f −1 (Vβ ) ∩ (p? ⇑) = ∅, where p? = sup{pβ | β < α}.
function from P into X. So there is x ∈ X such that for every open set U of x containing
x, f −1 (U ) is cofinal.
topological space with the interval topology subject to the conditions 1-3 below and f : P → X
a continuous function:
3.Intersection of every family of cofinal subsets of P with the cardinality at most α is cofinal.
Proof. Theorem 4.2.30 and Lemma 4.2.28 imply that there is x ∈ X such that f −1 ({x}) is
a cofinal subset of P . The topological space X is a lob space so without loss of generality
Nx = {Uβ (x) | β < α and Uβ2 ⊂ Uβ1 for β1 < β2 < α} [52].
Assume to the contrary that for every β < α, f −1 ((X \ Uβ (x)) is cofinal subset of P .
The function f is a continuous function, {x} and f −1 (X \ Uβ (x)) are closed subspaces of
P . So by using condition 3 we see that {x} ∩ f −1 (X \ Uβ (x)) = ∅ and this contradicts the
121
assumption that f −1 (X \ Uβ (x)) is cofinal so f −1 (X \ Uβ (x)) is a final subset of P for every
β < α.
So f (p? ⇑) = x.
ordered topological space with the interval topology subject to the conditions 1-3 below and
f : P → X is a continuous function:
3.Intersection of every family of cofinal subsets of P with the cardinality at most α is cofinal.
Then
X is P -squat.
Corollary 4.2.33. Let X be a Lindelöf Hausdorff first countable topological space. Then
X is ω1 -squat.
Example 4.2.34. Let RS be the Sorgenfrey line. the Sorgenfrey topology is finer than the
interval topology on R so the Sorgenfrey line is a LOTS, linearly ordered topological space.
1
sup{1 − n | n ∈ N} = 1 but the sequence { n−1
n }n∈N does not converge to 1 since for every
n−1
n ∈ N, n ∈
/ [1, +∞).
Example 4.2.34 shows that if P is a partially ordered topological space with the order
topology, S ⊂ P and sup S = p, then it is not necessarily true that p is a limit point of S.
122
Lemma 4.2.35. Let X be an α-small T3 topological space, P a partially ordered topological
cofinal in P .
Then
f −1 ({x}) is cofinal in P .
such that p < pα . Note that X is a lob space so without loss of generality we assume that
Nx = {Uβ | β < α} such that for every two ordinals β, δ where β < δ < α, then Uδ ⊂ Uβ .
Let p0 be an element of f −1 (U0 ) such that p0 > p. If pβ is chosen for some β < α we define
pβ+1 to be an element of the cofinal subset f −1 (Uβ+1 ) such that pβ+1 > pβ .
For a limit ordinal λ < α let pλ be an element of f −1 (Uλ ) such that pλ > pβ for all β < λ.
Note that {pβ | β < λ} is not cofinal and f −1 (Uλ ) is cofinal in P so the existence of pλ is the
result of the condition 1. Now let pα = sup{pδ | δ < α}. We claim that pα ∈ f −1 ({x}). For
every β < α, pα ∈ {pδ | β < δ < α} so f (pα ) ∈ f ({pδ | β < δ < α}) ⊆ f ({pδ | β < δ < α}) ⊆
Uβ .
Note that X is a T3 topological space so for every δ < α, where x ∈ Uδ there is θ > δ such
Note that Lemma 4.2.28 is not the same as Lemma 4.2.35. In Lemma 4.2.28 P has the
interval topology but in Lemma 4.2.35 P has the order compatible topology. On the other
hand in Lemma 4.2.28 X is Hausdorff but in Lemma 4.2.35 X is T3 . Let LQ = {(λ, q)|λ ∈
ω1 and q ∈ [0, 1) ∩ Q}. LQ with the lexicographic order topology is called the long rationals.
Any continuous function from LQ → R is eventually constant since all the conditions in the
123
previous theorem are satisfied.
Example 4.2.38. Let id : ω1 → (ω1 , τ ) be the identity function, where the domain has the
φ : ω1 → ω1 by
1+α
(δ ≤ α)
φ(x) =
δ
(α < δ)).
Q∞
Lemma 4.2.39. If {Xn | n ∈ N} is a family of ω1 -squat spaces, then n=1 Xn is ω1 -squat.
Q∞
Proof. Consider the continuous function f : ω1 → X = n=1 . For every n ∈ N the
that f (β) = xn for all β > αn . The countable set {αn | n ∈ N} is bounded above by some
Q
Corollary 4.2.40. n∈N R is ω1 -squat.
Lemma 4.2.41. (David Gauld) Let U be an open subset of ω1 containing a Cub subset C
of ω1 . Then U contains a final segment ( i.e. a subset of ω1 which has the form [λ, ω1 ) for
some λ ∈ ω1 ) of ω1 .
λ ∈ U . Then there is an ordinal number p(λ) < λ such that (p(λ), λ] ⊂ U , since ω1 has the
124
order topology and λ is a limit ordinal.
there is β ∈ ω1 such that p−1 (β) is unbounded. So (β, ω1 ) ⊆ ∪α∈p−1 (β) (β, α] ⊆ U . This
ω1
Lemma 4.2.42. Let Λ be the set of all limit ordinals of ω1 . Consider Λ with the quotient
ω1
topology on it, then Λ is not first countable and it is not locally ω1 -squat.
ω1
Proof. We show that Λ is a Hausdorff and Lindelöf topological space but it is not ω1 -squat.
ω1
Let π : ω1 → Λ be the quotient map.
ω1
Consider two arbitrary elements δ1 and δ2 of Λ such that π −1 (δ1 ) and π −1 (δ2 ) are successor
ordinals. So {π −1 (δ1 )} and {π −1 (δ2 )} are singletons so both sets {π −1 (δ1 )} and {π −1 (δ2 )}
are open. On the other hand π is an open map so {δ1 } and {δ2 } are open and disjoint
ω1
subsets of Λ. Now consider δ1 ∈ ω1 \ Λ and Λ where π −1 (δ1 ) is a successor ordinal in ω1 .
ω1
We see that two open sets {δ1 } and ω1 \ {δ1 } separates δ1 and Λ. So Λ is Hausdorff.
The image of ω-bounded spaces under continuous functions is ω-bounded and quotient map
ω1
π is continuous so Λ is ω-bounded so countably compact.
ω1 ω1
We claim that Λ is compact. Already we showed that Λ is countably compact so we need
ω1
to show that Λ is a Lindelöf space.
ω1
Consider an open neighbourhood U of Λ in Λ. Lemma 4.2.41 implies that for every
125
ω1 ω1 ω1
so Λ is a Lindelöf space. So Λ is compact since Λ is Lindelöf and countably compact.
ω1
Now we show that Λ is not locally ω1 -squat. Consider the continuous function π | (δU , ω1 ) :
f : ω1 → U as follows
π(δU + 1)
(δ ≤ δU + 1)
f (δ) =
π(δ)
(δ ≥ δU + 1).
The function f is continuous but it is not eventually constant since π | (δU , ω1 ) is not even-
ω1
tually constant. If Λ is first countable, then Corollary 4.2.33 implies that f is eventually
ω1
constant which contradicts the fact that f is not even locally eventually constant. So Λ is
ω1
Proposition 4.2.43. The topological space Λ is not ω1 -squat.
ω1
Proof. Any ω1 -squat space is clearly locally ω1 -squat, and Λ is not locally ω1 -squat.
space. There is at least one element x ∈ X such that f −1 (x) is an uncountable subset
unique then we assume there is another element y in X such that f −1 (y) is an uncountable
subset of ω1 . On the other hand f −1 (x) and f −1 (y) are closed unbounded subsets of ω1 so
x = f (α) = y which is not possible since f is a function. Assume that for every y ∈ X \ {x},
126
f −1 {y} is a bounded subset of ω1 . We show that f −1 {x} is not bounded. Assume to the
contrary that f −1 {x} is bounded for every x ∈ X. The set X is countable so we can write
X = {xn |n ∈ ω}. Let αn be an upper bound for f −1 ({xn }) where n ∈ ω. Any countable
ω1 -squat.
Example 4.2.45. (Arens-Fort space) [69] Let X = N2 ∪ {(0, 0)} ⊂ R2 . The Arens-Fort
For every p ∈ N2 , the singleton {p} is open so the open neighbourhood system at p is
Np = {{p}}.
We need to define the neighbourhood system at 0 = (0, 0). Let F ∈ N<ω and for every n ∈ N
Now for every F ∈ N<ω and sequence {Fn }n∈N\F , we define N (F, {Fn }n∈N\F ) = ∪n∈N\F (Cn \
Fn ) ∪ {0}. So N0 = {N (F, {Fn }n∈N\F ) | F ∈ N<ω and Fn ⊂ Cn is finite for every n ∈ N}.
The Arens-Fort space is not first countable [69] but Lemma 4.2.44 implies that the Arens-
In this section we study ω1 -squatness of some topological spaces. We prove that every
realcompact first countable topological space is ω1 -squat but the converse is not true in
general.
127
4.3.1 Some theorems and examples related to the squatness
In this section we show that Ψ- space which is also called a Mrowka space or an Isbell-
Mrowka space introduced independently by Mrowka [45] and Isbell, is an ω1 -squat space.
Definition 4.3.1. [59]( Hausdorff maximal principle) Any non-empty chain in a partially
Definition 4.3.2. Two infinite subsets S1 and S2 of N are called almost disjoint if and
only if | S1 ∩ S2 |< ω.
Lemma 4.3.3. [45] Let N be the set of all natural numbers, and S the family of all its
2. If S1 S2 ∈ E, then S1 ∩ S2 is finite.
0 0
3. For every S ∈ S, there is an element S ∈ E such that S ∩ S is infinite.
Now we are ready to define the topological space Ψ by defining the open neighbourhood
system for every element of N ∪ E. More details about the Ψ-space can be found in [45] or
[22].
1. If x ∈ N, then Nx = {{x}}.
0 0
2. If x ∈ E, i.e. x = S ⊂ N, then Nx = {N (x, S ) | S is a finite subset of S} where
0 0
N (x, S ) = ({x} ∪ S) \ S where S 0 is an arbitrary finite subset of S.
Theorem 4.3.5. [45] [22] The Ψ-space has the following properties:
128
2. For every E ⊂ E, E = E.
3. Ψ = N.
4. Ψ is first countable.
5. Ψ is completely regular.
6. Ψ is not realcompact.
Notation 4.3.6. We usually use xE for subset E of E to emphasis that we look at elements
µ(∅) = 0. A {0, 1}-measure µ0 is called a zero or Dirac measure if and only if µ0 (E) = 0
for all E ⊂ X. A {0, 1}-measure µx is called pointed if and only if µx (E) = χE (x) for every
Definition 4.3.8. [34] [49] A cardinal number λ is called measurable if and only if there
All the cardinals produced by the cardinal arithmetic are non-measurable [34] so ω, ω1 and
Lemma 4.3.9. [22] [34] Every discrete space X is realcompact if and only if | X | is a
non-measurable cardinal.
Lemma 4.3.10. [37] If W1 and W2 are two well-ordered sets, then exactly one of the
following holds:
1. W1 is isomorphic to W2 .
129
Proposition 4.3.11. Every cub subset of ω1 is order isomorphic to ω1 .
initial segment of ω1 . On the other hand ω1 is not order isomorphic to any initial segment
Proof. Let f : ω1 → X be a continuous function. We prove the Lemma in three steps. First
we show that for some x ∈ X, f −1 (x) is an unbounded subset of ω1 . In the second step we
show that there is at most one x ∈ X which has an unbounded inverse image. Finally we
show that if f −1 {x} is unbounded, then f −1 {x} contains a final segment [α, ω1 ) ⊂ ω1 for
some α ∈ ω1 .
Suppose on the contrary that for every x ∈ X, f −1 {x} is a bounded subset of ω1 . Choose an
ω1 has a supremum so let sup f −1 {x0 } = α0 . Assume that for n ∈ N, xn and αn are chosen.
X \ {x0 , x1 , x3 , . . . , xn } such that f (β) = x. The existence of β and x is the result of our
assumption that the inverse image of f −1 {xk } is bounded for 0 ≤ k ≤ n. Let x = xn+1 and
αn+1 = max{β, sup f −1 {xn+1 }}. Note that the sequence {αn }n∈ω is an increasing sequence
f (αn ) = f (αN ) for all n > N . This is contradiction. Therefore there is at least one x ∈ X
Now we show that there is only one x ∈ X such that f −1 {x} is an unbounded subset of ω1 .
On the contrary assume that there is more than one element of X which has an unbounded
inverse image. If x1 and x2 are two elements of X with unbounded inverse images in ω1 ,
130
then f −1 (x1 ) and f −1 (x2 ) are Club subspaces of ω1 since X is T1 and f is a continuous
impossible since f is a function. So there is only one element of X with unbounded inverse
image.
Finally we need to show that if x is a point in X with an unbounded inverse image, then
Suppose the inverse image of {x} and X \ {x} are both unbounded. Two subspaces {x}
and X \ {x} are closed subspaces of X because X is a discrete topological space so f −1 {x}
and f −1 (X \ {x}) have closed unbounded intersection which is a contradiction since {x} ∩
Lemma 4.3.12 and Lemma 4.3.9 imply that if there is a measurable cardinal λ, then every
not realcompact. Now we are ready to give our example of ω1 -squat space which is not
realcompact.
By using Proposition 4.3.11 every cub set in ω1 is a copy of ω1 i.e. there is a homeomorphism
set E so Lemma 4.3.12 implies that f ◦ e is eventually constant, say E ∈ E is such that
f (α) = E for all large enough α ∈ ω1 . For every n ∈ N, {E} ∪ (E \ {n}) is an open set
By using Lemma 4.2.41 the complement of this open set is a bounded subset of ω1 , so
131
f is eventually constant.
Now we consider the case that f −1 (E) is a bounded subset of ω1 . Let α0 ∈ ω1 be an upper
bound for f −1 (E). So for every β > α0 , f (β) ∈ N. f : [α0 , ω1 ) → N is a continuous function
and [α0 , ω1 ) is a cub subset of ω1 so by using Lemma 4.3.11 and 4.3.12 we see that f is
topological space.
fixed element of Y .
Notation 4.3.15. For every limit ordinal α, Lim(α) is the set of all limit ordinals β such
homeomorphic to ω1 .
Proof. We need to show that for every t ∈ (0, 1), Lt is order isomorphic to ω1 . The following
t + α (α ∈
/ Λ)
f (α) =
α
(α ∈ Λ)
To see that f is an order isomorphism consider two arbitrary ordinals α and β in ω1 such
132
that α < β. We have the following cases:
2. If both α and β are successor ordinals in ω1 such that α < β, then α + t < β < β + t. So
3. If α is a successor ordinal and β is a limit ordinal such that α < β, then f (α) = α + t <
α + 1 < β = f (β).
unbounded subspace of LQ .
Proof. Note that ∪n∈ω Lqn = LQ . Consider an enumeration {qn | n ∈ ω} of Q for Q. For
every n ∈ ω there is an αn ∈ Λ and an element xn ∈ X such that for every α ∈ Lqn , α > αn
implies f (α) = xn .
above. Let λ ∈ Λ be an upper bound of {αn | n ∈ ω}. Note that Λ ⊂ ∩n∈ω Lqn . So for every
α ∈ LQ , α > λ, implies f (α) = f (λ). So for every m ∈ ω, every n ∈ ω, and every α > λ in
133
Proof. Let f be a continuous function from L+ into an LQ -squat topological space X. The
t+α
(α ∈
/ Λ)
f (α) =
α
(α ∈ Λ).
If α < β and both are successor ordinals clearly α + t < α + 1 ≤ β. If α < β and both
are limit ordinals, then α + t < α + 1 < β. Similarly if α is a limit ordinal and β is a
successor ordinal and α < β, then there is δ ∈ ω1 such that δ + 1 = β and we have the
inequality α < δ < β. Finally if α < β for successor ordinal α and limit ordinal β we have
So far we have shown that a topological space X is ω1 -squat if and only if X is Lt -squat.
We know from the assumption that X is ω1 -squat so X is Lt -squat for all t ∈ (0, 1). Lemma
4.3.18 and Corollary 4.3.19 imply that X is L+ -squat . This completes the proof.
The following example shows that in general L+ -squat spaces do not need to be ω1 -squat.
134
The following theorem is about another class of ω1 −squat topological spaces.
Theorem 4.3.22. Assume that {Xi | i ∈ I} is a family of metric spaces and C is a closed
Q
and first countable subspace of i∈I Xi . Then C is ω1 -squat.
of a first countable space is a first countable space and any metric space is Hausdorff [13].
continuous function. Then by using Theorem 4.3.22 we see that f is eventually constant.
Our first two examples, the Sorgenfrey line and the Michael line, are well-known as coun-
terexamples so it will be worthwhile to see if they are ω1 -squat or not. Our third example
is less known and has a heavily set-theoretic structure and is known as the Kunen line. All
these three examples are built upon the real line and all of them have a finer topology than
135
Proof. Let f : ω1 → (X, τ2 ) be a continuous function. Then f −1 (U ) is open subset of ω1
constant.
Example 4.3.25. The Sorgenfrey line is the real line equipped with the topology with the
base B = {[x, y) | x, y ∈ R and x < y}. The topology τ induced by B is finer than the order
Example 4.3.26. If (R, τ ) is the real line with the usual topology the Michael line, M, is
the real line with the set B = {U ∪ F | U ∈ τ and F ⊆ R − Q} as a basis of its topology. The
topology of the Michael line is finer than the usual topology and the real line is ω1 −squat,
It is easy to see that the Michael line is not Lindelöf using some information from measure
theory.
X
µ∗ (E) = inf{ l(Ik ) : {Ik } is a sequence of open intervals such that E ⊆ ∪k∈ω Ik },
k∈ω
1 1
Proof. Let {qn | n ∈ ω} be a numeration of all the rationals, and U = {(qn − 2n+1 , qn + 2n+1 )|
P 1 1 1
n∈ω 2n < ∞, so uncountably many irrationals are not in ∪k∈ω (qk − 2k+1 , qk + 2k+1 ) and
136
Lemma 4.3.30. The Michael line, M, is not separable.
Proof. There are c many open sets consisting of a singleton in M, so for any countable
subset D of M, there are some open sets disjoint from D. Then the Michael line is not
separable.
Our next example is called the Kunen line [39]. As with the Michael and Sorgenfrey lines
The Kunen line K is the topological space consisting of R with a new topology τK on the
The new topology is finer than the usual topology so Lemma 4.3.24 shows that the Kunen
line is ω1 -squat.
To define the Kunen line we need some background information and historical motivation
which makes the Kunen line interesting to study. A good reference for the definition of K
is [60]. Another reference is the original paper by Juahász, Kunen and Rudin [39].
The topological properties “separability” and “Lindelöfness” are equivalent for metric spaces
[10]. For general topological spaces these two properties are not equivalent. The lexico-
graphic ordered square ( see page 73 in [69]) or ω1 +1 are examples of non-separable compact
topological spaces. The cantor tree, the Moore-Nemytskii plane and the Prüfer surface are
examples of separable spaces which are not Lindelöf [69] [10] [51].
1960’s a problem was posed by Hajnal and Juhász in [29] and independently by some other
topologists and is called the S- and L- space problem. A T3 topological space X is called
There are many spaces constructed from both types in different models of set theory. The
137
Gödel constructible universe contains both types [10]. Stevo Toderčević has constructed a
model which does not have S-spaces. The existence of both types and the non-coexistence
of both types does not lead to any contradiction. This shows that the S- and L- problems
Similar constructions to the Kunen line K were introduced by Ostaszewski in [53] and
Hajnal and Juhász in [29] and [30] under different set-theoretical assumptions to introduce
S-spaces.
A similar attempt was made by Hajnal and Juháuz in [29] and [30] assuming the Continuum
Hypothesis.
The construction that is closely related to the Kunen line and we are more interested in
here first appeared in [39]. The authors assuming the Continuum Hypothesis as in [29] and
[30] used a blend of methods used in [29], [30] and [53] to produce a T3 S-space which is
first countable but is not Lindelöf. Their construction is easier to understand and some
Although the Kunen line is not a totally ordered topological space in fact the Kunen line
is the result of introducing a new topology on the real line which is finer than the usual
topology on R.
The result of the construction used in [39] on the real line is called the Kunen line.
Let K(X) be the output of this construction for the space X. The space K(X) is not T3 in
general but if X is a first countable Hausdorff topological space of the cardinality ω1 , then
K(X) is first countable T3 locally compact locally countable and not Lindelöf topological
space.
We write K = K(R). The advantage of the Ostaszewski construction in [53] is that the
resulting space is countably compact which is not the case in general for K(X) even if X
138
is Hausdorff. There is another difference between these two constructions in that if X is a
first countable T2 topological space of cardinality ω1 , then K(X) is realcompact while the
Definition 4.3.31. A space X is called left separated if and only if X can be well ordered
Definition 4.3.32. A space X is called right separated if and only if X can be well ordered
Theorem 4.3.33. [10] A space X is hereditarily separable if and only if X has no un-
countable left separated subspace. A space X is hereditarily Lindelöf if and only if X has
that τ is a conservative extension of σ if and only if σ = τ | Y , i.e. if and only if the space
P
Lemma 4.3.36. [60] Let τ = α<κ τα . If every τα is Hausdorff, so is τ . If every τα is
zero dimensional, so is τ .
Definition 4.3.37. ( Kunen line) [60] [39] Assume CH and let {xα | α < ω1 } enumerate R.
Let {Aα | α < ω1 } enumerate all countably infinite subsets of R. Define Xα = {xβ | β < α}
and let Bα = {Aβ | β < α, Aβ ⊂ Xα , xα ∈ clR (Aβ )}. Enumerate each Bα as {Cα,n | n < ω}
139
P
If τ = α<ω1 τα is the topology defined in Definition 4.3.35, then each Xα is open under
(I) If β < α, then τβ is a 0-dimensional topology refining the usual topology (as a subspace
of R) on Xβ .
Now suppose α = β + 1. Pick a sequence {yn | n ∈ ω} so each yn ∈ Cα,n and the distances
Define
Checking the induction hypothesis we see that (II) is immediate, (III) follows from the
fact that each A ∈ Bβ appears as infinitely many as Cβ,n ’s and the second half of (I) is
Let U be a clopen basis for τβ containing no set of the form ∪n∈A Vn,β where A is infinite.
cases:
140
2. x ∈ Xβ and V = U ∩ Vn,β for some n. Suppose x lies in the left of xβ in the usual
ordering of R. Pick k so that if s = inf R ∪j>k Ij then s 6= x. Since τβ refines the usual
W ⊂ (−∞, s), so we are done. If x lies to the right of xβ the proof is similar.
Note that by adding a further induction hypothesis (that each τβ is locally compact) and
requiring the Vn,β ’s to be clopen compact, the final space is locally compact.
2. If all closed sets of X are Gδ , then the same is true for K(X).
Proof. We already proved that first countable realcompact topological spaces are ω1 -squat,
It is clear from the construction of the Kunen line that it has R as its underlying set and
141
Chapter 5
“The most original contributions to the theory of infinity in ancient times were the theory
Nyikos Bagpipe theorem introduced by Peter Nyikos in 1984 [50] shows that any ω-bounded
finitely many open disks removed with a boundary homeomorphic to finitely many disjoint
circles, and finitely many pipes. In [50] each pipe is a topological surface which can be
represented as an increasing ω1 -sequence of open cylinders such that each of them has a
In [21] a modified definition of a long pipe is given which makes it easier to visualize and we
adopt the later definition here. More precisely any ω-bounded surface S can be written as
S = K ∪ (∪ni=1 Pi ), where for each i ∈ {1, 2, 3, . . . , n}, Pi is a long pipe and K is a compact
surface with n-many open disks D12 , . . . , Dn2 of S with disjoint boundaries removed.
142
In Nyikos Bagpipe decomposition theorem each Pi can be written as Pi = ∪α<ω1 Uα , where
bounded surfaces but still it is feasible to study intrinsic properties of long pipes. In this
As we mentioned before, the concept of the long pipe first appeared in [50] as follows.
Definition 5.1.1. A space is a long pipe if it is the union of a chain {Uα |α < ω1 } of open
Example 5.1.2. (Open long cylinder) Consider the space S1 × Lo . For every α ∈ ω1 define
S1 ×L is not a long pipe. To see this assume that {Uα | α ∈ ω1 } is an increasing ω1 -sequence
the definition of the long pipe the boundary of Uα in Uβ is homeomorphic to the unit circle.
Note that in the definition of long pipe the boundary of Uα in Uβ is homeomorphic to the
unit circle for all β > α and it is not enough if the boundary of Uα in Uα+1 is homeomorphic
143
Uα+1 is homeomorphic to the unit circle but the topological boundary of Uα in Uλ+1 consist
of two components each of which is homeomorphic to the unit circle, where λ is a limit
Note that ∂(Uω+1 ) (U0 ) is disjoint union of two copies of S1 where U0 = S1 × (0, 1) and
Example 5.1.3. (Closed long cylinder) The topological space L+ × S 1 is called the closed
long cylinder.
In [21] the long pipes of [50] are called open long pipe and the closed long pipe is defined
as follows:
Definition 5.1.4. A closed long pipe P is a closed 2-manifold with a boundary homeomor-
phic to the unit circle such that P = ∪α<ω1 Uα , where each Uα is is an open submanifold of
P with the same boundary homeomorphic to S 1 × [0, ∞) such that the topological boundary
Following [21] by long pipe we usually mean the closed long pipe and where we mean open
Example 5.1.5. L+ × S 1 is a closed long pipe. To see the decomposition we simply need
Definition 5.1.6. An open long pipe Po is P \ ∂P , where P is a closed long pipe and ∂P is
144
Example 5.1.7. The closed long cylinder is a manifold with boundary. ∂(L+ × S1 ) =
It is worth mentioning that in [50] Nyikos shows that there are 2ℵ1 non-homeomorphic long
pipes.
In [50] page 668 Nyikos asks how the bagpipe theorem can be generalised to higher di-
mensions. More precisely he asks: Is it true that an ω-bounded n-manifold has a compact
submanifold with boundary K such that M \K is the union of finitely many subspaces, each
of which is the union of a chain of subsets homeomorphic to N × R for the same compact
n − 1 manifold N ?
In this section we imitate the construction of the long pipes in more a general context, and
discuss alternative definitions in higher dimensions. In general the long pipe is not canonical
and this makes it complicated to study. The situation is even more complicated in higher
dimensions. The following definition has the advantage that it helps us to unify the results
about subsets of the product of metric spaces and the the long lines, and the product of
145
2. If α < β, then dom(φα ) ⊂ dom(φβ ).
Our definition of the pseudo-product is the same as the following definition which is easier
to visualize.
and only if there is an (n − 1)-manifold B which is called the base and an ω1 -sequence
Example 5.2.4. The closed long ray is a pseudo-product. For each α ∈ ω1 let φα be
a homeomorphism from [0, α) to [0, 1). In this case B is the zero dimensional connected
Example 5.2.5. If B = S1 in Definition 5.2.2, then we see that every long pipe is a
pseudo-product.
Example 5.2.6. The product of the 2-sphere and the closed long line, S2 × L+ , is a pseudo-
product of dimension 3.
we generalise some of these results for subspaces of the product of a metrisable manifold M
146
Lemma 5.3.1. [50] Every closed, non-Lindelöf subspace of L+ contains a closed unbounded
subset of ω1 .
2. Every copy of ω1 is, with the exception of at most countably many points, a subset of
3. For every copy M of L+ in L+ ×R, there exists α such that M ∩[α, ω1 )×R = [α, ω1 )×{r}
for some r ∈ R.
product.
X × P to be the minimum of
0
C = {λ ∈ ω1 | (Y × (P \ Pλ+1 )) ∩ C = ∅}
if the minimum exists. Otherwise we say the length of Y is C is ω1 . We denote the length
Example 5.3.4. The closed long ray, L+ , is an example of a pseudo-product. To see this
Theorem 5.3.2 implies that for every closed non-metrisable subspace C of L+ × R there is
147
Figure 5.1: Length of points in subspace of the product of circle and the long line
Lemma 5.3.6. [78] If X is a hereditarily Lindelöf topological space and E ⊂ X, then the
lC (S1 ) ≤ lC (S2 ).
then lC (∪n∈N Sn ) 6= ω1 .
Proof. Let αn = lC (Sn ) for every n ∈ ω. The sequence {αn }n∈ω is bounded above by some
countable ordinal α.
148
Theorem 5.3.9. Let M be a metrisable topological manifold and C be a closed, non-
Proof. Assume to the contrary that for every λ ∈ ω1 , there is an x ∈ M such that lC (x) 6= ω1
Lindelöf.
Note that N ⊆ M and so N is a hereditarily Lindelöf space. By Lemma 5.3.6, all elements
0
of N except countably many of them are limit points of N . Hence N \ N is a countable
0 0
subset of N , where N = {x ∈ N | x is a limit point of N }. Note that N is Lindelöf.
neighbourhood base of open sets of p say {Un | n ∈ N} such that Un+1 ⊂ Un for all n ∈ N.
0 0
Assume p ∈ N has length α0 in C and let p1 ∈ U1 ∩ N be an arbitrary element of length
Pαn−1 ) ∩ C. Note that αn → α for some α ∈ ω1 and xn is an element of the compact set
149
Pα+1 ∩ C for all n ∈ N. So {xn } has an accumulation point x in Pα ∩ C.
0
Pn → p so (p, x) ∈ {p} × Pα \ ∪n∈N Pαn which contradicts p ∈ N and lC (p) = α0 < α1 .
0 0
Hence if p ∈ N , then there is a neighbourhood U of p such that lC (N ∩ U ) < ω1 . So case
metrisable subset of M × L+ . Then there is a ordinal number λC ∈ ω1 such that for all
Theorem 5.3.12. [10] If M is a metric space, then the following are equivalent:
1. M is Lindelöf.
2. M is separable.
3. M is second countable.
separable.
150
Definition 5.3.14. Let M be a metrisable manifold and C a closed non-metrisable subspace
Proof. Note that M is a connected metrisable manifold so by Corollary 5.3.13 and Lemma
intersection. We see that for every x ∈ SD , πM (secC (x)) = D so for every x ∈ SD we have
In the following theorem we show that pseudo-products are not contractible. The proof is
Lemma 5.4.2. [13] The cartesian product X × Y of a countably compact topological space
Lemma 5.4.3. [13] Every closed subspace C of a countably compact topological space X is
countably compact.
151
Lemma 5.4.4. [13] The cartesian product of a Lindelöf topological space X and a compact
Lemma 5.4.5. [13] Every closed subspace C of a Lindelöf topological space X is a Lindelöf
topological space.
relatively Lindelöf.
Proof. First we show that for every Lindelöf subspace L ⊂ P , there is α ∈ ω1 such that
is an open cover for L which does not have a countable subcover. This contradicts the
is a Lindelöf space since it is a product of a compact space and a Lindelöf space. So the
and α ∈ ω1 . For every α ∈ ω1 , there is β ∈ ω1 such that β > α and Pα ⊂ Pβ . Note that Pβ
On the other hand by Lemma 5.4.4 Pβ is a Lindelöf space. The subset Pα of Pβ is closed so
space so it is compact.
152
a countable ordinal αn such that xn ∈ Pαn . Every countable subset of ω1 is bounded above
for every point p ∈ X, and every sequence {sn } in S if {sn } converges to p, then p ∈ S.
Definition 5.4.10. A topological space X is is called sequential space if and only if every
Theorem 5.4.11. [13] Every first countable topological space is sequential space.
Pα ∼
= B × [0, 1) for all α < ω1 and B be a compact manifold.
Define the set S = {t ∈ [0, 1] | F (P × [0, t]) is compact }. Note that F (P × {0}) = {p0 } is
compact, so 0 ∈ S. If t ∈ S and s < t, then F (P × [0, s]) is a closed subset of compact set
The set S is a bounded subset of R. Then S has a least upper bound say sup S = r. We
To show that S is sequentially closed let {rn }n∈ω be a sequence converging to r. Without
loss of generality we assume {rn }n∈ω is increasing, otherwise we consider an increasing sub-
153
The function F is continuous, and Lemma 5.4.6 implies that a countable union of rel-
On the other hand for some αn ∈ ω1 we have F (P × [0, rn )) ⊆ Pαn , so ∪n∈ω F (P × [0, r)) ⊆
∪n∈ω Pαn ⊂ Pα+1 , where α is the limit of the increasing sequence {αn | n ∈ ω}.
This shows that F (P × [0, r]) is relatively compact, and r ∈ S. To complete the proof we
Assume to the contrary that r 6= 1. We show that this assumption contradicts the maxi-
mality of r.
Let β ∈ ω1 be a countable ordinal greater than α+1. Note that F (P ×[0, r]) ⊂ F (P × [0, r]) ⊂
We have π2 (Pλ × [0, r]) = [0, r] ⊂ π2 (F −1 (Pβ )) and π2 is an open map so π2 (F −1 (Pβ ) is an
Therefore P × [0, r + 1
n0 ) ⊂ F −1 (Pβ ) and consequently F (P × [0, r + 1
n0 )) ⊂ Pβ ⊂ Pβ+1 .
Richard Dedekind formulated the theory of ideals in algebra [2] when he was dealing with
the ring of integers. The concept of ideal is the result of an evolution of ideal numbers
154
introduced by E. E. Kummer [2]. In 1936 M. H. Stone in the paper “Boolean algebras and
their applications to topology” used ideals in the context of Boolean algebra [70]. Shortly
after Stone’s paper appeared J. W. Alexander published a paper titled “On the concept of
topological space” [1]. In his paper Alexander modifies the definition of a topological space
in such a way that it is possible to distinguish between bounded and unbounded parts of
the space [1]. He defines the closed bounded subsets of a set X to be a subfamily B of
X which has the empty set as its member; it is closed under finite union and arbitrary
to be bounded if it had a closed bounded closure, where the closure of a set S is defined
to be the intersection of all closed sets containing S [1]. In 1949 Sze-Tsen-Hu published a
since his terminology is more compatible with geometric intuition. On the other hand Henri
Cartan developed the theory of filters in 1937 which proved to be very useful in studying
1. If B ∈ B and S ⊆ B, then S ∈ B.
Definition 5.5.2. A universe (X, τ, B) is a topological space (X, τ ) with a given boundedness
155
B on X. Elements of B are called bounded subsets of X.
Example 5.5.3. Let X be a topological space. The family of all relatively compact subspaces
of X is a boundedness.
Note that the family of compact subsets of a topological space X may not constitute a
boundedness since an arbitrary subset of a compact space does not need to be compact.
Example 5.5.4. Let X be a topological space. The family of all relatively Lindelöf subspaces
of X is a boundedness.
edness.
Note that a topological space is ω-bounded if and only if every element of boundedness B
is an element of the boundedness C, where B is the family of all countable subsets of X and
family of bounded open subsets Uα of X indexed by λ which covers X, and for every α <
S
β < λ, we have Uα ⊆ Uβ . Moreover if for every limit ordinal α < λ, Uβ = α Uβ we say U
1. X = ∪α<λ0 Bα .
156
Our universes are usually proper except when we mention specifically otherwise.
Definition 5.5.8. Let U = (X, B, τ ) be a proper universe where X is locally connected with
a B-canonical exhaustion Σ. We define the small upsilon tree υB (Σ) to be a rooted tree with
where α ≥ 0 and an imaginary node x as the root with the following order: xU ≤ xV if and
only if U = V or V ⊂ U .
Definition 5.5.9. Let U = (X, B, τ ) be a proper universe where X is locally connected with
a B-canonical exhaustion Σ. We define the upsilon tree ΥB (Σ) to be a rooted tree with an
α, where α ≥ 0 and an imaginary node x as the root with the following order: xU ≤ xV if
and only if U = V or ∂X V ⊂ U .
is called B-trunklike if given any closed bounded subset C, X \C has at most one unbounded
component.
Then xU 6≤ xV and xV 6≤ xU .
The following lemma suggests that we can use either Υ-tree or υ-tree to find out if a space
X is trunklike or not but in general these two trees do not need to be the same.
Lemma 5.5.12. Let U = (X, B, τ ) be a proper universe and X a locally connected topolog-
157
1. υB (Σ) is a chain.
2. ΥB (Σ) is a chain.
Proof. (1) ⇒ (2) Assume ΥB (Σ) is not a chain, so ΥB (Σ) has two non-comparable nodes
∂X (U ) and ∂X (V ), then two nodes xU and xV are not comparable in υB (Σ), then υB (Σ) is
not a chain.
(2) ⇒ (1) If υB (Σ) is not a chain, then let xU and xV be two non comparable nodes of υB (Σ),
Lemma 5.5.13. If Σ1 and Σ2 are two canonicals for the boundedness B of the proper
Proof. Assume that υB (Σ1 ) is not a chain, then there are at least two uncomparable nodes
xU and xV in the same level say level α. So X \ Bα has two unbounded components U and
0 0
V . Let Bβ be a bounded basic set of Σ2 , then (X \ Bβ ) ∩ U has at least one unbounded
0 0 0
component U . The set (X \ Bβ ) ∩ V has at least one unbounded component V . U ∩ V = ∅,
0 0
so U 0 ∩ V 0 = ∅, then xU and xV are not comparable in υB (Σ2 ). Then υB (Σ2 ) is not a chain.
Lemma 5.5.14. Assume α0 , β0 and λ0 are regular cardinals and α0+ ≤ β0 < λ0 . Let T be
1. ht(T ) = λ0 .
3. All branches are level cofinal, b ∩ T (α) 6= ∅ for every branch b of T and α < λ0 .
Then
158
T = S ∪ (∪i<α0 bi ), where the bi ’s are cofinal branches and S = {x ∈ T | ht(x) ≤ α0 }.
Proof. Let T ∗ be the subset of T consisting of all nodes x ∈ T which have at least two
{xα | α < α0 }. Choose an increasing sequence βn such that htxn < βn for n < α0 so
0 0
βn → β for ordinal number β < α0 . Then ht(x) < α0 + 1 for all x ∈ T ∗ . If |T ∗ | ≥ α0 , then
0
let T ∗ = {x0 , x1 , x2 , . . . , xα0 , . . . } and show that for some α0 < λ0 , |T ∗ (α )| > α0 which
contradicts the second assumption. For each x ∈ T ∗ we have at least two branches and
all branches are level cofinal so any branch b intersects which have an element x ∈ T ∗ as
0 0 0
its element intersect T (α0 ), |T (α ) ∩ b| > 1. Then |T ( α )| > |T ∗ | = |α | which contradicts
the second assumption. T (αβ for β > α0 + 1 does not contain any branching node and its
4. The Suslin number of X, c(X) = β is less that the length of the exhaustion,λ0 .
α0 < β0 < λ0 .
Then,
Proof. Let Bα be a bounded set in the exhaustion {Bα | α ∈ λ}. Any component of X \ B α
159
Let p ∈ C ∩ Bα , and let U (p) be an open neighbourhood of p in Bα+1 . The closure of
Bα is a subset of open bounded set Bα+1 so C ∩ Bα+1 is an open subset of Bα+1 . The
Suslin number of Bα+1 , s(βα+1 ) = β, is absolutely less than λ, the length of exhaustion.
α0 , and we have at most α0 many unbounded components. Assume the number of bounded
number δ < α1 such that C ⊂ Bδ . So there is a bounded set Bα1 such that all components
of X \ Bα1 are unbounded. The number of components cannot exceed the Suslin number of
the Bα so only α many of them cover the space X. For any α such that α1 < α < λ, X \ Bα
has at most α many unbounded components and this shows that any node of the υ-tree of
assigns the cardinality of the T (δ) to δ. This function has to be constant on a tail [β0 , λ) so
we can find a bonded connected open set Bβ0 such that any node of ΥB (X) has only one
K ∪(∪ni=1 Ui ), where the Ui ’s are mutually disjoint non-Lindelöf connected open submanifolds
of M .
Proof. Theorem 5.5.15 guarantees that any ω-bounded manifold has a canonical of open
Lindelöf connected subspaces which is the same as an exhaustion of the length ω1 . This
disjoint submanifolds of M .
160
Appendices
161
Appendix A
Definition A.1.2. A poset P which satisfies the following condition is called simply ordered,
or order preserving if and only x ≤ y implies f (x) ≤ f (y). An isotonic bijection with an
162
Definition A.1.4. An upper bound (lower bound) for subset X of a poset P is an element
greater (smaller ) than or equal to all elements of X. If U (X)(L(X)) is the set of all upper
bounds (lower bounds) of X, then p ∈ U (X)(q ∈ L(X)) which is smaller (larger) than all
elements of X is called,l.u.b, least upper bound (g.l.b, greatest lower bound) of X and we
Definition A.1.5. A poset L is called a lattice if and only if any pair {x, y} have l.u.b and
W V
g.l.b and we show them by x y and x y respectively. If any subset of the lattice L has
Definition A.1.6. A poset D is called a directed set if and only if any pair {x, y} of
Definition A.1.7. A subset Q of a poset P is cofinal if and only if for any p ∈ P there is
q ∈ Q such that p ≤ q.
(2X , ⊆) → (2X , ⊆) is an order preserving function which satisfies the following conditions:
W W
• cl(A ∪ B) = cl(A) ∪ cl(B) or equivalently cl(A B) = cl(A) cl(B).
• ∅, X ∈ F IX(cl)
• cl2 = cl
V
Definition A.1.9. A topological space X is connected if and only if F IX(cl) τ = {∅, X}.
Definition A.1.11. A closed basis for topological space (X, cl) is a set B ⊆ F IX such that
163
Definition A.1.12. A line is a totally linear set (L, ≤)with a topology τ such that :
• L is connected.
Definition A.1.13. A topological space (X, τ ) is called separable if and only if there is
Definition A.1.15. [61] A topological space (X, τ ) has the Suslin property if and only if
τ contains a countable family of mutually disjoint sets but any uncountable subfamily of τ
Definition A.2.1. Let (X, ≤, τ ) be an ordered set with a topology on it. We say the topology
is order compatible if and only if for each pair (x, y) of points of X that x y there are
for all z ∈ V .
Definition A.2.2. Coarsest topology on a poset (P, ≤) which is compatible with the order
The set of all subsets of X which has one of the following forms is a closed basis for
the order topology on X. L(S), U (S) and E(S) where L(S) = {x|x ≤ y for some y ∈
S}, U (S) = {x|x ≥ y for some y ∈ S}, and E(S) = L(S) ∩ U (S).
164
A.2.1 Topology and Convergence
Definition A.2.3. A net is a function from a directed set D into a set X,i.e, n : D → X.
0 0
Definition A.2.5. Consider a set X and let N(D, X) = {h : D → X|h is a function and D ⊆
• L of constant functions of N are constant, i.e., L(n) = x where n(d) = x for all
d ∈ D.
• If n̂ ∈ N(D, N(D, X)), then there are f, g : D → D such that L(nof ) = L2 (n̂), where
n ∈ N(g(D), X).
165
Appendix B
Definition B.1.1. If {Si | i ∈ I}is a family of sets the following are called De Morgan’s
laws:
so B c ⊂ Ac .
Definition B.1.2. Let S be a family of subsets of a set S. The dual family S ∗ associated
166
B.2 Ideals and Filters
1. If A ∈ I and B ⊆ A then B ∈ I.
If X ∈
/ I then I is called proper ideal.
1. If A ∈ I and A ⊆ B then B ∈ F.
If ∅ ∈
/ F then I is called proper filter.
Definition B.2.3. A filter F on a set X is called an ultrafilter if and only if for every
S ⊂ X either S ∈ F or X \ S ∈ F.
Definition B.2.4. A filter F on a set X is called uniform if and only if for every two
ideal.
filter.
167
B.3 Trees
Definition B.3.1. A tree is a partially ordered set (T, ≤) such that for every t ∈ T , the
Notation B.3.2. If the order on the tree (T, ≤) is known from the context, then often we
that t0 ≤ t for all t ∈ T , then t0 is called the root of the tree and the tree is called rooted
tree.
Definition B.3.3. The height of a node t in a tree T is the order type of t̂ = {s ∈ T | s < t}
by ht(T ).
Definition B.3.5. For an ordinal number α, the αth level of a tree T is {t ∈ T | ht(t) = α}
Definition B.3.9. A branch b of a tree T is called cofinal if for every ordinal number α,
elements of T .
168
Every tree T of height ω1 which does not have uncountable chain or anti chain is called the
Suslin tree. The assertion that there is no Suslin tree is called the Suslin Hypothesis (SH).
169
Appendix C
Definition C.1.1. A direct system {Xα , παβ , D} of topological spaces consists of a family
D and α ≤ β} of continuous functions such that πβγ ◦ παβ = παγ for α ≤ β ≤ γ and παα = id
for all α ∈ D.
Q
Definition C.1.2. Let X = α∈D Xα . If x ∈ Xα and y ∈ Xβ , then declare x ∼ y if and
only if there is a γ ∈ D such that α ≤ γ, β ≤ γ, and παγ (x) = πβγ (y). The quotient space
Q
Xα
α∈D
∼ is called the direct limit of the direct system {Xα , παβ , D}.
Definition C.1.3. Let X be a topological space and X = ∪α∈I Xα . We say that X has the
170
weak topology if U is open (closed) in X if and only if U ∩ Xα is open (closed) in Xα for
all α ∈ I.
If D in Definition C.1.1 is an ordinal Γ and παβ is inclusion for every α, β ∈ Γ, then the
inverse system is called a tower. We are specifically interested in the case when Γ = ω1 .
Q
αP
Note that a function f : α∈D∼ → P is continuous if and only if f ◦ P is continuous, where
Q
Q Pα
P : α∈D Pα → α∈D ∼ is the quotient map. Note that P ◦ f = id, so f is continuous. To
Q
Pα
see that the inverse of f is continuous consider an open set U ⊂ P , f −1 (U ) ⊂ α∈ω1
∼ is
open since f −1 (U )∩Pα is open for all α ∈ ω1 . So every long pipe is a tower and consequently
a direct limit [50]. For more details about direct limits and direct systems see [11], [64], [9]
or [25]. So we have:
Lemma C.1.4. Let P = ∪α<ω1 Pα be a pseudo-product, then {P, idβα , ω1 } is a direct system
and P = lim Pα .
−→
Definition C.2.1. A direct system {Gα , παβ , D} of abelian groups consists of a family {Gα |
β}, of group homomorphisms such that fβγ ◦ fαβ = fαγ for α ≤ β ≤ γ and fαα = id for all
α ∈ D.
Definition C.2.2. The direct limit of a direct system {Gα , παβ , D} of abelian groups is the
⊕α∈D Gα
quotient group <S> , where S = {xα − fαβ (xα ) | α, β ∈ D, α ≤ β and xα ∈ Gα }.
Theorem C.2.3. [43] The direct limit of a direct system of groups exists.
For more details about direct limit see [32], [12] or [56].
171
Bibliography
[2] Jeremy Avigad, Methodology and metaphysics in the development of Dedekind’s theory
of ideals, The architecture of modern mathematics, Oxford Univ. Press, Oxford, 2006,
[3] Mathieu Baillif and Alexandre Gabard, Manifolds: Hausdorffness versus homogene-
ity, Proc. Amer. Math. Soc. 136 (2008), no. 3, 1105–1111 (electronic). MR 2361887
(2009d:57046)
[4] J. E. Baumgartner and K. Prikry, Singular cardinals and the generalized continuum
hypothesis, Amer. Math. Monthly 84 (1977), no. 2, 108–113. MR 0429563 (55 #2575)
[5] Garrett Birkhoff, Lattice theory, third ed., American Mathematical Society Colloquium
598630 (82a:06001)
172
[7] Edward M. Brown and Robert Messer, The classification of two-dimensional manifolds,
[8] Morton Brown, The monotone union of open n-cells is an open n-cell, Proc. Amer.
[9] Charles O. Christenson and William L. Voxman, Aspects of topology, second ed., BCS
[10] Sheldon Davis W., Topology, Walter Rudin Students in Advanced Mathematics, Tata
[11] James Dugundji, Topology, Allyn and Bacon Inc., Boston, Mass., 1966. MR 0193606
(33 #1824)
[12] Samuel Eilenberg and Norman Steenrod, Foundations of algebraic topology, Princeton
[13] Ryszard Engelking, General topology, second ed., Sigma Series in Pure Mathematics,
vol. 6, Heldermann Verlag, Berlin, 1989, Translated from the Polish by the author. MR
1039321 (91c:54001)
Verlag, Berlin, 1984, Geometric chapters, Translated from the Russian by A. Iacob,
[15] Jean Gallier and Dianna Xu, A guide to the classification theorem for compact surfaces,
[16] Paul Gartside, David Gauld, and Sina Greenwood, Homogeneous and inhomoge-
neous manifolds, Proc. Amer. Math. Soc. 136 (2008), no. 9, 3363–3373. MR 2407104
(2009e:54055)
173
[17] D. B. Gauld, Topological properties of manifolds, Amer. Math. Monthly 81 (1974),
general topology and applications (Madison, WI, 1991), Ann. New York Acad. Sci.,
vol. 704, New York Acad. Sci., New York, 1993, pp. 142–149. MR 1277851 (95a:57022)
[19] , Manifolds at and beyond the limit of metrisability, Proceedings of the Second
Galway Topology Colloquium at Oxford (1998), Topol. Atlas, North Bay, ON, 1998,
2817293 (2012g:37083)
[22] Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University
[24] Russell A. Gordon, The integrals of Lebesgue, Denjoy, Perron, and Henstock, Graduate
MR 1288751 (95m:26010)
[25] Brayton Gray, Homotopy theory, Academic Press [Harcourt Brace Jovanovich Pub-
lishers], New York, 1975, An introduction to algebraic topology, Pure and Applied
174
[26] Victor Guillemin and Alan Pollack, Differential topology, AMS Chelsea Publishing,
[27] André Haefliger and Georges Reeb, Variétés (non séparées) à une dimension et struc-
(19,671c)
[29] A. Hajnal and I. Juhász, On hereditarily α-Lindelöf and hereditarily α-separable spaces,
Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 11 (1968), 115–124. MR 0240779 (39
#2124)
[31] Klaas Pieter Hart, Jun-iti Nagata, and Jerry E. Vaughan (eds.), Encyclopedia of
(2005d:54001)
[32] Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR
1867354 (2002k:55001)
[33] John G. Hocking and Gail S. Young, Topology, second ed., Dover Publications Inc.,
[34] Norman R. Howes, Modern analysis and topology, Universitext, Springer-Verlag, New
175
[35] Sze-tsen Hu, Boundedness in a topological space, J. Math. Pures Appl. (9) 28 (1949),
(2000g:00032)
Berlin, 2003, The third millennium edition, revised and expanded. MR 1940513
(2004g:03071)
[39] I. Juhász, K. Kunen, and M. E. Rudin, Two more hereditarily separable non-Lindelöf
[40] John L. Kelley, General topology, Springer-Verlag, New York, 1975, Reprint of the 1955
edition [Van Nostrand, Toronto, Ont.], Graduate Texts in Mathematics, No. 27. MR
[41] Kenneth Kunen, Set theory, Studies in Logic (London), vol. 34, College Publications,
[42] Kenneth Kunen and Jerry E. Vaughan (eds.), Handbook of set-theoretic topology,
[43] Serge Lang, Algebra, third ed., Graduate Texts in Mathematics, vol. 211, Springer-
[44] John M. Lee, Introduction to topological manifolds, second ed., Graduate Texts in
176
[45] S. Mrówka, On completely regular spaces, Fund. Math. 41 (1954), 105–106. MR 0063650
(16,157b)
Institute of Technology, Fall, vol. 1961, Princeton University Press, Princeton, N.J.,
[47] , Topology: a first course, Prentice-Hall Inc., Englewood Cliffs, N.J., 1975. MR
[48] Sam B. Nadler, Jr., Dimension theory: an introduction with exercises, Aporta-
[49] Jun-iti Nagata, Modern general topology, second ed., North-Holland Mathemati-
cal Library, vol. 33, North-Holland Publishing Co., Amsterdam, 1985. MR 831659
(87g:54003)
[50] Peter Nyikos (ed.), Theory of non-metrizable manifolds in the hand book of set-theoretic
[51] Peter Nyikos, The Cantor tree and the Fréchet-Urysohn property, Papers on general
topology and related category theory and topological algebra (New York, 1985/1987),
Ann. New York Acad. Sci., vol. 552, New York Acad. Sci., New York, 1989, pp. 109–123.
MR 1020779 (90j:54029)
[52] Peter J. Nyikos, Order-theoretic base axioms, Surveys in general topology, Academic
177
[54] Warren Page, Topological uniform structures, Dover Publications Inc., New York, 1988,
[55] A. R. Pears, Dimension theory of general spaces, Cambridge University Press, Cam-
vol. 81, American Mathematical Society, Providence, RI, 2007, Translated from the
Topology and Applications (Oxford, 1989), vol. 44, 1992, pp. 331–340. MR 1173270
(93i:54011)
[58] Ian Richards, On the classification of noncompact surfaces, Trans. Amer. Math. Soc.
[59] Judith Roitman, Introduction to modern set theory, Pure and Applied Mathematics
(New York), John Wiley & Sons Inc., New York, 1990, A Wiley-Interscience Publica-
[61] Mary Ellen Rudin, Souslin’s conjecture, Amer. Math. Monthly 76 (1969), 1113–1119.
[63] Mary Ellen Rudin and Phillip Zenor, A perfectly normal nonmetrizable manifold, Hous-
178
[64] Katsuro Sakai, Geometric aspects of general topology, Springer monographs in mathe-
[65] Erhard Scholz, The concept of manifold, 1850–1950, History of topology, North-
1970008
[67] George F. Simmons, Introduction to topology and modern analysis, McGraw-Hill Book
[69] Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in topology, Dover
Publications Inc., Mineola, NY, 1995, Reprint of the second (1978) edition. MR 1382863
(96k:54001)
[70] M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math.
[71] Gabor Toth, Glimpses of algebra and geometry, second ed., Undergraduate Texts in
(2003e:00006)
[72] Vladimir Uspenskij, A short proof of a theorem of Morton Brown on chains of cells,
Topology Proc. 29 (2005), no. 1, 385–388, Spring Topology and Dynamical Systems
179
[73] J. E. Vaughan, Classroom Notes: Lexicographic Products and Perfectly Normal Spaces,
[74] L. E. Ward, Jr., Partially ordered topological spaces, Proc. Amer. Math. Soc. 5 (1954),
[75] Albert Wilansky, Between T1 and T2 , Amer. Math. Monthly 74 (1967), 261–266. MR
[76] , Topology for analysis, Robert E. Krieger Publishing Co. Inc., Melbourne, FL,
[77] Raymond Louis Wilder, Topology of manifolds, American Mathematical Society Collo-
quium Publications, vol. 32, American Mathematical Society, Providence, R.I., 1979,
[78] Stephen Willard, General topology, Dover Publications Inc., Mineola, NY, 2004,
[79] E. S. Wolk, Order-compatible topologies on a partially ordered set, Proc. Amer. Math.
[80] , The topology of a partially well ordered set, Fund. Math. 62 (1968), 255–264.
180
Index
α-adjacent, 64 Chain, 15
H-submanifold, 75 Chart, 37
B-open, 63 Cub, 3
Dense, 15
Almost disjoint, 128 Down set, 115
Apart, 64
Euclidean plane with spikes, 92
Arens-Fort space, 127
Eventually constant, 117
Atlas, 39
Filter, 167
Bounded above, 118
Filter base, 62
Bounded below, 118
181
Ideal, 167 Order compatible, 117
Preorder, 115
Left separated, 139
Proper universe, 156
Lexicographic order, 11
Pseudo-compact, 88
Line with ℵ0 origins, 106
Pseudo-product, 145
Lob space, 118
182
Ultrafilter, 167 Upper semicontinuous, 116
183