Professional Documents
Culture Documents
Introductory Analysis
Mark H.A.Davis
1
1.1
In these notes R denotes the set of real numbers (or the real line). For a1 , a2
R we have |ai | ai |ai |, i = 1, 2. Adding these two inequalities we have
(|a1 | + |a2 |) a1 + a2 (|a1 | + |a2 |)
and hence
This is the triangle inequality, which will be used constantly in what follows.
Let A be a set of real numbers. A is bounded if there is a number n such
that n < y < n for all y A. A number x is the supremum of A if (i)
y A y x and (ii) if x0 is another number such that y A y x0 then
x0 x. It is axiomatic in the construction of the real line that every bounded
set has a supremum (there are no gaps).
A sequence {xn } converges to x if for every > 0 there is a number N such
that n > N |xn x| < . A sequence is monotone increasing [decreasing] if
m > n xm xn [xm xn ].
Proposition 1 A bounded monotone increasing sequence converges to its supremum
The limit superior of a sequence is defined as follows
lim sup xn = lim sup xk .
n k>n
n k>n
A sequence {xn } is a Cauchy sequence if for every > 0 there exists M such
that n, m > M |xn xm | < .
Theorem 3
1.2
We do not prove this here; see Bartle & Sherbert1 , p315. A set is countable if
it is in one-to-one correspondence with the natural numbers {1, 2, 3, . . .}.
A point x is a cluster point of a set A if B (x) A 6= for any > 0. This
gives us the following characterization of closed sets. The proof is an exercise
for ther reader!
Theorem 5 A set A R is closed if and only if it contains all its cluster points
We will also need the following result, known as the nested intervals property:
Proposition 3 Let In = [an , bn ] be a nested sequence of closed intervals (i.e.
In Im when n > m). Then there exists a number x such that x In for all
n.
Proof: The nested property implies that the sequence an and [bn ] are increasing and decreasing respectively. Let a = sup an and b = inf bn . Then a b
and any point x [a , b ] satisfies x an , x bn for all n, i.e. x n In .
An open cover of a set A R is a collection of sets G = {G } such that
[
A
G .
Bartle and D.R Sherbert: Introduction to real analysis, 3rd edn, Wiley 2000
2.1
Topological spaces
The 1st axiom of countability states that each x X has a countable neighbourhood base, i.e. a countable system H of neighbourhoods of x such that if
A is a neighbourhood of x there exists H H such that x H A.
Proposition 5 If (X, T ) satisfies the 1st axiom of countability, every cluster
point of a set A X is the limit of a convergent sequence {xn } A.
Proof: Let x be a cluster point of A and {Hi } be a countable neighbourhood
base at x. The Hi0 = ik=1 Hk is also a countable neighbourhood base, and for
each i there exists xi Hi0 A because x is a cluster point. Now xi x as
i (Show this!)
A topological space (X, T ) is compact if every open cover of X has a finite
sub-cover. There is a useful general criterion for compactness, which is as follows. A system of subsets H of X is centred if every finite intersection n1 Hk of
members of H is non-empty.
Proposition 6 X is compact if and only if every centred system of closed subsets of X has non-empty intersection
Proof: Let X be compact and H a centred system of closed subsets. Then
the complementary sets Hc = {H c : H H} are open. The centred property
implies that no finite union of sets in Hc covers X, but then the whole system
Hc cannot cover X, by compactness. Hence H has non-empty intersection.
Conversely, suppose every centred system of closed subsets has non-empty
intersection. Let G = {G } be any open cover of X. Then Gc = . Hence the
sets {Gc } are not centred, i.e. there are sets Gc1 , . . . , Gcn such that n1 Gk = ;
but then the corresponding sets Gk cover X. X is compact.
Here now are some important properties of compact spaces. A point z is an
accumulation point 2 of a set A if every neighbourhood of z contains infinitely
2 this
2.2
Metric Spaces
Proposition 7 Every metric space satisfies the first axiom of countability. The
second is satisfied if and only if the space is separable (has a countable dense
subset).
Proof: The family {B1/n (x), n = 1, 2, . . .} is a countable neighbourhood base
at x, proving the first statement. Each space that satisfies the 2nd axiom is
separable. For the converse, let X be separable and Y a countable dense subset
and define U = {Br (y) : y Y, r rational}. Then U is countable. If A is a
neighbourhood of a point x then Br (x) A where r = 1/n, for some n. Take
y Y such that d(x, y) < r/3. Then x B2r/3 (y) Br (x), showing that U is
a base for the metric topology.
A simple but extremely useful result is the contraction mapping theorem.
Let (X, d) be a metric space and f : X X be a function. f is a contraction
mapping if
d(f (x), f (y)) d(x, y), x, y X
(1)
for some < 1. A contraction mapping is continuous because it follows from
(1) that f (xn ) f (x) whenever xn x. A point x X is a fixed point of f if
f (x) = x.
Theorem 12 If (X, d) is a complete metric space then every contraction mapping has a unique fixed point.
Proof: Take an arbitrary point x0 and define xn = f (xn1 ) = f n (x0 ) for
n = 1, 2, . . .. We claim that this is a Cauchy sequence. Indeed, for n n0 we
have
d(xn , xn0 )
n d(x0 , x1 )(1 + + 2 + + n n1 )
1
n d(x0 , x1 )
0 as n .
1
Corollary 1 Every countably compact space has a countable dense subset and
a countable base.
Proof: If X is totally bounded then X has a finite 1/n-net for n = 1, 2, . . ..
The union of these is a countable dense subset D, and {B1/n (x) : x D, n =
1, 2, . . .} is a countable base.
Corollary 2 Every countably compact metric space is compact.
Proof: This follows from Corollary 1 and Theorem 10 above.
Here now is the main result of this section.
Theorem 14 A metric space (X, d) is compact if and only if it is complete and
totally bounded.
Proof: If X is not complete, there is a Cauchy sequence {xn } with no limit.
The sequence {xn } then has no accumulation points, so X is not compact. In
view of Theorem 13 this shows that if X is compact then it is totally bounded
and complete.
Conversely, suppose X is totally bounded and complete, and let {xn } be
an infinite sequence of distinct points. Let N1 be a 1-net; then for some y1
N1 , A1 = B1 (y1 ) contains an infinite subsequence x11 , x12 , . . . of {xn }. Now let N2
be a 1/2-net of A1 and A2 = B1/2 (y2 ) for some y2 N2 contain a further infinite
subsequence x21 , x22 , . . . of x11 , x12 , . . .. In this way we construct sets A1 , A2 , . . .
such that the radius of An is 2(n1) and each An contains infinitely many points
of the original sequence. Defining A0n to be the sphere with the same centre as
An but twice the radius, we obtain a nested sequence A01 A02 . . . with the
same property. The sequence A0n has non-empty intersection: this follows by an
argument very similar to the nested intervals theorem, Proposition 3 above. If
x0 n A0n then clearly x0 is an accumulation point of xn . Thus X is countably
compact, and hence compact by 2.
2.3
The most important space in stochastic analysis is the space C[0, T ] of all continuous functions f : [0, T ] R. The metric is the uniform metric
d(f, g) = max |f (t) g(t)|.
t[0,T ]
(2)
Given > 0 we can choose n such that the first and third terms on the right
are both less than /3, whatever s, t. Now fn is continuous, so for fixed t we
can choose such that |t s| < |fn (t) fn (s)| < /3; then from (2),
|f (t) f (s)| < . Thus f is continous at all t.
8
There are many countable dense subsets. We could for example take the set
of piecewise linear functions with rational breakpoints, such a function being
defined by rational numbers 0 = t0 < t1 < < tn = T and a0 , . . . an such that
(t) = ak +
t tk
(ak+1 ak ) for t [tk , tk+1 [
tk+1 tk