Topological Ideas BINMORE PDF
Topological Ideas BINMORE PDF
Topological Ideas BINMORE PDF
A STRAIGHTFORWARD INTRODUCTION
BOOK 2
TOPOLOGICAL IDEAS
THE FOUNDATIONS OF
ANALYSIS:
A STRAIGHTFORWARD
INTRODUCTION
BOOK 2
TOPOLOGICAL IDEAS
K. G. BINMORE
Professor of Mathematics
London School of Economics
and Political Science
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org
Information on this title: www.cambridge.org/9780521233507
A catalogue record for this publication is available from the British Library
Introduction
1 Proofs
2 Logic (I)
3 Logic (11)
4 Set operations
5 Relations
6 Functions
7 Real numbers (I)
8 Principle of induction
9 Real numbers (11)
lOt Construction of the number systems
llt Number theory
12 Cardinality
13 Distance
13.1 The space IR"
13.3 Length and angle in !R n 4
13.5 Some inequalities 5
13.9 Modulus 7
13.11 Distance 7
13.14 Euclidean geometry and 1R n 8
V
vi Contents
16 Continuity 39
16.1 In trod ucti on 39
16.2 Continuous functions 39
16.7 The continuity of algebraic operations 41
16.13 Rational functions 44
16.17t Complex-valued functions 46
17 Connected sets 47
17.1 Introduction 47
17.2 Connected sets 47
17.6 Connected sets in IR 1 49
17.8 Continuity and connected sets 50
17.15 Curves 52
17.18 Pathwise connected sets 53
17.21t Components 56
17.25t Structure of open sets in IR" 57
18 Cluster points 60
18.1 Cluster points 60
18.4t Properties of cluster points 62
18.9t The Cantor set 63
tThis material is more advanced than the remaining material and can be omitted at
a first reading.
Contents vii
21 Topology 89
21.1 Topological equivalence 89
21.2 Maps 90
21.3 Homeomorphisms between intervals 91
21.4 Circles and spheres 92
21.6 Continuous functions and open sets 94
21.8 Topologies 95
21.9t Relative topologies 95
21.15t Introduction to topological spaces 100
21.18t Product topologies 102
25 Sequences 169
25.1 Introduction 169
25.2 Convergence of sequences 170
25.7 Convergence of functions and sequences 172
25.12 Sequences and closure 175
25.18 Subsequences 176
25.23 Sequences and compactness 179
26 Oscillation 181
26.1 Divergence 181
26.2 Limit points 182
26.5t Oscillating functions 184
26.11 t Lim sup and lim inf 186
27 Completeness 190
27.1 Cauchy sequences 190
27.2 Completeness 190
27.8 Some complete spaces 193
27.13t Incomplete spaces 195
27.16t Completion of metric spaces 197
27.18t Completeness and the continuum axiom 199
28 Series 201
28.1 Convergence of series 201
28.7 Absolute convergence 204
28.8 Power series 204
28.11 t Uniform convergence of series 208
28.15t Series in function spaces 209
28.19t Continuous operators 212
28.26t Applications to power series 215
Notation 245
Index 246
The diagram on p. x illustrates the logical structure ofthe books. Broken lines
enclosing a chapter heading indicate more advanced material which can be
omitted at a first reading. The second book depends only to a limited extent on
the first. The broken arrows indicate the extent of this dependence. It will be
apparent that those with some previous knowledge of elementary abstract
algebra will be in a position to tackle the second book without necessarily
having read the first.
Book I
Logic, Sets
and Numbers
r-----------,
19. Real 110. Construction 1
I numbers (11) 1of number systemsl
L---T---
1
L-----1-----.l
I r----- ------,
I 1 11. Number I
I l theory :
I L----------_.J
..---- ----,
___ _)17. Connected : 30. Separation I
L----
1 1 sets : in IR" l
I L---- ---- L--------....J
I
I 18. Cluster
points Book2
I
r----1--~~-----r----------~--~ Topological
I 20. Compact Ideas
:sets (11)
L----
l
__ ...J
L----r--- J
26. Oscillation
xi
xii Introduction
been indicated by the use of a larger typeface than that used for the more
advanced material (which has been further distinguished by the use of the
symbol t). There can be few institutions, however, with sufficient teaching
time available to allow all the material theoretically accessible to first year
students actually to be taught in their first year. Most students will
therefore encounter the bulk of the work presented in this volume in their
second or later years of study.
Those reading the book independently of a taught course would be wise
to leave the more advanced sections (smaller typeface and marked with a t)
for a second reading. This applies also to those who read the book during
the long vacation separating their first and second years at an institute of
higher education. Note, incidentally, that the exercises are intended as an
integral part of the text. In general there is little point in seeking to read a
mathematics book unless one simultaneously attempts a substantial num-
ber of the exercises given.
This is the second of two books with the common umbrella title
Foundations of Analysis: A Straightforward Introduction. The first of these
two books, subtitled Logic, Sets and Numbers covers the set theoretic and
algebraic foundations of the subject. But those with some knowledge of
elementary abstract algebra will find that Topological Ideas can be read
without the need for a preliminary reading of Logic, Sets and Numbers
(although I hope that most readers will think it worthwhile to acquire
both).
A suitable preparation for both books is the author's introductory text,
Mathematical Analysis: A Straightforward Approach. There is a small over-
lap in content between this introductory book and Topological Ideas in
order that the latter work may be read without reference to the former.
Finally, I would like to express my gratitude to Mimi Bell for typing the
manuscript with such indefatigable patience. My thanks also go to the
students of L.S.E. on whom I have experimented with various types of
exposition over the years. I have always found them to be a lively and
appreciative audience and this book owes a good deal to their
contributions.
in which x 1 , x 2 , ... , x" are real numbers. We usually use a single symbol x
for the n-tuple and write
The real numbers x 1 , x 2 , ... , x" are called the co-ordinates or the components
of x.
It is often convenient to refer to an object x in IR" as a vector. When doing
so, ordinary real numbers are called scalars. If x = (x 1 , x 2 , ... , x") and
y=(y 1 , y 2 , ••• , Yn) are vectors and ex is a scalar, we define 'vector addition'
and 'scalar multiplication' by
x+y=(xt +yl' x2+Y2····· xn+Yn)
CXX = (cxx 1 , CXX 2 , ••• , CXXn).
X2 --------., x
I
I
I
I
I
I
XI
x as a point x as an arrow
I
2 Distance
x+y
I
I
I
I
I
I
I
I
/
I
I
Y1
The parallelogram law is the reason that the navigators of small boats
draw little parallelograms all over their charts. Suppose a boat is at 0 and
the navigator wishes to reach point P. Assuming that the boat can proceed
at 10 knots in any direction and that the tide is moving at 5 knots in a
south-easterly direction, what course should be set?
N
,,~
I '
I ',
I ',
''
'~ t(x + y)
,."'/P
' "' II
/x+y
I
/ /
I
I I
I /
~---------,~~~~----------~E
I
I I
I I
5 I I
~· I I
~ I
I
I
I
I
X I
~I
tx
The vector x represents that path of the boat if it drifted on the tide for an
hour (distances measured in nautical miles). The vector y represents the
path of the boat if there were no tide and it sailed the course indicated for
Distance 3
an hour. The vector x + y represents the path of the boat (over the sea bed)
if both influences act together. The scalar t is the time it will take to reach P.
---------- I
I
I
I
I
I
I
I
I
I
I
Multiplication is therefore something which does not work very well with
vectors. Division is almost always meaningless.
y
y-x \ - - - - - - - - - - - - - - -
\
\
a \
\
\
\
\
0 X
Rewriting the cosine rule in terms of the vectors introduced in the right-
Distance 5
13.4 Example Find the lengths of and the cosine of the angle between
the vectors x = (1, 2, 3) and y = (2, 0, 5) in IR 3 .
We have that
It follows that the quadratic equation llxii 2 -21X(x, y)+1X 2 IIYII 2 has at most
one real root (§10.10). Hence 'b 2 -4ac;;;;O'- i.e.
4(x, y) 2 -411xii 2 IIYII 2 ;;;;o.
x+y
llx+yll~llxll+ IIYII-
Proof
llx+yll 2 =(x+y, x+y)
=llxll 2 +2(x, y)+IIYII 2
~llxll +211xii.IIYII+IIYII
2 2
(theorem 13.6)
= (llxll + IIYII) 2 •
13.9 Modulus
The modulus lxl of a real number x coincides with the Euclidean
norm of x thought of as a vector in IR1 1 . We have that
13.11 Distance
The distance d(x, y) between two vectors x and y in IR" is defined
by
d(x, y)=llx-yll-
In interpreting this idea in IR", it is better to think of x and y as the points at
the end of the arrows rather than the arrows themselves.
x-y
0
8 Distance
13.12 Examples
(i) The distance between the vectors x = (1, 2, 3) and y = (2, 0, 5) in IR1 3 is
lly-xJI ={(2-1) 2 + (0-2) 2 + (5 -W} 112 =3.
(ii) The distance between 3 and 7 (regarded as vectors in IR1 1 ) is
13-71=1-41=4.
0 3 7
13.13 Exercise
(1) Let x = (0, 1, 0) and y = (1, 1, 0) be vectors in IR1 3 . Calculate the quantities
(i) x+y (ii) x-y (iii) 2x
(iv) llxll (v) llx-yll (vi) (x, y).
What is the length of the vector x? What are the distance and the angle
between x and y?
(2) Calculate the moduli of the following real and complex numbers:
(i) -3 (ii) 0 (iii) 4 (iv) 3 + 4i (v) 4- 3i (vi) i.
(3) If a and b are any real numbers, prove that Jal < b if and only if
-b<a<b. If Jal <b for all b>O, prove that a=O.
(4) Let x and y be elements of IRl". Prove that
d(x, y) ~I llxii-IIYII J.
[Hint: Use question 3.]
(5) Let x and y be elements of IRl". Prove that
I a+ (j(b- a)
I
I
I I I
I I I
I I I
I 1 _ _.J3(b- a)
I
! ____..{'-- - -
:.----- v-a
ray through b
b
b a
from a
line segment
through b
a joining a and b
Some authors do not insist that the endpoints of a line segment belong to
the line segment. Where it matters whether or not the endpoints of a line
segment L belong to L we shall therefore sometimes stress the fact that they
do by calling L a closed line segment.
We have already discussed how length and angle are introduced into IR"
via the norm and the inner product of the space. Two vectors x and y are
said to be orthogonal if and only if
(x, y)=O.
Like most important ideas in mathematics, the word orthogonal has
numerous synonyms of which some are perpendicular, normal and 'at right
angles'.
l
IIYII
X
j
Distance 11
circle in IR 2
a b
I
12 Distance
Both balls and boxes are examples of convex sets. A set Sin !Rn is convex
if and only if, whenever xES and yES, it is true that exx+fJyES provided
that ex~ 0, f3 ~ 0 and ex+ f3 = 1. In geometric terms, this means that, whenever
two points are in the set, so is the line segment which joins them .
••convex sets
non-convex sets
A plane in IR 3 through the point ~ with normal u :f. 0 is a set of the form
P={x: (x-~,u)=O}.
piece of
hyperplane
in IR 3
Distance 13
hyperplane
is a line
13.16 Exercise
(1) Let x and y be elements of IR". Prove that
llx +YII 2 + llx -yll 2 =211xll 2 +211YII 2 -
Interpret this result geometrically for n = 2 in terms of the diagonals of a
certain parallelogram.
(2) Let x and y be elements of IR". Prove that
llxii=IIYII <=>(x-y, x+y)=O.
Interpret this result geometrically in terms of a triangle inscribed in a
circle.
(3) Prove that there is a unique line through any two points in IR". Show
that, if two lines meet, then their intersection consists of a single point.
Prove that, in IR 2 , a hyperplane is the same thing as a line.
(4) The parallel postulate for Euclidean plane geometry asserts that given
any line I and any point P not on I, there exists a unique line through P
which does not meet I. Prove this for IR 2 •
(5) Let us say that a closed box S = 11 x 12 x ... x 1" in IR" is proper if none
14 Distance
of the intervals I k consists of just a single point. Prove that every open
ball B contains a proper closed box S and that every proper closed box
S contains an open ball.
(6) Prove that open balls, closed boxes, lines, half-lines and hyperplanes are
all convex sets in IR". Prove that hyperspheres are not convex.
t(7) Prove that the intersection of any collection of convex sets is convex. What
about unions?
t(8) A cone in~· is the union of a collection of rays. Prove that the intersection of
any collection of convex cones is a convex cone.
t(9) Taking for granted the truth of the assertion in the last paragraph of § 13.15
about hyperplanes separating ~· into distinct 'half-spaces', explain why a line
which enters a triangle in ~ 2 through one of its sides must leave the triangle
through one of the other sides (Pasch's theorem).
t(lO) A function f: ~·__,~·is linear if and only if, for each x and y in~· and all real
numbers IX and {3,
/(lXX + {Jy)= !Xj(x)+ {Jf(y).
Prove that, for each Sin~·,
S convex=f(S) convex.
t(ll) Prove that a function/: ~·-->~ 1 is linear if and only if there exists an ee~"
such thatf(x)= (x, e) for each xe~".
t(12) Anticipating the definition of§ 13.17, prove that a normed vector space X (with
real scalars) admits an inner product satisfying (i), (ii) and (iii) of§ 13.3 if and only if
2 2
llx + Yll 2 + llx -yll = 211xll 2 + 211YII
for each xe X and each ye X.
[Hint: Use exercises 13.16(1) and 13.13(5).]
(i) llxii~O
(ii) llxii=O<o>x=O
(iii) IIlXXII = I1XIIIxll
(iv) llx + Yll ~ llxll + IIYII (triangle inequality)
Distance 15
for all XE X, yE X and all scalars. (Here llxll denotes the image of x under the norm
function.)
The chief reason for giving the requirements for a normed vector space at this
stage is to provide a summary of the properties of IR" which will be important in the
next few chapters. Other normed vector spaces will be mentioned hardly at all. It
should be noted, however, that the properties of infinite-dimensional normed vector
spaces are often counter-intuitive. For example, a hyperplane in an infinite-
dimensional normed vector space does not, in general, split the space into two
separate half-spaces.
d(x,y)
or---~----~--------------~
X y
More exotic examples of metric spaces can be obtained by starting with any
normed vector space X and defining d: X x X ->IR by
d(x, y)=llx-yll·
16 Distance
But there are also many interesting metric spaces which have no vector space
structure at all. Since we have been discussing the fact that IR 2 (with the Euclidean
metric) is a model for Euclidean geometry (§ 13.14), we shall give PoincanYs model
for a non-Euclidean geometry as an example of such a metric space.
B
_,...- --- ...........
/
/
',
I
/ '\
\
\
I I
I I
c'I I
I
I I
'\,, A
I
I
I
I
I
I
I
\
\
\
', .....
13.21 Example Consider the point 3 and the set S = [0, 1] in IR. We
have that
d(3, S)=d(3, 1)=2.
d(3, S)
•
0 3
as required (§3.10).
It is important to take note of the fact that d(~, S) = 0 does not imply that
~ES.
13.23 Examples
(i) Consider the point 1 and the set S = (0, 1) in IR. For each e > 0, we can
find an xES such that x> 1-e.
X
1-e
Since 1- e < x < 1, d(1, x) <e. It follows from theorem 13.22 that
d(1, S)=O.
0 1
s
(ii) Consider the point 0 and the set S = { 1/n: nE N} in IR. Given any e > 0,
we can find an nE N such that n > 1/e (because N is unbounded above). But
then
d(O, 1/n)= 1/n<e
and hence
d(O, S)=O.
I I l I
0 5 4 3 2
..... \t !/. ~·
pointsors-
20 Distance
13.24 Exercise
( 1) Find d( e. S) for the following points eand sets S in IR.
(i) e= 1; s = (O, 2)
(ii) e=O; S=[1, 2]
(iii) e=t; S=N
(iv) e=O; S=(O, 1)
(v) e= 1; s = (2, 3)
(vi) e=2; S=(O, 1)u(3,4)
(vii) e=J2; S=O. [Hint: Use theorem 9.20.]
(2) Find d(~. S) for the following points ~ and sets S in IR 2 •
(i) ~=(1, 1); S={(x,y):O<x<l,O<y<1}
(ii) ~=(2, 1); S={(x,y):x 2 +i~1}
(iii) ~=(0,0); S={(x,y): 1<x 2 +y 2 ~2}.
(3) Let S be a non-empty set of real numbers which is bounded above.
Prove that
d(sup S, S)=O.
(4) Let ~be a point in a metric space .X and let Sand T be non-empty sets
in .X. Prove that
(i) ~eS => d(~. S)=O
(ii) S c T => d(~. S) ~ d(~. T)
(iii) d(~. SuT) = min {d(~ S), d(~. T)}.
What can be said of d(~. Sn T) in terms of d(~. S) and d(~. T)?
(5) Let~ and 11 be points in a metric space .X and letS be a non-empty set in .i.
Prove that
d(~. S)~d(~. TJ)+d(TJ, S).
(6) Let S 1 , S 2 , .•• , Sn be non-empty sets of real numbers. Write
s = sl X s2 X ..• X sn and suppose that X= (xl, X2, ... ' Xn)eiRn. Prove that
d(x, S) = 0 if and only if
14.1 Introduction
In the next two chapters we prove a number of theorems about
the properties of sets in metric spaces. Most of these theorems are true in
any metric space ·whatsoever. Others are true only for the metric space IR ".
However, with just an occasional exception, all examples will be of sets in
IR". A systematic attempt to give examples from a wider range of spaces at
this stage would submerge the essential ideas in a sea of technicalities.
We begin by discussing open and closed sets. These generalise the idea of
open and closed intervals which we met in §7.13. The intervals (a, b), (a, oo),
(- oo, b) are open and the intervals [a, b], [a, oo ), (- oo, b] are closed. (The
sets (/) and IR count both as open and as closed intervals.) The difference
between open and closed intervals lies in the treatment of their endpoints.
In the general case, we shall have to talk about the boundary points of a set
rather than the end points of an interval. Our first priority will therefore be
to give a precise mathematical definition of a boundary point of a set Sin a
metric space X.
21
22 Open and closed sets (I)
not boundary
points
z
y
~
~{jffj
'-------+-X
X y
14.4 Theorem LetS be a set in a metric space X and let ~be a point in
X. Then ~ is a boundary point of S if and only if each open ball B with
centre ~ contains a point of s and a point of es.
Open and closed sets (I) 23
point of S
Proof The fact that each open ball B with centre ~ and radius
r>O contains a point of Sand a point of es is equivalent to the assertion
that, for each r>O, there exists xES and yEeS such that d(~, x)<r and
d(~, y) < r. But, from theorem 13.22, we know that this is the same as saying
that d(~, S) = 0 and d(~, eS) = 0 - i.e. ~ is a boundary point of S and of eS.
14.5 Examples
(i) The boundary of the set F in IR 2 defined by
F={(x, y): O~y~l}
is the set
oF={(x, y): y=O or y= 1}.
Note that every boundary point ofF belongs to F- i.e. oFcF.
eF oF
ec
0 d/\~
• ••••••! !• !• •I
4 3 2
14.6 Exercise
( 1) Sketch the following sets in IR1 2 and determine their boundary points
(i) P={(x,y):O~x~1 and0<y<1}
(ii) Q={(x, y): x< y}
(iii) R={(x,y):y~x 2 }
(iv) S={(1, 1), (2, 2), (3, 3)}.
(2) Sketch the following sets in IR1 1 and determine their boundary points.
(i) (0, 1) (ii) [0, 1] (iii) (0, 1] (iv) [0, 1)
(v) (0, oo) (vi) [0, oo) (vii) N (viii) Q.
t(3) LetS be a .finite set in IR". Prove that aS=S.
(Note that this need not be true in a general metric space. For example, if X= S.)
t(4) Show that the open ball Bin IR" with centre I; and radius r>O has boundary
aB= {x: d(x, l;)=r}.
(Note that this need not be true in a general metric space. For example, if X is
the metric subs pace of IR 1 consisting simply of the two points ~ and ~ + r.)
t(5) Find the boundary points of the set S in IR 2 defined by
S={(1/m, 1/n): mEN and nEN}.
t(6) Let A and B be sets in a metric space :r. Prove that a(AuB)caAuaB. [Hint:
Use theorem 14.4.] Deduce that a(AnB)caAnaB.
As with most city plots of land, sets are usually neither open nor closed.
Proof The theorem follows immediately from the fact that S and
es have the same boundary.
es
14.10 Theorem A set F in a metric space X is closed if and only if, for
each XE X,
d(x, F)=O => xEF.
Proof (i) Suppose that d(x, F)=O => xEF. If I; is a boundary point
ofF, then d(l;, F)= 0 and d(l;, eF)= 0. Since d(l;, F)= 0, it follows that I;E F.
Thus F contains its boundary points and hence is closed.
(ii) Suppose that F is closed. If x~F, then XE eF and hence d(x, eF)= 0. If
it is also true that d(x, F)= 0, then x is a boundary point of F and so, since
Open and closed sets (I) 27
-----
a:
/
.... '
I
/ ''
I
I
I
I
~~~/
/
/
/
I
I
/
I /
\
Proof (i) The set (/) is open because o(/) = (/) c e(/) = X. The set X is
open because oX=(/)c eX=(/).
(ii) Let ~ES. We shall use theorem 14.12 and prove that S is open by
finding an open ball B with centre ~ such that B c S.
Since ~ES, there exists a GEW such that ~EG. Since G is open we can
28 Open and closed sets (/)
find an open ball B with centre ~ such that Be G. But G e S and so the
result follows.
(iii) Let ~ET. We shall use theorem 14.12 and prove that T is open by
finding an open ball B with centre ~ such that Be T.
Since ~ET, we have that ~EGl' ~EG 2 , •.• , ~EGk. Because the sets G1 , G2 ,
... , Gk are all open, we can find open balls B 1 , B 2 , Bk each with centre~
••• ,
such that
BieGi (j=1, 2, ... , k).
One of the open balls B 1 , B 2 , •.• , Bk has minimum radius. Let this open ball
be B. Then Be Bie Gi (j = 1, 2, ... , k) and hence
k
BeT=~ Gi.
es=e(n F)=u
Fe'il' Fe'il'
eF
Since this is true for every s>O, it follows that (y-~, u)=O and so yEH.
Thus H is closed.
14.17 Exercise
(1) Determine which of the sets of exercise 14.6(1) and (2) are open and
which are closed.
(2) Prove that the only sets in~· which are both open and closed are 0 and
~·.
(3) Let S be the set of exercise 14.6(5). Find a point ~f!S such that d(~, S) = 0.
Deduce that S is not closed.
(4) Prove that open balls in a metric space X as defined in § 14.3 are open
sets as defined in § 14. 7.
(5) Prove that a set consisting of a single point in a metric space X is
closed. Deduce that any finite set in a metric space X is closed.
(6) Let Sl, S2, 0 s. be closed sets in ~ 1 • Prove that S=Sl X s2 X
0 0, X s.
0 0 0
oE
S={(x,y):O~y<1}.
This set is neither open nor closed. Its interior S is the set
S={(x, y): 0< y< 1}.
31
32 Open and closed sets (I/)
15.3 Exercise
(1) Prove that, for any set E in a metric space X,
(i) E is open <=>E=E
(ii) E is closed <=> E =E.
(2) Determine the interior and closure of each of the sets of exercises 14.6(1)
and (2).
(3) Prove that, for any set E in a metric space X,
(i) e(Ji)=eE (ii) e(E)=(e£) 0 •
[Hint: e(E)= e(Ene(8E)) and e(E)= e(Eu8E).]
(4) Let H be a hyperplane in IR". Prove that
(i) 8H=H (ii) fl=H (iii) H=0.
[Hint: We have seen that H is closed (theorem 14.16). Hence 8H c H. If
f,E H and H has normal u, show that d(f,, f.+ tu)= iti·iiull- Deduce that
HcaH.]
(5) LetS= {x: <x, u) <c} and T= {x: <x, u) ~c} (where u #0) be half-spaces
in IR". Let H be the hyperplane H = {x: <x, u) =c}. Prove that
(i) as= H (ii) S= T (iii) S=S
(iv) 8T= H (v) f= T (vi) T= S.
[Hint: For (iv), (v) and (vi), recall question (3).]
t(6) Let B1 ={x: d(~, x)<r} and B2 ={x: d(~, x)~r} (where r>O) be balls in IR".
Prove that
Proof Let xES. By theorem 15.5, d(x, S)=O. But SeT implies
d(x, S)'?;d(x, T). Hence d(x, T)=O. Thus xE T.
Since this is true for any c: > 0, we conclude that d(~, E)= 0 and hence ~E E by
theorem 15.5.
Now suppose that F is any closed set containing E. Since EcF, we have from
corollary 15.6 that E cF. But F is closed and therefore F = F (exercise 15.3(1 ii)). It
follows that E c F for each closed set F containing E. Thus E is the smallest closed
set containing E.
Thus any result about closures leads to a corresponding result about interiors. For
example,
15.9t Theorem Let E be a set in a metric space X. Then E is the largest open
set contained in E.
Proof Note first that E=e(eE) and hence is open because it is the
complement of a closed set. If G c E, then Gc E. If G is also open it follows that
34 Open and closed sets (Il)
G c E (because then G =G). This argument shows that E is the largest open set
contained in E.
15.1 Ot Exercise
(1) A flat (or affine set) F is the intersection of a collection of hyperplanes in IR".
Prove that
(i) F=F (ii) F=0.
Show that the same results hold if F is a half-line or a closed line segment.
(2) Let E be a set in a metric space X. Prove that xeE if and only if there exists an
open ball B with centre l; such that B c E.
(3) Let E be a set in a metric space X. Prove that aE is closed. [Hint: aE =En e(E).]
(4) Let E be a set in a metric space X. Prove that
I
I
' '
''\ /~ /
I
\
I
\
I
I
I
1
' ...... __ .... ,/ A andB
separated
I
''
A and B contiguous
To say that A and Bare contiguous, means that either the sets overlap or
else a boundary point of one set belongs to the other. Using the metaphor
of §14.7 which interprets sets as plots of land in a city, the owners of A and
B are neighbours.
15.12 Theorem Two sets A and B are contiguous if and only if there
exists a point in one of the sets which is at zero distance from the other.
15.13 Examples
(i) The intervals A=(O, 1) and B=[l, 2] in IR 1 are contiguous. We have
that d(l, A)=O. Alternatively one can note that
Ar.B= [0, l]n[l, 2] = {1} # (/).
The diagram illustrates the owner of set A walking from his house aE A to
visit his neighbour whose house is at bEB. Observe that this visit does not
involve crossing any point outside AuB.
.
~---
a
*-----------.
{
1 b
A B
36 Open and closed sets (IJ)
0 a b 2
A B
In formal terms
AnB=[O, 1]n(1, 2)=0
AnB=(O, 1)n[1, 2] =0.
Proof Suppose that AnB # (/). Then GnH => AnB # 0. Similarly,
AnB#(/) =
Gnfi#0.
15.16t Theorem Two sets A and B in a metric space X are separated if and
only if there exist disjoint (i.e. non-overlapping) open sets G and H such that A c G
and BcH.
Proof (i) Suppose that G and H are disjoint open sets for which A c G
and B c H. Then A and B are separated by theorems 15.14 and ~ 5.15.
(ii) Suppose that A and B are separated. Define the sets G and H by
G={x:d(x, A)<d(x, B)}
H={x:d(x, B)<d(x, A)}.
The sets G and H are obviously disjoint. We prove that G and H are open using
theorem 14.12. Let ~E G and write
r=t{d(~, B)-d(~, A)} >0.
Then the open ball with centre ~ and radius r > 0 lies entirely inside G. To prove
this, we suppose that d(~, x)<r. We then need to show that d(x, B)-d(x, A)>O.
Observe that
d(~, B)~d(~, x)+d(x, B)
-i.e. d(x, B);;;d(~, B)-d(~,
x).
Also d(x, A)~d(x, ~)+d(~, A).
Hence
d(x, B)-d(x, A);;;d(~, B)-2d(~, x)-d(~, A)
>d(~, B)-2r-d(~, A)
=0.
Thus XE G and so G is open. Similarly, H is open.
It remains to show that A c G and B c H. Since A and Bare separated, AnB = 0.
Hence, given any aEA, d(a, B)>O (theorem 15.12). Thus, for each aEA,
d(a, A)=O<d(a, B)
and hence AcG. Similarly, Be H.
38 Open and closed sets (II)
15.17 Exercise
(1) Decide which of the following pairs of sets in IR 2 are contiguous and
which are separated.
(i) A={(x,y):x>O};B={(x,y):x<O}
(ii) A= {(x, y): x > 0} ; B = {(x, y): y = 0 and x ~ 0}
(iii) A= {(x, y): x 2 + y 2 < 1} ; B = {(x, y): x 2 + y 2 > 0}
(iv) A= {(x, y): x>O and y~O}; B= {(x, y): x~O and y<O}
(v) A= {(x, y): x ~0 and y~O}; B= {(x, y): x<O and y<O}.
(2) Prove that two closed sets A and B in a metric space X are contiguous if
and only if they overlap.
(3) Suppose that A and Bare sets in a metric space X such that AuB= X.
If A and B are separated, prove that each set is both open and closed.
What does this imply about A and Bin the metric space !Rn?
16 CONTINUITY
16.1 Introduction
A child takes a lump of modelling clay and by moulding it and
pressing it, without ripping or tearing, shapes it into the figure of a man. We
say that the original shape is transformed 'continuously' into the final shape.
What is it that distinguishes a continuous transformation from any other?
Most people would agree that the essential feature of a continuous transfor-
mation is that pieces of clay which were 'next to each other' at the
beginning should still be 'next to each other' at the end. In this chapter, we
shall express this idea in a precise mathematical definition and explore some
of its immediate consequences.
39
40 Continuity
If f: S --+?j, then f(f - 1 (T)) = T for each Tc f(S) (exercise 6.4(5)). It follows
that an equivalent formulation of the definition is that f is continuous on S
if and only if, for each pair C and D of subsets off(S),
C and D separated= f- 1(C) and f- 1(D) separated.
Our first theorem records the unremarkable fact that, if one continuous
transformation is followed by another, then the result will be a continuous
transformation.
defines n real-valued functions f 1 : S -+IR ,/2 : S -+IR, ... ,f,: S -+IR. We call these
functions the component functions off and write
16.5 Theorem Let .'! be a metric space and let S c.'!. A func~ion
f: S -+IR" is continuous on the set S if and only if each of its component
functions is continuous on S.
is continuous on IR ".
traction, multiplication and division. But first we must prove that these
operations are themselves continuous.
We begin with a simple lemma.
16.8 Lemma Let X and ?J be metric spaces and let Se X. Thenf: S-+?J
is continuous on S provided that for each xES there exists a y > 0 and a
c > 0 such that
d(x, y) < y = d(f(x),f(y)) ;£ cd(x, y)
for each yES.
Proof Suppose that d(x, E)=O. Given any e>O, we shall prove
that there exists a yEE such that d(f(x),f(y))<e. Thus d(f(x),f(E))=O by
theorem 13.22.
Choose e0 = min {eC- 1 , y}. Then e0 > 0 and hence there exists yE E such
that d(x, y)<e 0 by theorem 13.22. But e0 ;i:y. It follows that
d(f(x), f(y)) ;£ cd(x, y) < ce 0 ;£ e as required.
16.9 Theorem Let a and b be real numbers and let L: IR" x IR"-+IR,
M: IR x IR -+IR and D: IR x (IR \ {0})-+IR be defined by
(i) L(x 1 , x 2 ) = ax 1 + bx 2
(ii) M(x 1 , x 2 )=x 1 x 2
(iii) D(xp x 2 ) = X 1 /x 2 •
Then L, M and D are continuous on their domains of definition.
Hence
Then
and
In particular,
(iii) We use lemma 16.8. If (xi> x 2 )EIR x!R \ {0}, then x 2 ;60 and we take
y=!lx 2 1. Assume that
Then
and
In particular,
I::- ~: I
xiyz-xixz+xixz-YiXzl
I XzYz
<2lx 2 l- 2 {lxil·l Yz -xzl + lxzi"IYi -xi I}
16.10 Corollary Let X be a metric space and letS eX. Ifji: S-+IR" and
f 2:
S -+IR" are continuous on the set S, then so is the function F:S -+IR"
44 Continuity
defined by
F(x) = af1 (x) + bf2 (x).
Proof This follows immediately from theorems 16.3 and 16.9 since
F=LO (f1 ,f2 ).
16.11 Corollary Let .'l be a metric space and let S c .'l. If f 1 : S -+lP! and
f 2 : S-+lP! are continuous on the set S, then so is the function F: S-+lP! defined
by
F(x) = f 1 (x)f2 (x).
16.12 Corollary Let .'l be a metric space and let Se .'l. Hf1 : S-+IP! and
f 2 : S-+IP! \
{0} are continuous on the set S, then so is the function F: S-+IP!
defined by
F(x)=f1 (x)/f 2 (x).
R(x)= ~i:;
is called a rational function.
is a rational function.
16.16 Exercise
(1) For each of the following functions/: IR -+IR, find non-empty contiguous
sets A and B in IR, for which f(A) and f(B) are not contiguous.
(x~ 1)
(i) f(x)={x
x-1 (x> 1)
(xEO)
(ii) f(x)=g
(x~Q).
17.1 Introduction
The characteristic feature of an interval in IR 1 is that it is 'all in
one lump'. A little man standing on any point of an interval I would be able
to walk to any other point of I without having to cross any points of the
complement of I.
-----z,----~
•
y
•
X
What sets in IR" have the same property? One can think, for example, of a
set S in IR 2 as a country entirely surrounded by water. When does S consist
of a single island and when does it consist of a whole archipelago of islands?
Before trying to answer this question, we must of course first express it in
precise mathematical terms.
47
48 Connected sets
A and B, these two provinces will be 'joined up'. A little man will be able to
go from A to B without getting his feet wet.
T=U S
is connected.
points in A points in B
/1~
• •• • • • ••
c A\
)I( • • • • ••
points of S
a /~\~ c b
• Ill!Ill 11111111• •
E
f(S)
Connected sets 51
f(b)
f(a) ----
a b
X
52 Connected sets
17.15 Curves
What is a curve? A physicist might say that a curve is the path
Connected sets 53
traced out by a particle as it changes its position with time. This idea leads
us to the following definition.
Let .i be any metric space. We shall say that a path in .i is a function
f: [0, 1]-+ .i which is continuous on I= [0, 1]. One can think of x = f (t) as
the position in .i of a particle at time t. The diagram illustrates the case
.i=IRz.
[(I)
We shall call the set f(I) a curve. From the intuitive point of view, this
is not a very satisfactory definition since it classifies as curves all sorts of
sets which do not look at all like curves 'ought to look'. Many mathe-
maticians therefore prefer not to use the word 'curve' except with some
qualifying adjective.
If f (0) =a and f (1) = b, we shall say that the curve f (I) joins a and b.
curve joining
a and b
Proof Let ;EE and let W be the collection of all curves which
contain ; and are subsets of E. The hypothesis of the theorem ensures that
SE Ut
I
I
I
I
I
I
I
I
I
s3 / /
/
I
circle and the spiral are contiguous and so E is connected. But no curve
lying within the set E joints the points a and b.
17.2tt Components
17.22t Theorem Let C and Dbecontiguoussetsin a metric space .'L. IfC and Dare
connected, then so is CuD.
Proof Suppose that A and B are non-empty subsets of CuD such that
AuB=CuD. We must show that A and Bare contiguous.
If AnC#<l> and BnC#<l>, then AnC and BnC are contiguous because C is
connected. Hence A and Bare contiguous by theorem 15.15. If BnC =<Z>, then either
AnD# <Z> (in which case A and B are contiguous because D is connected) or else
56 Connected sets
S=U T.
TeU
If one thinks of E as a country entirely surrounded by water, then it IS an
archipelago of which the constituent islands are the components of E.
components
of£
17.23t Theorem Any set E in a metric space X is the union of its components.
Any two distinct components of E are separated.
Proof The first sentence follows immediately from the definition because
each l;e S determines a component. Of course, in general, many points will de-
termine the same component.
Suppose that C and D are distinct components. Let ye C. Then C is the largest
connected subset of E containing y. But, if C and D are contiguous, then CvD is a
connected subset of E larger than C. Hence C and D are separated.
17.24 Examples
(i) The components of the set E in lll 2 defined by
E={(x, y): x~O or x> 1}
are
E 1 ={(x, y): x~O}
and
E 2 ={(x,y):x>l}.
Connected sets 57
(ii) The components of the set S={1jn: neN} in ~ 1 are the sets {1}, {t}, m, ....
Each point of S therefore constitutes a separate component of S. We say that such a
set is 'totally disconnected'.
(iii) The components of the set T={O}uS are the sets {0}, {1}, {t}, m, ....
Notice
that any two distinct components are separated but that {0} is not separated from
the union of the other components.
0 I 2 4
We shall prove that all open sets in lll 1 are of this general type. We begin with the
following theorem.
17.26t Theorem Any component of an open set Gin~· is itself an open set.
fEW.
f
f
~~ f(l)
17.28 Exercise
(1) Which of the following sets in IR 2 are connected?
(i) {(x,y):O<x~landO~y<l}
(ii) {(x, y):x>O or y~O}
Connected sets 59
~EE \ {~}.
• .({ - • S,.r
....----?isolated points
of£
cluster points
~ of£
60
Cluster points 61
TABLE I TABLE 11
18.2 Examples
(i) The set S = {1/n: nE N} in~ 1 has a single cluster point, namely 0. Note
that O~S. Every point of S is an isolated point of S.
(ii) The set N in ~ 1 has no cluster points. All its points are isolated.
(iii) The cluster points of the set Tin ~ 2 defined by
T={(x, y):x 2 + y 2 < 1}u{(2, 2)}
are the points of {(x, y): x 2 + y 2 ~ 1}. The point (2, 2) is an isolated point of
T.
(2, 2)
18.3 Exercise
(1) Find the cluster points and the isolated points of the following sets in
~I
62 Cluster points
(2) Repeat the above question for the following sets in 111 2 •
(i) A={(x,y): lxi+IYI~1}
(ii) B=[(x, y): x~O}
(iii) C={(x,y): x 2 +y 2 <1}
(iv) D=N 2
(v) E={(1/m, 1/n): mEN and nE N}
(vi) F={(x, y): x 2 +(y-2) 2 ~ 1}u{(x, y): (x-2) 2 + y 2 ~ 1}
(vii) G = {(x, y): x 2 < 1} u{ (x, y): y 2 > 1}.
Proof By § 18.1 (IIiv), there exists an open ball B with centre ~ all of
whose points are in e E except for ~E E. By theorem 14.4, ~is a boundary point of E.
(Note that this theorem need not be true in a general metric space. For example, if
X=E.)
Proof If 11 is not a cluster point of E, then Iiv does not hold and hence
there exists an open ball B with centre 11 containing no point of E except (possibly)
11· Since 11 is a boundary point, any open ball B with centre 11 contains a point of E.
Hence fiE E. Thus 11 is an isolated point of E by § 18.1 (IIii).
18.8t Exercise
(1) Let E be a set in a metric space X and let r be a positive real number. If
d(x, y)~r
for each distinct pair of points x and y in E, prove that E has no cluster points.
(2) Show that any set E in a metric space X with no cluster points is closed. [Hint:
§2.10.] Show also that every point of E is isolated. Give an example of a closed
set with a cluster point and a set with only isolated points which is not closed.
Show that a closed set F in a metric space X whose elements are all isolated
points has no cluster points.
(3) Use the previous results to show that 1\J is a closed set in IR 1 and that any finite
set in a metric space X is closed.
0 ~
M'ff'£%%~~
0 I 2 ! ~ 7
9 9 3 3 9
~ffffff~ ~~
I 2 I 2 7 8 I 2 19 20 7
0 27 27 9 ~~~I
927273 3 27 27 9 9 27 27
~~ Wf.l ~ ~t:m Er{~ ~
At first sight it may seem that F contains only this countable set of rational
numbers. But F is in fact an uncountable set. It contains not only the points listed
above but all cluster points of the set of these points.
Some of the properties of the Cantor set are listed below. The proofs are left for
the next set of exerciies.
(i) F is closed
(ii) F is ·uncountable
(iii) F is totally disconnected
(iv) F is nowhere dense - i.e. F contains no open ball
(v) F is perfect
(vi) F has 'zero length'.
The last property can be interpreted as meaning that, for each e > 0, intervals I 1, I 2 ,
... exist such that F c I 1 ui 2 u ... and
18.1 Ot Exercise
(1) Let F be the Cantor set as constructed in §18.9. Prove that xEF if and only if
x= I
n~ I
a.
3"
where each of the coefficients a. is 0 or 2. Use exercise 12.22(2) to deduce that F
is uncountable. [Hint: Observe that the left-hand endpoints of the closed
intervals which make up F N are the numbers of the form
N
I~
n~ I 3"
where each a. is 0 or 2. Moreover, each of these closed intervals is of length 3- N
and
(3) By theorem 14.9 the complement of the Cantor set is a collection of disjoint
open intervals. Obtain explicit formulae for the endpoints of these intervals and
check directly that there is only a countable number of these. (See theorem
17.27.)
19 COMPACT SETS (I)
19.1 Introduction
Of the different types of interval in IR1 1, perhaps the most impor-
tant in analysis are those of the form
[a, b] = {x: a~x ~b].
Such intervals are said to be compact. We shall always assume in discussing
a compact interval [a, b] that a~b -i.e. that compact intervals are non-
empty.
Why are compact intervals so important? This is not an easy question to
answer without anticipating the theorems which we shall prove in this and
later chapters. However, some readers will already know of the vital
theorem which asserts that any continuous function f: [a, b] -+IR1 attains a
maximum and a minimum value on [a, b]. This theorem is fundamental for
a rigorous development of the differential and integral calculus.
In this chapter we shall generalise the idea of a compact interval by
introducing the notion of a compact set. In seeking such a generalisation,
the natural way to begin is by asking: what distinguishes a compact interval
from other intervals? The obvious answer is that an interval I is compact if
and only if it is closed and bounded. Should we therefore define a set S in. a
metric space X to be a closed and bounded set?
The meaning of 'closed' was discussed in chapter 14 and it is easy to
provide an appropriate definition of 'bounded'. We say that a set S in a
metric space X is bounded if and only if there exists an open ball B of which
S is a subset.
S bounded
66
Compact sets (I) 67
Let ~=sup A. Then ak~~;;i:bk for each kEN. Hence ~Elk for all kEN.
This proves the theorem in the case n = 1.
Now let (Sk) be any nested sequence of closed boxes of the form
sk =I k(1) X I k(2) X ... X I k(n) in IRl n. The first part of the proof demonstrates the
existence of a real number ~ 1 E I k <ll for each kEN. But then
(~1' ~2• ... ' ~n)EJk(1) X Jk(2) X .•. X Jk(n)
for each kEN. Hence there exists a ~ESk for each kEN.
'"r
2
I L:~ I f--Sk =I
......
L
L
,
J
~.
19.4 Example We give another proof of the fact that IRl is uncountable
using the Chinese box theorem.
Suppose that [0, 1] is countable and that f: N -+[0, 1] is a surjection.
Split [0, 1] into three congruent compact subintervals [0, H G. f], [~, 1].
At least one of these subintervals does not containf(1). Call this subinterval
I 1 . Split the compact interval I 1 into three congruent compact subintervals
in the same way. At least one of these subintervals does not contain /(2).
Call this subinterval I 2 •
Compact sets (I) 69
f(J) ~ f(2)
• ~~g~l
f(N)c:U elk=
k= I
en Ik.
k= I
1\Kn
n =I
The first of these definitions is given below. It is not the more elegant of
the two definitions: nor does it generalise in a satisfactory way to spaces
other than metric spaces. But it is a definition whose significance is easy to
understand and which is fairly easy to apply (given the material which we
have covered so far in this book).
The second definition of a compact set in a metric space X is given in the
next chapter. This should be regarded as the 'proper definition' of a
compact set. The two definitions are equivalent in a metric space and most
of the next chapter is concerned with proving this.
points of E
sk B ~
• • •
• • •
•• • • •
• • •
• • • • • • •
• •
• • •
Proof The proof that a compact set in IR" is closed and bounded
is quite easy and, since we prove the same result for a general metric space
later on (theorems 20.12 and 20.13), we shall therefore consider only the
deeper part of the proof- i.e. that a closed, bounded set in IR" is compact.
Suppose that K is a closed, bounded set in IR" and let E be an infinite
subset of K. From the Bolzano-Weierstrass theorem it follows that E has a
cluster point~· By theorem 18.7, the fact that K is closed implies that ~EK.
Thus K is compact.
space X. Then
19.11 Exercise
(1) Which of the sets given in exercise 18.3(1) are compact?
(2) Which of the sets given in exercise 18.3(2) are compact?
Compact sets (/) 73
Proof Let li be the closed ball with centre y and radius d(y, F)+ 1.
Then linF is a non-empty, closed and bounded set in IR". It follows from
the Heine-Borel theorem (19.8) that linF is compact. The result therefore
follows from corollary 19.15. (Note that the result does not hold in a general
metric space.)
19.17 Exercise
(1) The sets A and Bin IR 2 are defined by
A= {(x, y): lxl +IYI;;;; 1}; B={(x, y):O<x;;;; 1}.
2 2
Explain why a function f: IR ->IR cannot be continuous on A if
f(A)=B.
(2) Let I be an interval in IR 1 and let f: IR 1 --->IR 1 be continuous on I. Give
counter-examples to each of the following (false) propositions:
(i) I closed => f(l) closed
(ii) I closed => f(I) bounded
(iii) I open => f(I) open
(iv) I bounded => f(I) bounded
(v) I open and bounded => f(l) has no maximum.
(3) Which of the propositions above are necessarily true whenf: IR 1 --+IR 1 is
continuous on a compact interval J containing I.
t(4) The distance d(S, T) between two non-empty sets Sand Tin a metric space X
is defined by
Show that, if S and Tare compact, then there exist seS and te T such that
d(S, T)=d(s,t). Show that the same result holds when X =IJ;l"ifSiscompact but Tis
only closed. Give examples of closed sets Sand Tin IJ;l 2 for which the result is false.
t(5) Let Sc:IJ;l and suppose that/: S-+IJ;l is continuous on the setS. The graph off is
the set Tin IJ;l 2 defined by
T={(x, f(x):xeS}.
Prove that
(i) S connected => T connected
(ii) S compact => T compact.
Give examples of non-continuous functions f: S-+IJ;l for which (i) and (ii) are
true.
t( 6) Let f: IJ;l -+IJ;l be a bounded function whose graph is a closed set in IJ;l 2 • Prove
that f is continuous on IJ;l,
20t COMPACT SETS (11)
20.1 t Introduction
In this chapter we give the 'proper definition' of a compact set (see§ 19.5).
Most of the chapter is then concerned with proving that this definition is equivalent
to that of the previous chapter for a metric space .'L. This is quite a lengthy piece of
work and many readers will prefer to skip this chapter for the moment. The book
has been written with this possibility in mind.
EcU S.
Seil
,.,.------- .........
/ / SI '
I
I
I
\
'
t \ I
' -----<
' --- //
77
78 Compact sets (H)
20.5 Example Suppose the function b :[0, 1] -+(0, oo) of example 20.3 is given
by
x+1
b(x)=- .
x+ 2
Then a finite subcollection Y of U which covers [0, 1] is
- {( _.!.
fj- 2• .!.)
2, (.!.
3• .2.)}
3
- i.e. one needs only the intervals (x- b(x ), x + b(x )) with x = 0 and x = 1.
20.6t Exercise
(1) A function f: IR1-+IR1 has the property that, for each xE [0, 1], there exists a b > 0
such that f is either increasing or else decreasing on (x- b, x +b). Prove that f is
either increasing or decreasing on the whole interval [0, 1]. (Use the definition
of §20.4 but assume the Heine-Borel theorem.)
(2) Prove that any closed subset of a compact set in a metric space X is compact.
(This may be deduced fairly easily from both of our definitions of compactness.)
(3) A collection V of sets has the finite intersection property if and only if the fact
that each finite subcollection of V has a non-empty intersection implies that V
has a non-empty intersection. Prove that any collection of closed subsets of a
compact set K in a metric space X has the finite intersection property.
Deduce the Cantor intersection theorem (19.9).
Kis
compact
...
I
1 Lindelof's
1 theorem
I
Kis
Kis countably
closed compact
also true of Lindelof's theorem. However, in §20.16 we shall see that the implication
labelled with Lindelof's theorem can be proved in any metric space using a
somewhat more complicated method.
Three of the terms in the diagram are undefined as yet. We therefore begin with
definitions of these terms.
A set K in a metric space X has the Bo/zano--Weierstrass property if and only if
each infinite subset E of K has a cluster point 1;.
A set K in a metric space X has the Chinese box property if and only if any nested
sequence (Fk) of closed, non-empty subsets of K has a non-empty intersection- i.e.
The proof that we gave of the Cantor intersection theorem (19.9) shows that any
set K with the Bolzano-Weierstrass property has the Chinese box property.
A set K in a metric space X is said to be countab/y compact if and only if each
countable collection U of open sets which covers K has a finite subcovering j
which covers K.
This definition is, of course, exactly the same as that for a compact set (§20.4)
except for the insertion of the word 'countable'. It is therefore not particularly
surprising that a compact set and a countably compact set are precisely the same
thing in a metric space.
80 Compact sets (I I)
20.8 Example The set IQ is dense in IR 1 • This follows from theorem 9.20.
Hence Q" is dense in IR" by exercise 13.24(6).
20.9t Theorem Let E be a set in a metric space X. Then E has the Lindelof
property provided that there exists a countable set D which is dense in E.
Proof Let U be any collection of open sets which covers E. We must
show that a countable subcollection covers E.
Let $ denote the collection of all open balls with centres in D and rational radii
which are subsets of at least one of the sets GeU. Then $ is countable. (Consider
D x IQ and apply theorem 12.10.)
/
,.--- ....... '
/ GE U '
BE$
( ~\
/I / - -
~
I d \
rational
-r---radius ///_,/ ~ ~~/ J
{I '~ // /
---- -
' ..... _
' //
/ B
Bo
Compact sets (Il) 81
EcU GcU B.
GeU Befll
The first sentence of this paragraph is proved in the following way. Since G is open,
there exists an open ball B 0 with centre~ and radius r>O such that B0 cG (theorem
14.12). Since D is dense in E, there exists a dED such that d(~, d)<tr (theorem 15.5).
Choose a rational number q such that tr<q<tr (theorem 9.20). The open ball B
with centred and radius q then contains~ because d(~, d)<tr<q and is contained
in G because, if yEB, then
d(~, y)~d(~, d)+d(d, y)<tr+q<r
and so yEB 0 cG.
Now let f: 51-+U be chosen so that Bcf(B). Then f($) is a countable subcol-
lection of U and
.,.,---... .......
I / '\
Bo~----- I
I [(B) \
\
/ "" .......
I I
/
I \ I I
I \ I I ....--\
I
I
I
I
) --1-"' J
\ I ....-?--
.... -
, II /I
I /I~ \ -
\
/ I I I~"'~ )-"'r
\ ( B I "1--.....
// -.L.-.~. ~ I \
' ' .......
B
--- /
'........
\
\
,_..,.... / /
Proof The set IQ" is countable by exercise 12.13(3). Since IQ" is dense in
~· (example 20.8), IQ" is dense in E. The result therefore follows from theorem 20.9.
Proof Let ~ be any point of X and let U be the nested collection of open
balls of the form
{x: d(~, x)<n}
where nE N. Then U is countable. Since K is countably compact, a finite subcol-
lection fJ of U covers K. Let B denote the open ball of maximum radius in fi. Then
K c B and so K is bounded.
Proof Let ~ be any point not in K and let U be the nested collection of
all open sets of the form
{x:d(~,x)>l/n}
20.14t Theorem Any closed set K with the Chinese box property in a metric
space X is countably compact.
is non-empty.
Compact sets (Il) 83
But <Fk) is a nested sequence of closed subsets (theorem 14.14) of K. Since K has
the Chinese box property, <Fk) has a non-empty intersection. Thus
00 00
0-td1 Fk=Kr~eU Gi
k=l j=l
This theorem completes the proof of the implications of the diagram of §20.7.
20.15t Completeness
In§ 19.5 we took note of the fact that the Bolzano-Weierstrass theorem is
not true in a general metric space X. The same is therefore true of the Heine-Borel
theorem. Indeed, it can be shown that if the 'sphere' S = {x: llxll = 1} in a normed
vector space X is compact, then X is necessarily finite-dimensional. Since S is always
closed and bounded, this shows that the Heine-Borel theorem is always false in an
infinite-dimensional normed vector space.
Why does the Bolzano-Weierstrass theorem fail in a general metric space? There
are two reasons. The first is that it may be impossible to prove a suitable analogue
of the Chinese box theorem. When no such analogue exists there is no point in
seeking to obtain some substitute for the Bolzano-Weierstrass theorem. The de-
ficiency is too severe. However, there is a second reason why the Bolzano-
Weierstrass theorem may fail in a general metric space X.
Observe that, in the proof of the Bolzano-Weierstrass theorem given in§ 19.5, it is
necessary that, given any 1>0, it be possible to cover the bounded set E with a finite
number of closed boxes whose sides are all of length at most I. One can then deduce
from the fact that E is infinite, the conclusion that at least one of the boxes contains
an infinite subset of E. If one needed an infinite collection of such boxes to cover E,
the proof would fail.
This observation leads us to the following definition. We say that a set S in a
metric space X is totally bounded if and only if, given any r > 0, there exists a: finite
collection 5, of open balls of radius r>O which covers S.
/
..... -- ....
/
/
I
I
I
I
' .... __ _
I
\ I
/
It is obvious that any totally bounded set S in a metric space X is bounded. (If 51
84 Compact sets (II)
contains N elements, S is a subset of any open ball B with radius 2N provided that
the centre of B lies in S.) In IR" the converse is also true because, by the Heine-Borel
theorem, ifS is bounded, then S is compact. But S is covered by the collection of all
open balls of radius r. Hence Sand therefore S is covered by a finite number of open
balls of radius r. In a general metric space X, however, a bounded set certainly need
not be totally bounded (see §20.20).
The second reason we gave for the failure of the Bolzano-Weierstrass theorem in
a general metric space X clearly disappears if we replace the word 'bounded' in its
statement by the words 'totally bounded'.
These considerations lead us to the notion of a complete metric space. The usual
definition is given in chapter 27, but this definition is equivalent to the assertion
that, in a complete metric space X, every totally bounded set has the Bolzano-
Weierstrass property. Thus a complete metric space is one in which a suitably
amended version of the Bolzano-Weierstrass theorem is true. A large number of
important metric spaces are complete and so this is an important idea. An example
is given in § 20.20.
.. ~
and
~ 7
There exists a
Kis countable set
Kis A
countably
closed which is dense
" compact
inK
and
We shall prove in this section only those implications indicated with a single firm
line. Other implications are either obvious or else have been proved already.
The meaning of the different styles of arrows representing implications in the
diagram is explained in the following table.
Compact sets (Il) 85
- -- ~
True in
any metric
space
Not yet proved
=====.l
. True in a
complete
Proved already
metric space
---~ True in !Rn
Proof IfS is not totally bounded, then for some r > 0 no finite collection of
open balls of radius r covers S. If x 1 , x 2 , ••• , x._ 1 are points of S one
can therefore always find a point x.es such that d(x., x.J~r (k= 1, 2, ... , n-1).
/'
/
I
I
I
\
''
I
I
I
I
The setS therefore contains an infinite subset with no cluster point (exercise 18.8(1).)
20.18t Theorem IfS is a totally bounded set in a metric space X, there exists a
countable set D which is dense in S.
Proof Let c. denote the set of centres of a finite collection of open balls of
radius 1/n which covers S. Then given any xeS, d(x, C.)< 1/n. Now let
20.19t Theorem Any countably compact set K in a metric space X has the
Bolzano-Weierstrass property.
points ofF
For each xeF we can find an open ball which contains no point of F except x
(§18.l(IIiv)). The collection of all such open balls together with the open set eF is
countable and covers K. But no finite subcollection covers K.
This theorem completes the proof of the validity of the implications indicated in
the diagram of §20.16.
in which the co-ordinates of the vector x are just the terms of the sequence <xk>·
Vector addition and scalar multiplication may then be defined just as we did in
§ 13.1 for vectors in IR".
We shall consider the normed vector space 1co consisting of all bounded sequences
of real numbers. The norm on 1co is defined by
The first thing to notice is that the proof that we ga vefor the Chinese box theorem (19.3)
works equally well for I 00 • The same is therefore true of the Bolzano- Weierstrass theorem
provided that 'bounded' is replaced by 'totally bounded'. Thus 100 is a complete metric
space.
Consider the setS= {x: llxll;:;; 1} in 100 • This can also be written in the form
S = {x : lxk I;:;; 1 for each kE 1\J}.
The first expression would describe a ball in IR 3 and the second would describe a
cube in IR 3 . Hence the title of this section.
The set S is clearly a closed and bounded set in 100 • But it satisfies none of the
other properties listed in the diagram of §20.16. This is most easily shown by
proving that the subset V of S consisting of all its 'corners' does not satisfy the
Lindelof property. The set V is the set of all sequences each of whose terms is either
1 or -1. It is therefore an uncountable set (exercise 12.22(2)).
The fact that V does not have the Lindelof property simply follows from the fact
that the collection U of all open balls with centres in V and of radius 1 is
uncountable and covers V but has no proper subcover at all.
Note in particular that S is an example of a closed, bounded set which is not
compact.
For an example of a non-trivial compact set in a space other than IR" see exercise
20.21(6).
20.2lt Exercise
(1) Prove that 100 as described in §20.20 is a metric space.
(2) The normed vector space 12 consists of all sequences x = <xk) of real numbers for
which
<x, Y) = I XkYk·
k=l
S=J 1 xJ 2 xJ 3 x ...
where <I") is a sequence of compact intervals.
If <Sk) is a nested sequence of such closed boxes, prove that its intersection is
not empty. Deduce from this version of the Chinese box theorem that both 100
and 12 are complete.
(4) Prove that 12 contains a countable dense subset. [Hint: Look at the set D of all
points of the form (q 1, q 2 , ••. , q"' 0, 0, ... ) where q 1, q 2 , ••. , q" are rational.]
Deduce that S = {x: llxll;:;; 1} has the Lindelof property in 12 •
88 Compact sets (II)
(5) Prove that the set S = { x: llxll ~ 1} is closed and bounded in F but not totally
bounded. Deduce that S is not compact in F. [Hint: Look at the set of all points
of the form (0, 0, ... , 0, 1, 0, 0, ...).]
(6) Prove that the 'closed box' S = { x: lxkl ~ 1/k for each keN} is closed and totally
bounded in 12 • [Hint: Given r>O, choose n so that
and then use the fact that closed boxes are totally bounded in ~·.] Deduce that
S is compact in F.
21 TOPOLOGY
teacup doughnut
ball doughnut
89
90 Topology
in common is that they both have precisely one hole. Note that a ball is not
topologically equivalent to a doughnut. To deform a ball into a doughnut
would require making a hole at some stage and this cannot be done without
pulling neighbouring pieces of modelling clay apart. But such a deformation
is not continuous.
21.2 Maps
The diagram below is a topological map of the mainland of
Europe. Notice, for example, that Italy looks nothing like the familiar
Wellington boot. This is because quantities like distance and angle are not
invariant under homeomorphism. However, contiguity is preserved. The
diagram therefore indicates which nations have a common boundary and
which do not. A tourist planning a trip by road might find the diagram
useful in deciding what visas he will require but he would be unwise to use
it in estimating how long the journey will take.
Denmark
Poland I Sweden
Czechoslovakia
USSR
h
Austria
France
D D
~
Spain
n
Italy
n I Greece
I
Schematic railway maps and wiring diagrams are more familiar examples
of the same idea. The point is that the topological properties of a space are
those which specify how the space is 'fitted together' or 'connected up'.
From the topological point of view, all other properties of the space are
irrelevant.
Perhaps the most famous example of a topological property is that which
arises in the 'four colour problem'. Suppose that one is asked to colour the
map above in such a way that no nations with a common boundary are
coloured the same. How many colours will be needed? More generally,
what is the minimum number of colours which will suffice for all such
Topology 91
maps? (One must, of course, exclude cases where four or more nations meet
at a point like the states of Arizona, Colorado, New Mexico and Utah.) The
answer for maps drawn on the surface of a doughnut is seven. This is
relatively easy to prove and has been known for a long time. Curiously, the
same problem for maps drawn on a plane is very much more difficult. Only
recently has it been shown that the answer is four. The proof (by Haken and
Appel) has an extra element of interest in that it is the first computer
assisted proof of a result of any substance.
-I 11
I
I
I
I
I
I
I
I
I
I
92 Topology
Let S be the sphere in IR 3 with centre (0, 0, t) and radius t. Take as the
'north pole' the point N=(O, 0, 1) and let P be the plane {(x, y, z): z=O}.
Then the stereo graphic projection f: P -+S \ [ N} is given by
x y xz+y2 )
f(x, y, 0)= ( 1+x2+y2' 1+x2+y2' 1+x2+y2
f
_ 1 (X
(X, Y, Z)= 1-Z' l-Z'
Y ~
Of
Both functions are continuous by theorems 16.5 and 16.15.
21.5 Exercise
(1) Prove that topological equivalence as defined in §21.1 is an equivalence
relation as defined in § 5.5.
(2) Lf't S be any set in IRn which is topologically equivalent to a closed ball
B. Assuming Brouwer's fixed point theorem as quoted in note 17.14,
show that for any function/: S-.S which is continuous on S there exists
a ~E S such that/(~)=~·
(3) Let J denote the collection of intervals in IR 1 which have at least two points.
Let U denote the collection of all open intervals in 5 , let V denote the
co1lection of all compact intervals in J and let W denote the remaining
intervals in 3 . Show that U , V and W are the equivalence classes into which
3 is split by the relation of topological equivalence.
(4) Let L be a closed line segment in IR 2 and let S be the closed box
[0, 1] x [0, 1]. Prove that the removal of any three points from L pro-
duces a disconnected set but that the same is not true of S. Deduce that
L and S are not topologically equivalent.
t(5) Check the formula given in §21.4 for the stereographic projection between the
plane P and the punctured sphereS\ {N}.
t(6) A function F: C -.s \ {N} is defined by
(i) f is continuous on X.
(ii) For any XE X and any S c X,
d(x, S) =0 = d(f(x),f(S))=O.
(iii) For any S c X,
f(S)cf(S).
(iv) For any F c ?J,
F closed = f- 1 (F) closed.
(v) For any G c ?J,
G open = f- 1 (G) open.
Proof We shall show that (i)=(ii)=(iii)=(iv)=(v)=(i).
(i)=(ii). This is just theorem 16.4.
(ii) = (iii). Assume (ii) and suppose that yEj(S). Then y=f(x) where xES.
Since d(x, S) = 0 it follows that d(f(x),f(S)) = 0. Thus y = f(x)Ej(S).
(iii)=(iv). Assume (iii) and suppose that F c ?J is closed. Since
f(/- 1 (F))cF,
1 1
/(/- (F))cf(f (F))cF=F.
G c ?J, G open implies f- 1 (G) open. The next few sections are devoted to
exploring the consequences of this result.
21.8 Topologies
As we know from the previous section, two metric spaces X and ?J
are topologically equivalent if and only if there exists a bijection f: X ~?J
such that, for each G c ?J,
G open- f- 1 (G) open. (1)
Thus, if we wish to determine whether or not X and ?J are topologically
equivalent, the only question we need to ask about X and ?J is: what are
their open sets? Any bijection f: X ~?J can then be tested to see whether it
satisfies (1). Other information about X and ?J may be helpful or interesting
but it is not strictly necessary. Thus we know all that there is to know about
the topological structure of a space if we have a list of all its open sets. For
this reason the collection of all open sets in a space is called its topology.
z
In chapter 16, we carefully chose a definition for a function f: -+?j to be
continuous on the set Z which makes it quite irrelevant whether we regard our
96 Topology
underlying metric space to be .'L or whether we simply throw out all the points of .'L
which are not in f and take our underlying metric space to be f. This is because
two subsets A and B off are contiguous in ·the metric space .'L if and only if they are
contiguous in the metric space f.
It follows that theorem 21.7 applies equally well in respect of a function f f -+'/j
which is continuous on a subset f of the metric space .'L. One simply takes note of
the fact that f is a metric subspace of .'L and replaces .'L at each occurrence by f.
This leaves the meaning of item (i) of theorem 21.7 unaltered and the same is true of
item (ii).
However, very considerable care is necessary with items (iii), (iv) and (v) of
theorem 21.7 when the underlying metric space is switched from .'L to f. Such a
switch affects the meaning of the words 'open', 'closed', 'closure' etc. This is because
these ideas all depend on the notion of a boundary point. Recall that ;e .'L is a
boundary point of S if and only if d(;, S)=O and d(;, eS)=O. But, if ;~f, it ceases to
be eligible as a boundary point when one switches the underlying space from .'L to
f. Even if ;ef it may still cease to be a boundary point when we switch from .'L to
f because the nature of es depends on whether we use .'L or f as the universal set.
If f replaces .'L as the universal set, es will in general become a smaller set and
hence d(;, es) may cease to be zero.
Since a subset S of f has fewer boundary points relative to the metric space f
than it does relative to the larger metric space .'L, it is easier for S to satisfy the
criteria for being open or closed relative to f than it is to satisfy the criteria for
being open or closed relative to .'L. Thus the subsets of f which are not open or
closed relative to .'L may very well become open or closed when the underlying
metric space .'L is replaced by the metric subs pace f. Returning to items (iii), (iv) and
(v) of theorem 21.7, this observation simply reflects the fact that it is easier for a
function f to be continuous on a subset f of .'L than it is for f to be continuous on
the whole of .'L.
If f is a metric subspace of the metric space .'L, we define the relative topology of
f to be the collection of subsets off which are open relative to f. As explained
above, the relative topology off is NOT just the collection of all subsets off which
are open relative to .'L. It is a larger collection than this.
21.10 Example Suppose that .'L = IR 2 • Let f 1 = {(x, y): x > 1} and let
f 2 =f 1 v{(1,0)}. Take
Note that S 1 cf 1 cf 2 •
The set S 1 is neither open nor closed relative to the metric space .'L=IR 2 • The
boundary points on its straight edge belong to .'L\S 1 while those on the curved
edge belong to S 1 •
The set S 1 is closed relative to the metric space f 1• The boundary points of S 1
relative to the metric space f 1 are those on the curved edge of S 1 and these all
belong to S 1 • Notice that the points on the straight edge of S 1 do not belong to f 1
and hence are not eligible as boundary points relative to the metric space f 1•
The set S 1 is not closed relative to the metric space f 2 • We have that (1, 0) is a
boundary point of S 1 relative to the metric space f 2 which does not belong to S 1•
Topology 97
(I, 0)
The set S 2 = S 1 u{ (1, 0)} is also interesting. This is not closed relative to the metric
space X. It is not eligible as a closed set relative to the metric space f 1 since it is not
a subset of f 1 • It is closed relative to the metric space f 2 • Observe that although
(1, O)e f 2 and is a boundary point of S2 relative to the metric space X, it is not
a boundary point of S 2 relative to the metric space f 2 • We have that
d((1, 0), X\ S 2)=0 but d((1, 0), f 2 \ S 2 )= 1.
Of course f 1 is both open and closed relative to the metric space f 1 (theorem
14.14). Similarly, f 2 is both open and closed relative to the metric space f 2 • Observe
finally that f 1 is an open set relative to the metric space f 2 • Its only boundary point
relative to the metric space f 2 is (1, 0).
The next theorem makes it quite easy to find the relative topology of a metric
subspace f of a metric space X provided that one knows the topology of X to begin
with.
Proof Recall that an open ball B with centre ~E f and radius r > 0 in the
metric space f is defined by B={z: d(z, ~)<r}. In this expression, of course, the
variable z ranges over the universal set f. Given such an open ball Bin the metric
space f, let B' denote the open ball with the same centre ~ and radius r > 0 in the
metric space X. Thus B' = {x: d(x, ~) < r}, where the variable x ranges over the
universal set X. Obviously B = B' n X.
(i) Suppose that H is an open set relative to the metric space f. By exercise
14.17(11), H is the union of all open balls B which it contains. Here B denotes, of
course, an open ball relative to the metric space f. Let W denote the collection of all
such open balls B contained in H. Then
Bew
Let
Bew
Then G is open relative to the metric space X because it is the union of sets which
are open relative to the metric space X (theorem 14.14). Also H = Gnf.
(ii) Suppose that H = Gnf where G is open relative to the metric space X. Let W'
denote the collection of all open balls B' (relative to the metric space X) which are
contained in G. Then
G=U B'.
B'ew.'
But then
and hence is the union of sets which are open relative to the metric space f.
Proof We have that Z "-.His open relative to the metric space Z if and only if
Z\ H = GnZ where G is open relative to the metric space X. But Z\ H = GnZ is
equivalent to H = eGn Z and the result follows.
21.13 Example The set [0, 1) is neither open nor closed relative to the metric
space 1Pl 1 • However, [0, 1) is open relative to the metric subspace [0, 2] because
[0, 1)= ( -1, 1)n[O, 2] and ( -1, 1) is an open set relative to the metric space 1Pl 1 •
The set [0, 1) is closed relative to the metric subspace ( -1, 1) because
[0, 1) = [0, 2] n (- 1, 1) and [0, 2] is a closed set relative to the metric space 1Pl 1 •
] ]
-I 0 I I 2 -I 0/ I 2
open closed
21.14t Exercise
(1) Let A, B, C and D be the sets in 1Pl 2 given by
A={(x,y): 1~x 2 +y 2 ~2},
B={(x, y): y2 <2},
C= {(x, y): y 2 ~ 2},
D={ (x, y): y2 > 2},
Explain why the function f: 1Pl 2 --+1Pl 2 cannot be continuous on 1Pl 2 if any of the
following properties hold:
(i)r 1
(B)=C r
(ii) 1
(A)=D
(iii) f(A)=C (iv) f(B)=D.
(2) Let X be a compact metric space and let f:X--+'Ij be a bijection which IS
continuous on X. Prove that f is a homeomorphism.
[Hint: Use theorem 21.7iv and exercise 20.6(2).]
(3) Let S be a set in 1Pl 2 defined by
S={(x, y): 1 <x~2}.
Decide whether or not S is open or closed relative to the .three metric spaces
considered in example 21.10.
(4) Characterise the subsets of [0, 1] which are open relative to [0, 1] regarded as a
metric subspace of 1Pl 1 . [Hint: Use theorem 17.27.]
100 Topology
(5) Prove that every subset of N is both open and closed relative to N regarded as a
metric subs pace of~ 1 • (The relative topology of N is said to be discrete.)
(6) Let A and B be subsets of a metric subspace f of a metric space X. Show that A
and B are contiguous relative to the metric space f if and only if they are
contiguous relative to the metric space X.
(7) Let f be a metric subspace of a metric space X. Show that a subset C of f is
connected relative to f if and only if it is connected relative to X. Give an
example of a connected set D in ~ 2 such that Dr. f is not connected relative to
f ={(x, y): x 2 +y 2 ~ 1}.
(8) Let f be a metric subspace of a metric space X. Prove that a subset K of f is
compact relative to f if and only if it is compact relative to X. Give an example
of a compact set L in ~ 1 such that Lr.f is not compact relative to f = (0, 1).
(9) Let f be a metric subspace of X. Prove that f is a connected subset of X if and
only if the only subsets of f which are both open and closed relative to f are 0
and f.
Of course, a topological space is a more abstract notion than a metric space just
as a metric space is a more abstract notion than ~·. But it would be naive to
suppose that this makes a topological space mathematically more difficult to deal
with. On the contrary, the more abstract a space is, the less structure it has and
therefore the fewer theorems that can be true of it. The usual pattern in passing from
a concrete space to a more abstract space is that many results which were theorems
in the concrete space become definitions in the abstract space. They therefore do not
need to be. proved. For example, the triangle inequality for distance in ~· which we
proved as a theorem (theorem 13.7) with the help of the Cauchy-Schwarz inequality
becomes part of the definition of distance in a metric space.
These remarks do not mean, of course, that it is not useful to pass from a concrete
space to a more abstract space. In the first place, one obtains a theory that is more
widely applicable. In the case of topological spaces, this fact is particularly impor-
tant. In the second place, one often gains considerable insight into the structure of
the original concrete space since the process of abstraction forces one to focus on
those properties of the original space which really matter for the proof of a
particular theorem.
Topology 101
Returning to the idea of topological space, the immediate question is: how many
of the properties of a metric space are valid in a topological space?
We begin by defining a closed set in a topological space to be the complement of
an open set. Thus theorem 14.9 becomes a definition for a topological space.
Theorem 14.13 is part of the definition of an open set in a topological space.
Theorem 14.14 follows from theorems 14.9 and 14.13 and is therefore true in any
topological space.
We define the closure E of a set E in a topological space to be the intersection of
all closed sets which contain E. Similarly, the interior E of E is defined to be the
union of all open sets contained in E. Thus theorems 15.7 and 15.9 become
definitions in a . topological space. The following properties of the closure and
interior of sets remain valid and are worth remembering:
definition for a topological space. It is important that theorem 17.9 remains true in a
topological space. With our new definitions, the proof is even easier.
21.16t Theorem Let .'L and 'IJ be topological spaces and let f:.'L-+'IJ be a
continuous surjection. Then
.'L connected => 'IJ connected.
Proof Suppose that E is a set in 'IJ which is both open and closed. Since
f:.'L-+'IJ is continuous, f- 1(£) is both open and closed in .'L. But .'L is connected.
Thus, f- 1(£) = (/) or f- 1(£) = .'L. Because f is a surjection, it follows that E = (/) or
E = .'L. Thus 'IJ is connected.
A compact topological space .'L is one with the property that any collection U of
open sets which covers .'L has a finite subcollection which covers .'L. This definition
is identical with that of §20.4. It is important that theorem 19.13 remains true in a
topological space and, again, with our new definitions, the proof is even easier.
21.17t Theorem Let .'L and 'IJ be topological spaces and let f:.'L-+'IJ be a
continuous surjection. Then
.'L compact=>'IJ compact.
Proof Let V be a collection of open sets which covers 'IJ. Then
U={f- 1(H):HEV}
is a collection of open sets which covers .'L. Since .'L is compact, a finite subcollection
E covers .'L. Let
5={f(G): GEE}.
Then 5 is a finite subcollection of V which covers 'IJ. Hence 'IJ is compact.
To verify that these functions satisfy the requirements for a metric given in §13.1 is
very easy.
Of course, an open ball with respect to one of the metrics l and m looks very
different from a Euclidean open ball as the diagrams below illustrate.
------~5~
~-- 1
I
I
I
~ 1 -r ~ 1 +r
However, the geometrical shape of these open balls is irrelevant from the topological
point of view. We know that any open set in a metric space X is the union of all
open balls which it contains (exercise 14.17(11)). But it is evident that, given any one
of the open balls illustrated above, we can find an open ball of either of the other
two types with the same centre which fits inside the original open ball. Thus a set G
is open with respect to one of the metrics if and only if it is open with respect to
them all - i.e. the three metrics all generate the same open sets in IR 2 .
Now suppose that X 1 and X 2 are topological spaces. What is the appropriate
topology for X 1 x X 2?
If X 1 and X 2 are metric spaces with metrics d 1 : X 1 -->IR and d 2 : X 2 -->IR, we can
proceed as with the space IR 2 =IR x IR. In particular, the functions d: X 1 x X 2 -->IR and
m: X 1 x X 2 -->IR defined by
(1)
and
(2)
~-----------L----------------x,
P1 (x) x 1 =
This observation makes it natural to define the product topology on X 1 x X 2 to be
the weakest topology (i.e. the topology with the fewest open sets) with respect to
which the projection functions P 1 : X 1 x X 2-+ X 1 and P 2 : X 1 x X 2-+ X 2 are
continuous.
It follows that, if G 1 is an open set in X~> then P 1 - 1 ( G 1) must be an open set in
the product topology of XI X x2. Similarly, if G2 is an open set in x2, then p2 -I(G2)
must be an open set in the product topology of X 1 x X 2 •
~---------------------XI
Since the intersection of a finite collection of open sets must be open, it follows that
Gl x G2 = p 1 -I(Gl)nP2 -I(G2)
must be an open set in the product topology of X 1 x X 2 • Finally, the union of any
collection of open sets must be open. Thus, if W is any collection of sets of the form
G 1 x G2 (where G 1 is open in X 1 and G2 is open in X 2), then
(3)
G, xG,eU'
must be an open set in the product topology of X 1 x Xi·
The collection f1 of all sets S of the form (3) satisfies the requirements for a
topology on XI X x2 given in §21.15. It follows that g is the product topology on
X1 x X2.
Topology 105
S= u
G 1 xG 2 EW1
Gl X G2
:r I
Now return to the case in which X, and X 2 are metric spaces with metrics d1 and
d2 respectively. If we use the metric m: X 1 x X 2 --+IR defined by (2), then the open
balls Bin X 1 x X 2 are of the form B=B 1 x B 2 where B 1 is an open ball in X 1 and
B 2 is an open ball in X 2 • It is therefore apparent from the preceding discussion, that
the open sets in X 1 x X 2 generated by the metric m are precisely those which lie in
the product topology g. The same is therefore true of the metric d: X 1 x X2 --+IR
defined by (1) and of numerous other metrics.
From the topological point of view it does not matter which of these metrics we
choose to use in X 1 x X 2 since they all generate the same topology. When discussing
topological matters, we therefore work with the metric in X 1 x X 2 which happens to
be most convenient for the problem in hand. In IR 2 (or IR") this is usually the
Euclidean metric. When X 1 and X 2 are more general metric spaces, however, the
metric m is often much less cumbersome.
22 LIMITS AND CONTINUITY (I)
22.1 Introduction
Letf:X~'Ij and suppose that ~EX and 11E'IJ. In this chapter, we
shall study the meaning of the statement
f(x)~11 as x~~-
lim f(x)=11·
;'{ -X
f(x)
- ...\
,.._.....J •f(~)
f
__,;~ x)
f(x')
---...
'/--.
/
-
,
.,)
The next diagram shows the graph of a functionf: IR~IR for whichf(x)~IJ
as x~~-
/06
Limits and continuity (I) 107
y
f@ -------------.
I
I
I
f(x) --------------T--
t 1
7
f(x')
~--------~~--~--~--------~ X
x·-~----x
Note that in both diagrams it is false that 11 = f(l;). It is not the case that
one can always find the value of
limf(x)
x-e
by replacing x in the formula for f(x) by 1;. This point is of some
importance in calculus. The derivative of a function f: IR -.IR at the point ~
is defined by
We then say thatfis continuous at the point 1;. The diagram below illustrates
a function f: IR -.IR which is continuous at ~-
Y
Y =f(x)
~-------------:"------------------x
~
108 Limits and continuity (I)
Observe that, in drawing the graph off, one does not have to lift the pencil
from the paper when passing through the point where x = ~. This provides
one explanation for the use of the word 'continuous'. A more adequate
explanation is provided by theorem 22.5.
We shall also be interested in providing a definition of what it means to
say that
,-....,
,-, \ )
'-'>-"---
f( x') ' ,,I ' ..... _,
... -..!....!.-/
"'"'
\....I
,,
When considering a limit through the set S, we are interested only in what
happens as x approaches ; through the set S. What happens as x
approaches ; from outside the set S is irrelevant and our definition will
specifically exclude consideration of such points.
The definition we shall give works for any set S and any point ;. Note,
however, that it does not make very much intuitive sense to talk about 'x
approaching ; through the set S' if ; is not a cluster point of S. There is
then no way for 'x to approach ;· without going outside the set S. The
diagram below illustrates this point.
22.3 Limits
Let .X and 'IJ be metric (or topological) spaces and let f: .X-+'IJ
where S is a set in .X. Suppose that ;e .X and 1)E'IJ. Then we say that
f(x)-+1) as x-+;
through the set S if and only if
22.5 Theorem Let X and 'lj be metric (or topological) spaces and let
Limits and continuity (I) 111
f: :X-+'Ij where S is a set in :r. Then/ is continuous on the setS if and only
if, for each ~ES,
f(x)-+f(~) as X-+~
22.7 Examples (i) Let S = ~ 2\ {(0, 0)} and consider the rational func-
tion/: s~~ defined by
=x 3 y+2xy 2 +3
!( X, y) 2 2 ·
X +y
By corollary 22.6,
f(x, y)~3 as (x, y)~(l. 1).
(ii) LetS=~\ {0} and consider the rational function F: s~~ defined by
lim F(x)
x~o
F(x)=1+2x+x2-1 2+x.
X
22.8 Exercise
(1) Evaluate the following limits
y2-x2 Y2-x2
(i) lim --
2 - 2 (ii) lim
(x,y)~(l,l) Y +x (x,y) ... (l,-1) y+x
(2) Let K={(x, y): O;;;;;x;;;;;1 and O;;;;;y;;;;;1} and letf: ~ 2 ~~ be defined by
Prove thatf(x, y)-+1 as (x, y)-+(1, 1) through the set K andf(x, y)-+0
as (x, y)-+(1, 1) through the set e K.
(3) Suppose that ~ is not a cluster point of S. Explain why it is true that
f(x)-+tt as x -+~ through the set S for alltt. If~ is a cluster point of S,
prove that there exists at most one 11 such thatf(x)-+tt as x-+~ through
the setS provided that, for each pair of distinct points tt 1 and tt 2 in 9,1.,
there exist disjoint open sets G1 and G2 such that tt 1 E G1 anc! tt 2 E G2 •
Show that such disjoint open sets always exist when 9,1. is a metric space.
(4) Suppose that S 1 uS 2 = S. Prove that f(x)-+tt as x -+~ through S if and
only if/(x)-+tt as X-+~ through S 1 and through S2 .
Deduce that, if f is the function of question 2, then there is no ttEIR for
which f(x, y)-+tt as (x, y)-+(1, 1).
(5) Suppose that T is a subset of S. If f(x)-+tt as X-+~ through the setS,
prove that f(x)-+tt as x -+~through the set T.
(6) Suppose that f: IR -+IR and g: IR -+IR are continuous on the set IR and
f(x)=g(x) for each xEO. Prove that f =g. [Hint: Let ~ be irrational.
Then ~ is a cluster point of Q (why?). Also f(x)-+/(~) as x-+~ through
Q and g(x)-+g(~) as x-+~ through Q.]
f
114 Limits and continuity (I)
u=x+y}
v=x-y.
The fact that f(x, y)-+(2, 0) as (x, y)-+(1, 1) follows from theorem 22.5
becausefis continuous on IR 2. In this example we give an alternative proof
using the criterion for convergence given in §22.9.
22.11
-
Example Consider the functionf: IR 2 --+IR 1 defined by
y2-x2
l
- (x, y)=f.(O, 0)
y 2 +x 2
f(x, y)=
0 (x, y)=(O, 0).
Let L. be the line L.= {(x, y): y=cxx}. For points (x, y)EL., we have that
CX2X2- X2 CX2 -1
f(x, y) = f(x, cxx) = 2 2 2
- -
2
(x =f. 0).
cxx +x ex +1
Hence
()(2 -1
f(x, y)--+ cx 2 + as (x, y)--+(0, 0)
1
along the line y = cxx - i.e. through the set L •.
It follows thatf(x, y) cannot tend to a limit as (x, y)--+(0, 0) through IR 2 • If
it did, it would have to tend to the same limit through each of the sets L.
(see exercise 22.8(4)).
The diagram indicates how the function tends to different limits along
different straight lines through (0, 0).
The part of the surface z = f(x, y) drawn looks somewhat like a piece of
spiral staircase.
116 Limits and continuity (I)
In this diagram R is a rectangle with centre (e, q) of height 2e and width 2~.
The definition asserts that, however small we choose to make the height of
R, its width can be chosen so as to ensure that the part of the graph off
above (e-~. e+~) lies within R (except possibly for the point (e.J(e))).
Now suppose that I =(a, b) is an open interval in IR and that f: (a, b)--+IR.
We write
f(x)--+'1 as x--+a+
and say that f(x) tends to '1 as x tends to a from the right if and only if
f(x)--+'1 as x--+a through the set (a, b). Similarly, we write
f(x)--+q as x--+b-
if and only if f(x)--+q as x--+b through the set (a, b).
f
a a+b b a b-b b
f(x)-+'1 as x-+a+ f(x)-+'1 as x-+b-
Limits and continuity (I) 117
It is useful to note that f(x)--+1'/ as x-+a+ if and only if, for any e>O,
there exists a (j > 0 such that
a<x<a+b => lf(x)-'71 <e.
Also f(x)--+1'/ as x-+b- if and only if, for any e > 0, there exists a (j > 0 such
that
b-b<x<b => lf(x)-IJI<e.
f(x)={1-x (x~ 1)
2x (x> 1).
Thenf(x)--+0 as x--+1- andf(x)--+2 as x--+1+. It follows from theorem
22.13 that
lim f(x)
x-1
!=f(x)
2 I
I
I
I
I
I
I
I
I
I
I
X
0
f(~)=f(~+)
f(~-)
___y I
I
f(U)
I I
I I neither f(~---) nor
lf continuous on if(~+) is equal to
I the right at ~ If(~)
I
I
I
I
I
:f((-)andf(~+)
I do not exist
Limits and continuity (I) 119
strictly
decreasing
incr/easing
function function
~
f
\
L_
s s
Proof We prove only (i). From §22.12, we know that, given any
s > 0, we have to demonstrate the existence of a o> 0 such that
b-o <x <b = lf(x)-LI <s.
But lf(x)-LI<s =L-s<f(x)<L+s (exercise 13.13(3)). The inequality
120 Limits and continuity (1)
L ____ T __________ _
I I
I I
I I
I I
I I
J I
I I
___________ j
I
I
a b
I
I
I
I
I
I
I
I
I I
--+-1 b ~
I I
a y b
I~
/(~+) ----------------V I
J
f(~)
_______________ _.I
I
/(~-)
------~
a X y b
A similar argument for the interval (~, b) yields the other inequalities.
y X
+~--+-------~x--+-~x
s
~--4-----~y----~--Y
s T
122 Limits and continuity (1)
But, like so many 'intuitively obvious' theorems, the proof requires some
deep results.
f(~)=f(c) ----
a ~ b c
f(~+),.ef(O
22.22 Theorem Let 1 and J be intervals in IR1 and suppose that f: 1--.J is
surjective, continuous and strictly increasing or decreasing on /. Then
f: 1--.J is a homeomorphism- i.e. f is bijective and f- 1 : J --./is continuous
on J.
Proof The fact that f is bijective follows from the two preceding
results. Since f- 1 : J-> 1 is surjective and strictly increasing or decreasing,
then it is continuous on J by theorem 22.21.
22.23 Roots
In §9.13 we proved that, if y~O, then there exists a unique x~O
such that y=x". We call x the nth root of y and write
x=y1fn.
A more elegant proof of this result uses the theorems of the preceding
section. Let nE N and define f: [0, oo )-> [0, oo) by
f(x)=x".
The function f is strictly increasing and continuous on [0, oo ). To use
theorem 22.22 we need to prove that it is surjective. We know from theorem
17.10 that J = f([O, oo )) is an interval. But f(O) = 0 and J is clearly un-
bounded above. It follows that J = [0, oo) and so f is surjective. By theorem
22.22,/admits an inverse functionf- 1 : [0, oo)->[0, oo). We have that
y=x" <=>X=f- 1(y)
provided x ~ 0 and y ~ 0. Thus f- 1
: [0, oo )-> [0, oo) is the nth root function
- I.e.
124 Limits and continuity (1)
Note that theorem 22.22 supplies the extra information that this function is
continuous on [0, oo ).
22.24 Exercise
(1) Letf: IR 2 ~1R 2 be defined by f(x, y)=(u, v) where
0
((x, y)#(O, 0))
I~~<26{1+J(l-46 )}- 2 1
or ~~~<26{1+J(l-46 2 )}- 1 .
If g(x,y)~O as (x, y)~ (0, 0), prove that f(x, y)~O as (x, y)~(O, 0)
through the set
(4) Let X and 'lj be metric spaces and let f: S~y where S is a subset of X.
If ;EX and ttE 'IJ, prove that f(x)~tt as x ~; through the set S if and
only if, for each subset E of S not containing ;,
d(;, E)=O => d(q,J(E))=O.
Use this result to deduce theorem 22.5 from theorem 16.4.
(5) Let 1 be an interval in IR and let f: 1 ~IR be increasing on 1. Prove that
the set of points in 1 at which f is not continuous is countable. [Hint:
Recall the proof of theorem 17.27.]
(6) Let f: IR~IR be defined by f(x)= 1 +x+x 3 . Show that f has an inverse
functionf- 1 : IR~IR and that this is continuous on IR.
Limits and continuity (I) 125
Thenf(x)-->11 as X->~ through the setS if and only if, for each k = 1, 2, ... , n,
fk(x)->l]k as x ...... ~
and hence
f(x, y)f(O, 0) as (x, y)-->(0, 0)
along x= i.
Proof Define F: S ->IR" byf(x) = af1 (x) + bf2 (x). From theorem 22.28,
we have that
(f1(x),f2 (x))->(11J, 11 2 ) as X->~
through the set S. But, with the notation of theorem 16.9, F =M o (f1 , /2 ).
Since M is continuous on IR x IR (theorem 16.9), it follows from theorem
22.26 that F(x)-->17 117 2 as X->~ through the setS.
Proof The proof is the same as that of theorem 22.31 except that,
in the notation of theorem 16.9, D replaces M.
(Note that, iff(x)-->17 2 as X->~ through the setS and 17 2 #0, then there
exists an open set J containing~ such thatf(x)#O for any xEJnS.)
128 Limits and continuity (J)
22.33 Exercise
(1) Suppose that g: IR 2 -+IR 1 and h: IR 2 -+IR 1 have the property that
g(x, y)-+l as (x, y)-+(0, 0) and h(x, y)-+m as (x, y)-+(0, 0). Find
Also find
lim j(x, y)
(x, y)-(0, 0)
Ve>03c5>0VzeS,
0<1z-'l<c5 => lf(z)-wl<e.
Limits and continuity (I) 129
It is useful to note that theorems 22.30, 22.31 and 22.32 apply equally well if~ is
replaced throughout by C.
'if
~----~----~-------+--~x
~
130
Limits and continuity (1 I) 131
As explained in §21.18, when :r and 'lj are metric spaces with metrics d 1 and d 2
respectively, there are various metrics which we can introduce into :r x 'lj which
generate the product topology of :r x 'lj and the choice of which of these metrics to
use in :r x 'lj is largely a matter of convenience. When :r = 'lj = IR and so :r x 'lj = IR 2 ,
we usually use the Euclidean metric but, in many cases, it is easier to use the metric
m: :r x 'lj --+IR defined by
m((x 1 , yd, (x 2 , Y 2))=max{d 1 (x 1 , x 2 ), d 2 (y 1 , Y2)}.
The use of this m-::tric in the formulation of the definition of a limit given in §22.9
yields the following criterion for the existence of a double limit:
For any e > 0, there exists a b > 0 such that for each (x, y)E S =A x B,
O<m((~, 1]), (x, y))<b=d(~,f(x, y))<e.
This can in turn be written in the following less clumsy form:
For any e > 0, there exists a b > 0 such that for any XE A and any yE B,
d 1 (~, x)<b and d 2 (1], y)<b= d(~,f(x, y))<e
provided that (x, y) # (~, 1]).
23.2 Example Suppose thatf: IR 2 --+IR 1 and thatf(x, y)--+( as (x, y)--+(~, IJ). If
we use the Euclidean metric in IR 2 , the definition of this statement can be expressed
in the form:
For any e > 0, there exists a b > 0 such that
(1)
2
Alternatively, we can use the metric m in IR and obtain the definition in the form:
For any e > 0, there exists a 11 > 0 such that
through the set J = { (x, y): X+ y> 1}. Since J c eK, it follows from exercise 22.8(2)
that ( =0.
limf(x, y)
·-~
Y-'1
is available for a double limit as discussed in §23.1. We shall however prefer the less
clumsy notation
lim f(x, y)
(x, y)-(1;, q)
although the latter notation is somewhat less precise in that it takes for granted the
use of the product topology in X x ?J.
It is important not to confuse either of these pieces of notation with repeated limits
The reasons why one needs to be careful in dealing with repeated limits are best
explained with the help of some examples.
Limits and continuity (ll) 133
and hence
. (. x2-y2)
hm hm - 2 - -2 =1.
x-o y-0 X +y
On the other hand, a similar argument shows that
x2-y2)
lim ( lim - 2 - -2 = -1.
y-0 x-o X + y
The order in which the limits appear cannot therefore be reversed in general without
changing the result.
It follows that
Similarly,
We have that
lh(x, y)l = lxl ~ ll(x, y)ll
134 Limits and continuity (11)
On the other hand, we have that h(x, y)->x as y-.0+ and h(x, y)-> -x as y-.0-.
It follows that
The results of examples 23.6 and 23.7 are not particularly surprising. We have
already seen a number of examples in which f(x, y) tends to different limits as
(x, y)-> (0, 0) along different paths and, as the diagrams below indicate, one can think of
taking a repeated limit as another special way of allowing (x, y) to approach (0, 0).
llJ
x .....o ,v ..... o (x. y) -------1
I
t
I
t
I
L-0~--:(x y)
___ , __ j_ : ,--
(0, 0) +
~~
1
+ I
! !
lim (lim f(x,
y-+0 X-+0
y))
Example 23.8 requires a little more thought. The problem is that the existence of
the double limit as (x, y)-> (0, 0) does not guarantee that h(x, y) tends to a limit as
(x, y)-> (X, 0) along the line x =X (unless X= 0). As the diagrams below indicate, there
is no reason why matters should be otherwise.
(x,y)
(x, y)
(0, 0) 1 (X, 0)
I
~:
11 1
"I
Limits and continuity (Il) 135
23.9t Theorem Let X, 'IJ and f be metric spaces and let ~EX, 1JE'IJ and ~Ef.
Suppose that A is a set in X with cluster point ~ and that B is a set in 'IJ. Let
f: S""(~, tt)-->f where S =A x B.
Suppose that
f(x, y)--+~ as (x, y)--+(~, tt) (2)
through the set S and that, for each yE B,
f(x, y)--+l(y) as x -->~ (3)
---,------------,
I
I
(~, y) (X, y):
I
I
B
T :
I
. I
; I
---+------+--------1
II
(~. 11l :
I
1 I
:c
Proof Let s > 0 be given. By (2) there exists a b > 0 such that for each
xEA and each yEB
d 1 (~, x)<b and ditt, y)<b =>- d(~, f(x, y))<s/2
provided (x, y) # (~, tt). By (3), for each yE B there exists a dy > 0 such that, for each
XEA,
For each yeB, choose xyEA so that d 1 (~, xy)<b and d 1 (~, xy)<6y. Then, if
0<d 2 (t), y)<b,
d(~, l(y)) ;';';; d(~,f(xy, y)) + d(f(xy, y), l(y))
<e/2+e/2=e
and hence (4) holds.
If the equation holds, the two limiting operations are said to 'commute'. Applied
mathematicians often write in a manner which would lead one to suppose that (5) is
always true. But this is very definitely not the case even when both sides of the
equation exist. Example 23.6 is a case in point.
However, equation (5) is true sufficiently often for it to be appropriate to show
some measure of surprise should it turn out to be false in a particular case. In
particular, we have the following result. The proof is trivial.
23.10t Theorem Let X, 'lj and f be metric spaces and let Sbe an open set in X x 'lj
containing(~,t)). Ifj: S--+f is continuous on S, then
To proceed any further with this topic we need to introduce the subject of uniform
convergence. In particular, we shall show that, if both sides of (5) exist, then the two
sides are equal provided that one of the inner limits is a uniform limit.
We know from chapter 3 that the order in which the quantifiers 'V and 3 occur irt a
statement is significant to its meaning. In particular, if P(u, v) is a predicate, it is in
Limits and continuity (Il) 137
pointwise convergence
A
I 38 Limits and continuity (I I)
The difference in the meaning of the two statements is that, in statement (1), the
value of b which is asserted to exist may depend both on the value of e and on the
value of y. In statement (2), the value of b depends only on the value of e - i.e. the
same value of b works uniformly for all values of yE B.
If (2) holds, we say that
f(x, y)-+l(y) as x-+~
through the set A pointwise for yEB. Note that It IS obvious that uniform
convergence implies pointwise convergence. But •he converse is very definitely false.
i.e.
23.13 Example Consider the function F: [0, 1]->IR defined by F(y)= 8y 2 + 1 and
the function G: [0, 1]-.IR defined by G(y)=6y. The uniform distance between F and
G is given by
u(F, G)= sup jF(y)-G(y)l
o;;;y~t
t
3
t
140 Limits and continuity (I J)
In terms of the uniform distance notation, statement (2) assumes the less clumsy
form,
u(l, f(x,• ))__..0 as x_..~ (4)
through the set A, where f(x,•): B_..f. is the function whose value at ye B is f(x, y).
If F and G are bounded on B then u(F, G) defined by (3) always exists and the
set of all bounded functions on B is a metric space with u as metric. (See § 13.18.)
When dealing with bounded functions we may therefore rewrite (4) in the simple
form:
(5)
space of
bounded functions
onB
Limits and continuity (Il) 141
It is important, however, not to forget that the distance between the 'points' f(x, •)
and l is defined by
lxl 3
x2+y2"
lxl 3
u(l, g(x,•))=sup - - - =lxl.
yeUl X
2
+Y2
Since lxl-+0 as x-+0, it follows that g(x, y)-+y as x-+0 uniformly for yEIR.
The diagram over illustrates the set of (x, y) for which it is true that
I y- g(x, y)l <e. Observe that the choice b = e ensures that o < lxl < b =>I y- g(x, y)l < e
for all yEIR.
142 Limits and continuity (JJ)
23.15 Example Let A =llli '\ [0} and define h: A x IRi ->llli by
xy
h(x, y)=-2--2.
X +y
We begin by observing that, for each yEIRi,
h(x, y)-->0 as x-->0
- i.e. h(x, y)-->0 as x-->0 pointwise for yEIRi. It follows that, if h(x, y)-->1( y) as x-->0
uniformly for yEIRi, then I( y)=O.
Observe that, for each xEA,
It is clear that, if 0 < 8 < -!, then there is no value of .5 > 0 such that for all XE A and all
yEIKl
O<lxl<b=>lh(x, y)l<8.
If y # 0, the largest value of .5 > 0 for which it is true that 0 <I xi< .5 =o-h(x, y) < 8 is
.5 =28{1 +J(l-48 2 )} -I y.
23.16t Theorem Let X, ?j and f be metric spaces and let ~EX, T)E?j and ~Ef.
Suppose that A is a set in X and that B is a set in ?j. Letf: S\(~, TJ)-->f where
S =A x B and let /: B--> f.
Suppose that
Proof Let 8> 0 be given. By (7) there exists a .5 1 > 0 such that, for each
XEA and each yEB,
Choose b=min{b 1 , b2 }. Then, if O<dd~, x)<b and 0<d 2 (1], y)<b, it follows that
d(~,f(x, y))~d(~, 1(y))+d(1(y),f(x, y))
<e/2+e/2=e.
The next theorem justifies the sentence at the end of § 23.5 about the circum-
stances under which one can reverse the order of the two limiting operations in a
repeated limit.
23.17t Theorem Let X, 'lj and £ be metric spaces and let ~EX, 1]E'/j and ~E £.
Suppose that A is a set in X for which ~is a cluster point and that B is a set in 'lj. Let
f: S \(~, 1])-+£ where S=A x B. Let 1: B-+£ and let m: A-+£.
Suppose that
(i) f(x, y)-+1(y) as X-+~ through the set A uniformly for yEB,
(ii) 1(y)-+~ as y-+1] through the set B,
(iii) f(x, y)-+m(x) as y-+1] through the set B pointwise for XEA.
Then m(x)-+~ as X-+~ through the set A.
23.19t Exercise
(1) Consider the function[: IR 2 \{(0, 0)}-+IR defined by
x2-y2
f(x, y)=-2--2 ·
X +y
Deduce thatf(x, y) does not tend to a limit when x--+0 and y--+0 independently.
(2) Let f be as in question 1. If 0 < s < 1, prove that lf(x, y)l < s if and only if
(~) < 1 + s .
2
1- s <
l+s x 1-s
Prove that f(x, y)--+0 provided that. x--+0 and y--+0 in such a manner that
. x2-y2 .. x2y4
(I)f(x, y)=l+x2+y2 (n)f(x, y)= x2+y4
(4) In each case considered in question 3, find a function 1: IR --+IR such that
f(x, y)--+1( y) as x--+0
pointwise for yEIR.
(5) In each case considered in question 3, decide whether or not it is true that
f(x)--+f(~) as x--+~
In this statement the value of b > 0 which is asserted to exist may depend both on
the value of £>0 and on the value of I;ES. If, given £>0, a value of b>O can be
found which works for all I;ES simultaneously, then we say that f is uniformly
continuous on the set S. Thus f is uniformly continuous on the set S if and only if
't£>0 :lb>O \lxES \II;ES,
d(l;, x)<b =>d(f(l;),f(x))<E.
Proof It is evident from the diagram that 1Jx-J~1 is largest for x~O,
~ ~0 and lx- ~I~ b when ~ = 0 and x =b. (This is easily checked analytically by
proving that Jb-Ja~(b-a) 112 when O~a~b.)
0
- ., ____
X
It follows that, given any E> 0, there exists a b > 0 (namely b = ~; 2 ) such that, for
any x~O and any y~O,
Since this expression tends to zero as ~--->0+ it follows that no b>O can work for all
~>0.
23.23t Theorem Let X and 'lj be metric spaces and suppose that f: K--->'lj,
where K is a compact set in X. If f is continuous on K, then f is uniformly continuous
on K.
Let U denote the collection of all open balls with centre yE K and radius !o(y).
Then U covers K. From the definition of a compact set (§20.4) it follows that a finite
subcollection .'i of U covers K. Let b > 0 be the radius of the open ball of minimum
radius in the subcollection :J.
Now suppose that x and ; are any points of K which satisfy d(;, x) <b. Since :J
covers K,; belongs to an open ball in :J. Let the centre of this ball bey. Its radius is
then !6(y).
We then have that d(y, ;)<!o(y)<b(y) and so, by (1),
d(f(y), J(;)) <±8. (2)
148 Limits and continuity (JJ)
We have therefore shown that, for any e > 0, there exists a b > 0 such that, for each
XEK and each ~EK,
d(~, x)<D => d(f@, f(x))<e
and so the proof of the theorem is complete.
23.24t Exercise
(1) Determine which of the following functions f: (0, 1)-->~ are uniformly con-
tinuous on the interval (0, 1).
(i) f(x)=x 2 (ii) f(x)=(1-x)- 2
(iii) f(x)=lx-tl (iv) f(x)=x- 113 •
(2) Let .X and ?J be metric spaces and suppose thatf:S->?J where S is a set in .X. Let
g 1 : [0, 1]->S and g 2 : [0, 1]->S and suppose that d(g 1 (t), g 2 (t))->O as t->0+. If!
is uniformly continuous on S, prove that
Interpret this result geometrically. Show that the result need not be true if f is
only continuous on S.
(3) Let {a 0 , a 1 , ••• , a"} and {b 1 , b2 , •.. , bn} be two sets of real numbers and suppose
that 0=a 0 <a 1 <a 2 < ... <an=l. A function g: [0, 1]->~ which satisfies
ak_ 1 ~x<ak=>g(x)=bk (k=1,2, ... ,n)
is said to be a step function.
Prove that any continuous function f:[O, 1] --~ can be uniformly approxi-
mated on [0, 1] by a step function - i.e. given any e > 0, there exists a step
function g: [0, 1] ...... ~ such that
24.1 Introduction
The notion of 'infinity' is one which has received much attention
from philosophers, theologians and assorted mystics of one persuasion or
another throughout the ages. By and large, however, their writings have
little useful to offer except the observation that 'infinity' can be used to
'prove' almost anything provided that one is willing to argue sufficiently
badly.
We have already taken note of mathematical howlers of the type
oo+oo=oo
:. 2xoo=oo
2= 1.
Here the fallacy is readily traceable to the fact that the symbol oo is treated
as though it were a real number and, whatever oo may represent in a
particular context, it certainly never represents a real number. Philosophical
howlers tend to be slightly more subtle and to come attractively gift-
wrapped in verbal packaging. But they share the same fatal flaw as the
elementary mathematical howlers in that they assume that 'infinity' can be
treated as though it were some more familiar object without offering any
justification for this assumption.
As mathematicians, we know that there is no point in seeking to uncover
the secrets of the universe by deductive reasoning alone. The best we can
hope to do is to set up a consistent axiom system from which ore can
deduce the existence and the properties of objects which it is sensible to
interpret as 'infinite'. These objects may or may not have a referent in the
'real world' but this is none of our concern. Such questions can be safely left
to the philosophers.
As soon as one tackles the problem from this point of view, it becomes
apparent that the word 'infinity' does not apply to a single concept. It
applies to a whole bundle of rather diverse concepts and before one can say
anything useful on the subject one first has to specify what sort of 'infinity'
one has in mind.
Chapter 12 contains an account of one approach to the problem of
149
150 Points at infinity
z (0, 0)
g(x)={f(x) (xEIR)
N (x= oo)
X y
152 Points at infinity
If z is a real number,
1
c(z, oo)=c(oo, z)= ( +z 2 ) 112 •
1
In view of (1), the function g: IR #--+C is a homeomorphism. Since C is
compact it therefore follows that IR # is compact (theorem 19.13).
It may be helpful to think of IR # as being obtained from IR by squeezing
the real line into an open line segment, bending this into a circle and then
plugging the resulting gap with oo.
schematic diagram
of [R#
'open balls' on
Gaussian plane
X
Points at infinity 155
This definition for an open set in [-eo, + oo] makes the function
g : [- oo, +eo]--> [- 1, 1] illustrated below a homeomorphism. Thus
[- oo, +eo] is topologically equivalent to [ -1, 1]. In particular, [-eo, +eo]
is compact.
-I g(x)
and the order structure of IRl extends in a very natural way to [- oo, + oo].
An ordering ~ on [- oo, + oo] is obtained by requiring that, for all
XE [ - 00, + 00],
-00 ~X~+ 00
and that, for all real numbers x and y, x ~ y if and only if this is true in· the
usual sense.
This usage has considerable notational advantages. For example, in
[- oo, + oo] all non-empty sets have suprema and intima. If S is a non-
empty set of real numbers which is bounded above in IRl (i.e. which has a
real number as an upper bound), then sup S has its usual meaning. If S is
unbounded above in IRl, then its smallest upper bound in [- oo, + oo] is
+ oo and hence
supS=+ oo.
Thus sup S = + oo is a shorthand way of saying that S is unbounded above
in IRl. Note also that
sup 0=- oo.
The reason is that all elements of [- oo, + oo] are upper bounds for 0 (because
xE 0 is always false and therefore xE0=>x ~Y is always true). With + oo and
- oo available, one can therefore use the notation supS without first needing to
check that S is non-empty and bounded above. Similar remarks, of course, apply
in the case of inf S.
There is also some advantage in extending the algebra of IRl to
[- oo, + oo]. One cannot, of course, extend all of the algebraic structure of
IRl to [- oo, + oo] since then [- oo, + oo] would be a continuum ordered
field and we know from §9.21 that IRl is the only such object. However, one
can extend some of the algebraic structure of IRl to [- oo, + oo]. We make
the following definitions.
(i) X+ ( + 00) = ( + 00) +X = + 00 } (provided xi= - oo)
x-(- oo)= -(- oo)+x= + oo
(ii) x+(- oo)=(- oo)+x=- oo }
(provided xi= + oo)
x-( + oo)= -( + oo)+x=- oo
(iii) x( + oo)=( + oo)x= + oo} (prov1.d ed x> O)
x(- oo)=(- oo)x=- oo
(iv) x/+oo=O} .
(provided x i= ± oo ).
x/- oo =0
Perhaps the most significant feature of these definitions are those items
which are omitted. Observe that (+oo)+(-oo), (+oo)-(+oo), O(+oo),
Points at infinity 157
(i) sup(-x)=-(infx)
xeS xeS
(ii) sup
(x. y)eS x T
(x + y) =(sup x) +(sup y)
xeS yeT
without any need for assumptions about the boundedness of the sets
concerned provided that the suprema and intima are allowed the values
+ oo or - oo (See exercise 9.10(9).) Note, however, that some vigilance is
necessary if one or more of the sets is empty. For example, ifS=(/) and T is
unbounded above, the right-hand side of (ii) becomes meaningless.
The system [- oo, + oo] with the structure described in this section is
called the extended real number system. It should be pointed out that some
authors use IR # (which we have used for the one-point compactification) to
stand for [- oo, + oo]. Since other authors use IR # for yet other purposes,
some element of confusion is inevitable in any case.
e+oo
I
I
I
I
I
•
~ I
I
f
~s I
I
I
I e-oo
If I;E [-eo, + co] and IJE [-eo, +eo], it makes sense to ask whether or
not f(x)->1J as x--->1; through the set S. The definition is the same as always.
(See §22.3.) For any open set G in [- co, +eo] containing IJ, there must
exist an open set H in [- co, + eo] containing ~ such that
xEHnS => f(x)EG
provided that x ;6 ~.
As we found in §22.4, it is more helpful for technical purposes to rephrase
this definition in terms of 'open balls' in [-eo, + co]. We obtain that
f(x)->1J as x-> ~ through S if and only if:
For each 'open ball' E in [- co, +eo] with centre IJ, there exists an 'open
ball' Ll in [-eo, +eo] with centre ~ such that
XELlnS => f(x)EE
provided x ;6 ~.
If ~ and 1J are real numbers, this definition is exactly the same as the
familiar definition of §22.4. But if~ or 1J are + co or -eo then something
new is obtained. If we insert the relevant definition for an 'open ball' given
in §24.4 and bear in mind thatftakes only real values, we obtain the criteria
listed in the table below. In this table l and a are to be understood as real
numbers.
There is little point in committing these criteria to memory since it is easy
to work out in any particular case what the form of the definition must be.
There is some point, however, in acquiring a feeling for the intuitive
meaning of the different statements.
Consider, for example, the statement j(x)->l as X->+ eo'. One can think
of f(x) as an approximation to l. Then lf(x) -11 is the error involved in using
Points at infinity 159
f(x) as an approximation for I. The statement 'f(x)-->1 as x-> + oo' then tells
us that this error can be made as small as we choose (i.e. less than e) by
making x sufficiently large (i.e. greater than X). Similarly, 'f(x)->- oo as
x->- oo' means that we can make f(x) as negative as we choose (i.e. less
than Y) by making x sufficiently negative (i.e. less than X).
f(x)-+l as x-++ oo
f
x>X =l~l<e.
Clearly the choice X= 1/e suffices. To prove (iii), we have to show that, for
each Y, there exists a D> 0 such that
1
-D<x<O =-<Y.
X
Any value of D> 0 is adequate for this purpose when Y ~ 0. When Y < 0, the
choice D= - 1/Y suffices.
Note that in spite of (ii) and (iii) we say thatf(x) diverges as x approaches
0 from the right and that f(x) diverges as x approaches from the left. The
reason is that there exists no real number 1 for whichf(x)--+1 as x--+0+ and
no real number m for which f(x)--+m as x--+0-. If we restrict our back-
ground space to be the real number system IR, it is therefore untrue to say
that f(x) converges as x--+0+ or x--+0-.
If we insert the relevant definition for an 'open ball' given in §24.2 and
bear in mind thatftakes values only in !Rim, we obtain the criteria listed in
the table below. In this table, I and a are to be understood as vectors in !Rim
and !RI" respectively.
X -y )
f(x, y)= ( x2+y2' x2+y2 ·
We have that
(1)• ( X
- 2- - - -y
- -) --+(0, 0) as (x, y)-+ oo
X +y 2 X2 +y 2
(ii) (~ - y )--+oo
X +y X2 +y 2
as (x, y)--+(0, 0).
Proof To prove (i), we have to show that, for any e > 0, there
exists an X such that
ll(x, y)ll >X => llf(x, y)- 011 < e
When working with 1Rl 1 there is sometimes room for confusion over
whether the one-point or two-point compactification is in use especially
since it is not uncommon for authors to write oo where we have been
writing + oo. Indeed, in earlier chapters, we have been using the notation
(a, oo) = {x: x > 0} rather than (a, + oo) since the latter notation seems pain-
fully pedantic.
In those exceptional cases when one wishes to make use of the one-point
compactification of IRl it is therefore as well to employ notation of the type
f(x)--->1 as lxl--->oo
or lf(x)l---> oo as X->~
24.10 Exercise
(1) Prove the following results:
(i) sup (2x + 3) = + oo (ii) sup (2x + 3) = - oo
x> 0 x2<0
With these definitions propositiOn 24.9 remains valid when I[# replaces
[ -oo, +oo]. Note that oo+oo, O·oo, oojoo and 0/0 are not defined. In particular,
we do not define oo+oo=oo. For example, z--+oo as z--+oo and -z--+oo as z--+oo
but z+( -z)--+0 as z--+oo.
Even more than in §24.4, it is necessary to warn against attempting algebraic
manipulations on the basis of definitions (i}-(iv). Item (iv), for example, does not
represent a genuine 'division by zero' but merely indicates a handy convention.
r---------------~(+oo,+oo)
(x. y)
~
(-=,y) •
(x. y)
(+=. y)
(+=, 0)
(0, 0)
IR2
L---+-----------_.(+oo,-oo)
(X, -oo) (X, -oo) (+oo, -oo)
In [- oo, + oo ]", of course, one uses the product topology (see §21.18). One can
describe this by defining an 'open ball' B with centre ~ = (~ 1 , ~ 2 , ... , ~.) in
[- oo, + oo ]" to be a set of the form
B=Bl X 82 X ••• X B.,
where each set B; (i = 1, 2, ... , n) is an 'open ball' in [- oo, + oo] with centre~;· A set
G is then open in [- oo, + oo ]" if and only if each ~E G is the centre of an 'open ball'
B such that B c G. Note that IR" is a topological subs pace of [- oo, + oo ]". In fact a
subset of IR" is open relative to [- oo, + oo ]" if and only if it is open in the usual
sense.
Next consider a set S in [- oo, + oo ]" and a function f: S--+ [ - oo, + oo ]m. We are
interested in the case when S c IR" and f(S) c IR m.
If ~E[- oo, + oo]" and lJE[- oo, + oo]m, we have thatf(x)--+lJ as X-+~ through S
if and only if:
For each 'open ball' E in [- oo, + oo ]m, with centre '1 there exists an 'open ball' L\
in [- oo, + oo ]" with centre ~ such that
XE L\nS =f(x)E E
provided x =1 ~.
The table below gives some sample criteria in the case m= 1 and n = 2. In this
table I, a 1 and a 2 are to be understood as real numbers.
As we know from §23.1, the first criterion in this table is equivalent to the usual
definition of the statement j(x)--+1 as x -+a through S'.
Points at infinity 167
This does not tend to a limit as (x, y)--+oo. Vfe have that f(x, y)--+t as (x, y)--+oo
along the curve xy = 1 but f(x, y)--+0 as (x, y)--+ oo along the line x = 0. However,
. (xy)2 -1
IliD 2-. (1)
(x, y)~(+w. +w) 1 +(xy)
To prove this we have to show that, given any e > 0, there exists an X such that,
for any x>X and any y>X,
(xy)
2
I
I 1 +(xy)2 1 <e.
But
does not exist. The reason for the difference is that in considering (1) we look at
regions like that indicated on the left below while, when considering (2), we look at
regions like that on the· right.
Finally, note that many authors would write (1) in the form
. (xy)2 -1
IliD 2-.
x~w 1 +(xy)
y~w
One has to be careful not to confuse this notation with (2) (nor to confuse it with the
notation for repeated limits). (See §23.5.)
168 Points at infinity
24.14t Exercise
(1) Prove that
(i) x-y)
lim ( lim - - = -1
x-+oo y-+oox+y
(ii) .
hm ( hm
. -x-y)
- = 1.
y-+oo x-+oox+y
Discuss the existence of
(. . ) .
m Inn
(x,y)-(+oo. +oo)
(X- y)
-- .
x+y
(2) Let f: IR 2 -+IR 2 and consider the following statements
yx+1
f(x, y)= x+ 1 .
Prove that f(x, y)-+ y as x-+ + oo uniform! y for 0 ~ y ~ 1 - i.e. prove that, for any
e > 0, there exists an X such that, for any x >X and any y satisfying 0 ~ y ~ I,
lf(x, y)- Yi <e.
(The point is that the same X must work for all y satisfying 0 ~ y ~I. Thus X
must depend only on e.)
25 SEQUENCES
25.1 Introduction
In this chapter we shall study the general properties of sequences
of points in a metric space. As we shall see, this topic allows us to tie
together many of the ideas introduced in earlier chapters and, to some
extent, this chapter will therefore provide a useful opportunity for some
revision of these ideas. Sequences of real numbers are particularly impor-
tant but we have not felt it necessary to stress the importance of their
special properties since most readers are likely to have studied these special
properties at length elsewhere.
Formally, a sequence of points in a metric space ?J is a function/: N-+?J.
We call f(k) the kth term of the sequence. The notation
<Yk>
will be used to denote the sequence whose kth term is Yk· Thus <h) denotes
the function f: N -+'IJ defined by f(k)= Yk (kEN).
<
Intuitively, it is useful to think of a sequence Yk> as a list. We therefore
sometimes refer to a sequence by listing its first few terms. The first few
terms of the sequence (k 2 + 1) for example are
2, 5, 10, 17, 26, 37, ...
169
170 Sequences
lts>O 3K,
k > K = d( 1), y k) < B.
This definition is notning new. If f: N -+'lj satisfies f(k) = Yk> the definition
simply asserts that f(k)-+1) as k-+ + oo through the set N (see §24.5).
From each of the results of chapter 22, we can obtain a theorem about
sequences as a special case by taking X= [- oo, + oo ], S = N and I;= + oo.
Some of these special results are of sufficient importance to make it
worthwhile listing them below.
< cos k
(xk> = ( -k-, -k- >
sink)
Icosk k j::;~_.o
-k
as k->oo
/
........ ------ ......
xz/ ..... XI
I
I
I
I
' ' , ...'_____ ;
..... _- ) .... •x4
/
x3
25.5 Theorem Suppose that (xk> and (yk) are sequences of points in
!Rn and that
xk-->1; as k->oo
and Yk->l) as k-> oo.
Then, for any real numbers a and b,
axk+byk->al;+bl) as k->oo.
25.6 Theorem Suppose that (xk> and (yk) are sequences of real numbers
and that
xk->~ as k->oo
and Yk--> 1J as k--> oo.
Then;
172 Sequences
e
.. ) ---+-as
(n xk k --+ oo.
Yk '1
are equivalent.
(4)
Sequences 173
From the first of these inequalities it follows that xk--+~ as k--+oo and, from
the second, it follows thatf(xk).frtt as k--+oo.
25.9 Corollary Let X and 'lj be metric spaces and suppose thatf: S--+'lj
where S is a set in X. Then f is continuous on S if and only if, for each
sequence (xk) of points of S which converges to a point of S,
25.11 Exercise
(1) Determine whether or not the sequence (xk) converges in IR 2 in each of
the following cases.
(2) Write down definitions for the statements 'xk__. + oo as k__. oo' and
'xk__.- oo ask__. oo' in the case when (xk) is a sequence of real numbers.
Show that k 2 __. + oo as k---oo and that -Jk__.- oo as k---oo. Discuss
the sequences (( -1l) and (k( -1l).
(3) Let (xk) be a sequence of points in IR". Write down a definition for the
statement 'xk__.oo as k__.oo' based on the one-point compactification of
IR". For which of the sequences of question 1 is it true that xk __. oo aF
k__. oo?
(4) A sequence (xk) of real numbers is said to increase if and only if
xk~xk+ 1 for each kEN. Prove that an increasing sequence (xk) of real
numbers is unbounded above if and only if xk__. + oo as k__. oo. Prove
that an increasing sequence of (xk) of real numbers is bounded above
if and only if xk__.x as k__. oo and that the limit x is the supremum
of the sequence. What are the corresponding results for decreasing
sequences?
(5) A sequence (xk) is defined by x 1 = 1 and xk+ 1 = f(xk) where f:[O, oo )---IR
is defined by
f(x)=x+1.
x+2
Prove that 0<xk+ 1 ~xk (k=1, 2, ... )and explain why it follows that
(xk) converges. If xk__.x as k---oo, justify the conclusion that x=f(x)
and hence show that
J5-1
X=--2-.
Sequences 175
(6) Prove that the sequence (xk) of rational numbers defined by x 1 = 2 and
xk+! =Kxk+ :J
decreases and is bounded below. Deduce that (xk) converges and prove
that the limit is J2.
Proof (i) Suppose that d(l;, S) =0. By theorem 13.22, given any
a>O, there exists an xES such that d(l;, x)<a. Since 1/k>O, it follows that
there exists an xkE S such that
d(l;, xk)< 1/k-->0 as k->oo.
Hence xk-->1; as k->oo.
(ii) Suppose that there exists a sequence (xk) of points of S such that
xk-->1; as k->oo. Then, given any a>O, there exists a K such that k>K=>
d(l;, xk)<a. In particular, d(l;, xK+ 1 )<a. It follows from theorem 13.22 that
d(l;, S)=O.
25.14 Theorem Let S be a set in a metric space X and let I;E X. Then
I;E S if and only if there exists a sequence (xk) of points of S such that xk-->1;
as k->oo.
176 Sequences
25.15 Corollary A set Sin a metric space X is closed if and only if each
convergent sequence of points of S converges to a point of S.
25.16t Note It is of some importance to take note of the fact that theorem
25.14 and corollary 25.15 are false for a general topological space X. Analogues of
these results are valid but the notion of a sequence must be replaced by the more
general notion of a net.
25.17 Exercise
(1) If <xk) is a sequence of points in IR" such that xk-+1; as k-+oo, explain
why
(i) <xk, u)-+<1;, u) as k-+oo
(ii) llxkll-+111;11 as k-+oo.
[Hint: Use corollary 25.9.] Deduce from corollary 25.15 that the sets
S= {x: <x, u) ~c} and T= {x: llxll ~r} are closed.
(2) Let A and B be two non-empty sets in a metric space X. Prove that A
and B are contiguous if and only if a sequence of points in one of the
sets converges to a point of the other.
Use this result and corollary 25.9 to prove that, ifS is a connected set
in X and f: S -+?,J is continuous on S, then f(S) is connected. (See
theorem 17.9.)
(3) Let S be a set in a metric space X and let /;EX. Prove that I; is a cluster
point of S if and only if there exists a sequence <xk) of distinct points of
S such that xk-+1; as k-+oo. (Distinct means that xi=xk ~j=k.)
25.18 Subsequences
Suppose that g: N-+ N is strictly increasing. Then the sequence
fog: N -+?J, is said to be a subsequence of the sequencef: N -+?J,.
If we 'think of the subsequence illustrated in the diagram as a list, then its
first few terms are
Sequences 177
<Yk1 )
denotes a subsequence of <Yk>· (If f(k)= y and g(l)=k" then f(g(l))= Yk 1.)
For example, if <h)= <k 2 + 1) and <k 1) = (2/), then <Yk)
I
is <4/ 2 + 1). This
subsequence is obtained from the sequence <Yk> by deleting terms as
indicated below:
t, 5, v1, 17, ~. 37, ~. 65, ~. 101, ...
25.20 Example We have that 1/k--+0 as k--+ oo. From theorem 25.19 it
178 Sequences
25.22 Exercise
(1) Suppose that (k 1) is a strictly increasing sequence of natural numbers.
Prove by induction that k1 ~I for all lE N and deduce that
k1-> + oo as 1-->oo.
(2) Show that, for any mEN, the sequence of real numbers
25.27 Example Suppose that .X and ?J are metric spaces and that S c .X.
Ifj: S-+?J is continuous on the setS, then
S compact= f(S) compact.
We have already seen two proofs of this very important theorem. (See
theorems 19.13 and 21.17.) A third proof may be based on theorem 25.25.
Let (yk) be any sequence of points inf(S). We seek to show that (yk) has
a subsequence which converges to a point ofj(S). Write Yk = f(xd. Since S is
compact, (xk) has a subsequence which converges to a point ~ES. Suppose
xk I -+~ as [-+ oo. By corollary 25.9,/(xk I )-+/(~) as [-+ oo. It follows that the
subsequence (Yk 1) converges to the pointf(~)Ef(S).
25.28 Exercise
(1) Let (Yk) be a sequence of points in a metric space .X and let
E={yk: kEN}. Ifyk-+fl, prove that Eu{ra} is compact.
t(2) Let X and ?J be metric spaces and let f: K -+?J be continuous on the compact
set Kin X. Use theorem 25.25 to show that/ is uniformly continuous on K (see
§23.20).
[Hint: The contradictory of the statement that f is uniformly continuous on K
begins with '3e > 0 V b > 0'. Use this assertion with b = 1/k for each kEN.]
t(3) Given an example of a bounded sequence in /00 (see §20.20) which has no
convergent subsequence.
26 OSCILLATION
26.1 Divergence
Suppose that X and 'IJ are metric spaces and thatf: S-*'IJ where S
is a set in X. Let 11E'IJ and let I; be a cluster point of S.
Oz(X)-->- oo as x-->0+
I
\
\
\
\
\ \
i\ \
/
/
//
o3 oscillates 'finitely' as x-->0+ o4 oscillates 'infinitely' as x-->0+
181
182 Oscillation
Ifj(x)--+11 as X-+~ through the setS, we say that the function converges as
x approaches ~ through S. If the function does not converge as x
approaches ~ through S, then it is said to diverge. Divergent functions can
exhibit a variety of different behaviour as the diagrams on p. 181 illustrate.
We saw in chapter 24 that the behaviour of the functions g 1 and g 2 can
be treated by the same machinery as one uses for convergent functions.
Although these functions do not converge as x approaches 0 from the right
when regarded. as mappings to the space IR, they do converge when
regarded as mappings to the space [- oo, + oo]. The functions g 3 and g4
are more interesting. These are examples of oscillating functions. To discuss
these, we require the notion of a limit point.
f(x)={ 1 (x~O)
-1 (x<O).
This function diverges as x approaches 0 but f(x)-->1 as x-->0+ and
f(x)--> -1 as x-->0-. Hence the function has two limit points as x ap-
proaches 0. These are 1 and - 1.
(ii) Consider the function/: IR 2 -->IR 1 of example 22.11. We have seen that
1)(2 -1
f(x, y)--> oc 2 + as (x, y)-->(0, 0)
1
along the line y = ocx. Examining each ocEIR in turn, we find that every point
of [0, 1) is a limit point of f(x, y) as (x, y) approaches (0, 0). Also
f(x, y)--> 1 as (x, y)-->(0, 0)
along the line x = 0. Hence 1 is also a limit point.
Since -1 ~f(x, y)~ 1 for all (x, y)EIR 2 , the function can have no other
limit points. It follows that the set oflimit points off(x, y) as (x, y)-->(0, 0) is
equal to [ -1, 1].
26.4 Exercise
(1) Suppose that X and ?J are metric spaces and thatf: S-->?J where S is a
set in X for which ~ is a cluster point.
Prove that 'i.E?J is a limit point off as x approaches~ through the set
S if and only if there exists a sequence (xk) of points of S such that
xk # ~ (k = 1, 2, ... ) and xk -->~as k--> oo for which
f(xk)-->1. as k--> oo.
[Hint: Use theorem 25.8].
(2) Find all real limit points of the following sequences of real numbers:
. 1
(1). f( x)=sill-
.. f (x)=x Sill-
(n) . 1
X X
... f 1 .
(m) (x) =- Sill -
1 . f (x)=1-sill-
(1v) . 1
X X x
184 Oscillation
1 1 . 1 . 1 1 . 1
(v) f( x)=--- Sill- (v1) f(x)= 2 - - Sill-.
X X X X X X
26.6t Theorem Suppose that X and 'IJ are metric spaces and letf: S->'IJ where
S is a set in X for which ~ is a cluster point. Then the set L of limit points off as x
approaches ~ through S is given by
00
L=(l f(SnAk)
k=l
where the set Ak is obtained by removing ~ from the open ball with centre ~ and
radius 1/k.
Proof (i) Suppose that AE L. Then there exists a sequence (xk) of points of
S \ {~} satisfying xk --~as k-> oo such thatf(xk)->A. ask-> oo (exercise 26.4(1)). Given
any J, there exists a K such that
Le(} f(AknS).
k=l
(ii) Suppose that A.Ef(AknS) for each kEN. Then for each kEN, there exists a
sequence (xk, 1) of points of AknS such that f(xk,,)->l. as 1->oo. For each kEN,
choose lk so that d(l., f(xk, 1)< 1/k. Then xk,lk --~ as k-> oo and f(xk, 1)->l. as k-> oo.
Oscillation 185
( l f(AknS)c:L.
k= I
26.7t Theorem Let X and ?J be metric spaces and suppose thatf: S-+?J where
S is a set in X for which ~ is a cluster point. Then the set L of limit points off as x
approaches ~ through S is closed.
Proof The sets SnAk are non-empty for each kEN because ~ is a cluster
point of S. It follows thatf(SnAd is non-empty for each kEN. Thus <f(SnAd) is a
nested sequence of non-empty, closed subsets of a compact set K. It follows from the
Cantor intersection theorem (19.9) that the sequence has a non-empty intersection-
i.e. L=f.(/).
The assumption that f(S) be a subset of a compact set K c:. ?J. which is made in
theorems 26.8 and 26.9 is not so restrictive as it may seem at first sight. For example,
if '11 = IR, one can always begin by replacing IR by the compact space [- oo, + oo].
26.10 Example Consider the sequence (( -1)kk -k) of real numbers. We have
that
( -1) 2 k2k- 2k--+0 as k--+ oo
(-1) 2 k+ 1(2k+1)-(2k+1)--+-oo as k--+oo.
The sequence therefore has only one rea/limit point namely 0. However, one cannot
conclude from theorem 26.9 that the sequence converges because the range of the
sequence does not lie in a compact subset of IR. Note that, if we regard the sequence
as taking values in the compact space [- oo, + oo], we find that the set L of limit
points contains two elements namely 0 and - oo. Thus again theorem 26.9 does not
apply.
Suppose that X is a metric space and thatf: S--+IR where S is a set in X for which
~ is a cluster point. Let L denote the set of limit points from [- oo, + oo] as x
approaches ~ through S.
Since [- oo, + oo] is compact, we know from theorem 26.8 that L# ~- If L
consists of a single point, then either fconverges as x approaches~ through S or else
f diverges.to + oo or diverges to - oo as x approaches~ through S. If L consists of
more than one point, we say that f oscillates as x approaches ~ through S.
If f oscillates as x approaches ~ through S and Lis a compact subset of IR, it is
customary to say that f 'oscillates finitely'. (Note that, since L is closed, it follows
that Lis a compact subset of IR if and only if Lis a subset of IR which is bounded in
IR .) Otherwise f is said to 'oscillate infinitely'.
26.12t Theorem Let X be a metric space and suppose that/: S--+~ where S is a
set in X for which ~ is a cluster point.
Then the function f oscillates as x approaches ~ through S if and only if A=/= A.
Moreover, given any YJE [- oo, + oo ],
f(x)--+'1 as x --+~
through S if and only if A= '1 =A.
Item (i) above asserts that nothing larger than A is a limit point. Item (ii)
guarantees that A lies in the closure of the set L of limit points. Since Lis closed, this
means that AE L.
Similar criteria, of course, hold for the limit inferior A.
The notation
is often used. The reason for the choice of this notation will be evident from the
statement of the following result.
26.14t Proposition Let X be a metric space and suppose thatf: S--+~ where S
is a set in X for which ~ is a cluster point. Let A 0 denote the set obtained by
removing ~ from the open ball with centre ~ and radius o> 0. Then
The proof of (i) above depends on the observation that the function
F: (0, oo)-+[- oo, + oo] defined by
increases on (0, oo). This guarantees the existence of the limit as 0--+0+. The
identification of the limit with A is then achieved with the help of proposition 26.13.
26.15t Exercise
(1) Determine the lim sup and lim inf for each of the examples given in exercises
26.4(2), (3) and (4).
(2) Suppose that (ak) is any sequence of real numbers. Prove that AE[- oo, + oo]
is the lim sup of the sequence if and only if
(i) For any subsequence (ak,> of (ak),
ak 1-+'7 as 1--+oo ~ '7;:i;A
and (ii) There exists a subsequence (ak,> of (ak> such that
ak 1-+A as 1--+oo.
What is the corresponding result for the lim inf of a sequence?
(3) Suppose that (ak) is any sequence of real numbers. Prove that AE [- oo, + oo]
is the lim sup of the sequence if and only if
(i) VL>A, {k: ak;;:;L} is finite
and (ii) VI< A, {k: ak;;:; l} is infinite.
What is the corresponding result for the lim inf of a sequence?
(4) Suppose that (ak) and (bk) are any sequences of real numbers. Prove that
lim sup (ak + bd;::;; (lim sup ak) + (lim sup bk)
k-+oo k-+oo k-+oo
whenever the right-hand side makes sense. Give an example for which the left-
hand side is - oo and the right-hand side is + oo. Show that the two sides are
equal whenever (bk) is a convergent sequence of real numbers.
What are the corresponding results for the lim infs of the sequences?
(5) Suppose that (ak) and (bk) are any bounded sequences of real numbers. Prove
that
(6) Suppose that <ak) is any sequence of positive real numbers. If there exists a K
such that ak + 1 -;:?_ rak for any k > K, prove that there exists an H such that
ak < Hrk for all kEN. Deduce that
27 COMPLETENESS
Ve>O 3K,
(k>K and l>K) = d(xk, x)<e.
27.2 Completeness
A complete metric space .X is a metric space in which every
Cauchy sequence converges.
Our first task is to link this notion with the ideas introduced in §20.15 by showing
that a complete metric space is one in which a suitable analogue of the Bolzano-
Weierstrass theorem (19.6) is true.
190
Completeness 191
27.3t Theorem A metric space X is complete if and only if every totally bounded
set in X has the Bolzano--Weierstrass property.
Proof (i) Suppose that X is complete and that S is a totally bounded set
in X. Let E be an infinite subset of Sand let (xk) be a sequence of distinct points of
E. The definition of a Cauchy sequence is equivalent to the assertion that the range
of the sequence is totally bounded. It follows that (xk) is a Cauchy sequence and
hence converges. Its limit is then a cluster point of E (exercise 25.17(3)).
(ii) Suppose that every totally bounded set in X has the Bolzano--Weierstrass
property. Let (xk) be a Cauchy sequence. Then its range is totally bounded and
hence is either finite or else possesses a cluster point. In either case (xk) has a
convergent subsequence (exercise 25.17(3)) and therefore converges (exercise 27.7(3)).
27.4t Theorem A set Kin a complete metric space X is compact if and only if
it is closed and totally bounded.
Proof Note that a closed ball need not be compact in a general complete
metric space X. (See §20.20.) The Cantor intersection theorem (19.9) therefore does
not apply.
Let xkE Bk. Given any e > 0, let B K be the first ball with radius less than e. Then
k>K => XkEBK
and hence (xk) is a Cauchy sequence. Since X is complete, (xk) therefore converges.
But each of the sets Bk are closed and the limit of (xk) therefore belongs to each of
these sets (corollary 25.15).
Theorem 23.17 was concerned with the conditions under which one can reverse
the limiting operations in a repeated limit. If X is a complete metric space, this
theorem takes a more satisfactory form.
192 Completeness
27.6t Theorem Let X, 'IJ and f be metric spaces and suppose that f is
complete. Let ~EX and l)E'IJ. Suppose that A is a set in X for which ~ is a cluster
point and that B is a set in 'IJ· Letf: S \ (~, tt)-+ f where S =A x B. Let l: B-+ f and
let m: A-+f.
Suppose that
(i) f(x, y)-+l(y) as x-+~ through the set A uniformly for yEB, and
(ii) f(x, y)-+m(x) as y-+l) through the set B pointwise for xEA.
Then there exi"sts a ~E f such that
(iii) l(y)-+~ as y-+l) through the set B, and
(iv) m(x)-+~ as X-+~ through the set A.
-,-------------,
I S I
I I
I I
I I
I I
I I ~-~~--
B 1 I
l t t
I I
__ I, _ _ _ _ _._ ____ ___._
: ___ j I
I
1J
I (~, 1)) I
~-+----~~---------+--X
Proof Let e>O be given. From (i) we have that there exists a <5>0 such
that for each XEA and each yE B,
0 < d(x, ~) < t5 => d(l(y),f(x, y)) < e/4.
From (ii) we have that, for each XE B there exists a ~. such that
O<d(y, tt)<~. => d(m(x),f(x, y))<e/4.
It follows that if XE A satisfies 0 <d(x, ~) < t5 and yE B satisfies 0 <d(y, tt) <~.,then
d(l(y), m(x))<e/2.
We may deduce that, if x 1 EA and x 2 EA satisfy 0<d(x 1 , ~)<D and 0<d(x 2 , ~)<D,
then
d(m(x 1), m(x 2)) <e.
From this it follows that, if (xk) is any sequence of points of A \g} such that xk-+~
as k-+oo, then (m(xk)) is a Cauchy sequence in X. Item (iv) then follows from
Completeness 193
theorem 25.8 and the fact that X is complete. We can then appeal to theorem 23.17
to obtain item (iii).
27.7 Exercise
(1) Prove that any convergent sequence of points in a metric space X is a
Cauchy sequence. Prove that any Cauchy sequence in a metric space X
is bounded.
(2) Prove that any sequence (xk) in a metric space X which satisfies
d(xk, xk+d~2-k (keN) is a Cauchy sequence. Prove that any Cauchy
sequence (xk) in a metric space X has a subsequence (xk,) which
satisfies.
d(xk,I xk l +)~2-
l-
1
(/eN).
(3) Prove that any Cauchy sequence in a metric space X which has a
convergent subsequence is itself convergent.
t(4) Let 'IJ be a set in a metric space X. Then 'IJ may be regarded as a metric
subspace of X. Prove the following:
(i) If X is complete, then 'IJ is complete if and only if 'IJ is closed in X.
(ii) If 'IJ is compact in X, then 'IJ is complete.
t(5) Let X be a metric space for which it is true that every nested sequence of non-
empty closed balls whose radii tend to zero has a non-empty intersection. Prove
that X is complete. (See theorem 27.5.)
t(6) If X is a metric space, a function!: X-+ X is called a contraction if and only if
there exists a real number Cl(< 1 such that
d(f(x), f(y)) ~ Cl(d(x, y)
for each xEX and each ye X. Letf: X-+X be a contraction. Prove that:
(i) f is continuous on X.
(ii) Any sequence (xk> of points of X which satisfies xk + 1 = f(xk) is a Cauchy
sequence.
(iii) If X is complete, then f has a fixed point - i.e. for some ~E X,f@ = ~.
(See example 17.13.)
Let S be a non-empty set and let 1J be a metric space. We shall denote the set of·
all bounded functions f: S -+?j by YJ (S, ?J). The set YJ (S, ?J) becomes a metric space
if we define the distance between two 'points' f and g of YJ (S, ?J) by
Proof Let (h> be a Cauchy sequence in 93 (S, ?J). Then, for each xES,
(fk(x)> is a Cauchy sequence in ?J. Since 1J is complete, it follows that, for each xES,
(fk(x)> converges- i.e. there exists a function f: S -+?j such that fk(x)-+f(x) as k-+ oo.
In the language of §23.11 and §23.12, we have shown that (fk(x)> converges
pointwise for XES. What we need to show is that <fk> converges in the space 93 (S, ?J)
- i.e. (fk(x)> converges uniformly for XE S.
Given any a> 0, there exists a K such that for any k > K and any l > K,
u(J;, fk) < e/2.
It follows that, for each XE S,
27J 1t Theorem Suppose that 1J is a complete metric space. Then the set C of
all continuous functions in YJ (S, ?J) is closed in YJ (S, ?J).
Let ~E Sand let J > K. Sincef1 is continuous on S, there exists a (j > 0 such that for
each xES
d(~, x)<b=>d(f1 @,f1 (x))<t:/3.
It follows that, if d(~, x) < b, then
d(f@,f(x));;;; d(f@Ji~)) + d(fi~),fjx)) + d(fjx),f(x))
< t:/3 + t:/3 + t:/3 = t:
and so f is continuous on S- i.e. jEC.
We shall use the notation e(S, ?J) to denote the space of all continuous functions
f: S->?J. Such functions need not in general be bounded. However, ifS is a compact
set in a metric space X , then a continuous function f: S-> ?J is bounded and,
moreover,
To obtain this result we apply theorem 19.14 to the continuous function F: S->IR
defined by F =do (f, g).
27.14 Examples Consider the sequences <xk> and <Yk> defined by x1=2,
y 1 =t and
x3 x2
Ill ell! I I I
(i) Since (xk) converges in the space IR, it is a Cauchy sequence in IR (exercise
27.7(1)). It follows that (xk) is a Cauchy sequence in the space 0. But (xk) does not
converge if it is regarded as a sequence of points in 0. There is no rational number~
such that xk-+~ as k-+oo. In fact, xk-+J2 as k-+oo and j2 is irrational.
(ii) Let lk = {r: rEO and xk ~ r ~ h}· Then lk = [xk, Yk]nO and hence is closed in
the metric space 0 (corollary 21.12). It follows that (h) is a nested sequence of
closed boxes in 0 (§ 19.2) but
k=!
27.15t Exercise
(1) Find the uniform distance between the functionsf: IR -+IR and g: IR -+IR defined by
1 X
f(x)= 1 +x2; g(x)= 1 +x2
where these functions are regarded as points in the metric space 8l (IR, IR).
(2) Let X be the set of all continuous functionsf: [a, b]-+IR. Let the metric in X be
r
defined by
Prove that 8' is not complete. [Hint: See the previous question.]
(1)
then we shall want both sequences to converge to the same limit. We therefore begin
by introducing an equivalence relation - on the set S of Cauchy sequences of points
of X by writing
if and only if (1) holds. The set X* is defined to be the set of all equivalence classes
of S defined by this equivalence relation. We shall use the notation [ (xk)] to denote
the equivalence class containing the Cauchy seqt!ence (xk>· The original space X is
fitted inside the new space X* by identifying an element x of X with the element
[(x)] of X*.
We need to show that X* is a complete metric space. First it is necessary to
introduce a metric into X* which is consistent with that of X. We therefore define
d: X*-+IR by
Note that the limit on the right-hand side exists because (d(xk, Yk)) is a Cauchy
sequence of real numbers whenever (xk) and (yk) are Cauchy sequences in X. (See
exercise 27.20(1).) But every Cauchy sequence of real numbers converges because IR
is complete (theorem 27.9).
198 Completeness
27.17t Theorem For any metric space X, the metric space X* is complete.
Proof We have to prove that every Cauchy sequence in X* converges
to a point of X*. We proceed by showing that, if (X) is a sequence in X*
satisfying
(2)
then there exists an X EX* such that Xr-+ X as j-HD. Since each Cauchy sequence in
X* has a subsequence which satisfies (2) (exercise 27.7(2)), the result will then follow
from exercise 27.7(3).
Recall that the elements of X* are equivalence classes of Cauchy sequences in X.
All subsequences of a given Cauchy sequence in X clearly belong to the same
equivalence class. From exercise 27.7(2) it follows that we may write
Xi=[(xkU>)],
and hence
(3)
provided that l ~ k.
Now (2) asserts that
d(x (I) X (j))::;; d(X (I) X (I+ I))+ ... + d(x (j-l) X (j))
kj ' kj - kj ' kj kj ' kj
<2-(l+l>+ ... +2-j
<2-1.
Completeness 199
To prove this is a somewhat tiresome but essentially trivial task and so we shall
omit the details.
Recall that iiJ! is the 'smallest' ordered field. Thus iiJ! * is the 'smallest' complete
ordered field. We know from theorem 27.9 that IR is complete and thus IR * c IR.
(These remarks, of course, take for granted that structures isomorphic to iiJ!, iiJ! * or IR
are to be identified with Q, Q* or IR respectively- see §9.21.)
The next theorem shows that the system iiJ! * and the system IR are the same - i.e.
the real number system is the completion of the rational number system. Recall that
IR is an ordered field which satisfies the continuum axiom. This asserts that every
non-empty set which is bound above has a smallest upper bound.
hence converge. They have a common limit ~ which is easily shown to be the
smallest upper bound of the set S.
~~~-
points of S
27.20t Exercise
(1) Let (xk) and (yk) be Cauchy sequences in a metric space X. Prove that
(d(xk, yk)) is a Cauchy sequence of real numbers and hence converges.
(2) Check that IQ* is an ordered field with the definitions of addition, multiplication
and an ordering given in §27.18.
(3) Every ordered field X contains the system N of natural numbers (or else a
system isomorphic to N). We say that X is Archimedean if N is unbounded
above in X. (See §9.16.) The system~ is Archimedean (theorem 9.17) and hence
so are IQ and IQ*. Prove that an Archimedean ordered field X is complete if and
only if it satisfies the continuum axiom (i.e. X=~).
(Note that by the assertion that the Archimedean ordered field X is complete we
mean that X is 'complete' with respect to the 'metric' d: X x X--+ X defined by
d(x, y)=lx-yl.)
28 SERIES
s= L ak
k=l
if and only if sK-+s as K-+oo. If the sequence of partial sums does not
converge, we say that the series diverges.
L xk=(1-x)-t.
k=O
To prove this result we observe that
K
L xk= 1+x +x 2 + ... +xK
k=O
1-xK+t 1
----+-- as K-+ oo.
1-x 1-x
If lxl ~ 1, then the sequence of partial sums diverges and so the infinite
series does not exist.
201
202 Series
(1)
converges.
Proof The partial sums of the sequence (1) are a Cauchy sequence
(exercise 27.7(1)). Given any a>O, it follows that there exists anN such that,
for any K>l>N,
K
ltK-tJI = I bk<B
k=J+l
where t K denotes the Kth partial sum of the series (1). It follows that, for
any K>l>N,
K
llsK-sJII=II I
akll
k=J+l
K K
~ I
k=J+I
llakll ~ I bk<B
k=J+l
Many analysis textbooks are stuffed full with tests for establishing the
convergence of series. Most of these tests, however, are useful only for
somewhat obscure series and we shall therefore restrict our attention to two
of the more important.
converges if
(11.. ) I.Imm
. f -b->
bk + 1 1
.
k~co k
Proof If (i) holds, there exists a p < 1 and an H such that bk < H pk
(kEN). The convergence of the series then follows from the comparison test.
If (ii) holds, then bk-f.O as k-HfJ and so the series diverges .
converges if
and diverges if
It follows that neither the ratio test nor the root test are helpful m
determining the convergence or divergence of the series
Cl) 1
2:-.
k"
k= 1
As it happens, the series converges for ex> 1 and diverges for ex~ 1. (See
exercise 28.10(3).)
204 Series
converges. The comparison test shows that in a complete space any ab-
solutely convergent series converges.
The ratio test and the root test can therefore be used with bk = lla~c.ll to
establish the convergence of certain series in a complete space. But note that
both tests (and the comparison test) are only able to establish absolute
convergence. However, series exist which converge but do not converge
absolutely. (See exercise 28.10(4).)
is called a power series (about the point (). For what values of z does this
power series converge? The root test is useful here. Suppose that
Then
If 0 < p < + oo, it follows that the power series converges when
lz- (I< 1/p. If p = 0, the power series always converges and, if p = + oo, it
converges only when z=(.
This argument shows that there exists an RE [0, + oo] such that the
power series con verges when lz- (I < R and diverges when lz- (I > R. It
follows that the set S of values of z for which the power series converges
satisfies
{z: lz- (I <R} cS c {z: lz-(1 ~R}.
Series 205
-R-...-R--..
The series obtained by writing z = 1 converges but not absolutely. The series
obtained by writing z = -1 diverges.
28.10 Exercise
(1) Suppose that <ak) is a sequence of points in a normed vector space X
and that the series
<bk) of real numbers for which bk--+0 as k--+oo but the series
diverges.
(2) Suppose that <ak) is a sequence of non-negative real numbers. Prove
that the infinite series
where sK denotes the Kth partial sum. Prove that, if IX> 1, then
w 1 1 1
J1 k" = 1 + 2" + 3" + ...
converges by demonstrating that
t 2 i- 1 ~2"- 1 /(2"- 1 -1) UEN)
where tK denotes the Kth partial sum.
(4) If <ak) is any decreasing sequence of non-negative real numbers, prove
that
K+L
aK-aK+1~1 L (-1)k ak l~aK.
k=K
(5) Suppose that <ak) is a sequence of non-negative real numbers and that
:J is the collection of all finite subsets of N. Prove that
00
s= L: ak
k=1
t= sup
GEj X j
L
(j,k)EG
aik
U= I (I aik)?
k= 1 j= 1
This is a problem about the circumstances under which two limiting operations
'commute'. We discussed such problems in chapter 23. In particular, we introduced
the notion of uniform convergence to provide an appropriate criterion.
Suppose that, for each kEN,fk: S-+'IJ where 'IJis a normed vector space. We say
that
(1)
converges uniformly for xES if and only if the sequence of partial sums converges
uniformly for xES. Similarly, (1) converges pointwise if and only if the sequence of
partial sums converges pointwise for xES.
28.12t Theorem Suppose that X is a metric space and that 'IJ is a complete
normed vector space. Let S c X and suppose .that, for each kEN, the functions
fk:S-+?J satisfy
28.13t Corollary Suppose that X is a metric space and that 'IJ is a complete
normed vector space. Let Se X and suppose that, for each kEN, the function
fk: S-+'IJ is continuous on S. Then the functionf: S-+'IJ defined by
f(x)= I fk(x)
k=!
is continuous on S provided the series converges uniformly for xES.
Series 209
f(x)= I xe-kx
k=O
converges pointwise for each xe[O, oo). For x>O,/(x) may be evaluated using the
formula for a geometric progression. We obtain that
1
x -{x(l-e-y (x>O)
f( )- 0 (x=O).
Observe thatf(x)-+1 as x-+0+ but/(0)=0. Thus f is not continuous on [0, oo) and
hence the series does not converge uniformly for xE [0, w ).
If 'IJ is a normed vector space, then we may regard YJ (S, 'IJ) as a normed vector
space by defining vector addition and scalar multiplication in YJ (S, 'IJ) by
(F + G)(x) = F(x) + G(x)
(aF)(x) = aF(x).
IIFII = supiiF(x)ll
xeS
I J;,(x)
k=l
converges uniformly for xeS is the same as saying that the series
k=l
I h.
converges in the space YJ (S, 'IJ).
This is a useful observation because it allows us to extend many of the preceding
210 Series
28.16t Theorem (Weierstrass 'M test') Suppose that, for each keN, fk: S-+'IJ,
where 'IJ is a complete normed vector space. Suppose also that <bk) is a sequence of
non-negative real numbers for which
L Jk(x)
k=l
I.h
k= I
28.17 Example Consider the functionfk: [0, oo)-+~ defined by Jk(x)=x 2e-kx.
This achieves a maximum at x=2k- 1 • Hence, for each xe[O, oo) and each keN,
f(x)= L x2e-kx
k= I
28.18t Exercise
(1) Prove that the series
converges pointwise for x;?;O. Show that f is not continuous on [0, w) and
deduce that the series does not converge uniformly for x;?; 0. Does the series
converge uniformly for
(a) O~x~l, (b) l~x~2?
(2) Prove that the series
f(x)= I
k=O
sin kx
k
2
K
U K= I uk (K>J).
k=J+I
Prove that
K K-1
I ukvk=vKUK+ I Uk(vk-vk+d
k=J+I k=J+I
. . . cos tx-cos(n+t)x
sm x+sm 2x+ .. . +sm nx= .
2 sm 21 x
and deduce that the series
f(x)= I
k= I
sin kx
k
converges uniformly for xE[b, 2n-b] provided that b>O. [Hint: Use question
4.] Deduce that f is continuous on (0, n:).
212 Series
f(x)= L akxk
k=O
T(lim
k-.oo
X~= lim
} k-+oo
T(Xd
28.20t Theorem Let C[a, b] denote the space of all continuous functions
f:[a, b]-->IR and define the operator T: C[a, b]-->IR by
T(f)= rf(t)dt.
r r
Proof We have that
~ f lf(t)-g(t)ldt
=(b-a)llf -gll.
It follows that T(f)-. T(g) as j-.g and hence that T is a continuous operator on
C[a,b].
28.21t Corollary For each kEN, letfk: [a, b]-.IR be continuous on [a, b] and
suppose that
(1)
(2)
Proof To say that (1) converges uniformly for xE[a, b] is the same as
saying that
CO
I.h
k=l
converges in C[a, b]. The result therefore follows immediately from theorem 28.20.
2k
1
j
o_k-~-
We have that, for each xE[O, 1], Fk(x)-.0 as k-.oo ~i.e. (Fk> converges pointwise to
214 Series
It follows that the series whose sequence of partial sums is <Fk(x)) fails to satisfy
(2) of corollary 28.21.
28.23t Theorem Suppose that X and 9J are metric spaces and that T: X-+'IJ is
continuous and bijective. Then
Hence
We illustrate this result by taking X= C[a, b] and 9J = Ce[a, b] where the latter
notation denotes the set of all F: [a, b]-+!R which can be written in the form
f(x)=F'(x) (a<x<b)
is inverse to the integration operator- i.e.
It is easily shown that I is continuous on C[a, b] and we therefore obtain the following
theorem in which C'[a, b] denotes the set of all f: [a, b]-+!R which have a continuous
derivative on [a, b].
Series 215
28.24t Theorem Suppose that, for each keN, gkeC'[a, b] and that
00
L 9k'(x)
k=l
Proof Apply theorem 28.23 with yk=fk, wherefk: [a, b]-R is defined by
fk(x)=gix)-gie).
28.25 Example Consider the function Gk: [0, 1] ..... R illustrated below.
We have that Gke C'[a, b] and that <Gix)) converges uniformly to the zero function
for xe [0, 1]. But
Gk'(t)=1 (keN).
It follows that the series whose sequence of partial sums is (Gix)) fails to satisfy
(3) of theorem 28.24.
converges uniform! y for lz-" ;;a r provided that the constant r is chosen so that r < R
where R is the radius of convergence of the power series. Exercise 28.18(6) is a more
subtle result. This demonstrates that a real power series converges uniformly on any
216 Series
28.27t Proposition (Abers theorem) The sum of any real power series is con-
tinuous on its interval of convergence.
f(x)= I ab-~)k,
k=O
then
f(x)= I ak(x-~)\
k=O
f'(y)= I kak(y-~)k-1.
k=!
The second and third propositions are true also of complex power series (provided
we replace 'interval of convergence' by 'disc of convergence'). Abel's theorem,
however, is false for complex power series. The diagram below represents the disc of
convergence of a complex power series. If the power series converges at the point y,
then it is true that f(z)-f(y) as z-y along curves like C 1 but it is in general false
thatf(z)-f(y) as z-y along 'tangential' curves like C2 •
,..,..---- ................
'
' \
~
y
Series 217
log(1+y)= y -dx
o 1+x f
- = fy(oo
I (-1)kxk) dx
o k=o
oo k+ I
=I (-1)k _Y- .
k=O k+1
The latter power series has interval of convergence ( -1, 1] and, by Abel's
theorem (28.27), its sumf(y) is therefore continuous on (- 1, 1]. Butf(y) = log(1 + y)
for yE (- 1, 1). It follows that f (1) =log 2 - i.e.
1 1 1 1
log 2=1-2+3-4+5- ...
28.31 t Exercise
(1) Prove that, for lxl < 1,
1 00
--2 = I (-1tx2k.
1+x k=O
Hence obtain a power series expansion for arctan x which is valid for
-1 <x~ 1. Deduce that
n 1 1 1 1
-=1--+---+--
4 3579···
(2) Obtain the general binomial theorem by differentiating
-· ;, a:(a:-1) ... (a:-k+ 1) k
(l+x) =k~o k! x (-1<x<l).
x+y=y+x.
(x +y)+z=x + (y +z).
The two laws together imply that, in evaluating a finite sum, it does not matter in
which order the requisite additions are performed: the result will always be the same.
For example,
((1 + 2)+ 3)+4= (3 + 3)+4=6 +4= 10
I ak= I aq,(kl
k=l k=l
provided that one side or the other exists. Unfortunately, this result is false m
218
Infinite sums 219
then
00
In this case, the sequence of partial sums of the new series is s3 , s5 , s9 , •••• This is a
subsequence of <sK) and hence converges to the same limit. But what happens if we
choose to bracket sets of non-neighbouring elements? To take an extreme case, we
might choose to bracket all the even terms and all the odd terms separately as
below:
s= L a(i) (1)
iel
in the case when the 'index set' I is finite. In the case when I is infinite, we shall
define (1) to mean that
A vector s defined in this way will be called an infinite sum. (Note incidentally that
the convergence notion introduced here differs somewhat from those we have met
earlier. It is an example of the convergence of a net.)
Since the definition takes no account of any ordering which may exist on the
index set I, it is clear that infinite sums must satisfy the commutative law. The next
theorem puts the proposition in formal terms.
29.3t Theorem Suppose that :r is a normed vector space and that a: I-> :r. If
,P is a permutation on J, then
L a( i) = L a( f/J(i))
iel iel
Next it is natural to consider the associative law. The definition of an infinite sum
is not tailored to meet the requirements of this law and so we need to work a little
harder to obtain a result. As a preliminary we need to relate the idea of an infinite
sum to that of a series.
29.5t Theorem Suppose that X is a normed vector space. Let a: 1-+ X and
suppose that
s= L a(i)
ie/
exists. Then, given any e >0, there exists a finite set F c I such that, for each jE I,
Proof Let e > 0 be given. Then e/2 > 0 and hence there exists a finite set
F c I such that for any finite set G
~11 L a(i)-sll+lls-l:a(i)ll
iefu{j} ief
<e/2+e/2=e.
222 Infinite sums
29.6t Corollary Suppose that X is a normed vector space. Let a: I-> X and
suppose that
s= Ia(i)
ie/
29.7t Theorem Suppose that X is a normed vector space and that <bk) is a
sequence of points in X. Then
00
(1)
Proof Let e>O be given. If the left-hand side of (1) exists, then there
exists a finite set F c I such that for any finite set G,
Let K 0 =max F. Then, provided that K>K 0 , the set G={1, 2, 3, ... , K} satisfies
FcGc N. Hence
K
K>K 0 =>11Ibk- I bkll<e
keN k =I
Theorem 29.7 says that, if an infinite sum exists, then so does the corresponding
series and the two are equal. Of course, as we know from §29.1 it is in general false
that the convergence of a series implies the existence of the corresponding infinite
sum. There is, however, an important special case for which the convergence of a
series does imply the existence of the corresponding infinite sum. This is the case of a
series with non-negative terms.
The proof follows from exercise 28.10(5). An immediate consequence is that series
of non-negative real numbers satisfy the commutative law although, as we have seen,
this is certainly not the case of series in general.
29.10t Theorem Suppose that X is a complete normed vector space and that§
is the collection of all finite subsets of I. Let a: I--. X and suppose that
s=Ia(i)
iel
S={I a(i):
IEH
HE§}
is totally bounded and hence its closure is compact.
224 Infinite sums
Proof We have to show that, for each e > 0, there exists a finite collection
of open balls of radius e which covers S.
Let e > 0 be given. Then there exists a finite set F c I such that, for each finite set
G,
Then C is a finite set. The collection of all open balls of radius e whose centres are
elements of C is therefore finite. It covers S because, for each HE j,
29.1lt Theorem Suppose that .'L is a complete normed vector space and that
a :I-+ .'L.
Then the infinite sum
Ia(i) (1)
iel
exists if and only if, for any e > 0, there exists a finite set F c I such that, for any finite
set H,
Proof It is quite easy to prove that the existence of (1) implies criterion
(2). We therefore leave this as an exercise. There then remains the problem of
showing that criterion (2) implies the existence of (1).
With the notation of the previous theorem, let
Then {SE: EE5} is a collection of closed subsets of the compact setS. Since this collection
has the finite intersection property (exercise 20.6(3)) it follows that it has a non-empty
intersection. Let sESE for each EE 5.
Let e > 0 be given. Then, by (2), there exists a finite set F 0 c I such that, for any
finite set H,
Also, since sESFo• there exists a finite set F satisfying F 0 c F c I such that
Infinite sums 225
Jls- L a(i)ll<e/2.
ieF
<e/2+e/2=e.
Hence (1) exists.
Theorem 29.11 is a variant of the result which says that, in a complete space X,
every Cauchy sequence converges. It is not surprising therefore that it has some
useful corollaries.
29.12t Corollary Suppose that X is a complete normed vector space and that
a: I-+ X. If J c::. I, then the existence of the infinite sum
La(i)
iel
La(i).
ieJ
29.13t Corollary Suppose that X is a complete normed vector space and that
a: I-+ X. If J and K are disjoint sets with union /, then
29.14t Corollary Suppose that X is a complete normed vector space and that
a: I-+ X. Then the existence of the infinite sum
La(i)
le/
implies that, for any e>O, there exists a finite set Fe::. I such that for any set G,
The proofs of the corollaries are easy and we give them as exercises (29.22(1), (2)
and (3)). Having obtained these results, we are now in a position to prove a version
of the associative law in complete spaces.
29.15t Theorem Suppose that X is a complete normed vector space and that
a: I---> X. Let W denote any collection of disjoint sets with union I. Then
(3)
Proof Let e>O be given. Since the left-hand side of (3) exists, it follows
from corollary 29.14 that there exists a finite set F c I such that, for any set G,
G=U J
JE{J
Theorem 29.15 asserts that, if an infinite sum exists, then one can bracket its terms
in any manner whatsoever without altering its value. The insertion of brackets in
infinite sums therefore creates no problem. But the problem of removing brackets
remains- i.e. the existence of the right-hand side of (3) does not in general guarantee
the existence of the left-hand side. The infinite sum
IO
kEN
certainly exists. But, if we write 0 = (1-1) in this sum and then remove the brackets,
we obtain
The proof follows trivially from exercise 28.10(6). Propositions 29.8 and 29.16,
taken together, mean that the problem of adding up a sequence of non-negative real
numbers is very much simpler than the general problem. Roughly speaking, if any
method of adding up a sequence of non-negative real numbers yields a finite result,
then all methods will yield the same result. Is there a wider class of sequences with
this pleasant property? We explore this question in the next section.
l:a(i)
iel
Llla(i)ll (1)
iel
exists. Since the terms of the latter sum are non-negative real numbers, the sum exists
if and only if any method of adding up its terms yields a finite result. (See
propositions 29.8 and 29.16). In particular, in the case when I= N, the infinite sum
(1) exists if and only if the series
L lla(i)ll
i= 1
converges.
l:b(i)
iel
Ia(i)
ieE
exists.
Proof This is the same as the proof of theorem 28.3 except that theorem
29.11 is used instead of the fact that Cauchy sequences converge.
29.19t Corollary Suppose that X is a complete normed vector space and that
a: I-> X. Then the existence of
Illa(i)ll
iel
Ia(i).
ie/
29.20 Corollary Suppose that X is a complete normed vector space and that
a: I-> X. Let W denote any collection of disjoint sets with union I. Then the existence
of
(2)
Ia(i). (3)
iel
Proof By proposition 29.16, the existence of (2) implies that (3) exists
absolutely.
29.21 t Corollary Suppose that X is a complete normed vector space and that
a: I-> X. Let W denote any collection of disjoint sets with union I. Then
Ia(i)= I {Ia(i)}
iel Jeut ieJ
Proof This follows immediately from corollary 29.20 and theorem 29.15.
We shall use this result in §29.23 to study the problem of reversing the order of
summation in repeated series.
29.22t Exercise
(1) Suppose that X is any normed vector space and that a: I-+ X. If J and K are
disjoint sets with union I, prove that
Ia(i)
iel
exists if and only if, for any e>O, there exists a finite set G such that for any set
Hcl\G
11 Ia(i)ll<e.
ieH
(4) Let <ak> be a sequence of real numbers. Write ak + =max {ak, 0} and
ak- = max { - ak, 0}. Prove that the infinite sum
00
~= L a</><k)·
k=1
L a(i)
iel
230 Infinite sums
exists if and only if it exists absolutely. [Hint: Use the previous question.] Obtain
the same result when a: I --->IR".
Let (ak) be the sequence in 100 (see §20.20) whose terms are all zero except for
the kth which is equal to 1/k. Prove that
exists but not absolutely. Deduce that the converse of corollary 29.19 is false in
general (although, as question 4 shows, the converse is true for .'L=IR").
(6) Prove that a normed vector space .'L is complete if and only if, for every a: I---> .'L,
the existence of
I lla(i)ll
iel
I a(i).
iel
(1)
(2)
exists, then
I00{00I ajk =
} I00{00
I }
ajk .
j=l k=i k=i j=i
This is, of course, a special case of a much stronger result. If (2) exists, then
any method of adding up the terms of (1) will yield the same answer.
29.24 Example It follows from the binomial theorem (exercise 28.31(2)) that
(3)
provided that lzl < 1. It is instructive to see how this result may be deduced from the
theory developed in this chapter.
We begin with the formula for a geometric progression
(1-z)- 1 = 1 +z+z 2 +z 3 + ... (4)
and so
00 00
(1-z)-2= I I zl (5)
j= 0 I= j
provided that lzl < 1. But we know that the power series (4) exists absolutely for
lzl < 1. Thus (5) exists absolutely and so we can reverse the order of summation and
obtain
oo I oo I
(1-z)-2=I I zi=I zl I 1.
1=0 j=O 1=0 j=O
Thus
00
exists, the same result will be obtained regardless of whether the rows or columns in
the array below are summed first.
+ + + + +
'3 a30 + a31 + a32 + ... a3o a31 a32 a33
+ + + + +
'2 a2o + a21 + a22 + ... a2o a21 a22 a23
+ + + + +
rl alO + all + au + ... aw au au an
+ + + + +
s s = c0 + cl + c2 + c3 + ...
In (5) we are concerned with the special case in which the terms in the array above
the main diagonal are all zero as on page 232.
232 Infinite sums
0 0 0 ~33 0 0 0 a33
+
0 0
~22 + a23 0 0 a22
+
a23
+
~I I
s ~
0 + au + an 0 au an
+ +
~()() + aOI + ao2 + a03 I ao2 ao3
Then
00 00 00 00 00
00 00 00 00 I
S= I c,= I I ai,= I I ai,.
1=0 1=0 j=O 1=0 j=O
But summing an array by first adding the rows or columns is not the only way in
which one can proceed. One can also sum, for example, by diagonals as indicated
below.
Observe that
d, = I
j+k=l
aik"
This method is particularly suitable for multiplying power series. We have that
= I I aibkzi+k
1=0 j+k=l
00
=I 1=0
z' I
j+k=l
aibk
I n.finite sums 233
oo I
= L: z' L: ambl-m
1=0 m=O
provided that lzl <R 1 and lzl < R 2 where R 1 and R 2 are the respective radii of
convergence of the two power series.
This method can also be used to obtain (3) from (4). If lzl < 1, we have that
oo I oo
= L z1 L 1= L (1+1)z1•
1=0 m=O 1=0
29.25t Exercise
(1) Use the method of example 29.24 to show that, for each natural number n,
00
(n+k-1)!
(1- z)-" = k~O k!(n -1)! zk
30.lt Introduction
In this chapter we return to the study of the geometry of IR" which we
discussed to some extent in chapter 13. Recall that, in §13.14, we observed that the
axioms given by Euclid for his system of plane geometry are incomplete by modern
standards. In particular, many of Euclid's proofs tacitly assume that, if H is a line in
IR 2 , then IR 2 \ H has precisely two components and that, if x and y lie in different
components, the line segment joining them cuts H.
This fact is not hard to prove. Given any hyperplane H = {x: <x, ~) = c} in IR ", the
half-spaces S 1 ={x: <x, ~)<c} and S 2 ={x: <x, ~)>c} are convex, open and disjoint.
It follows that S 1 and S 2 are the components of IR" \H. (See theorem 15.14 and
§ 17.21.) If xE S 1 and yE S 2 , then the line segment L joining x and y must cut H.
Otherwise, LcS 1 uS 2 and so S 1 uS 2 is connected (theorem 17.19).
An analogous argument shows that any hyperplane (§ 13.14) splits IR" into two
distinct components. It is natural to ask: what other sets have this property? This is
one of the questions we shall discuss in this chapter. The chief point that needs to be
made is that it is vital not to dismiss the answers to such questions as 'geometrically
obvious'. Even when the 'geometrically obvious' results are actually true (which is
certainly not always the case), they are often exceedingly difficult to prove. The
Jordan curve theorem (30.13) is a notable example. It says that any simple 'closed'
curve has an 'inside' and an 'outside'. But the proof Df the Jordan curve theorem is
much too hard to present in this book. Not only is it long and complicated, it also
makes use of some quite subtle ideas from algebraic topology. Once one has seen the
proof, one becomes very much less ready to dismiss the result as 'obvious'.
It is also worth noting that many results true in IR" do not extend to infinite-
dimensional spaces. For example, a hyperplane H in an infinite-dimensional space X
need not be closed. But it can be shown that, in this case, H = X and X \ H is
connected! Only when H is closed does X\ H split nicely into two components.
234
Separation in 1R" 235
30.2t Separation
The word 'separate' is used with various meanings in different branches
of mathematics. In§ 15.11, we said that two sets A and Bare 'separated' if and only
if they are not contiguous. This usage is sometimes extended by saying that a
topology :J 'separates' points of X if and only if, for each XE X and yE X with xi= y,
there exist disjoint open sets S and T for which XE S and yET. (This is not
automatically true in a topological space. A topological space for which it is true is
called a Hausdorff space. See theorem 15.16 and exercise 22.8(3).)
In this chapter we shall use the word 'separate' in a related but not identical sense.
We shall say that a set H in a metric (or topological) space X separates X into two
components if and only if X\ H has two components S and T. If A and Bare two
sets in X, we shall say that H separates A and B if and only if H separates X into
two components Sand T for which AcS and BeT
30.3 Example The line H = {(x, 0): x E IR} separates the sets
A={(x, y): (x-1) 2 +y 2 ;;i; 1} and B={(x, y): (x+ 1jl +l;;:;; 1} in IR 2 •
In the special case when Yis convex (as in the diagram above), it seems reasonable to
expect that z will be characterised by the fact that the angle IJ is obtuse for all yE Y.
This expectation is confirmed by the following theorem.
Proof Recall from our discussion of the 'cosine rule' in § 13.3 that
(2)
It follows that, if (1) holds, then 11~-YII~II~-zll for all yEYand hence z is the
nearest point of Y to ~-
Suppose, on the other hand that z is the nearest point of Y to ~- (The existence of
such a z is guaranteed by corollary 19.16.) IfyEY, then U=Ot:y+ (1-0t:)z=z+Ot:(y -z)EY
provided that 0 ~ Ot: ~ 1 because Y is convex. Replacing y in (2) by u, we obtain that
11~ -ull 2 = ll~-zll 2 +Ot: 2 IIY -zll 2 -20t:(~ -z, Y-z).
If (~-z, y-z)>O, then we can ensure that 11~-ull<ll~-zll by taking Ot: sufficiently
small and positive. Hence (~-z, y-z)~O for all yEY~ i.e. (1) holds.
It remains to be shown that z is unique. Observe that, if yE Y and y i= z, then it
follows from (1) and (2) that
>ll~-zll •
2
Theorem 30.5 is usually invoked in the case when Yis actually a vector subspace of
~·. In this case, the theorem tells us that the nearest point zE Y to ~ is characterised
by the fact ihat ~- z is orthogonal to Y.
y
Separation in llln 237
We may then define a function P: IR!n-+y by writing P(;)=z. For obvious reasons, P
is said to be the orthogonal projection of IR n onto Y.
Suppose that Y is a convex, non-empty set in IR!n. Then f is closed and convex. (See
exercise 15.10(8).) Suppose that ;~f and let z be the nearest point in f to ;. We
know from theorem 30.5 that, for all yE Y,
(;-z, y-;+;-z);:i;O.
Taking u = (;- z)/11;- zjj, it follows that
(u, y-;);2; -11;-z11
for all yEY. Thus
is the equation of hyperplane which has the property that Ylies entirely inside one of
the two half-spaces determined by the hyperplane. Note that the hyperplane passes
through the point ; and has normal u where Ilull= 1. (See § 13.14.)
(u,x-1;)=0
In the next theorem we extend this result to the case when ; is a boundary point
of a convex, non-empty set Y. We show that, in this case, there exists a hyperplane
through ; such that Y lies entirely inside one of the two closed half-spaces
determined by the hyperplane. Such a hyperplane is called a supporting hyperplane
of the set Y.
supporting
hyperplanes
30.6t Theorem Let Y be a non-empty, convex set in IR!n and suppose that ;~Y.
238 Separation in IR"
Proof Since ~rt=Y, each open ball of radius 1/k with centre ~ contains a
point ~kEe(Y) (see exercise 30.10(5)). Let uk be chosen so that llukll=l and
<uk, y-~k)~O for all yEY. Then ~k ..... ~ as k->oo and <uk) has a convergent sub-
sequence <uk,) because the unit sphere is closed and bounded and thus is compact
by the Heine-Borel theorem. Suppose that uk 1->u as I-> oo. Then, from the continuity
of the inner product,
as required.
for all a-bEC. Hence <u, a)~<u, b) for each aEA and each bEB.
then theorem 30.7 tells us that the hyperplane <u, x) =c separates the sets A and B.
(u, x)= c
Separation in 1R" 239
and
llxll, = lx1l + lxzl + · · ·+ lxnl
to denote these alternative norms. In chapter 23 we found that the first of these
alternative norms is sometimes more convenient to use than the Euclidean norm.
The reason, of course, that this norm could be substituted for the Euclidean norm in
this context is that both norms generate the same topology in IR" and, when
considering limits, it is only the topologies in the spaces concerned which matter. (See
§21.18 and §23.1.)
There is an infinite collection of norms which are compatible with the vector
space structure of IR" and it is natural to ask whether all these different norms
generate the same topology on IR". The next proposition answers this question in the
affirmative. Note, however, that the corresponding result is very definitely false in
infinite-dimensional spaces.
30.9t Proposition All norms on IR" generate the same topology on IR".
Proof We shall use the usual notation for the Euclidean norm on IR". We
shall suppose that we are also given an alternative norm on IR" and use the notation
lllxlll to denote this norm. As indicated in §21.18, it is enough if we can show that the
set
S = {x: lllxlll < 1}
contains an open Euclidean ball B, = {x: llxll < r} and is contained in another open
Euclidean ball BR={x: llxii<R}.
It follows from the properties of a norm (§ 13.17) that S is convex and that, for each
X#O, aXES for smalla:>O while a:XI{;S for large a:>O.
First suppose that S is unbounded (with respect to the Euc/idean metric). Each
unbounded convex set in IR" contains a half-line (proof?). Let X#O be a point on
this half-line. Then aXES for all a> 0 and this is a contradiction. Hence S is
bounded and so there exists an R for which S c BR·
240 Separation in IRl"
(X, x> = 0
30.10t Exercise
(1) Prove that any hypersphere (§13.14) separates IR" into two components.
(2) Prove that any ball, box or line segment S (§ 13.14) has the property that IR" \ S
is connected.
(3) Find hyperplanes which separate the following sets in IR 2 :
(i) A={(x,y):x 2 +/;;;;1};B={(x,y):y;;:;1}
(ii) A= {(x, y): x>O and xy> 1}; B= {(x, y): x>O and xy< -1}.
(4) Find two non-empty, convex sets A and Bin IR 2 with AnB=0 which cannot be
separated by a hyperplane.
(5) Let S be a convex set in IR".
(i) If ~E as, prove that ~Eo( eS). Give an example of a non-convex set s for
which this result is false.
(ii) If S is unbounded, prove that S contains a half-line. Give an example of a
convex set S in [00 for which this result is false.
(6) Prove that in a Hausdorff space (§30.2) every compact set is closed. Prove that
IR" is a Hausdorff space.
Separation in 1R n 241
s s s
:I
I
I
I
-- --T-- ---
I
I
TI tl tl
r
L
I
I ., I
Jordan curve
The word 'simple' is used to indicate that we are discussing curves which do not
'cross themselves'. Hilbert's space-filling curve is therefore very definitely not simple.
Simple arcs and Jordan curves also admit characterisations similar to that
provided by the Mazurkiewicz-Moore theorem for general curves. Thus a simple
arc is a continuum with the property that the removal of any point with two
exceptions produces a disconnected set. (The exceptions are the endpoints.) A
Jordan curve is a continuum with the property that the removal of any single point
produces a connected set but the removal of any two distinct points produces a
disconnected set.
It is clear what the separation properties of simple arcs and Jordan curves 'ought'
to be. If A is a simple arc, then IR 2 \A should be connected while if J is a Jordan
curve, then IR 2 \ J should have precisely two components. Both results are true but
neither is easily proved. The latter result is the more important and we quote it as
the Jordan curve theorem.
Separation in 1R" 243
outside
Note that the Jordan curve theorem would be trivial if it were known that there
exists a homeomorphism F: IR 2 --+IR 2 such that F(V)=J. But we are only given that
there exists a homeomorphism f: V --+J. It is a result of Schonflies that each such
homeomorphism f: V --+J can be extended to a homeomorphism F: IR 2 --+IR 2 but the
proof of this useful result is harder than the proof of the Jordan curve theorem itself.
30.15t Exercise
(1) Explain why Brouwer's set E (§30.11) separates IR 2 into two components.
Explain also why E is not a locally connected continuum.
(2) Consider the set R={(x, y):y>x 2 } in IR 2 • Explain why R is simply connected.
(3) Suppose that X and 'IJ are topological spaces and that 'IJ is Hausdorff (§30.2 and
exercise 30.10(6)). If X is compact and f: X _.'IJ is continuous and bijective,
prove that f is a homeomorphism.
(4) If f: I _.[R 2 and g: U _.[R 2 (where I= [0, 1] and U is the unit circle in IR 2 ) are
continuous and bijective, prove that f(J) and g(U) are respectively a simple arc
and a Jordan curve. Explain why Hilbert's space-filling curve is not simple.
(5) Suppose that J is a Jordan curve in IR 2 and that ~EJ. Let S and T denote the
inside and the outside of J respectively. Let aE S and bET. Prove that there exists
a simple arc joining a and ~ which lies entirely inside S and that there exists a
simple arc joining b and ~ which lies entirely inside T. [Hint: Use the result of
Schonflies quoted in §30.12.].
(6) Explain why the result of the previous question is false when J is replaced by
Brouwer's set E.
NOTATION*
-
=
E
(§2.4)
(§2.10)
(§3.1)
7
9
14
( -00,
[a, b]
[a, oo)
b) (§7.13)
(§7.13)
(§7.13)
52
52
52
rf (§3.1) 14 (-oo,b] (§7.13) 52
{x:P(x)} (§3.1) 15 [a, b) (§7.13) 52
0 (§3.1) 15 ]a, b[ (§7.13) 52
'r/ (§3.4) 16 N (§8.2) 54
3 (§3.4) 16 (§8.7) 56
AcB (§4.1) 21 7!.. (§8.13) 60
es (§4.4) 22 10 (§8.14) 60
AuB (§4.7) 23 supS (§9.7, §24.4) 68,156
AnB (§4.7) 23 inf S (§9.7, §24.4) 68,156
A\B (§4.9) 23 sup f(x) (§9.10) 69
xeS
245
246 Notation
247
248 Index