Professional Documents
Culture Documents
ANALYSIS
A Concise Introduction
MATHEMATICAL
ANALYSIS
A Concise Introduction
jjpi;
*
.
Wmm
’
Siiii#
: -v
•
lit
fils wR
r JV
;
^-Y A
* V* .
'
fi fi fi
'
-
0m
' '
' • .
.. - .
M ^ isais
!
Are
JrS’ .
Mm
m
. .
fi,-
Jiongmin Yong
University of Central Florida, USA
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONGKONG • TAIPEI • CHENNAI . TOKYO
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
MATHEMATICAL ANALYSIS
A Concise Introduction
Copyright © 2021 by World Scientific Publishing Co. Pte. Ltd.
All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means,
electronic or mechanical, including photocopying, recording or any information storage and retrieval
system now known or to be invented, without written permission from the publisher.
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
-
ISBN 978 981-122-163-7 ( hardcover)
-
ISBN 978-981-122 164-4 (ebook for institutions)
- - - -
ISBN 978 981 122 165 1 (ebook for individuals)
4
:
i.
s
i
>
t
>
I
* !
)
i
?
1
J
'
l
f
;
Preface
Vll
vm Mathematical Analysis — A Concise Introduction
Series is an independent topic. Partially, it is an application of the
previous chapters if one views it from the limit of partial sums. On the
other hand , the study of the series convergence has lots of its own feature.
Power series and Fourier series make this part of theory very rich . Also, the
theory of series can even touch one of the most challenging open questions
in mathematical research: the Riemann hypothesis.
Real number system is traditionally included in the course of mathe-
matical analysis. Due to the time limit of the course, we decided to put it
in a self-contained appendix at the end of the book so that the interested
readers could still be able to read it separately, and it becomes optional for
those readers who are only interested in the main body of mathematical
analysis other than the real number system.
Finally, problems listed at the end of sections are complementary to the
material covered in the main body of the book , and those with asterisks
might be a little difficult. Readers could skip them at the first reading.
Jiongmin Yong
Orlando , USA
July, 2020
Contents
Preface Vll
3. Differentiation 61
1 Derivatives 61
2 Frechet Differentiability 76
3 Inverse Function and Implicit Function Theorems . ... 80
4 Higher Order Derivatives 89
4. Riemann Integrals 95
1 Definition of Integrals 95
2 Properties of Integrals 107
3 Further Theorems . . 112
IX
x Mathematical Analysis — A Concise Introduction
6. Series 151
1 Series of Numbers 151
2 Further Tests for Convergence . 157
3 Series of Functions 167
More Convergence Criteria . .
'
4 175
5 Power Series 179
5.1 A general consideration 179
5.2 Exponential and logarithmic functions 185
5.3 The sine and cosine functions 187
<
6 Fourier Series 192
6.1 Inner product 193
6.2 Trigonometric polynomial approximation 196
6.3 Fourier series . 198 t
Bibliography 257
Index 259
Chapter 1
1 Metric Spaces
l
2 Mathematical Analysis — A Concise Introduction
and
iu(BnC)=(AuB)n(iu C ) ,
A n ( B i) C ) = ( A n B ) u ( A r C ) ,
A\ B = A n B c .
(ii) (de Morgan’s Law ) Let {A\ A £ A} be a family of subsets in
X . Then
(u aA = n
AGA AGA
(nHAGA
= u
AGA
We now introduce the following definition.
Example 1.5. Let ( X , d ) be a metric space and Y Cl. Then the restric-
tion d |Y x Y of d on Y x Y is clearly a metric on Y; ( Y, d|y x y ) is called a
subspace of ( X, d ) ; and d | y x y is called the metric on Y induced by d . For
convenience, hereafter , we simply denote ( Y, d) instead of ( Y, d|y x y ) . Un-
der the standard metric , N = {1, 2, 3, • • • } ( the set of all natural numbers) ,
Z ( the set of all integers) , Q ( the set of all rational numbers ) , and interval
[a , b] are all subspaces of R.
To have more interesting examples, for any integer m 1, we define
x + y = (x1 + 2/1, x 2 -f y2 , - - - , xm + t/ m
), Ax = ( Ax1, Ax 2 , - - - , Axm ).
These operations are called addition and scalar multiplication, respectively,
for which the following eight axioms are satisfied:
' x + ?/ = y 4- x, Vx, y G Rm
( x + y ) + z = x + ( y 4- z ) Vx , ?/ , 2 G R m
x+0 = 0+x = x Vx G Rm
® + ( -x ) = 0 , Vx Rm
A ( x + y ) = Ax + Ay , Vx , y G Mm A G R ,
( A 4- p ) x = Ax f /ix ,
- Vx G Mm , A , fi G R ,
lx = x Vx G Rm
. A (/zx ) = ( Ay) x, Vx G Rm A , fi G R.
With the addition and scalar multiplication , Rm is called a linear space ( or
a vector space ) . Each x G Rm is called a vector. The addition and scalar
multiplication are called algebraic operations on Rm . Any properties of
Rm involving addition and scalar multiplication are referred to as algebraic
properties of Rm .
Now , for any x = (x1, x 2 , • • • , xm ) G Rm , we define
771 2.
II*IIP =
( EVr)' p e [i , oo )
( 1.2 )
=
k 1
max P = oo ,
^^
l /c ra
4 Mathematical Analysis — A Concise Introduction
From the definition of fp- norm , we easily see that (i) — ( ii) are true. To
prove ( iii ) , we first look at the cases p = 1, oo. One has
x + vh =
k =1
m
F + yk \
k 1
m
H= lxfcl + H=
m
k 1
= ll ^ ll 1 + IMIi .
and
we obtain
0 n 0 1 m 0
AI ( £ *•*)
0 ||x||2 ~
+
which leads to
m
Y= V x, y
fc
^ l
xkyk < ||x|| 2 ||y ||2 e Rm . (1.3)
Metric Spaces and Limits for Sequences 5
=
k l k =1
m
2
= IMI 2 + 2 £ ®V+ I|y|l 2 < Ha; l 2 + 2 lla; ll 2 ||y ||2 + ||2/||2 = (||a;||2 +||2/||2 ) -
/c = l
£
=
*V
k 1
IMIpIlyllg . (1.5)
9 — r £ [0, 00 ) .
This is equivalent to
f (r ) / (1) =
^^ +
rp
P
1
f-
9
— 1 = 0,
r.
Vr £ ( 0 , 00 ) .
(1.7)
2 We assume that single variable calculus is known to the readers.
6 Mathematical Analysis — A Concise Introduction
i
Taking r = ab 1 ~ p , one has
r p 1 a p b 1
=r p
h-=
q p +q
Consequently,
/ apb 1 ~ p _ aP_
+ -qJ) b
i
ab = ab 1 ~ p b
which gives (1.4 ) .
! P- < V p ^ _
v q
( ii) Let
£ wy
m m
M ,= {
i i
A=
k=l k= l
B = lly||« = ( El / l ) ? - 9
1 1
Thus
« l| |l" + « ll 2 l ? l 2 l 1^
X
/
/
P
+q L
-
m f
E= *V
k 1
AB = INIpIlylU
proving (1.5 ) .
(iii ) In the case that \\ x + y \\ p = 0 , the conclusion is trivial. We assume
\\ + 2/||p > 0 below. By Holder’s inequality,
x
m m
x + y \\ l
m
= E= lxfe +
k l
y k ip =5
m
fc l=
> + /r v +
fc
t/
fe
i
—
E
=
\*
k 1
k
+ y k |p 1
i i + Ei +
^ fe = i ^ ^ r ^! 1
m _ i m i
II*HP ( E i * + i
fe = l
® y k (p 1) ?
) 5
+ MiP ( E ix* + yk \ (p
fc = l
~ 1)9
) 5
m
( lNIP + IMIp ) ( Elxfe + yfelP) * = ( ll*llp + lly|| ) ll* + yllp
k=1
p
f
Metric Spaces and Limits for Sequences 7
£
Dividing ||x + y \\ p > 0 in the above, we get
NIP + \\ v \\ p > \\ x + y \\ p = H ® + y \\ p .
q
INIloo = ( (EixV) 5
^) (
k=l
= rap
i
x oo ?
®
Vx
IIP
G Rm .
Consequently, for any 1 p, q oo,
_i
m 9 ||x ||q ||x OO IMIp rap ||x||oo rap \\ x \\ q , Vx G Rm . (1.8)
p
This is referred to as the strong equivalence among all the
Rm ) .3
^ -norms (in
Now , we define
PP ( x , y ) = \\ x - y \\ p , x , p G Rm , p G [1, oo].
It is clear that properties ( a) and ( b ) in the definition of metric (see Def-
-
inition 1.3) are satisfied by pp ( , ) . The triangle inequality follows from
*
-
Minkowski’s inequality. Therefore, pp ( , •) is a metric on Rm , which is
called the metric induced by the p
^ -norm. We call p2 the Euclidean metric.
From (1.8) , we see that
ra * P q ( x , y ) Pp( x , y ) pq ( x , y ) , Vx, y G X. (1.9)
The above is referred to as the strong equivalence among all the metrics pp
induced by the -norms ( in Rm ) .4
^
Proposition 1.8. Let ( Xk , dk ) , k = 1, 2, • • • , n , be n metric spaces. Define
X = Xi x X 2 X • • • x Xn = { ( xi , X 2 , • • • , xn )
I Xk G Xk , 1 k nj ,
3 Note that in ( 1.8) , the dimension m of Rm is involved . Therefore, such an equivalence
is not expected for infinite dimensional spaces.
4 Similar to the p norm , the strong equivalence of all the metric
- p p only holds in finite-
^
dimensional normed linear spaces.
8 Mathematical Analysis — A Concise Introduction
and
n
dk ( % k - V k )
J
^n ) ? ( ?/ l 5
Then ( X , d) is a metric space, called the product
* * ’ j
^/n ) )
^^
/c =1
of
) • ( 1.10 )
( X i , d i ) , • • • , ( Xn , dn ) .
The proof is obvious. We see that the conclusion of Proposition 1.8
remains true if (1.10 ) is replaced by
n 1
d( ( x xn ) , ( y i , ,V n ) ) = ( E dk ( X k , V k )P) ” 1 p < 00
fc = l
or
d ( ( xi , - - - , xn ) , ( y i , - - - , y n ) ) = sup dk ( x k , y k ).
Let us present the following additional example.
Example 1.9.5 For p £ [ l , oo ) , let
00
t? =|(a:fc ) = ( xk ) k i | xk R , /c > 1; E [x k ip
< OO }
^ k= l
and let
t°° = { ( xfc ) = ( xk ) > k 1 xk £ R , fc 1; sup \ xk \ < oo > .
We define
k
^ l
OO
PP { { xk ) , { yk ) ) = ( E ^*
k =1
- / ip)
p
V ( xk ) , ( yk ) e i p , p e [1, oo ) ,
and
Poo ( ( xk ) , ( yk ) ) = sup |xfe - ykI V( xfe ) , ( / ) s
k l
^ ^.
-
Then pp ( , •) is a metric on (p £ [l , oo] ) . In fact , again , properties ( a)
and ( b) in the definition of the metric ( Definition 1.3) hold for pp ( , ) in - -
f p . Now for the triangle inequality, we let N 1 and from the Minkowski’s
inequality, one has ^
( E i*
^^ ) ( E i** r) + ( E I »* IP ) lp
fc P
+ •
fc = l fc = l k =1
Letting N o o , one can rigorously show that
llx + y \\ p li ^ llp i II / IIP ?
^ “"
^
Hence, pp ( - , ) is a metric on
• lp.
5Since some results on series will be involved , those who axe not familiar with this could
We point out that unlike Rm , the spaces £ p are different for different
p G [1, oo ) , and all pp are not strongly equivalent.
To conclude this section , let us further look at the case p = 2. On Rm ,
we introduce a binary operation , called an inner product:
m
( x , y ) = x T y = Ylxky Vx, ?/ G Rm .
k=l
Exercises
1
1. Prove the de Morgan’s Law: Let { A\ | A G A} be a family of sets in
R. Then
( iMA = n A x
A A xeA
A? ( n ^)
A6A
= u ^-
AGA
2. Let d\ and d 2 be two metrics on the non-empty set X . Then for any
Ai , A 2 > 0, Aidi + A 2 2 is also a metric on X .
^
3. Define
x - y \\ p
d( x , y ) =1 Vx , y Rm
+ \\ x - y \\ P
where || • ||p is defined by (1.2 ) . Prove or disprove that d ( , •) is a metric on *
Rm .
-
4. Let d{ , •) be defined on R m as follows:
d( x, y ) = { k | xk yk , = , , , m} ,
K
^ 1
k
Vx = ( x , - - - , xm , — ( ) y
1 2 •
y
•
1
, • • , ym ) G Rm
10 Mathematical Analysis — A Concise Introduction
where \ A\ stands for the number of elements in A. Then d ( • , •) is a metric
on Rm .
5. Let X be a non-empty set and let p : X x X -» [0 , oo ) be a map
satisfying the following:
p( x , y ) 0 , V x , y e X ; p( x , y ) = 0 x = y,
^
p( x , y ) p ( z , z ) + p( z , y ) Vrr , y , z e X .
>
Define
d ( x , y ) = m a x { p( x , y ) , p { y , x ) } Mx , y e X .
Then d ( • , •) is a metric on X .
6. Let ( X, d ) be a metric space and / : X -» X be a one-to-one map.
Define
d( x , y ) = d ( f ( x ) , f ( y ) ) x, y X .
Then d ( - , •) is a metric on X.
7*. Let and be defined in Example 1.9. Then £ l C
^ , and
2
^
2 Sequences and Limits
.
Proposition 2.3 Let ( X, do ) be a discrete metric space and {xn } C X be
a sequence. Then { x n } is convergent to x E X if and only if there exists
an N 1 such that
Xfi —x Vn > N.
We point out that by changing the metric , the convergence of sequences
may be changed. For example, the sequence { }n > l converges to 0 under
the standard metric of R. However , this sequence is not convergent under
the discrete metric. Further , it is even possible that when the metric is
^
changed , the limit of a convergent sequence might be changed. Here is an
example.
0 X = 1.
Let X = [0, 1] and p( x , y ) = \ x — y \ be the standard metric. Define
d { x , y ) = p( f ( x ) , f ( y ) ) = \ f ( x ) - f ( y ) \ Vx , y e X .
Clearly,
d( x , y ) = \ f { x ) - f ( y ) \ = \ f ( y ) - f ( x ) \ = d{ x, y ) 0, Vx , y G [0, 1]
and since / ( •) is one-to-one, we have
d( x , y ) = | f ( x ) - f ( y )\ = 0 x = y.
Finally,
d( x , y ) = | / (x) - f ( y ) \ < |/ (x ) - f ( z ) \ + \ f ( z ) - f ( y ) \
= d ( x , z ) + d( z , y ) W x , y , z e [0 , 1].
Metric Spaces and Limits for Sequences 13
( n ) = -n -> o
p -, o
\ /
and
d (Vn . l ) =
n
"
/
=- n^
- - /U)
0.
Thus the sequence is convergent under p and d, but the limits are different!
Relevant to the above example, we introduce the following definition.
Definition 2.5. Let d , d be two metrics on X .
( i) d is said to be stronger than d if for any sequence {xn} C X , and
some x £ X ,
lim d ( xn , x ) = 0 => lim d ( xn , x ) = 0.
—
n > oo —
n » oo
It is clear that if two metrics d and d are strongly equivalent (see (1.9 ) ) ,
then they are equivalent . Hence, in Rm , convergence of sequences under
any pp ( p £ [1, oo] ) are all equivalent. We point out that equivalence of
metrics do not have to be strongly equivalent . ( Why? )
—
( i) Let cr : N > N be a strictly increasing map. Then {x 7 ( n ) }n i is (
^
called a subsequence of {xn }n i . Sometimes, a subsequence is denoted by
^
^-
{ xnk }k 1
14 Mathematical Analysis — A Concise Introduction
( ii) A point x G X is called a limit point of the sequence {xn}n if
there exists a subsequence {£< (n ) }n i such that ^ i
j
^
lim d ( xa /v n\ , x ) = 0.
n — oo
Thus , { xa ( n ) } is convergent to x .
^
Conversely, we prove by contradiction. Suppose { xn } is not convergent .
Then there exists an e > 0 and two subsequences {xai (n) } and {£ < 2 (n )} j
such that
( n ) , X ^- 2 ( n ) ) n 1.
^
Consequently, the limits of the convergent subsequences of {x Tl ( n ) } and (
For the case X = R, we have some additional notions and results con- i0
cerning the limits. For convenience, we let c, c, and £°° be the sets of all
convergent , Cauchy, bounded sequences in R, respectively, and let £° be the
set of all general sequences in R . Then from Proposition 2.2, one has
c c c c r a0.
Let us now state the following result whose proof follows from the definition
of the limit easily.
Proposition 2.9 . Let { xn } , { yn } G c. Then
n
lim ( xn ± y n ) =
— oo — „ ± lim
n -
yn ,
oo
£n
*
n > oo
lim ( x n y n ) = ( lim x )( lim yn ) ,
n — oo —
lim xn
n — oo n oo
lim — = — n oo
i f lim y n
± 0.
Vn hm yn
— n oo
— n oo
Metric Spaces and Limits for Sequences 15
- Vn N0 ,
Xn
^ Vn
for some No
^ 1. Then lim yn .
— xn
lim ( 2.1 )
n > oo n — oo
Proof . Let
x = nlimoo xn , y = lim yn .
—* — n > oc
— xn — n-+oc zn =
lim lim x.
n > oo
Then
lim yn = x .
—
n > oo
xn > Af ,
*
Vn
^ AT,
16 Mathematical Analysis — A Concise Introduction
where supn x xn
n l
^
is called the supremum ( or the least upper bound ) of the
^
sequence { xn }n i .
^
( ii ) Suppose there exists an M eR such that
Vn 1.
Then { xn } G c, and
•En
^1
^
lim xn = inf xn M,
—
n > oo
^
n l
where infn i xn is called the infimum ( or the greatest lower bound ) of the
^
sequence { xn }n i .6
^
6 The existence of supremum and infimum relies on the theory of the real number system ,
which will be presented in the Appendix.
F
Metric Spaces and Limits for Sequences 17
Appendix,
b = sup xn 6 R
XN > b — e .
By the monotonicity of {xn}, we have
xn 6, Vn
This implies
b — e < XN
^ N.
\ xn - b| < £ , Vn N.
Hence, we have the convergence of xn to 6.
(ii) The proof is similar and is left to the readers.
We know that c C c C °° , and c £°° . A natural question is what can
we say a little more about sequences in
^ ^
\cl We now investigate that .
Let {xn }n > i £ °°. Then for any k
following is well-defined:
^ ^ 1, { xn } ^ ^°°, and the
n k
Vk = nsupxn .
k
^
It is not hard to show that { yk } k is bounded and non-increasing:
^ i
Vk 1.
^ Vk Vk +1
Thus, by Proposition 2.14 , the following limit exists:
lim yk = kinfl yk = kinfl supxn = klim supxn = lim xn .
—
k too
^ n k
^ ^ yoo
n k n-+ oo— ^
This is called the limit superior ( limsup, for short ) of {xn}n
^-
i
the existence of supremum and infimum for bounded sequences (of real
numbers). Further , if { xn }n i is unbounded , lim xn and lim xn can still
be defined if they are allowed to be
^ ± oo.
—
n ± oo n
— oo
The following gives some relations among limsup, liminf , and limit .
xn = nlimoo xn .
In this case ,
lim
n -> oo — ( 2.3)
- xn =
lim
n +oo
0 lim
n — oo
\ xn \ = 0. ( 2.4)
This proves the first in ( 2.2 ) . The second in ( 2.2 ) can be proved similarly.
Next , suppose lim xn = x . Then for any e > 0, there exists an N 1
such that
n oo —
— £ < Xn < X + £ Vn
Hence 5
X
^ iV .
5 VA; iV.
Consequently,
x — ^ lim
— xn ^ — xn
£ lim
n oo n oo
x + £•
Metric Spaces and Limits for Sequences 19
—> oo xn — = n—tcc xn
lim xn = nlim x lim .
—
n > oo
Conversely, if
xn = nlim x,
— oo xn =
lim
—
n > oo
then for any e > 0, there exists an N 1 such that
| j/ fc - x \ < e ,
^
- x\ < ,
with
\ zk £V /c
^ iV,
x — £ < Zk = iinfk Xf>
^
xn < supk ^ = t/fc < x + £ , n
e
^ ^ k ^ N.
This leads to
Hence 5
xn — x \ < £ 5 Vn
^ N.
lim
n —> oo
xn = x .
We leave the proof of the rest of the conclusions to the readers.
.
Proposition 2.16 Let { xn } , { yn } G £°° .
( i) The following hold :
lim ( xn + yn )lim + nlim Vn
—
n » oo — n too —t oo
lim (xn + yn ) lim + nlim j/n .
n —> oo — n > oo —
» oo
( ii ) Let
Vn 1.
>0
Then
^ Vn
lim xn < nlim yn , lim xn lim yn .
—
n » oo —> oo —
n > oo n-* oo
The proof is left to the readers. Let us now recall the definition of limit
point (see Definition 2.7 (ii) ) .
.
Proposition 2.17 Let { xn } G °°. Then both lim
^x is a limit point — °°{ xn} and, then
lim xn are
limit points of { xn } . Further , if
n
of
>
— xn n i
n > oo
^
< x < nlim .
— oo xn
lim x n
—
n > oo )•
20 Mathematical Analysis — A Concise Introduction
The proof is left to the readers.
Exercises
1. Find an example showing that a bounded sequence does not have to
be Cauchy.
2. Let { xn }n
N such that ^ i be
Cauchy. Then either for any N
^ 1, there exists an
Vn N,
or there exists an n
^ Xn
Xn
N such that
>
^
xn Vn iV.
^ Xn
^
Is it possible that for any N 1 there always exist m , N such that
^ Vn iV?
Xn
^
Xn X n ,
i
^ 2
3. If { xn } , { yn } G c, then {max ( xn , yn ) } G c.
4. Let Co be the set of all real sequences that converge to 0. Then Co is a
linear space, i.e., for any {xn}, { yn } G Co and any a , /3 G R , { axn -F Pyn } G
c0 . Is the conclusion true for c ( the set of all Cauchy sequences ) ? Why?
5. Let {xn}, { yn } G i°° satisfy
Xn < Un ? n 1.
Then
lim
n — yoo
xn < nlim
— yoo
yn lim xn lim yn .
n —y oo —
n > oo
For each of the above, find examples that the equalities hold .
6. Let { xn } , { yn } 6 £°° . Then
n
lim
— oo
y
+ j/„ ) < nlim
( xn
—> oo
xn + nlim
— yoo
yn ,
lim ( xn + yn ) lim xn + lim yn .
n — y oo n » — oo
yoo n—
Further , for each of the above, find an example that the strict inequalities
hold .
7. Let { xn } G c and { yn } G -£°°. Then
lim yn .
— yoo xn + n — yoo
lim ( xn + 2/n ) = nlim
n — yoo
Metric Spaces and Limits for Sequences 21
8. Let { xn }n
^ i , { yn }n^ i , { zn }n^ i £°° such that
Vn 1.
^ Un
Further , let the following hold:
Xn
n —> oo —> oo n =
11. Let XQ = 1, xn + i = 1 + j n 0. Show that lim
further , find the limit . ^ n
^ —
n > oo
exists and
12. Suppose { xn } £ £°°\ c. Show that there are two convergent subse-
quences of { xn } having different limits.
13. Let { xn } e c such that for some subsequence { xnk } k
lim xnk = x . Then lim xn = x . ^ i , it holds
—
k > oo n > oo —
14. Let ( X , do ) be a discrete metric space. Let xn G I be a sequence
-
converging to x under do Then there exists an N 1 such that
xn = x n N.
In this section , we look at some sets in metric spaces , and their properties.
Let us first introduce the following definition.
Definition 3.1. Let ( X , d ) be a metric space.
( i ) Let xo e X and r > 0. Define
B ( x0 , r ) = B( X ,d ) ( xo , r ) = { x e X \ d { x , x0 ) < r } ,
which is called the open ball centered at XQ with radius r .
22 Mathematical Analysis — A Concise Introduction
(ii) A point xo £ E C X is called an interior point of E if there exists
aS > 0 such that
B ( xo , 6 ) C E . ( 3.1)
The set of all interior points of E is denoted by E° , which is called the
interior of E .
G X is called a boundary point of E if for any S > 0 ,
( iii) A point Xo
B ( xo , 5) fl E 0 B ( xo , S ) fl Ec 0 .
^ ^
The set of all boundary points of E is denoted by d E , which is called the
boundary of E .
( iv ) A point xo G X > 0,
is called an adherent point of E if for any 5
E n B ( x0 , 6 ) 0.
^
The set of all adherent points of E is denoted by E , which is called the
closure of E .
(v ) A point xo G X is called a limit point of E if it is an adherent point
of E\{x 0}.
( vi) A point xo G E is called an isolated point of E if there exists a 6 > 0
such that
Example 3.2. ( i) Any finite set A is closed , and all of its points are isolated
points.
( ii) The sets 0 , N , Z, and R are closed . All points in N and Z are
isolated , and all points in R are limit points.
( iii) The set Q is not closed and its closure Q = R. Therefore, Q is
dense in R . All points in Q are limit points of Q. There are no isolated
points in Q.
Also, if we take
(Si nS2 ) = 0
^ { } = Si n S
1 2.
Si = ( 0 , 1 ] , ^ = [1, 2)
2
then
SI u S°2 = (0 , 1 ) U ( 1 , 2) = ( S 1 U S2 ) ° .
^( ( 0 , 2)
Hence, the two inclusions in ( 3.6 ) and 3.7) may be strict , in general.
Proposition 3.4. Let ( X , d ) be a metric space and E Cl. Then
E = E U <9£ = U dE . ( 3.9)
Proof . First of all, by the definition of adherent point , we have
E° U dE C E U dE C T.
To show
E C E° U dE ( 3.10 )
we take any xo E -S, i.e., Xo is an adherent point of E . If Xo G h° , we are
done. Suppose xo £ E° . Then by the definition of an adherent point , Xo
must be a boundary point of E . This proves ( 3.10 ) . Hence, ( 3.9 ) holds.
.
Proposition 3.5 Let ( X, d ) be a metric space.
( i) If { E\ }\e\ is a family of open sets in X , then UAGA is open. If
{FA}AG A is a family of closed sets, then DAG A is closed .
Metric Spaces and Limits for Sequences 25
71 =1
OO
1 '
( 0, 1 ) .
nJ =
-
=1 71
It is clear that the open ball B ( xo , r ) is an open set , and its closure
B ( x0 , r ) = { x X | d( x , x o ) r}
is closed , called the closed ball centered at XQ with radius r .
Let
v = U B*(*, <5(X)).
XEE
This is an open set in X . We now prove that E = V fl Y . First of all , for
any x G E ,
x G B Y ( X ,6( X ) ) C B X { X , S ( X ) ) C V ,
together with E C Y , we obtain
E c v n Y.
On the other hand , for any y G V D Y , since y E V , which implies that for
some x e E , y e B x ( x , 6 ( x ) ) . Since y e Y also, one actually has
yG B x { x , 5 ( x ) ) f ) Y = B Y { X , 5( X ) ) C E .
Hence , we obtain E — V fl Y .
Conversely, suppose E = V fl Y for some open set V m X . For any
x G E C V , since V is open in X , there exists a 5 > 0 such that
B x ( x , 5 ) C V.
Thus
BY ( X , 5 ) = B x ( x , 5 ) n Y CV n Y = E.
Consequently, x is an interior point of E in (Y , d ). Thus, E is open in (Y , d ) .
Metric Spaces and Limits for Sequences 27
S > 0,
x n e G1 n B ( x , S ) c E n V\ n v2 c V\ n v2 = 0
2 8 Mathematical Analysis — A Concise Introduction
d ( xi , G 2 )
^
= d (xi , G2 ) = 2inf
GG 2
X
d ( xi , x 2 ) > 0 , Vxi G Gi .
Likewise
G2 .
<
^(^ , GI ) = d( x , Gi ) =
2 2
xi
inf d ( xi , X 2 ) > 0 ,
Gi
VX 2 G
Now , we define
xi
^
6 2
^
x G J5 xi , Id (a: , G )) fl B ( ,
i
^ d ( x2 , Gi ) ).
d ( x 2 , Gi ). Then
d ( x 2 , Gi ) d ( xi , x 2 ) d ( xi , x ) + d ( x 2 , x )
1 1 2
- d ( xi , G 2 ) + -d ( x 2 , Gi ) - d ( x 2 , Gi ) ,
—
Gi n G2 Gi n E n G 2 = G1 n G2 — 0 «
.
Proposition 3.11 Let ( X , d ) be a metric space. Then the following are
equivalent :
(i) X is disconnected .
(ii ) There are two disjoint open sets VT , V 2 £ X = V\ U V2.
such that X
(iii) There are two disjoint closed sets Fi , F2 Cl such that X = F1 UF2 .
(iv ) There is a proper subset of X which is both open and closed in X .
Proof , ( ii) => (iii) . Since X = V\ U V2 with both V\ and V 2 open and
disjoint . Then
F1 = X \V1 = V2 , F2 = X \V 2 = Vi ,
which are both closed and disjoint , and
Fi U F2 = V2 U V\ = X .
30 Mathematical Analysis — A Concise Introduction
( iii) => ( iv ) . When X = F1 UF2 with both F\ and F2 closed and disjoint.
Then Ff = F2 is open and also closed. This means that X has a proper
subset which is both closed and open.
( iv ) => (ii) . If G C X is a proper subset of X , which is both open and
closed , then G and Gc are two disjoint open sets and
X = G U Gc.
( i ) => ( iii) . By definition , there are disjoint non-empty subsets G\ , G 2
such
x — G\ u c?2 ) G1 n G 2 — 0, G\ n G2 —0 *
Exercises
1. Let ( X, d ) be a metric space and E C X be a finite set. Then E is
closed.
2. Let ( X, do ) be a discrete metric space. Then any subset E of X is
both open and closed.
3. Let ( X, d ) be a metric space and E C X. Then E° is the largest
open set contained in E .
4. Let ( X, d ) be a metric space and E C X. Then F is the smallest
closed set containing E .
5. Let ( X, d ) be a metric space and E C X. Then F is closed if and
only if for any convergent sequence { xn }n i C F, the limit x of { xn }n i
is in F. ^ ^
6. Let ( Xfc , dfc ) be metric spaces k = 1, 2, • • • , m. Let X = Xi x • • • x Xm
with the product metric
m
---
d(( x , xm ) , ( y i , , t/m ) ) =5
^
fe = i
djfe ( xfc , 2/ fe ).
Metric Spaces and Limits for Sequences 31
G= UKA ).
Extend the above result to the case of Rm .
8. Let ( X, d ) be a metric space. Suppose G\ yG 2 £ -X . Then
"
X
inf d ( xi , X2 ) = _inf _ d ( xi , X 2 ) .
xi GGi , a;2 eG? 2 #I £ GI , X 2 CT 2
^
32 Mathematical Analysis — A Concise Introduction
Thus, Y is countable.
(ii) We need only prove the case that
X = { x i , X 2 , x% , • Y = (yi , 3/2 , 2/3, - •
Clearly,
XUY = { x 1 , y 1 , x 2 , y2 , x 3 , y 3 , - - - }.
Hence, X U Y is countable. Also, one has
x X Y = { ( x i , y i ) , ( x i , y2 ) , ( x2 , y i ) , ( x i , y3 ) , ( x‘2 , y2 ) , ( x1 , y3 ) , - - - }. f
cto = [ x\ G Z, x - a0 e [0, 1) ;
oi = [10( x - a0 ) ] -
{0, l , - - , 9} =» x “
ao - e [° 10
»
a2 = 102 (x ai\l
e {0, 1, - - - , 9}
x — do — 1—0
&1 U2
102
G
^—
° i02 )
> »
n—1 n 1
an = [ ( — 53 ) ] °fc 1 °’ 10" ) ’
l 0" x
fc = 0
*= Ea10* fc do G Z, dk G {0 , 1, 2, • • • , 8, 9}, k
^ 1. ( 4.2 )
Metric Spaces and Limits for Sequences 33
Clearly, for any given real number , the above representation is unique,
making use of the convention that any rational number is represented by
the corresponding repeating decimal number . Hence, we refer to ( 4.2 ) as
the canonical decimal representation of real numbers.
Proposition 4.3. For any a < b , the set [a , b] is uncountable.
a2 = 0.621622623 • • 5
as = O.631632633 • , • •
Then
c (£ {a1, o2 , o3 , - - - } = [0, 1]
a contradiction. Hence, [0 , 1] is uncountable.
{
P = (** ) *> 11
fc = 1
< OO j, l < p < o o .
We are able to show that £ p is complete. The detailed proof is left to the
readers.
Consequently,
XN ~ £ xn XN +s Wn
^ N.
XN — £ lim
—
n > oo
xn lim
n -* oo
xn XN + £•
Thus
0 lim xn - lim xn 2e.
—
n » oo n —
foo
—
Proof . The proofs of (i) ( ii ) are obvious. Let us prove ( iii) . We only
prove the case n = 2. For any sequence yn = (y , y%) E Y\ x Y2 , by
the compactness of Yi , we have a convergent subsequence {2/ 1 ( n ) }n 1 of
{Vn }n i and some y 1 G Y\ such that
^ ^ ^
^
n —y 00 .
36 Mathematical Analysis — A Concise Introduction
Next , by the compactness of > 2 ? there exists a subsequence { y<2r 2 ( o-i ( n )) }n
of { yh ( n ) }n>1 and a y 2 e 2 such that ^ l
*
d ( yl 2 ( r i ( n ) ) ^ y 2 ) 0
(
77, —^ oo .
Consequently, ( yl , y 2 ) G Y\ x Y2 and
. Sa
d ( ( (ffi (n )) « ( « n (n)) ) » ( tfStf 2 ) )
wia
This proves the compactness of Y\ x F2 .
^0 n -» oo.
IK
AGA
there exists a finite subset AQ C A such that
Y C {J V X .
AG Ao
S( y n ) < -
Tl
V e B ( y , S ) c vXo .
Since { ynk } converges to y , there exists a K > 0 such that
d{ ynk , y ) <
^ Vfc
^ K.
38 Mathematical Analysis — A Concise Introduction
Consequently, for any z e B ( yn k , § ) , we have
8 8
d{ z, y ) d { z , ynk ) + d { ynk , y ) < - + - = 8.
This means that
B ( yn k i
l ) C B( y , 5 ) C V X o .
Hence
8 1
^ b\ y n k x) < -» 0
0
2 ^ rik
a contradiction , which means that this case will not happen .
Case 2. <5Q > 0. Then we must have
So
>y <%) VyG Y
B ( y , 50j ) c
<
VA ( w) .
Now , we construct a sequence. Pick any 2/1 G T. If
/
we are done. Suppose the above is not true. Then we can find
£
J/2 e Y \ VX ( y i ) c y \ B ( y i , y0 ).
Clearly,
<50
d { y2 , y i ) y-
if
Y C VA ( J/ I ) U VX ( y 2 )
"
-
we are done. Otherwise, we can find
Thus
d { y3 , y i ) , d ( y3 , y2 ) *.
y
0
Metric Spaces and Limits for Sequences 39
Vn £
k =1 k =1
Hence
So
d( yn , yk ) >y VI k < n.
\
This implies that Y contains a sequence { y n }n
convergent subsequence, a contradiction. ^ i which does not have a
Sufficiency. By contradiction. Suppose Y is not compact. Then there
exists a sequence { y n } n i Q Y , which does not have convergent subse-
^
quences. In particular , { y n }n i is an infinite set . We claim that for any
— ^
y e y , there exists an e s( y ) > 0 such that
B ( y , e{ y ) ) n { y n n \ 1}
is a finite set. In fact , otherwise, by shrinking e > 0 , we will obtain a
subsequence of { y n }n i converging to y . Now , we have that
^
Y C (J B( y , e( y ) ) .
yer
Then by assumption , there is a finite open cover , i.e. , there are yi , • • • , y m
Y such that
m
{ V n }n > i £ Y C (J B( y k , e( y k ) ).
k =1
yn ( n f t) * * .
AG Ao
> ( 4.3)
then
Y n( riftW ( 4.4 )
AGA
40 Mathematical Analysis — A Concise Introduction
Then
Y n (!«)
AGA
- «
Y C ( n f> )
AGA
= u n-
AGA
Thus, { F£ | A G A} is an open cover of Y . Since Y is compact , there exists
a finite open cover , i.e. , there exists a finite set AQ C A such that
u ** = ( n
AGAO AGAO
f
> ) f
0
AGA AGA
which means that { V\ \ A G A} is not an open cover of Y a contradiction. ,
n* ^
n =1
n 0. ( 4.5)
Moreover , if
diam ( ATn ) = sup d ( x , y ) —> 0,
x,yEKn
n —y oo ( 4.6)
then there exists a unique xGl such that
oo
n
n =1
k» = {*} ( 4.7)
Metric Spaces and Limits for Sequences 41
Proof . Define
Vn = Kcn , n 1.
Then { Vn n 1} is a sequence of open sets in X . Now , if ( 4.5) is not
true, then
\J V n = \ j K c n = ( f ) KnY = X D K 1.
^ n l
^there exists^1an N
n l 71
n= l n= 1 n= l
which implies
0 —K '
jv n Ki C n Kft = 0
a contradiction. Hence, ( 4.5) holds.
Now , suppose ( 4.6) holds, then for any x, x E f ] 71 1 ifn , we have
^
d ( x, x ) diam ( Kn ) > 0, — n - oo.
>
Hence, ( 4.7) holds.
Next result is relevant to the total boundedness.
.
Theorem 4.15 L e t ( X , d ) b e a metric space and Y C X . Then Y is
compact if and only if Y is complete and totally bounded .
Proof . Necessity. Suppose Y is compact . Then Y has to be complete.
Next , for any e > 0, we have
Y C |J B{ x,e ).
xeY
Then by finite open cover theorem , we see that Y is totally bounded.
Sufficiency. Let { yn }n i Q Y be a sequence. For k = 1, Y is covered by
^
finitely many open balls of radius 1. Among them , there is a ball, denoted
by B ( x\ , 1) , containing a subsequence of { yn }n i We denote it by
£ ( xi , l ) n y,
^-
1. Vn
Next , since B { xi
Vn , I
^
, 1) fl Y is compact , it is covered by finitely many balls of
radius Then there exists an X2 E B ( x i , 1) and a subsequence { yn ,2 }n
of {2/ n , i }n i such that ^i
^
2/71 , 2
^
e H ( x2 , ) n y, n 1.
42 Mathematical Analysis — A Concise Introduction
Continue this procedure, we can find { xk }k Q X and subsequences
{Vn ,k }n>1 such that ^i
1 1
xk G B ( x k - i ? fc-!) , yn , k G B { x k , ) n Y. n 1.
2 2 ^
Now , we let zk = V k ,k - Then { z k } k > l is a subsequence of { y n } n
that ^ i such
1
6 S (a:fe , ) D Y. k 1. ( 4.8)
Note that ^
j
'
-i i- i
1 1
< 2i _1 '
d ( x i , Xi+ j )
^ ^= ^
k 0 ^^
k =0
2^ + fe
Xn — {^ nk ) Vn 1
where
1 k = n,
5n k - n.
m , one has
0 k
^
Then for any n
^ —2 P .
Hence, the sequence { xn }n subsequence. This
proves our claim. ^ i does not have a convergent
Metric Spaces and Limits for Sequences 43
k= l
Now , let
Xo = {*£ 1 k Kn , n 1}
Then XQ is countable and it is dense in X . Hence, X is separable.
It is clear that if ( X, d ) is separable, then any subset Y C X is also
separable.
Exercises
1. Show that the set Q of all rational numbers is countable and the set
R \ Q of all irrational numbers is uncountable.
2. Prove the Bolzano-Weierstrass Theorem ( Any bounded sequence
in Rm contains a convergent subsequence) by the Nested Compact Sets
Theorem.
3. Prove the Heine-Borel Theorem by the Nested Compact Sets Theo-
rem.
4. Let 5 = l n n e N} U {0}. Then S is closed .
5. Show that any discrete metric space ( X, do ) must be complete.
44 Mathematical Analysis — A Concise Introduction
A-n+i C. Ani Vn 1
diam ( An ) = sup d ( x , y )
x,yeAn
—* 0, —
n > oo.
a = d ( x i , x2 ) .
What happens if we only assume Xi and X2 to be closed ?
12. Let {xn} G £°° . Then the set C of all limit points of { xn } is non-
empty. Moreover , for any sequence { yn } C £ , if { yn } is convergent to y ,
then y G C .
Chapter 2
1 Continuity
45
46 Mathematical Analysis — A Concise Introduction
(i) / ( •) is continuous at xo -
(ii) Whenever {xn }n i C X is convergent to xo under dx , the sequence
^
{/ £n )}n i is convergent to f ( x0 ) under d y .
(
^
(iii) For every open set V C Y containing f ( xo ) , there exists an open
set V C X containing XQ such that
f ( U ) C V.
.
Theorem 1.3 L e t ( X , d x ) a n d ( Y , d y ) be metric spaces. Let f : X -> Y .
Then the following are equivalent :
( i) / ( •) is continuous on X .
(ii) Whenever { xn } C X is convergent to some xo under dx , the se-
quence { f { xn ) } is convergent to f ( xo ) under dy -
( iii) For every open set VC Y , f ~ x ( V ) is open in X , where
f -\V )
= {x G X | f ( x ) V }.
(iv ) For every closed set F in Y , f 1 { F ) is closed in X .
Proof , (i) => (ii). Let xn G X with xn > XQ . By the continuity of / ( •)
for any e > 0 , there exists a S > 0 such that
d y { f { x ) , f ( x0 ) ) <e d x { x , x0 ) < <5.
Also , there exists an N
^ 1( such, that
) 6,
This leads to
d x xn xo < n
^ N.
d Y ( f ( x n ) , f ( xo ) ) < £ n > N.
Hence, ( ii) holds.
_
(ii) => ( iii) . Let V C Y be an open set . If / 1( Vr ) is not open, then
there exists an xo e f ~ 1 (V ) and a sequence xn e f ~ 1 (V ) c converging to
xo Hence f ( xn ) —> f { xo ) . Since V is open, there exists an e > 0 such that
-
,
B y ( f ( xo ) e ) C V.
*« e r ( Bj' ( / (*o ) , e) ) cr (
1 1
n
a contradiction .
( iii) => ( iv ) . For any closed set F C Y , F c is open. Thus,
r l ( Fc ) = r\F )c ,
is open , leading to that /-1 (F) is closed .
( iv ) => ( hi ) . The proof is the same as ( iii ) => ( iv ) .
( iii) => ( i) . Let xo X . For any e > 0, B y ( f ( xo ) , s) is open. Hence
f ( B y ( f ( x0 ) , e ) ) is open , and
~1
x0 e f 1
( BY ( f { x0 ) ,e ) ) .
Thus, there exists a 5 > 0 such that
B x ( x0 , S ) C f -1 ( BY ( f ( x0 ) , e) ) .
This means
f ( B x ( x0 , S ) ) C BY ( f ( x0 ) , e ) ,
.e.
i
d y { f { x ) , f ( x0 )) < e, V d x ( x , x0 ) < S.
This completes the proof .
We called the above the limit inferior (or simply liminf ) and limit supe -
-
rior (or limsup) of / ( •) as x -* xo Then we can introduce the following
definition.
.
Definition 1.5 Let ( X, d ) be a metric space and / : X > R be a bounded —
function.
(i ) We say that / ( •) is lower semi-continuous at xo if
/ ( x0 ) lim / ( x ) . (i.i )
—
a: > cco
( ii) We say that / ( •) is wpper semi- continuous at xo if
f ( x0 ) lim / ( x ) . (1.2 )
X
^XQ
( iii) If / ( •) is lower ( resp. upper ) semi-continuous at every point in X ,
we say that / ( •) is lower ( resp. upper ) semi-continuous on X .
To get some feeling about the lower and upper semi-continuous func-
tions, let us present the following example.
Example 1.6 Let .
1 x=0 -1 x=0
< p( x ) = V» (*) = < x O.
0 x O;
^ -
Then </? ( •) is upper semi-continuous, and ip( ) is lower semi-continuous. ^
The following gives a characterization of lower semi-continuous func-
tions.
.
Proposition 1.7 Let ( X, d ) be a metric space and / : X -> E be a
bounded function. Then the following are equivalent :
( i) / ( •) is lower semi-continuous on X .
( ii) For every xo £ X , for any £ > 0, there exists a 5 > 0 such that
f { x ) > f ( xo ) Vx £ B ( xo , 5) .
( iii) For every a £ R , the set
(/ > a ) = { x £ X | / (x) > a }
is open.
Functions on Metric Spaces 49
we see that lim_ f ( x ) fails to exist for any x G l, which implies that the
X YX
—
Dirichlet function is nowhere continuous. It is upper semi-continuous at
every rational point , and lower semi-continuous at every irrational point .
( ii) The following is called the Riemann function:
I
/ (*) = {
if x —|£ Q, with q > 0 and p and q are co-prime,
o^ if x £ R \ Q.
Since for any x G l,
lim f ( x ) = 0,
( why? )
— x yx
— ) ^ = ^n+ — d(o: , x )
^^ ^^
/c l
d ( x n i X n+ £ ) d ( xnJtk , ^n + fc
^ fc= i
l
fc i
i 0
t
1 — cxf ^
— d( x , )
an
^^ ^ afc d (xi , xo ) = a n ^
1 £0
1- a
fc = 0
OLU
— a d (xi , x ) —> 0 0 u t — 00 .
This means that {xn} is Cauchy. By the completeness of ( X , d ) , one has
—
xn y x for some x G X . Then / ( x ) = x. Now , if there exists another
x £ X such that / ( x ) = x, then
d ( x, x ) = d ( / (x) , / (x ) ) ad ( x , x ) .
( f ® 9 ) ( x ) = ( f ( x ) , g ( x )) Vx X.
The following can be proved easily.
Exercises
1. Prove Proposition 1.4.
—
3. Let / : Mm » R e , with / ( # ) = ( /i ( x ) , , / ( x )) , for all x e Mm .
^
* * *
dY { f ( x) J ( y )) L d x ( x, y ) Vx, y e X ,
—
9. Let f\ : R > R ( A E A ) be a family of continuous functions. Let
F ( x ) = sup f x ( x ) x G M.
AGA
.
Theorem 2.2 L e t ( X , d ) be a compact metric space and f : X ^ R be —
lower (resp. upper ) semi-continuous. Then / ( •) attains its minimum ( resp.
maximum ) on X .
h{ x ) — 5=> ( |* | —
fc l
2 fe
l) + 5 Vz = (:xk ) G B 5 ( 2.1 )
Ei *fci ^ -
= k 1
Thus, there are at most one non- zero terms in the series ( 2.1) defining /i ( - ).
-
Now , we show that h( ) is continuous on B . To see that , we let x = ( xk ) G B
be given, and let xn = ( x£ ) G B such that
oo
E= \ xn Xk \ -> 0.
Pl ( xn , x ) =
k 1
~
E=
fe l
2fcix
- zfe| 2 KE= l ^
fc l
n - = 2 KPl ( xn , x ) -> 0 .
-
This proves the continuity of h ( ) at such a point x. Next , for xn = ( Snk ) k ^ i 5
we have
h ( xn ) = n —> oo , as n oo.
Functions on Metric Spaces 55
-
Therefore, /i ( ) is continuous and unbounded on the bounded and closed
set B . We now define
1
9{ x ) = 1 h( x ) x e B.
+
Then g ( - ) is continuous and
inf g ( x ) = 0, g( x ) > 0, x E B.
X B
This means that continuous function g ( - ) does not attain its minimum over
the bounded and closed set B.
Recall from Chapter 1, Example 4.16 that in i 1 , the closed unit ball
5(0, 1) is not compact . Hence , the above example tells us that if the domain
space X is not compact , a continuous function defined on a bounded and
closed set might not be bounded and might not achieve its minimum and
maximum .
Next , let us look at another example which will lead us to another issue.
Example 2.4. ( i) Prove the continuity of f ( x ) = x 2 on [0 , 1].
Let XQ .
E [0 , 1] One has
\ x 2 — XQ \ = \ x — X o \\ x + X o \ 2 \ x — X o \ .
Hence , for any e > 0 , by taking 5 = § > 0, one has
If ( x ) - f ( xo ) | = \ x 2 - X Q \ 2 \ x - x0| < 25 = s , V|x — xo | < 6.
We note that S =|is independent of X Q .
( ii ) Prove the continuity of g ( x ) = - on ( 0 , 1].
Letxo E (0, 1]. For \ x — xo \ < we have x > Now , for \ x — xo \ < — ’
2
\ g( x ) - g { x0 ) \ =
1
-
1 \ x - x0 \
Jb Xo XXQ x0
\ g ( x ) - g ( x0 ) \ = \ X X o \ ^ —^ \ x — xo| < e,
X 2
XQ
—
-
V| x XQ | < S.
XQ
-
This proves the continuity of g ( ) on (0, 1] . In this proof , 5 not only depends
-
on > 0, but also depends on xo We claim that for this function , one
cannot find a S > 0 that is independent of XQ . In fact , if there existed a
56 Mathematical Analysis — A Concise Introduction
1>
|nx — 1| n— 1
2
n+1
Vn 1
X
n— 1
2
which is a contradiction.
The above examples show that sometimes, even for one variable func-
tions, continuity could be quite different. The following notion reveals such
a difference.
XC \J B ( xi , S ( xi ) / 2 ) .
i=1
Take
5= = min 5 ( x i ) / 2 > 0.
Now , let x , x' £ X with dx ( x , x' ) < S . There must be some 1 i n such
that
x G B ( xi 5( xi ) / 2).
)
Then
d x ( x’ , X i ) d x ( x' , x ) + d x ( x , X i ) < 5 +
Hence, x, x' G j9 ( x* , <5 ( x* ) ) which implies
dy ( / (x ) , / (*') ) < e.
This proves the uniform continuity of / ( ) . •
lim dx { xnk 5 x )
k — ¥ oo
= 0.
Consequently,
dx ( ynk , x )
^ dx { xnk , 2 /nfc ) + dx (x nic x ) ? <—
nk
+ dx{x nk 5 —
x ) > 0.
Then
o < £o < lim d y ( f ( xnk ) , f ( ynk ) )
K OOr
felm ( d y ( f ( xnk ), f ( x ) ) + d y ( f ( x ) , f (y n k ) ) ) = 0
a contradiction. ^
It is not hard to see that in Example 2.3, the continuous function h ( - )
defined on the closed unit ball is not uniformly continuous. Hence, the
compactness condition of X cannot be replaced by boundedness and com-
pleteness in the above theorem.
58 Mathematical Analysis — A Concise Introduction
V are open in
^
X. Further ,
m < m.
Then for any y G ( / ( a ) , f { b ) ) , there exists a c G E such that
/ (c) = y.
—
[ ( oo , z ) n G ] U [ { z , oo ) D G\ = G .
—
We see that ( oo , z ) C\ G and ( z , oo ) D G are two disjoint non-empty open
sets in G , which means that G is disconnected , a contradiction. Now , let
-hoc.
a = inf G ^ — oo, b = sup G
Functions on Metric Spaces 59
Then the above result implies that ( a , b ) C G. We then have the following
situations,
( a, b ) , a , b $ G,
r
[a , 6) a <= G , b £ G,
( a , 6] a G , 6 e G,
k
[« > ^
CL , b E G .
Exercises
1. Let ( X , d x ) and (Y , d y ) be two metric spaces. Assume that ( X , d x )
is compact , and / : X —> Y is bijective and continuous. Then f ~ l : Y » X —
is also continuous. What if ( X , d x ) is not compact ? Why?
2. Let ( X, d ) be a compact metric space and / : X —> X be a continuous
function such that
d( f { x ) , f ( y ) ) < d( x , y ) V x, y e X , x 2/ .
Then / has a unique fixed point.
^
3. Let ( X , d ) be a compact metric space and /, g : X > R be continuous — •
/ ( z ) 7^ 0( z) Vx G X.
Then there exists an e > 0 such that
\ f ( x ) - g{ x )\ e, V x s X.
. 1
5. Find lim (sin a
—> o Lv
x
—x; sin
r\u a>)= u r ^) .
AGA AGA
1
/
_i
( n a\) = AGA
AGA
n
60 Mathematical Analysis — A Concise Introduction
—
7. Suppose / : [a , b] > R is continuous such that for any £ E Q D [a , b]
— -
/ ( £) 0 Then f ( x ) = 0 for all x E [a , b].
8. Let / : [a , 6] R be continuous. Let a < x\ < X2 < ••• < xn < b.
Then there exists a £ E [a , b] such that
f ( x i ) + / (X2 ) + + / (S n )
/( ) = n
9. Let / : [a , 6] -» R be continuous such that / ( x ) 0 for all x E [a , b] ,
and there exists a £ E [a , 6] such that / (£) > 0. Then / ( x ) > 0 for all ^
x E [a , 6].
—
10. Suppose / : [a , 6] » R is an increasing function and for any y E
•
—
14. Let / : ( a , b ) > R be continuous. Then / ( •) is uniformly continuous
•
Differentiation
1 Derivatives
/'(*o ; «) si =
^
lim
f ( x0 + Su ) - f ( xo )
( 1.1 )
o (5
61
62 Mathematical Analysis — A Concise Introduction
/'(x0 ; An ) = lim
f ( x0 + S X u ) - / ( x 0 ) ^
=\f' ( x0 ; u ) , VA 0. (1.4)
<5 —
>0 5
Consequently, if / ( •) is Gateaux differentiable at xo , then the Gateaux
derivative u ^ /'( xo ; u ) can be extended to a map from Rm to R ,
which is positively homogeneous. However, this map might not be linear.
Whereas , if / ( •) admits a gradient ( V / )( xo ) , then the map u »->• /'( xo ; u ) =
( V / ) ( xo ) u is linear. The following example shows that Gateaux differen-
tiability does not necessarily imply the existence of a gradient .
Example 1.2. Let m = 2 and
xy
{ x, y ) ± ( 0, 0 )
f ( x, y ) = yjx + y21
0 ( x , y ) = ( 0, 0 ) .
For any ( a , /3) 6 K2, we have
f ( 6 a , 6 /3 ) - f ( 0 , 0 )
/'( (0, 0) ; (a , /3)) = slim
io 5 /
y a2 + /32
which is positively homogeneous in (a , /3 ) , but it is not linear. Hence,
( V / ) ( 0 , 0 ) does not exists , although / ( •) is Gateaux differentiable at ( 0 , 0 ).
As a matter of fact , even in the case m = 1, Gateaux differentiability
does not implies the existence of a gradient. An easy counterexample is
f ( x ) = \ x \ at x = 0. We have
/'( 0; A ) = |A| A G R,
which is not linear in A. Thus, ( V / )( 0 ) fails to exist .
Next , we have the following result.
—
Proposition 1.3. L e t f : G >• R and XQ G . I f / ( •) i s Frechet differen -
tiable at X Q , then / ( •) admits a gradient ( V / )( XQ ) . Moreover ,
( V / ) (*<> ) = /* (so ) . (1.5 )
Consequently, for any u G 5jn (0) , the directional derivative of /( )
• in the
direction u at XQ is given by
f ( xo ; u ) = f x ( x0 )u . ( 1.6 )
Differentiation 63
lim l /
( x0 + Su) - / (sp ) - <5/s (soH _ (1.7)
<5 +0 5
which implies that
f { x0 + Su ) - / ( z0 )
lim = fx ( xo ) u. (1.8)
<5 +0 8
Thus, by definition , we see that the gradient ( V f )( xo ) exists at xo and
(1.5) holds.
From Definition 1.1, we see that for m = 1, the existence of a gradient
and the Frechet differentiability are equivalent. However , we claim that the
existence of a gradient does not necessarily imply the Frechet differentia-
bility, for m 2. To show this , let us first present the following result .
^ . —
Proposition 1.4 I f f : G » R is Frechet differentiable at xo , then it is
continuous at XQ .
Proof . By definition , we have that
lim /
| ( x ) - f ( xo ) - f x ( xo )(x - x0 )| _ |-Rl (s, X0 )|
— lim
— = (1.9)
where
x yxQ x - X o \\ x
^ x0 ||x XQ||
R l ( x , X o ) = f ( x ) - f ( x0 ) - f x ( x0 )( x - xo ) . ( 1.10 )
Thus
( 1.11 )
|i?i ( x , x0 )| '
l|x Xoll ll
lim + /x (x0 )||
< X X Q || = 0,
X >£o
— —
proving the continuity of / ( •) at x o -
Note that (1.10 ) can also be written as
f { x ) = f ( xo ) + f x { xo ) { x - X o ) + R i ( x , x0 ) ( 1.12 )
with the remainder term R i ( x , xo ) given by (1.10) . We refer to (1.12 ) as a
first order Taylor expansion. We will come back to this a little later .
The above result will help us to see that having gradient does not nec-
essarily imply the Frechet differentiability. Here is an example.
.
Example 1.5 Let m = 2 and
x3 y
/ ( x, y ) = x6 + y 2
(x , y ) ± (0 , 0 ) , (1.13)
0 ( x , y ) = ( 0 , 0) .
64 Mathematical Analysis — A Concise Introduction
lim / ( to, 0) - / ( 0, 0)
<540 5
Thus, we have
( V / )(0, 0 ) = ( 0, 0) .
On the other hand , by taking a sequence {( xn , yn )} approaching to ( 0, 0)
along the curve y = ax3 for some a £ R , we see that
lim f ( xn , y n ) =
71
—
» 00
f x‘ ( x 0 ) = e i ) = lim
f ( x0 +
(1.15) Sei ) - f { x 0 )
5 « 4.0
and call it the ( first order ) partial derivative of / ( •) at xo with respect to
x \ Note that when (1.14) holds, we have
lim / ( x0 + S e { ) ~ f ( x0 )
lim / ( x0 + 5e< ) - f ( x0 )
(1.16 )
<5 —^0+ 6 6^ - 0- 5
Thus,
f i x 0 + Sei ) - f i x0 )
f x* i x0 ) = lim (1.17)
5 0 < -> 5
Differentiation 65
/ u 1\ ( 1.22 )
( f x1 ( ^0 ) 5
* ? fx (^o ))
171
;
\Um /
This implies the representation (1.19) of ( V / )( x0 ) under the standard or-
thonormal basis of Rm . Then (1.20 ) follows from (1.2 ) and (1.19 ) .
Let us go back to look at Example 1.2. It is clear that
/* (0, 0) = /y ( 0 , 0) = 0,
but V / (0 , 0) does not exist . Thus, one could have existence of all first order
partial derivatives without the existence of the gradient .
The following result collects some basic properties of the gradients.
Proposition l . T. Let f , g : G -» R admit gradients at XQ .
E G Then
66 Mathematical Analysis — A Concise Introduction
( i) for -
any A , /i E R , A / ( •) + pg ( ) admits a gradient at Xo and
[V ( A / + W)] ( x0 ) = A ( V / )( x0 ) + / i( Vff )(xo, ) . (1.23)
- -
( ii) the product f { ) g { ) admits a gradient at XQ and
[V ( /s)] (xo ) = g ( x0 ) ( V / ) (x0 ) + f ( xo )(V g ) ( xo ) . (1.24)
1
( iii) the reciprocal / ( ) admits a gradient at XQ , provided f ( xo ) / 0,
and in this case,
( V / ) ( xo )
[ vcr : )] ( x ) =
1
0
f ( xo ) 2
(1.25)
The proof is straightforward . We also have similar result with the gra-
dient replaced by any first order partial derivative. We omit the details
here.
Next , we look at the vector-valued function case. Similar to the scalar
case, we introduce the following.
Definition 1.8 . Let / : G —> R^ .
xo E G, and let u E Sf O ) . Suppose
( i) Let
/'(x0 ; u ) = 510
lim
^
/ (x0 + S u ) - f ( xQ ) (1.26 )
5
exists. Then we say that / ( •) admits a directional derivative f' ( xo ; u ) at xo
in the direction of u. If f' ( x y, u ) exists for all u E 5]7l (0 ) , we say that / ( •)
is Gateaux differentiable.
(ii) If for xo £ G, there exists an ( i x m ) matrix, denoted by ( V / ) ( xo ) £
R^ xm such that
/'(x0 ; u ) = ( V / ) ( x0 ) w , Vu E 5 (0 ) (1.27 ) r
then ( V / ) ( xo ) is called the gradient of / ( •) at xo. If there exists an ( x m )
matrix-valued function , denoted by V / : G —> Rm such that (1.2 ) holds for
•
^
all XQ £ G, then we call V / the gradient field of / ( ) . •
The following result links the (directional, Gateaux, and Frechet ) differ-
entiability of a vector-valued function with its scalar function components.
Proposition 1.9 . L e t f = ( f 1,• •• , fe ) : G -» and XQ .
E G Then
( i) / ( •) is directionally differentiable at XQ in the direction u E 5]n ( 0 ) if
and only if so is each / * ( •) , and in this case ,
T
^
f' ( x0 ; u ) = ( ( / '( xo ; «) , • • , ( feY ( xo ; « ) )
( V / )( xo ) = R£ x m (1.30 )
( v /* )( x0 ) y
( iv) / ( •) is Frechet differentiable at XQ if and only if so is each / * ( •) , and
in this case ,
/ /i (x0 )
fx ( x0 ) = G Ri x m (1.31)
\ /i (*o )
Note that under standard orthonormal bases of Rm and R/ , we can
write more explicitly that
( f i x (xo ) /ia ( x0 )
/xi ( Xo ) /Ja (x0 )
• ••
• • •
-
/i ( x0 ) N
/xm ( x0 )
/ ( XQ )
X G R^ x m . (1.32 )
J
^
\ /*i (x0 ) / ( x0 ) • • • f £ m ( x0 )
The above is called the Jacobian matrix of / ( •) with respect to x ( at xo ) .
In the case f = m , the Jacobian matrix f x ( xo ) E Rmxm is a square matrix,
and we may define its determinant det [/^ ( xo ) ] which is called the Jacobian
( determinant) of / ( •) with respect to x ( at xo ) . Sometimes, one denotes
0( / V - , / m )
det [/x ( x0 ) ] =
^ (x0 ) =
Next , we look at the derivative of composition of functions.
Theorem 1.10. ( Chain Rule ) (i ) Let g : G »
^( x1, • • • , xm )
be directionally dif - —
(1.33)
( f ° g ) x ( x0 ) = fy ( g ( x0 ) ) gx { xo ) ) (1.37)
Proof . We only prove ( i) . By the Frechet differentiability of / ( •) at
g ( x 0 ) , we know that
f ( y ) = f ( a ( x0 )) + fy ( g { xo ) ) { y - g ( x0 )) + Ri { y, g ( x0 ) ) (1.38)
with
,. I|fli (y; g(g0)) ll n
.
»-*(*0 ) \\ y - g ( xo ) \\
(1.39)
(
\\ Ri 0 +
,. g ( x Suy , g ( xo ) ) \\ g ( x0 + 5u ) - g ( x0 ) \\
<5- 0 \\ g ( x0 + Su ) - g ( x0 ) \\ 6 =
^
This proves (1.34 ) .
We note that in the above, / ( •) is assumed to be Frechet differentiable.
A natural question is whether we can relax this condition . In other words,
naively, we expect the following: If / ( •) has a gradient at g ( xo ) and g ( ) -
Differentiation 69
V / (s( 0))fl* ( 0 ) = V / ( 0, 0 ) Q = 0.
Whereas
1
2’
o
^z = .
z 0
0
which is not directionally differentiable at ( 0 , 0 ) in any direction. Hence,
(1.41) does not hold .
The following is usually referred to as the Fermat Theorem.
which leads to
9( b) ~
9( a ) = 0, (1.53)
we let
h( t ) = g { a + t ( b - a ) ) - g ( a ) t e [0, 1] . (1.54 )
—
Then h : [0, 1] > R is continuous and Frechet differentiable. Moreover ,
h { 0) = h( 1) = 0. Thus , by Rolle’s Theorem ,1 there exists a 6 £ ( 0 , 1) such
that
0 = h' ( 6 ) = gx ( a + 0 ( b — a ) ) ( 6 — a ).
• (1.55)
Hence, with £ = a 4- 0 ( b — a ) £ (a , 6) , both sides of (1.46) are zero.
Next , let (1.53) fail. For any w G R£ , let
h( t ) = f ( a + t( b - a ) ) - f (a) -w
m ~
/ ( «) ] *
— \g ( a + t ( b - a ) ) - g ( a ) ] t e [0 , 1] .
(1.56 )
9( b) ~
9( a )
Then h : [0 , 1] -* R is continuous and admits derivatives on (0 , 1) . More-
over , we again have h { 0 ) = h(1) = 0. Thus, by Rolle’s Theorem , there
exists a 6 e (0 , 1) such that
0 = h! ( 0 ) = [ f x ( a + 6 { b - a ) ) ( b - a ) ] w - (1.57)
_ [/ ( & ) - f ( a )\ w gx ( a 9 { b - a ) ) • ( b - a ) .
+
9( b) ~ g( a )
Thus, if we let £ = a + 9 { b — a ) e ( a , b ) , then (1.46) follows.
xWe assume that Rolle’s Theorem is known to the readers.
72 Mathematical Analysis — A Concise Introduction
—
Note that by definition , we see that if / : G > R is Frechet differentiable
at X Q G G, then near xo , / ( X ) can be approximated by a linear function:
/ ( x ) = f (x0 ) + / (x0 ) • ( x - x0 ) + R ( x; x0 ) = L (x ; x0 ) + i? (x ; x0 )
X
where
L ( x; x 0 ) = / ( x0 ) + f x ( xo ) • ( x - x0 ) ,
k
R ( x\ X o ) = f { x ) - f ( xo ) - f x { xo ) • ( x - Xo )
with
/ (x ) = / ( xo ) + f x ( x0 + 6 ( x - x0 )) • (x - Xo ) (1.58)
in which the remainder term does not appear , and as a trade-off , f x ( xo ) is
replaced by f x ( x0 + 0 (x - x 0 )) .
As an application of the above Theorem 1.13, we present the following
result.
.
Proposition 1.14 L e t f : G > — b e Frechet differentiable. Then
f x ( x ) = 0, x eG (1.59)
if a n d only if / ( x ) is a constant .
||/ ( xi ) - / ( x0 ) || \\ f x (0 ( x l - ®o ) || = 0.
Use the same argument recursively, we obtain that
f ( x ) = f ( x0 ) VXGG
proving our claim.
Differentiation 73
-
(i ) Suppose / ( ) and g ( ) have derivatives f ' ( xo ) and g' ( xo ) at XQ such
that g' ( xo ) 0. Then there exists a 6 > 0 such that
^ g{ x ) ± o, 0 < \x — xo\ < S , (1.61)
and
lim / 0*0 = f ( xo ) ' (1.62 )
g{ x ) g' ( x 0 )
(ii ) Suppose XQ = a and there exists a 5 > 0 such that f ' ( x ) and g' ( x )
exist for all x £ ( xo , xo + 5) and
Then
g\x )
^ o, x G ( ZQJZO + 5) . (1.63)
2
0 < \x — XQ \ < 5.
Hence
g( x ) o, 0 < \x — XQ| < 6.
Then
Xo )
/ 0*0 / 0*0 - f ( xo ) X
— Xp /'(*o )
x
^ xo g [ x ) —
g ( x ) g ( xo ) X
lim
— ¥ X o g( x )
X
- g( x 0 )
XQ
g!( x 0 )
'
( ii) First of all, by (1.63) , we claim that (1.61) holds for the given S > 0.
In fact , if there exists an x G ( xo , X o + 5) such that g ( x ) = 0, then applying
Rolle’s Theorem on [xo , x] , we have some y G ( xo , x ) such that g' ( y ) = 0
which contradicts the assumption. Hence, our claim holds. Now , by Cauchy
Mean Value Theorem , for any x G ( xo , xo + $) , there exists £ G ( xo , x ) such
that
/ 0*0 = / 0*0 - / (so ) f (g) '
5( x ) g ( x ) - g ( x0 ) = g' ( £ )
Hence
Exercises
1. Let Rnxm be the set of all ( n x m ) real matrices. Let A G Rnxn and
f i x ) = xT .Ax , for all x G Rn . Show that / ( •) is Frechet differentiable on
Rn . Find f x{ x ) .
Differentiation 75
771 J.
2. Let / ( x ) = ||x UP = ( X> r)
/c = l
for any x G Rm , with p G [1, oo ) .
4. Let
1
/ (*) =
x|asin
\ x\ P
x
^ O,
lim / 0*0 = L.
—
x > oo 9( x )
2 Frechet Differentiability
Consequently,
lim
|| R ( x , xo , 0) || l -R (^?; »7o ) ||
IMHO 11*11 ^ IlSo ||x||
+ lim \\ fdto + ^t , vo + v ) - fdto , vo ) \\ \\ t \\ ...
0
IMHO I*
This proves the Frechet differentiability of / ( •) at #o = (£O 577O ) T -
In the above, we have used the continuity of the partial derivative
A (& *l ) near ( £oiVo ) , and the Frechet differentiability of 77 » >• / (£o , v ) at —
Vo -
Next , we use induction. Suppose our conclusion holds for the case of
G C Rm- 1 . Then we write x = (£ , 77 ) and xo = ( o , Vo ) with £ , £o R and
_
77 , 770 G Rm . Now , / (£, 77) 1S continuous near (£o > f 7o ) > and by induction
1
^
hypothesis , 77 h-* / (£o > f ? ) is Frechet differentiable. Hence, copying the above
proof line-by-line, we can get the proof of our conclusion.
r = {ii ,
A = Ol , '
— , 4} c {1, 2, • , m } ,
••
• • • , j m-k } = {1, 2 , • • , m} \ r .
•
( 2.1 )
/* (0, 0) = /v (0, 0 ) = 0.
Thus , x n-» / ( # , 0 ) and differentiable at 0. But
y i-> / ( 0 , 7/ ) are all Frechet
the corresponding functions f { x , y ) are not Frechet differentiable at (0, 0) .
However , we should point out that the conditions imposed in the above
theorems are only sufficient for the Frechet differentiability. The following
example illustrate this point .
fv( x, y) = <
sin —x +1 y
g2 2 — ,+
X2
7
2y
y o2
COS
x 2
1
+ y2
~ ( x, y )
^ 0,
0 ( x, y ) = .
0
Clearly, both f x and f y are discontinuous at ( 0, 0 ) . However ,
I f ( x , y ) - / ( 0, 0 ) - ( 0, 0 ) ( x, y )|
.
•
lim
|| ( x ,y ) ||-> 0 ii (* i/) ii
1
lim x / +
x2 y2 sin =0
x 2 + y2 >0— x2 + y2
which means that /( )• is Frechet differentiable at ( 0, 0 ) with V / ( 0, 0 ) =
(0 , 0 ) .
Differentiation 79
Despite of the above example, Theorem 2.1 is still one of the most com-
monly used sufficient conditions for the considered function to be Frechet
differentiable. We now introduce the following definition.
—
Definition 2.4. Let G C Rm . Function / : G > R is said to be C 1 (on
G ) if / ( •) is continuous on G, admits all the first order partial derivatives
on G, and all of these partial derivatives are continuous on G and can be
continuously extended to dG.
Exercises
f ( x ) + f x ( x )( y - x ) f ( y ) Vx , y Km .
4. Let / : R 2 —> R be defined by the following:
xsin y
f ( x, y ) = y
y ^ 0,
7
x y = 0.
Prove or disprove that / ( x , y ) is Frechet differentiable at ( 0 , 0 ).
80 Mathematical Analysis — A Concise Introduction
= A 1{ y - b) ,
~
y e Rm
with
r ) (i/ ) = ^-
( 1
y
1
= [/x (r1(i/ ))]- 1 . ( 3.1)
We now would like to extend the above to nonlinear case. The following is
called the Inverse Function Theorem.
( f-
_1 _
X i v ) = [/x ( / ( y ))] 1, Vy e V. ( 3.2)
Proof . Replacing / ( •) by [ f x ( xo ) ] 1 / ( ) ? necessary, we may assume
*
^
that f x ( xo ) = I ( the identity matrix of order m ). Now, by (1.50 ) , we have
Vx, x G B( XQ , 6 ) .
Differentiation 81
Let
( f ( x0 ) ) .
{ y e R m \ \\ y - ttx 0)
—
We claim that x d B ( xo , S ) . In fact , if x G d B ( xo , (5) , then by ( 3.4 )
0= hx ( x ) = 2 f x ( x ) ( f ( x ) - y ) .
Consequently, by the invertibility of f x ( x ) (since x G B ( xo , 5 ) ) , we obtain
that
f {x) = y
It follows from ( 3.3) that such an x must be uniquely determined by y .
_
Hence, y X defines the inverse / 1 ( ) of / ( •) . If we let U = f ~ 1 (V ) , then
*
lim ll -RfoaQll = Q
||cc -®||-> 0 \\ X — X \ \
Denote y = f ( x ) and y
above becomes
— f ( x ) , with x
^x( so that y
^ y ) . Then the
y - y - f x( f 1
( y ) )[ f 1
(y) - f 1(
, y ) } = R( f 1
( y ), f 1
( y)) -
82 Mathematical Analysis — A Concise Introduction
I
F( x , y ) ( X 1 y ) — 0
fx( x, y ) fy( x, y )
( x, y) G.
Thus,
det [F( X 3/ ) ( XQ , 2/O )] = d e t [ f y ( x0 , y0 ) }
Also
)
^ 0.
( u0 , v0 ) = F ( x0 , y o ) = ( xo , f ( x 0 , y o ) ) = (xo , 0 ). ( 3.9 )
Differentiation 83
Hence, by Theorem 3.1, there exist open sets U containing ( #o , 2/o ) and
V containing ( xo , 0) , such that F : U —> V is one-to-one and onto , and
F ~ l : V —* U is C 1 . Now , if we denote
( x , y ) = F 1 ( u , v ) = ( < p( u , v ) ,tl>( u , v ) ) , ( u, v ) e V, ( 3.10)
then
( u,v ) = F o F ( u , v ) = F ( ip ( u , v ) , { u , v ) )
1
^
= Mu , v ) , f ( < p ( u , v ) , ip ( u , v ) ) ) ( u , v ) e V.
This means that
x = ip ( u , v ) = u , V (u, v ) GV , ( 3.11)
which implies that
V = f ( u , i/>( u , v ) ) , V ( u, v ) e V. ( 3.12 )
Now , by letting
g ( x ) = 'ip ( x , 0 ) Vx G B ( X Q , 8 ) ( 3.13)
for some S > 1
0 , we have that g ( - ) is C , and
/ (x , g ( x ) ) = / (x , ( x , 0 )) =
f ( u (u 0 ) ) = ( 3.14)
which gives
^
( 3.7) . Also, from ( 3.9) ( 3.10) , (
-
^) , and (
3.11
, , 0,
3.13) , we have
Vo = vo ) = 0) = g { x0 ) ,
which gives ( 3.6 ) . Finally, by chain rule,
0 = f x ( x , g ( x ) ) + f y( x , g{ x ) )g x( x ).
Hence, ( 3.8) follows.
Let us present an example.
Example 3.3. Suppose G C Rm and / : G —> R. Write x = ( £ , xm ) G Rm .
Let XQ = (ZOIXQ1) £ G such that
/xm ( xo ) 7^
and
/ (x0 ) = / ( £o , ^o" ) = c.
Then there exists a <5 > 0 and a unique g : H m — (Co £) £ Rm
1
?
1 -* R such
that
_
g ( Zo ) = aft , / ( £ , <? ( £ )) = 0 , Bm 1 ( 0 , S ) .
G
The function xm = <? (£) is called the level set surface whose graph coincides ^
with the following:
/ X (c) = ( / = c) = { x e G | / (x ) = c}.
84 Mathematical Analysis — A Concise Introduction
Next , let G C Rm be a domain , and / : G -» Rm be C l . By Proposition
1.14, we know that
f x ( x ) = 0, WxeG ( 3.15)
if and only if / ( •) is a constant vector. Now , we would like to ask what will
dx ---
d ( x1 ,
-
happen if instead of ( 3.15) , we have the following condition:
s (x ) 9( /1, . . . , / ) ( x ) 0, Vx G G.
det [ f x ( x ) ] = /
, xm ) =
The above implies that for each x G G , there exists a non- zero vector
( 3.16)
£ ( x ) G Rm such that
f x ( x )Tt ( x ) = 0. ( 3.17)
It is natural to imagine that the components of / ( •) should have some
special relations. To get some feeling , let us look at the following situation.
Suppose there exists a C 1 function 6 : Rm —» R such that
f ( / (*)) = o , xGG ( 3.18)
and
@y( y ) 7 ^ yG / (G)
then , by the chain rule, we have
f X ( x )T 6 y ( f ( x ) ) T =0 xG, G
Denote
£ = (x1, - - - xm 1) T
"
Co = - *)
¥? ( x ) = </> (£, xm ) = ,/ — (x) )
m 1 T
.
_1 _1 - _ 1 be
Let F : Rm xRx Rm > Rm defined by
f & xm u ) = tp ( £ , xm ) - u , with u0 = ¥> ( x0 ) = </> (£() , x£* ).
Clearly,
F ( £o , x
, u0 ) = 0.
Consider the equation F ( £ , xm , u ) = 0 (for £) . Since
Fsfa , xV , uo ) = ve ( to > * o ) = <Pt ( xo )
is invertible, by the Implicit Function Theorem , we have a locally defined Cl
_
—
function g : O » Rm 1 with O C Rm being a neighborhood of ( XQ1 , V? ( XO )) ,
such that
F( fl ( xm u ) , xm , u)
• = ( p( g ( xm , u ) , xm ) — u = 0, V ( xm , u ) e O . ( 3.19)
On the other hand , for any fixed xm near XQ1, the map £ H-> <£> (£ , xm )
satisfies the condition of the inverse function theorem near £o - Therefore,
we see that the above obtained function u - i > g ( xm , u ) is the inverse of
^
5( xm , V3(e, xm ) ) = C , V(£ , xm ) near (£0 , x ) x0 .
Now , differentiating ( 3.19) with respect to x m ^=
we get (suppressing ( xm , u ) )
( 3.20 )
9 xm
Next , we differentiate the map
— — (Fc ) xm 1(
Pxm
M -
V( xm , u ) G O,
fm ( g ( xm , u ) , xrn ) to get:
[ fm ( 9 ( xm
_
= f% n ~ / (< ) V* det [/ ] = 0.
This means that h{ u ) =/ m( ^ "> x
# ( xm , u ) , xm ) is independent of xm . Then by
defining
0 ( f ) = h( f \ • • • , / m — )-/
1 m ,
86 Mathematical Analysis — A Concise Introduction
and taking into account ( 3.20 ) , we obtain that in a neighborhood of XQ
.
Definition 3.5 Let / : G > R be given. — •
By ( 3.22 ) , we obtain
p( x0 + hg ( to ) , /
_1
lim
( c))
lim \\ g ( t0 + h ) - x0 - hg ( t0 ) \\ = Q
h Q
^ - h h-* 0 h
This proves our claim .
Next result gives the existence of tangent planes , for which we need to
use the implicit function theorem.
—
Theorem 3.7. Let f : G > R be C 1 , and let xo E / -1 ( c) such that
V / ( xo ) 7 0. Then the plane passing through xo with normal vector V / ( xo )
^ _
is the tangent plane of / 1(c) at XQ . The equation for this tangent plane
is given by
V / ( xo ) ( x - x0 ) = 0. ( 3.24 )
Proof . It suffices to show that any vector u _L V / ( xo ) T must be a
tangent vector of /-1 ( c) at xo - We now prove this. Consider the following
equation (for v £ R ) :
F (t , v) T
= f (x0 + t u + vV / ( x0 ) ) - c = 0.
Clearly,
F( 0, 0) = / ( x 0 ) - c = 0,
and
(t , v ) = ( 0, 0 )
= V / (ar0 ) V / (a;o ) T = ||V / (cc0 ) || 2 > 0.
Hence, by implicit function theorem ( Theorem 3.2 ) , one can find a function
- —
v ( ) defined on [ 5, S ] for some 5 > 0 , such that v (0 ) = 0 and
F ( t , v(t ) ) = / (x0 4- t u 4- v (t ) V / (x0 ) T ) = 0 t E [-5, 5].
(
*
0
- -
V / (*o ) u + l | V / ( xo )||2 u ( 0 ) ||V / ( xo ) ||2 u (0 ).
Thus, it is necessary that i;( 0 ) = 0. Then with g ( t ) = xo+tu -\- v ( t ) V / ( xo ) T
one has
f ( g{t ) ) = c, t [ -5, 5]
< ( 3.25)
5( 0) = x0 , 5( 0) = u.
Hence, by Proposition 3.6, we see that u is a tangent vector of / ~ 1 (e) at
-
X Q This proves our theorem.
88 Mathematical Analysis — A Concise Introduction
The above theorem is very useful in finding tangent planes for the level
surface of given function / ( •) .
To conclude this section , we introduce the following notions.
-
Definition 3.8. Let g : G -A R be C 1 and S C Rm be a surface. Let XQ G S
and N ( xo ) be a unit normal vector of S at xo , by definition , N ( XQ ) is a
normal vector of the tangent plane of S at xo. The directional derivative of
-
g ( ) at point xo in the normal direction N ( XQ ) is called the normal derivative
-
of g ( ) on the surface S ( with respect to N ( xo )) , denoted by
According to the above definition , it is clear that
d9
dn 0 =
( x ) Vg ( x ) N ( x ) .
0 0 ( 3.26)
Further , if the surface S is closed and given by /-1 (c) for some / : G —> R
and c G R ( for example, a sphere ) , then the unit normal vector N ( xo ) is
usually taken to be the one pointing outside of the enclosed domain , which
is called the outward unit normal vector. Thus, if the “inside” domain is
( )
characterized by ( / < c) , then l|VV//s( oo ) || is the outward unit normal vector
*
and
V (so ) T
= Wg { xo ) |V/ ( ) ||
dg
(xo ) ( 3.27)
dn l / *o '
Exercises
—
1. Let / : Rm > Rm be C 1 such that for each x G Rm , /^ ( x ) G Rmxm
is an invertible matrix. Then for any open set G C Rm , f ( G ) is open.
2. Let / , g , h : R —» R be continuously differentiable such that / ( •) is
•
T — {( ^1 > *
* * *
—
> •I' k 1 ) J ’
* *
?
^m ) |
*
(Xl , j
^ /e — 15 ^ /c + l
* 5 ' > ) G
^ (0) + xj ^
Differentiation 89
such that
* * *
5 Xfc — 1 5 @ { X \ 5 * * *
5
^ /c — 1 ^ /e+1
* j 5
* * *
5 £771 ) 5
*
^- /e+ l 5 ? *£ m) —O 5
^ (^ — • 15 * * *
5 *£ f c 1 5 *£ /c + l * * *
5 E ?7l )
*
^^
Give a geometric interpretation of the above result .
—
For a differentiable function / : G > R, fx : G —> Rm is a vector-valued
function. We may further consider the differentiability of fx ( ) - This leads '
fxix^ ( ^0
^
* f x x i ( ^)
^ *
^ ( 4.1)
Unfortunately, the above might fail in general. Here is an example.
The following gives some sufficient conditions under which ( 4.1) holds.
—
Theorem 4.2 . ( Clairaut ) Let f : G > R such that all first order partial
derivatives fxi ( •) exist in a neighborhood of xo E G. Moreover , all of these
partial derivatives are differentiable at XQ . Then ( 4.1) holds.
and
ip ( b 4- h ) ~ { b ) = 'ip' ( b + 02 h ) h = [ fy ( a + h , b + 02 h ) - fy ( b + h , b ) ] h. ( 4.7)
^
Now , by the differentiability of fx at ( a , b ) , we further have
= fxy ( a , b ) h2 + (ei + e[ ) \ h\ h
where £ i , ei ^ 0 as \ h \ -A- 0. Likewise, by the differentiability of fy at (a , 6) ,
we have
tp ( a + h ) - = f ( a + h , b + h ) - f ( a + h , b ) - f ( a , b + h ) + f ( a , b)
= i/ j ( b + h ) - ip( b ) .
( 4.10)
Consequently,
Corollary 4.3. Suppose f : G -* R admits all the first and second or-
der partial derivatives in a neighborhood of xo G G and all of them are
continuous at XQ . Then ( 4.1) holds at x = XQ .
.
Definition 4.4 Let G C Rm . Function / : G » R is said to be C 2 on —
G if / ( •) is continuous on G, admits all the first and second order partial
derivatives and all of these derivatives are continuous on G and can be
continuously extended to dG .
Differentiation 91
If / ( •) is C2 , we denote
rc1 x1 ( ^ ) /X 1 X 2 ( X ) * * *
/x ; 1 xrn 0r ) \
f x 2 X 1 ( X ) f :X 2 X 2 ( ^ )
*
* * *
/x ; 2 xrn ( x )
fxx { X ) — ( 4.12 )
/ (*) = m + nt
)
(x - 1 ) + (x rw — t ) 2
H h
/ ( fe ) (0 ( x - t ) fc
1! 2! ft!
m = ( x - t )k+i .
Then by Cauchy Mean-Value Theorem , we have some £ between XQ and x
such that
/'(C ) = / pr ) - / (xo )
'
ff '(C) 5(*) - 5(*o )
Note that
r
f i t ) = ( t ) - /'(« ) + n t ) (x - 1) - n t ) (x - t ) H
1!
( x - t ) fc - 1 / W ( t )
1!
(s - t )*
_ 1 / (fc+1) ( t ) (x - t ) fe
( ft - 1)! ( ft - 1)! + ft!
( fe +1)
/ W { x - t )k ,
ft!
92 Mathematical Analysis — A Concise Introduction
and
g' ( t ) = -( k + l ) ( x - t ) k .
Thus
/ (fc +1) (M f (0 m - f ( xo ) f ( x ) - / ( xo )
( fc + 1)! <?'(£ ) g( x ) - g ( x0 ) -sMo )
1 /'(xo ) (
— (x — Xo ) +i I-/ MO - (7(zo ) +
fc 1 1!
x - x0 )
n2*! o ) (x - x ) 0
2
H h
/ fc ) (x0 ) ( x - x0 ) fe
) •
ife!
Hence, we obtain ( 4.6) .
Now , we look at the multi-variable case.
Corollary 4.7. Let f : G -A- M be Cfe+1 in a neighborhood of xo G G.
Then
k
/ (x ) = X= ! H= [ ^
i 0 |a| i
“ ) 01
/ (xo ) (® - x0 )a
( 4.14)
^ yi? / ( xo + 0 (x — X0 ) )(x — X0 ) “
Q
+
|a|= fc + l
we have
h" ( 0 ) / *0 ( 0)
( /i + (0) (fc 1)
M1) - M0) = M (0) + 2! + • • • + * fcT + ( fc l )! ’
~~ ~
+
for some 6 G ( 0, 1). The above leads to ( 4.14) by some careful calculation.
Differentiation 93
( ii) From ( 4.15) , we see that when ( 4.16 ) and ( 4.18 ) hold , we have
( making use of the continuity of fXx ( ) ) '
f {x) f { xo ) ( 4.19)
-
for all x near xo This means that xo is a local maximum of / ( • ). The
conclusion for a local minimum can be proved similarly.
Exercises
1. Construct a smooth function ( p : Rm —> R such that
1
< p( x ) = 0 l| x||2 > 2.
2. Let / : Rm -> R be C 2 . Then / ( •) is convex , i.e.,
f ( X x + (1 - A ) y ) 4 A f ( x ) + (1 - A ) f ( y ) Vx, y E R m A e ( o, i ) ,
94 Mathematical Analysis — A Concise Introduction
if and only if the Hessian f x x ( x ) is positive semi-definite, denoted by
/** 0*0 0, for any x G Rm .
—
3. ( Darboux Theorem ) Let / : [a , b] > R have derivatives on [a , 6] .
Then for every y between /'( a ) and f ' ( b ) , there exists a c G [a , b] such that
/'(c) = y . (Hint: Consider g ( t ) = f ( t ) - y t .)
—
4. Let / : R > R satisfy the following: For some a > 1,
|/ (®) - / ( j/ ) l < K \ x - y \ a V x , y e R.
Then / x = / 0 ) for all x G R
( ) ( .
5. Let / : R R be differentiable and lim yoo /
'(x ) = 0. Then for any
a G R fixed , lim [/ (x + a ) — / ( x )l = 0.
x —
X
—¥ OQ L
6. Let a , 6 G R.
J
xe [a ,b\ [a,6] x [a , 6]
10. Let
m= 6 a? X ± o,
0 x = 0.
Find the Taylor expansion of / ( •) at x = 0 . What conclusion can you draw
from it ?
Chapter 4
Riemann Integrals
1 Definition of Integrals
We recall Z , the set of all integers, and let Am be the set of all arrays a :
aJ ) | of R , ji Z, 1 i s$ m } C Rm , ( 1.1 )
satisfying the following conditions:
j e Z, 1 z m,
—a|| = max= —
lim a ]
j -+ oo
oo lim a?
— — ai\=< , .
j too
+1
oo 1 z m
( 1.2 )
sup
;
4m , define
*
m
Qa ={ Q= FNW + ] 1
) a }. ( 1.3)
=
t l
Clearly,
Rm = |J Q
Q Qa (1.4)
Q° f ]Q = 0, V Q, Q Qa Q , Q.
We call Qa the rectangular partition of Rm associated with the array a .
^
m
95
96 Mathematical Analysis — A Concise Introduction
\Q \ == ji +1
- aJ‘K ||a |r . (1.6)
i l
If a , fi G Am such that a C /3, we call fi a refinement of a. It is clear that
WfiW 11 « Va , /3 G 4m , aC. fi . v (1.7)
Also, if a , /3 G *4m , then a U fi is a refinement of both a and /3. Thus,
^ ,.by defining(1.8)
a U /3|| min{||a || , || /3||} Va , /3 G m
fin — fc = i
n 1 (1.9 )
In what follows, whenever saying ||a || —> 0, we always mean that there •
Let
Q“’° (G )
- Qa ( G )\ Qa ( dG ) .
Qa ( G ) = { Qae | 1
* < 4} -
Q“ ° ( G ) = {Q? | 1 < * < 4} ( 1.12)
where 4
^ 4- Thusea, (0G) = {Q
? 4+ (1.13)
Note that Qa ,° ( G ) covers most part ( but not necessarily all ) of G°. If we
let
G? = G f ) Q e , 1 l ion OL G Am (1.14)
then
Ga = 1J Q C G° C G C |J Q = Ga (1.15)
-
Q Qa ° ( G ) Q e e° ( G )
Riemann Integrals 97
and
| GQ \ GQ| = £
Q e Q* ( d G )
\Q \ . (1.16 )
then
V° ( G ) V «(G ), Va Am (1.19)
and
V£ ( G)
Consequently,
V+ ( G )
^
V (G ) V° ( G ) V a , (3 e A m , a C /3. (1.20 )
Note that if condition (1.17) were not assumed for a bounded domain
G C Rm , we would not be able to define the volume \ G \ as (1.22 ) .
^t ,t' = Qe Q% 7^ 0-
Therefore, rigorously speaking , according to the above notation , for any
x
^ >
/? (*) = A? ( / ) + Ag ( / )
and it might be even more complicated if the point x is in the intersection of
more than two rectangular sets (since Rm could have the dimension m > 2 ).
But , instead , we define
/? (x) = A? ( / ) VA? ( / )
and misuse the notation in (1.24) for simplicity ( and convenience). Like-
wise, for any x e we define
/? (*) = W) AA? ( / ).
The case of x being in the intersection of more than two rectangular sets
can be treated similarly.
Now , we have
/f (x ) / (x ) < f+ ( x ) X G a C G°
(1.25)
f-(x) f (x) /“ (x ) x e G C G a.
Further , let us define
tec tec
$? ( / ) = £ A? ( / ) IQ? I ,
^ (/) = Ew) io? i
£= i £=1
(1.26 )
5?( / ) = EA
=
^ i ^-
“( /) i “ i 5? ( / ) = EW)|Q?|.
*= i
Riemann Integrals 99
|5f ( / ) - 5“ ( / )| = E+ A“ ( / ) iQ“ i E i «“ i -
&= l id
*a (
""
l
Hence
|S+ ( / ) - S+ ( f )| = lim |5“ ( / ) - S+ ( / )| M|9G|,
(1.30 )
13-U ) - S- ( f ) I = IM-+01ISf ( / ) - OT) | M \ dG \ .
S+ { f ) = S- { f ) = f f ( x )d x , (1.32 )
JG
call it the definite ( Riemann) integral of / ( •) on G . Function / ( •) is called
an integrand. The set of all bounded Riemann integrable functions on G
is denoted by L ( G ) . When G = ( a , 6) for some a , b E R with a < 6, we
usually denote ^
[
JG
f ( x )d x = [
Ja
f { x )d x (1.33)
and call a and b the lower and upper limits of the definite Riemann integral.
(1.34)
t=i
with x*I e Gf , then
S? ( / K S f ( / ) < S? ( / ) . (1.35)
Thus, in the case / ( •) is Riemann integrable, one has
l i m S (/) =
IHI -+0 * JG
f f ( x )d x . (1.36)
The following result shows that the set of Riemann integrable functions is
very large.
Recall that this is the Dirichlet function. For this function , we see that
A“ ( / ) = 1, A? ( / ) = 0, VI i 4, a G Am .
Hence
5? ( / ) = 1 , S“ ( / ) = 0, Va 6 Am .
Consequently, (1.31) fails. This example also shows that a bounded function
is not necessarily in L ( G ) .
^
Despite of the above example, the following result tells us that some
discontinuous functions are still Riemann integrable.
Theorem 1.7. Let G C Rm satisfy ( HI ) . Let f : G > M be bounded and —
denote
D( f ) — {x G G | / ( ) is discontinuous at x }.
• (1.41)
Suppose that
\ D ( f ) \ = ||alim Y" | Q| = 0. (1.42)
|K 0
Q
^
Q a ( D( f ) )
11
f { x )d x = f ( x )d x . (1.44)
Q G
Proof . Using the same technique used in the above proof , treating dG
as a part of D ( f ) , the discontinuous set of / ( •) , we are able to obtain the
conclusion.
The above result shows that when discussing Riemann integrals, one
can assume that the bounded domain G is a rectangular , as long as ( HI )
holds.
Next result gives a nice approximation of bounded Riemann integrable
functions, which will be useful later .
Proposition 1.9 . Let G C Rm be a bounded domain satisfying ( HI ) . Let
f : G -* R be bounded and Riemann integrable. Then for any e > 0, there
are continuous functions g ± : G » R such that — •
Proof . First of all, for any a' < a < b < b' , we define
V;a' ,a ,6,6 (s) —
/ -1
1 [a ' , a ) ( s ) + 1[a , b] ( 5 ) +
jy — §
1 ( 6 , 6' ] ( s ) s G R.
o'
Riemann Integrals 103
—
Then il)a' ,a ,b ,b' : R > R is a continuous function. Now , for any rectangular
£Li “
Q = II [ i > &i ] > we let
771
and define
—
i 1
771
X = ( x1, • • • xm ) G Rm.
Clearly,
—
i 1
C ( Rm , R ) and
/
? >Q , Q G
'
1 x G <2 ,
Q Q . , w= 0 X G Rm \ Q'.
For given rectangular Q , let Q', Q" be rectangulars satisfying
Q" cQ° cQc (Q')°.
We have
1Q » (*) (X) lQ (x ) , (x ) (x) , x Rm
which leads to
,Q Q,Q
^1 Q/
G
o<
4 ipQ Q , { x )dx - \ Q \ |Q' \ Q|
0 |Q| - / Q
( x )dx < |Q \ Q"|.
Thus
(K
/v.
JQ'
[ >Q Q '
{x) -
^ „ { x )] - ^ \ '\
Q Q
dx Q Q \ + \ Q\ Q" \ .
—
Now , let / : G » [0 , M] be bounded non negative and Riemann integrable.
Then for any e > 0 , there exists an a G Am such that
ea
o /f (*) = £ W )!«? (*) < / (*)
£ =1
101 *
9+ ( x ) = W)
( )
' * 9- ( x ) = *
(*) •
*=i &= i
Then
0 < / “ (a:) f(x) < /+ (x ) £+ ( x ) M, xeG
and
[?+ (*)
E {A?(/ ) /
1 Qf 'CQgy ( x )
dx — X “ ( / ) J[ Rm
(Q ? )" ,Q?
<= i
E {A?(/) [ /J ?
felL *
L m
W no
r Q n ,( Q
? Y (*)
dx — a
ea
+ Au f )\m - [ V( Q f
”
) , Q ? (*)ds
f ] + £[A? ( /) - A? (/)|Q?|}
J 1 IRm £= 1
to
E= { A?(/)KQ?) \ Q? I + A?(/)IQ? \ (Q?n} + s?(/ )
/
- sf ( / )
* 1
being non- negative. From the above, we can find ( non- negative) continuous
- -
functions g+ ( - ), g t ( ) , 9+ ( ) , g Z { ) such that -
9- { x ) < f+(x) 5+ (^) > 9- { x ) f~{x) g+ ( x ) xeG
and
[ \g l ( x ) - g ± { x )\d x + [ [ff + ( z) - g _ ( x )\d x < e.
Then we have
g ~ ( x ) = g t { x ) - g+ ( x ) / + (x ) - / ( a:)
= / 0*0 < 0+ 0*0 - 9- ( x ) = 0+ 0*0 .
Riemann Integrals 105
and
[ g+ ( x ) - g- ( x ) ] dx = / _
[;g ( x ) - g ( x ) - gt ( x ) + g+ ( x ) ] dx < e.
Mm J Em +
This completes the proof .
Next , we define the Riemann integral of possibly unbounded functions
on possibly unbounded domains.
[
J G M ( XO)
[ f } Nl ( X ) d x - [
'G
[ /] jv' ( x )dx < £
C M' ( X O) ( 1.48 )
VM, M' M0
Then the following limit exists which is called the Riemann integral of the
function / ( •) over G :
lim
M , \ N 1 \ , N 2 - yoo
t
JGm
[ f ] 1N 1 ( x )dx = j f ( x )dx -
JG
( 1.49 )
^
In what follows, we denote LR ( G ) to be the set of all Riemann integrable
functions / : G —> R , in the above sense, which could be unbounded and
not necessarily continuous. Note that we should allow |iVi |
.
Xo G Rm to be arbitrary This will exclude the following function from
N 2 and
^
being Riemann integrable:
1
x 7 0,
^
/ (*) = { x
0, x = 0.
106 Mathematical Analysis — A Concise Introduction
In fact , for this function , we have
rM
/-
[ f } - N ( x ) d x = 0.
J M
According to the above definition , if Go C G are two domains, both satisfy
(1.47) , then / ( •) LR ( G ) implies / ( •)|Go e LR { G0 ) , where / ( •)|Go is the
restriction of / ( •) on Go . Note that it might not be the case if Go is just
a ( possibly disconnected ) sub-open set of G (see Problem 7 at the end of
this section ) .
To conclude this section , we introduce the following definition .
Definition 1.11. Let G C Rm be a domain satisfying (1.47). Let / : G > —
R . If both / ( •) and |/ ( )|p are Riemann integrable on G, for some p 1,
*
Exercises
1. Let G C Rm be a bounded domain with \ dG \ = 0 and / : G —> (0 , oo )
be a continuous function. Then is Riemann integrable on G.
2. Let / : [a , b] -» [0, oo ) be continuous. Then
f f ( x )d X 0.
Ja
( Hint: Consider f
Ja
[ f ( x ) + Ap (s)] 2 d x 0. )
f * f ( x ) d x?
—
6. Let / : [a , b ] » R be Riemann integrable. Let oi , a 2 , • • > an [a , b] *
2 Properties of Integrals
then
/
JG
f ( x )d x
JG
/ g ( x ) d x. ( 2.3)
Thus, the Riemann integral preserves the order of R. Consequently, for any
/ ( •) LlR( G ) ,
G
f ( x )d x
JG
[ \ f ( x )\ d x. ( 2.4)
( iii) L e t - - -
e L% ( G ) . Then f ( ) g ( ) , | / ( )|, / ( •) V $( - ) , and / ( •) A
# ( •) are i n L ( G ) , where recall that aWb = max{a , 6} and aAb = min{a , 6}.
^
(iv ) Let G = G\ (J with both G\ and G 2 satisfying ( H I ) , a n d
Gif|G 2 = 0. ( 2.5)
L]j( G ) . Then / ( •)
Let / ( ) •
f f ( x )d x =
^
L Gj ) , / ( ) e L ( G2 ) , and
f f ( x )d x + f
^f ( x )d x . ( 2.6)
JG J G\ J (? 2
This leads to
f * ( x ) V t f L ( x )d x SZ ( f \f g ) S$ ( f V g )
G« ( 2.10 )
/ /+ 0*0 V
^ ( x ) cte.
Riemann Integrals 109
h [ g( x )d x [ g ( x )d ( 2.11 )
—£ ~ S“ (p ) S+ (# ) X +£
JG JG
m,
a 2 /?.
Let
Va G
^
0 /*“ ( •) = /? ( ) - /- ( •) + 3“ ( ) • ( 2.12)
Then by (ii) ,
0 < / h a ( x )d x
// f + ( x )d x -
J
[
Ga
f “ ( x )d x + [
JGQ
g+ { x ) d x -
/ g°i ( x ) d x
( 2.13)
= S? ( ) - W ) + - Sf (5 ) 4e .
Observe the following:
and
p+ ( x ) = g - ( x ) + [ g% { x ) 9- ( x ) ] g° ( x ) + h a ( x ) .
Therefore
f% ( x ) V g% ( x ) <!
/ (I) VJ (I) + /i“ ( x ) .
Hence
o s° ( f V g ) - S Z ( f V g )
[ [ f% ( x ) V g+ ( x ) - f “ { x ) \/ g° ( x ) ] d x
JG <*
[
JGQ
h a ( x )d x 4e .
r^
£
/ = /+ 9=9
+ ~
9
110 Mathematical Analysis — A Concise Introduction
with
/ + = / V 0, /- = -( / AO) ,
<?+ = <? V 0, g - = - { g AO ) .
We have the Riemann integrability of f ± and g ± . Further ,
fg = ( f + - f ~ ) ( g + - 9 ~ ) = f + 9+ ~ f + 9 ~ - f ~ 9 + + f ~ 9 ~ - _
Hence, the Riemann integrability of f g is implied by that of / + g + , / + <? ,
f ~ g + , and f ~ g ~ . Therefore, it suffices to prove our conclusion for the case
—
that f , g : G > [0, M] , for some M > 0.
-
Now , for any a e A m , we define f ± ( ) and g± ( ) as in (1.24 ). Then
(comparing with ( 2.7))
-
0 /"( x ) f (x) f%( x )
x e G a. ( 2.14 )
0 gt(x) g+ ( x ) .
g( x )
This implies (since all the involved terms are non-negative)
f - ( x ) g° ( x ) f ( x )g{ x ) f % ( x ) g% ( x ) , x e G a. ( 2.15 )
By the Riemann integrability of / ( ) and (? ( ) , for any e > 0, there exists a
/3 A m such that ( 2.11) holds. Also, by ( 2.12 ) ,
0 < /? (x)5“ (x) - /« (x )5“ (*)
= /£ (*) [# (*) - <£ (*)] + £ (*) [/? (*) - /“ (*)]
M [# ( x ) - <?“ (*)] + M [/ “ ( x ) - /“ (x)] = M h a ( x ) .
Hence, using ( 2.13)
0 < S+ ( f g ) [ [ f+ ( x )g° ( x )
— S- ( f g ) < JGa \
f * ( x ) gZ ( x ) d x
M h a ( x )d x 4Me.
—
Definition 2.2 . Let / : G > R ^ , / ( •) = ( /1 ( ) ? , / ^ ( ) ) We say that * * * * *
-
/ ( • ) is Riemann integrable on G if each component /* ( •) G LR ( G ) . In this
case, we denote
T
G
f { x )dx = ( j\
f x )dx , ... G
It is possible to use the upper and lower Riemann sums to define the
Riemann integral of vector-valued functions. We leave the details to the
interested readers. Note that the definite integral of an Revalued function
/ ( •) is a vector in R^ . For Riemann integrable vector-valued functions, we
have the following result .
Proposition 2.3. Let G C Rm be a bounded domain satisfying ( HI ) .
( i) Both LR ( G ; R ^ ) and ( G ; R^ ) are linear spaces ( for all p 1 ).
LPR
L G ; Re ) ,
^
( ii) For any / ( •) G
^ f ( x )d x [ ll / (*) l|d»- ( 2.17)
G JG
( iii) Let G = G\ (JG2 with both G\ and G 2 satisfying ( HI ) , and ( 2.5) .
Let / ( •) G L G ; Re ) . Then / ( •) G L Gy, Re ) , / ( •) G L 1R ( G 2 ; Rf ) , and
^ ^
L f ( x )d x =
J
[
G\
f ( x )d x + f
J G2
( ii ) . By definition ,
I2 e r 2
fG r (x) ( j dfj dx
G
JG
f ( x )d x
I
\ J2
I
=
JG
\
f x )dx
( x ) (yfG f\ y )dv ) dx =
— Z 1
fG [f ( x ) fG f ^ f\y )
( y ) dv d x
[ 11 / 0*0 I [
JG JG
f ( y )d y d x = I [ f { ) \II J[G l / Mll ^x.
II J G
y dy
112 Mathematical Analysis — A Concise Introduction
Thus, ( 2.17) follows.
Exercises
1. Suppose / : [a , b] -» [0 , oo ) is continuous. Then
What if
/
Ja
fdx
/ is piecewise continuous?
=0 V x G [a , 6].
where p , q G ( l , oo ) , j +\ = 1.
6* . Let / : [a, b\ —> be continuous and p G (1, oo ) . Then
b
f ( x ) dx
P
< J[a \\ f ( x ) \\ pdx .
3 Further Theorems
L G\G M { X O )
/ + ( x )d x + [JGM ( f + { x ) - [ f + ] o ( x ) ) d x < 4j .
{ XO ) V
Let S = 4 j - . Then for any countable family {Ga , a £ A } of disjoint
2
/
^
subdomains of G satisfying ( 3.1) , denote Go = UaeAGa . We have
L f + ( x )d x — JG ( f + ( x ) - [ / + ]02 ( x ) d x + ) JG [ f + } o 2 ( x )d x
LG Q\G M ( X Q )
( / + (*) [ f + ] oa ( x ) ) <b
-
+
GQDGM ( xo )
(/ + (*) Lf +]or ( )) d +|
- 2
® ®
L t ( f + { x ) - [ f + ]o
/+ { x ) d x + )
(x) dx + <
^
2
.
J G\G M ( X O ) J G M ( XO ) V ' 4j 2
We can do the same thing for / ( ) . Then combining them , we obtain our
“
•
conclusion.
Note that in Rm , any family of disjoint non-empty open sets must be
countable. ( Why? )
The following is a one-dimensional case.
Corollary 3.2. L e t / : [a , 6] -> R be Riemann integrable. Then for any
e > 0, there exists a 5 > 0, such that for any family of disjoint intervals
( a* , bi ) C [a, b\ , i > 1, as long as
TP* - Oi ) < 5
i l
,
F( x ) = [
Ja
f ( s )d s ( 3.3)
-
Then F ( ) is continuous on [a , b\ . Further , if / ( •) is continuous at xo E ( d , b ) ,
-
then F ( ) has derivative F' ( xo ) a t xo a n d
F\x 0 ) = f ( x0 ) . ( 3.4)
( ii) Let / ( •) have at most countably many discontinuous points and
—
F : [a , b\ > R be an anti- derivative / ( •) , i.e., at every continuous point XQ
F' ( x0 ) = f { x o ).
[ f ( x )d x = F ( b ) - F ( a ). ( 3.5)
Ja
-
Proof , ( i) The continuity of F( ) follows from Corollary 3.2. Now , let
xo E (a, b ) at which / ( ) is continuous.
• Then for any e > 0, there exists a
S > 0 such that
1 J/x
%
|F ( x ) - F ( X Q ) - f { x0 )( x - z0 )| = f ( s ) d s - f ( x0 )( x - xo )
1 0
f | f ( s ) - f ( xo ) \ d s < e\ x - x0 \ .
)
f { s ) - f ( x0 ) d s
dxo '
-
Hence, F ( ) has derivative F' ( xo ) at xo and ( 3.4 ) holds.
(ii) We only prove the case that / ( •) is bounded and has finitely many
discontinuous points listed as follows:
a — do ^ d /c
— i d /e d / j-f- i = b.
By mean-value theorem , we have
£ [nO - = F ( b ) - F ( a)
=
2 1
fc +1
sup f ( x )( d i — d i - i ) = S“ ( / ) ,
2 = 1 X G [fflj — 1 )
where a = {ao , ai , • • • , afc , afc + i} G A1 . Also,
S“ ( / )
Ja
f f { x )d x £% ( f ) .
Thus
6
F( 6) - F( o) - [
Ja
f { x )d x ( / ) - £“ ( / ) .
Note that the left- hand side is independent of a. Hence, letting ||a|| > 0, — •
f
Ja
F { x )G' ( x ) d x = F ( b )G { b ) - F ( d )G ( d ) -
Ja
f F ( x )' G ( x ) d x .
F ( b ) G ( b ) - F ( a )G ( a ) = f F ( x )G ( x ) d x
Ja ^
[ F' ( x )G ( x ) d x + f F ( x )G' ( x ) d x .
Ja J a
Then our conclusion follows.
Riemann integral has two mean-value theorems. We now present the
First Mean- Value Theorem.
Theorem 3.5. Let G C Rm be a bounded domain satisfying ( HI ) . Let
f , g : G -» R be continuous, with g ( x ) 0 for all x G G . Then there exists
a £ e G such that
[
JG
f ( x )g ( x )d x = / (£) J[G g ( x ) d x . ( 3.6 )
116 Mathematical Analysis — A Concise Introduction
-
Proof . Since g ( ) is continuous and non- negative, thus if
/ g ( x )d x = 0
JG
we must have
g ( x ) = 0, x e G.
For such a case, ( 3.6 ) is obviously true. We now assume that
/ g ( x )d x > 0.
JG
By the continuity of / ( ) on the compact set G , we may let
•
A = min f ( x ) A = ma x f ( x ).
xeG XEG
Then
f ( x )g( x ) A g { x )
Ap ( x ) x e G.
^ ^
Consequently, by Proposition 2.1, ( ii ) , one has
A / g ( x )d x / f ( x )g ( x )d x A / g ( x )d x .
JG JG JG
This implies that
f ( x ) g ( x )d x
< A.
/
JG
g { x )d x
/ f { x ) g { x )d x
/ )=« JG
g ( x )d x
G
[
JG
f ( x ) d x = f ( £ ) \G \ . ( 3.7)
Riemann Integrals 117
[ f ( x )d x — f ( £ )( b — a ) . ( 3.8)
Ja
such that
f x ) > 0,
\ Vx G ( a , fr ).
Then there exists a £ G ( a , 6) such that
[ f ( x ) g ( x )d x = f ( a ) f g( x )d x + f ( b ) f g ( x )d x . ( 3.10 )
Ja Ja J£
Proof . Let
G( x ) = J fa g ( s )d s x G [a , b } .
= f { b )G { b ) - G (0 J [
a
f ( x )d x = f ( b ) [G ( b ) - G (0] + / (o)G (O
= / (a )
J 9 ( x )d x + f ( b )
J g { x )d x ,
j
j
Lr
f ( x )dx =
J
«/ Crl
[j
«/ Lr 2
f ( x i , x2 )dx2 dxi
( 3.11)
f ( x\ , X 2' jdX y dx 2 '
J G1
where the right-hand sides are called iterated integrals.
Proof . First , since / ( •) is continuous on G = G\ x G 2 which is com-
pact , it is uniformly continuous. Therefore, the following integrals are well-
defined and the following defined maps are continuous:
f ( x i , x 2 ) dx 2 x2 f { x i , x2 )dx\.
X\
G1
^ G2
Hence, we have the existence of the iterated integrals:
Gi G2
f ( x i , x 2 ) dx 2 dx1,
l J G1
f ( x\ , X 2 )dxi dx 2 .
Then
lim
— -
||ai || > 0 ||a 2||-> 0 Z^
M
A
’*
2
’*' ' 1,fcM 2/ 1
Y f { x )d x . [
lim
IMI -+0 k ,e
^
f ( xkt ) \Gke \ =
This proves a half of ( 3.11) . The other half can be proved similarly.
By some small modifications, we could relax the conditions assumed in
the above theorem. We leave the details to the readers. See problem 7
below.
Riemann Integrals 119
Exercises
1. Let / : [0, 1] —> R • be continuous such that
l
/(1) = 0, x f ( x ) 2 d x = 1.
o
Then
and
s
? f ( x ) f' ( x )d x = -2 ,
J
( |/'(x)| dx) ( x f ( x ) dxSj 4.
2
J 4 2
/ ( &) - m = ( f ' ( a + £ ( 6 — J ( 6 — a ).
an f xng ( x )d x + an _
Jo
— g ( x )d x H i
A n 1
+ Ul / x g { x ) d x 4- ao / =0
7o Jo
Then the equation anxn + an _ i # n — 1 H h aix -f ao = 0 has a solution in
[0, 1] .
4. Let g : [a , 6] —» R be continuous and / : [a , 6] —> R be C1. Further ,
•
[
Ja
f ( x ) g ( x )d x = f ( a ) j
Ja
g { x ) d x + / ( 77 ) f
J £1
g ( x )d x + f ( b ) (
J £2
g ( x )d x.
lim f ( x ) = 77i,
—
x > 00
^ 1) [
= JG
2
f ( xi x2 ) dx 2
) xi G G1.
\ 9G\\ = 0, |SG?2| = 0,
D ( / ( xi , - ) ) = {x 2 G G2 | / ( xi , - ) is discontinuous at X2 },
£) ( / ( • X 2 ) ) = {xi G G 2 | / ( • X 2 ) is discontinuous at xi }.
5 5
Suppose
\ D ( f ) 1 = 0, in Rmi + m 2 ,
|D ( / (x1 - )) | = 0,
; in R 2,
Vxi G Gi ,
| £> ( / ( - . *2 ) ) | = 0 , in Rmi Vx 2 G G2 .
1 0, \dG2\ = o ,
^1 =
in Rmi and in Rm 2 , respectively. Let / : Gi x G2 -* M be continuous. Then
for any p G [1, 00 ) ,
( /Gi f
«/ «/ G2
f { x i , x 2 ) d x 2 dxi ) < [ i fGi
P
^ G2
”
^- 2
Chapter 5
Uniform Convergence
^
functions defined on [a , b] and converges to some function / ( •) . Then we
may expect or hope that / ( •) is differentiable and
f ' ( x ) = lim fn ( x ). (1.3)
This is equivalent to the following:
71
—
> 00
f n( x + h ) ~ f n( x ) f n( x + h ) ~ f n{ x )
lim lim = 7ilim lim (1.4 )
— —
h » 0 71 HX ) h > oo h > 0 — — h
• Observation 4 • Suppose { f n ( ) } n^ i is a sequence of Riemann inte-
'
121
122 Mathematical Analysis — A Concise Introduction
This is equivalent to the following:
m m
Y ] f n( x /„ ( x A x ,
where
rpTfl
lim lim
->
771 00 71
—» 00
1 = 1'
)Ax
1=1'
lim lim
—
71 fOO 771
—
» 00
=x -
Xi -1 *
,(
lim lim a71771
tOO 771 —» 00
=0 1 = lim lim a71771 •
— —
771 KX> 71 > 00
( ii ) Let
nx
/« (z ) = nx T x G [0, 1] , n 1. ( 1.8 )
+
Then each /n ( ) is continuous and
*
0 x = 0,
lim f n ( x ) =(\
. — > 00 Z ( 0, 1] ,
0
which is not continuous. Hence, (1.2 ) is not true in general,
( iii) Let
1
/n (x ) = X log ( nx + l ) XG [0, 1] . (1.9 )
n
Then
1 nx
/n ( z ) = 1 - nx 4- 1 nx -f 1 ’
/
and
lim f n ( x ) = x, x <E [0, 1] .
71
—
> 00
But ,
1 x G ( 0, 1]
( lim f n( x ) ) = lim f'n ( x ) =
-
n +oo / 71
—
> 00 Q x = 0.
Therefore, (1.3) is not guaranteed in general.
Uniform Convergence 123
( iv ) Let
1
n * e (0, -
n
),
f n ( x ) = nl (0 i ) ( x ) = <
0 x [o , 1] \ (0 , 1) .
fi
Then
l
f n ( x )d x = 1 , Vn 1
o
and
lim /n (x ) = 0 , Vx G [0 , 1] .
—
n > oo
Hence
I l
lim f n ( x ) d x .
n^ o o j/o
0=
lim f n( x )d x = 1
From the above example, we see that all 4 observations listed at the
beginning of this section could be false.
2 Uniform Convergence
the following is true: For any e > 0 , there exists aniV = N ( s , x ) 1 ( may
depend on x ) such that
dvifnix ), f ( x ) ) < £, Vn N.
- ^
( iii) We say that {/n ( )}n i is uniformly Cauchy if for any e > 0, there
>
exists a n N = N ( e ) 1 (independent of x ) such that
d y ( f n( x ) 1 f m( x ) ) < £, Vn , m N, x G X.
124 Mathematical Analysis — A Concise Introduction
Example 2.2. (i) Let X = [0 , 1] and Y = R with the standard metric. Let
nx
f n{ x ) = n 1.
nx A 1 -
Then as Example 1.1, ( ii) , one has
x 0,
lim f n ( x ) =
^-> oo
<
1
0
^
x = 0.
We claim that the above convergence is not uniform. In fact , for any x
in order to have ^,
O
nx 1
I f n ( x ) - 1| = 1 - n x A- 1 n x A- 1 < £ Vn N , ^
we need
Nx >
1
1=
1 — £
£ £
which is equivalent to
N>
1 — £
£X
Hence, as x is getting smaller and smaller , N has to be getting larger and
larger . Therefore, the convergence is not uniform. Now , if instead of [0, 1] 5
we let
1
X=
m {
m = 1, 2, • • U {0 } >
with the metric induced from the standard metric of R , then consider the
restriction f n x = f n • X -A Y , we have
\
n
fn( ~ = an m t f n ( 0) = 0,
m n A- m
which is the sequence appears in Example 1.1, ( i ) . Hence, the above argu-
ment shows that
lim an m
—
n > oo —
n > oo m
is not uniform in m. Consequently, we can show that the convergence
lim anm = 0
m —* oo
is not uniform in n , either ,
( ii) Let
Then
1 log ( n + 1)
\ f n( x ) - x\ - log ( nx + 1)
n n <
-> 0 n -» oc
The following result gives us some more feeling about the pointwise
convergence and the uniform convergence.
/ a (z ) = f ( x - a ) x G E.
Then / ( •) is ( uniformly ) continuous on R if and only if for any sequence
-
an converging to 0 , the sequence / an ( ) of shift functions is ( uniformly )
convergent to / ( •) .
Proof Suppose / ( •) is continuous. Then for any an — ¥ 0,
lim f a n ( x ) = nlim f ( x - an ) = f ( x ).
n —> oo —> oo
Conversely, if / ( •) is discontinuous at x, then there is a sequences an con-
\
vergent to 0, such that for some e > 0 ,
\ f ( x n — a n ) - f ( x n ) I ^ e0 n 1.
Then , it leads to that fan ( •) is not uniformly convergent to / ( ) , a contra- •
diction.
We now present the following result which will be used below.
Theorem 2.4. Let ( X , d x ) and ( Y , d y ) be metric spaces, and E C X ,
fn, f : E Y , n 1 . Suppose /n ( - ) converges to / ( ) uniformly. Then •
^
( f n{ x ) , f ( x ) ) X.
d Y ( f n( x ), f m( x ) ) < dY + d Y ( f m ( x ) , f ( x ) ) < 2e, V x
Thus, { /n ( - ) }n is uniformly Cauchy.
^ i
d Y ( f n( x ) , f m ( x ) ) < £ , Vn , m N , x E.
Also, for xo , a limit point of E , for any n
^ G
1, there exists a Sn = 5 ( S , X Q
n ) > 0 such that
d y ( fnipt ) i L f f ) , Vx E D B x ( x0 , Sn ) .
^ £
d y ( Ln , Lm ) nm ), m ( nm ) )
^ d y (+Tn , fn(/{ Xnrn( xnm) ) )d, Lm
m
d y (/ (
*
) 3,
^ n
£
/ ^
128 Mathematical Analysis — A Concise Introduction
which shows that { Ln}n i is Cauchy. Consequently, if ( Y, d y ) is complete,
we have some L e Y so that ^
lim d y ( Ln , L ) = 0.
n — K x)
and
Proof . Sufficiency. For any e > 0 and iV > 1, by the uniform continuity
of / ( •) on the compact metric space X , there exists a S£ > 0 such that
l / (*) - f ( y ) \ < £ > Vx, y G X, d ( x , y ) < S£ .
By the pointwise convergence of /n ( ) to / ( ) , for each x
« • X , there exists
an Nx N such that
I I N J X ) - f i x )| < £.
Further , by the continuity of / NX { •) > there exists an ax G (0, 5 ) such that
£
.
! / ( ?/) - f N ( v ) I < I f i v ) - / (*) I + 1 / (*) - /JV,(*) |
+ I //Vx (x) - /Arx (y)| < 3e.
Clearly, the family {Bax ( x ) x G X} is an open cover of X. By the
compactness of X , we may assume that
k k
X C \J Baxi { Xi ) = \J Gi .
=1
i i =1
Also, let rii = Nx . . Then
f i v ) I < 3e,
\ f n, ( y ) - V y e X n G i,
- —
This means that /n ( ) > / ( •) quasi- uniformly.
Necessity. Fix any x G X . For any £ > 0 , by the definition of quasi-
uniform convergence, there exists an open set G containing x and an N
such that
\ f N { x ) - f ( x )\ < £,
and
\ f N ( y ) - f ( y )\ < s , V y e G.
By the continuity of /JV , there exists a 5 > 0 such that
\ f N ( x ) - f N ( y ) \ < £ , Vy G , d { x , y ) < 6 .
130 Mathematical Analysis — A Concise Introduction
Proof . Let
9n { x ) = f i x ) - /„ ( x ) x e G. ( 2.2 )
Then each <?„ ( •) is continuous,
9n ( x ) s„+ i (a:) 0, Vx X, n 1 ( 2.3)
and
lim 3„ ( x ) - 0. ( 2.4 )
n oo—
Now , for any e > 0, let
On { e ) = 9n 1( { -oo, e)) = {x X \ g n ( x ) < e}. ( 2.5)
Then by the continuity of gn ( - ) , 0n (£ ) is open. Moreover, by ( 2.3) , we have
On ( e ) C On + i (e) Vn 1. ( 2.6)
On the other hand , by ( 2.4 ) , for each x G X , there exists an N such that
g n ( x ) < e, Vn N, ( 2.7)
which means that x G On ( e ) . Hence,
OO
x c ( j on( s ). ( 2.8 )
n= l
Uniform Convergence 131
Exercises
1. Let ( X, d ) be a metric space and f n : X > R be a continuous function —
- —
for each n 1 such that f n ( ) > / ( •) uniformly for some / : X > R.
^ —
Suppose xn E E such that xn x e E . Then
lim f n ( xn ) = f ( x ) .
n too—
2. Let ( y, d ) be a metric space and a nm G 7, n , m ) l , such that
lim anm
—
n > oo
=6 7715 uniformly in m
^ 1,
and
771
lim a71771
—» 00 —^ 71 *
71
lim lim anm
—» —*
00 771 oo — cn — c — lim
= lim n > oo
— = lim lim a
— — 771 OO 771 > 00 71 > 00
nm’
reason.
8. Let ( X , d ) be a compact metric space and f n : X -+ R converge
to —
/ : X > R uniformly. Then f n converges to / quasi- uniformly. Is the
converse true? Why?
—
C ( X ; Y ) { / ( •) G B ( X ; Y ) | / ( ) is continuous } ,
•
Uniform Convergence 133
and define
doo ( f , g ) = sup d Y ( f ( x ) , g { x ) ) ,
x X
^ -
converges to some / ( •) G B ( X ; Y ) . By Theorem 2.5 ( ii ) , / ( •) G C ( X ; Y ) .
—
Letting n > oo , we obtain
d Y ( f ( x ) , f ( x0 ) ) e. (3.1)
Thus , / ( •) is continuous.
Next , by the compactness of X , for the above S > 0 , there are finitely
many xi , • • • , X k such that
k
X C
i =1
and
d Y ( f n ( x ) , f n( X i ) ) < £ , Vx e B ( x i , 5 ) 1 i k Vn 1. ( 3.2 )
Further , by the pointwise convergence /n ( - ) —> / ( •) , for the above e > 0,
there exists an N 1 such that
d Y ( f n( y ) , f ( y ) )
^ d Y+( df nY( (yf) (, xf ni ){,X/i () y) )+) d<Y3(ef,n( X i )Vn, f ( X>i )AT) .
This means that the convergence /n ( ) > / ( •) is uniform. - —
( ii) ( i ): Let Xo G X . For any e > 0, there exists a 5 > 0 such that
d Y ( f ( x ) , f ( xo )) < £ , Vx B ( xo , 5 ) ,
and there exists an N 1 ( independent of x E X ) such that
^
{ f n( x ), f { x ) ) , N, e X.
dY <£ Vn X
d Y { f n ( x ) , f „( xo ) )
d Y ( f n ( x ) , f ( x ) ) + d Y ( f ( x ) , f ( x0 ) )
+ d Y ( f ( x o ) , f n ( x o ) ) < 3e.
—
Also, for each n = 0, 1, • • • , iV 1, there exists a 6n > 0 such that
d Y ( f n ( x ) , f n ( x0 ) ) < £ x G ( xo , 5) .
^
Then by taking
5 = min{5, <50 , $i , • • • , <5AT _ I}
Uniform Convergence 135
XC
1
IJ= B { X i , 5 ).
1
136 Mathematical Analysis — A Concise Introduction
G
,
d x ( x i , x ) < S.
Then for j , k N,
—
n > oo
-
lim ll -Pn ( ) - / ( Olloo = zeSUP
[a , &]
\ pn ( x ) - f ( x ) \ = 0.
Proof . First , without loss of generality, we assume that [a , b ] = [0 , 1].
Further , we assume
/ (0) = / (1) = 0.
In fact , if necessary, instead of / ( ) on [0 , 1] , we may consider
•
—
n * oo
-
lim ||g ( ) - Pn ( )||oo - = 0.
Uniform Convergence 137
Then
lim
71
— OO
! ! / ( •) - / (0) - x [/ ( l ) - / (0)] - Pn ( - )||oo = 0,
-
and pn ( ) + / ( 0) + x [ / (1) - / ( 0 ) ] is a polynomial.
Next , we redefine / ( •) to be zero outside of [0, 1] . Then / ( •) is bounded
and uniformly continuous on M. Let
M = sup | / ( x ) |.
zG [0 , l ]
Define
Qn ( x ) = Cn { 1 - Z 2 )" n
^1
with cn being chosen so that
Consider
i: Qn ( x ) dx = 1.
ip ( x ) = (1 - x 2 ) n - 1 4- nx 2 , xG [0, 1] .
We have </? (0 )= 0, and
_
/ (x ) = — n ( l — x 2 ) n 12x + 2nx = 2nx [l — (1 — x 2 ) n * ]
( 0.
Hence, £> ( x ) 0 for all x G [0 , 1] , which implies
(
(1 - x 2 ) n 1 - nx 2 , x G [0, 1] .
Consequently,
/* (1 — x )ndx
l I
1
-1
(1 - x2 )ndx = 2
0
(1 — x )ndx 2
2 2
^ /* (
l
4 1
— nx )dx = 2 x —
^ ^^ x3
2
2 1 >
This yields
0 3y
^
/n ( l - x 2 ) n / ( l - ^2 ) n
which implies
Qn { x ) \ \
^ 5 x 1,
f ( t )Qn ( t - X )d t , x e ( 0, l ] .
0
Clearly, Pn ( - ) is a polynomial. Now , for any > 0, there exists a S > 0
such that
|/ ( x ) - f ( x ) \ < | Vx, x e [0, 1] , \ x - x \ < S.
Then for any x e [0, 1] ,
\ Pn { x ) - f ( x ) I = I J \ ( +t ) f x ~ f ( x ) ] Q n ( t )d t
:
/\
(J
f (x+t) - f ( x ) \ Q n ( t )d t
«c 2 M Qn ( t ) dt + Qn ( t ) dtj +|
J Q n ( t )d t
= 4M i: Qn ( t ) dt +
f \ f ( x ) \ 2d x = f f ( x ) [ f ( x ) - p n( x )]d x
Ja da
n — —
M(
J
[
a
l / (*) ll / (») — p n ( x ) \ d x — b a) 0.
Thus, / ( •) = 0.
Uniform Convergence 139
.
Theorem 3.8 ( Miintz-Szasz ) Let 0 = Ao < Ai < • • • . In C [0, 1] , con-
sider the following subset :
11( A ) = span { xXk | k = 0, 1, 2, • • • }.
Then 11( A ) is dense in C [ 0, 1] if and only if
o
° 1
E Xri - * '
The proof of this theorem is beyond the scope of this book and we omit
it here. Weierstrass Theorem is a special case of the above with Ak k . —
Exercises
—
1. Let fn : [0 , 1] » R be a sequence of continuously differentiable
•
0nO*O = fn { s )ds , x G [a , 6] , n 1.
-
Then pn ( ) is equicontinuous.
4. Let / : [0, 1] -» R be continuous such that
[
x k f ( x )d x = 0 ,
Jo
Vfc 5.
^
Then / ( x ) = 0 for all x G [0, 1].
5. Let / : [0, 1] -* R be continuous such that
[o
x2k f { x ) d x = 0 , VJb l .
^
Then / ( x ) = 0, for all x G [0, 1] .
6. Let K : [0, 1] x [0 , 1] R be continuous. Let f n : [0 , 1] —> Rn be
continuous and uniformly bounded . Define
9n ( x ) =
/ *< x , y ) f n { y )d y ,
Then the sequence {<?n ( )} is uniformly bounded and equicontinuous.
*
x G [0, 1] , n 1.
140 Mathematical Analysis — A Concise Introduction
4 Limit Theorems
In this section , we consider the order exchanges. The first result is the
order exchange of the limit and integration.
-
Proof . Since /n ( ) converges to / ( •) uniformly, for any e > 0 , there
exists an iV 1 such that
^
\ f n ( x ) ~ / (® ) | < £ , Vn > N, x e G.
This implies that
f n( x ) ~ £ < f { x ) < f n( X ) + £ , N, Vn x G G.
Consequently, for any a G
^
Am , (see Chapter 4, (1.26 ) )
S - ( f n ) - e \Ga \ <S ~
(f) < S+ ( / ) < S+ ( /„ ) + e|Ga |
which leads to
0 5+ ( / ) - S - { f ) < S+ ( f n ) - S ~
( f n ) + 2e|G“|.
Hence
lim S+ ( / ) - S- ( / ) < 2e|G|.
I a|| >0 L
| “ J
Since e > 0 is arbitrary, one sees that /( )
• is Riemann integrable. The
above also implies
I[
1 JG
f n ( x )d x —[ f ( x )d x 2e \ G \ n N,
JG
proving our conclusion.
The following is a consequence of the above theorem and the Dini’s
Theorem.
Corollary 4.2. ( Levi’s Lemma ) Let G C Rm be a bounded domain with
\ dG \ = 0. Suppose fn : G -» R is a sequence of continuous functions such
that
lim f n ( x ) = f { x ), xeG
—
n > oo
Uniform Convergence 141
lim
n^°° /
JG
f n ( x )d x =
JG
[ f ( x ) d x.
— J/G
lim
k >oo
g k ( x )d x ==
JG / f ( x )d x.
5fc ( z ) /fe (x ) Vz e G
which leads to
/
JG
g k ( x )d x /
JG
f k { x )d x.
142 Mathematical Analysis — A Concise Introduction
Hence
[
JG
f ( x ) dx = lim
oo /
JG
Qk ( x ) dx lim / fn ( x )dx ,
n-» oo JG
proving our result .
We know that in Example 1.1, ( iv ) ,
fn { x ) = nl (0 i ) (x ) , x G [0, 1]
which pointwisely converges to 0. But the convergence is not uniform.
Therefore, the order exchange of limit and integration is not necessarily
true. On the other hand , the uniform convergence of /n ( ) to / ( •) is not -
necessary for the order exchange of limit and integration. Here is an exam-
pie.
From the above, we may ask can one relax the condition that ensures
f 0dx .
the order exchange of the limit and integration? The answer is yes and it
can be stated as follows.
.
Theorem 4.5 ( Arzela ) Let G C Rm be a bounded domain with \ dG \ = 0.
Let fn : G -» R be Riemann integrable and uniformly bounded . Suppose
lim /„ ( x ) = f ( x ) x G G
—
n > oo
which leads to
= min { (x) ,
^ - - - , c£ (x)} x eG.
Then
0 h* ( x ) fl£ ( x ) f n( x ) x eG
and { hn£ }n i is decreasingly approaching to 0 on G as n -> oo. Hence, by
^
Dini’s Theorem , the convergence is uniform . Consequently,
o < $- ( /„ )
In fact , for each i
L
= 1, 2, • • , n , one has
£
hn ( x )dx + e ( l - 2 ") n 1. ( 4.4)
o < s£ ( z ) = + gen ( x ) - gi ( x ) £
< g t ( x ) + Y2 { max{|
ff ( x ) ' ••• gn£ ( x ) } - g £j ( x ) )
3= 1
which leads to
71
— 1
0 ffn ( x ) hn ( x ) + ( max{0j(x ) , - - - g n£ ( x ) } - 9 j ( x ) )- ( 4.5)
3=1
one has
S
^^ IG (
Thus, by ( 4.3) ,
^ maX (X) ’ " ' ’ 9n ( X ) } ~
9 j ( x ) } dx + /
JG
g £j ( x ) dx .
Jf ( ^ - ,
J^ gej
max
( x )dx <
gn£ ( x ) } - g £ ( x ) dx
| T , 1 ^< j n.
( 4.6)
.
r
—
n 1 «
L gn£ { x ) dx
JG K ( x )dx + ' 52
3 ^
^ j =
JG h£n ( x ) dx + e l ( _
1
2n 1 /
0 lim fn ( x ) d x lim S ( pn ) = 0,
—
n > oo J Q —
n > oo
—+x , 2 x
^ 1? f ] ? n
^ 1.
Then
lim f n ( x ) = \ x \ = f ( x) x e [-1, 1]
and
—
n > oo
X 0 x = 0,
f n( x ) = -> g { x ) = \
A +a\
;2 >
sgn ( x ) X 7
^ 0.
Thus, the limit function ( ) / • is not differentiable at x = 0 , and of course
( nlim f n( x ) ) = nlim f n( x )
is not true.
\ —> oo / —> c 50
146 Mathematical Analysis — A Concise Introduction
However , here is a positive result.
Theorem 4.8 . Let fn : [a , b] R be a sequence of continuously differen -
tiable functions such that
lim fn ( x ) = g ( x ) uniformly in x £ [a , b\
—
n > oo
for -
some g ( ) , and there exists an XQ E [a , b] such that
lim f n ( xo ) = L
n-¥ oo
holds. Then there exists a differentiable function /( )
• such that
lim /„ (x ) = f ( x ) uniformly in x [a , b] ,
—
n > oo
and
f' ( x ) = g ( x ) x e [a , b\ .
Proof . We have
fn { x ) = fn ( xo ) +
J XQ
t fn { t ) dt .
Now , passing to the limit on the right-hand side, making use of Theorem
4.1, we have
f ( x ) = L+ g { t ) dt .
J XQ
Then our conclusion follows.
The above amounts to saying that under conditions of Theorem 4.8,
lim
i
—> oo
/' (x) = f' { x ) = (V nlim
—> oo f n { x )/) .
We now look at the multi-variable case.
-
Proposition 4.9 . Let f n : G -A R be a sequence of differentiable func-
-
tions. Suppose that V /n ( ) is uniformly bounded on G . Then { /n ( )} JS *
equicontinuous.
Proof . By our assumption , we may let
I f n ( x ) - f n ( y ) I = || V /„ (x + 0 ( y - x ) ) (x - y)|| ( 4.8)
< M \\ x - y \\ \/ x , y e G.
Uniform Convergence 147
-
From this , we see immediately that {/n ( )} l s equicontinuous on G.
—
l|V /n (z ) V /„ ( y ) || < e , V x , y e G , \\ x - y \\ < 6. ( 4.9)
Now , for a given xo G G, suppose B ( xo , S ) C G (if necessary, we may shrink
S > 0 ) . By the mean value theorem , we have
f n ( x 0 -f y ) - f n ( xo ) = V /n ( x0 + 0ny ) • y , 9n e ( 0 , 1) . ( 4.10 )
Thus
||/n (a:o + y ) ~ f n ( xo ) - V /„ (a;0 ) • y||
IMI
||V /„ (a:o + 0n y ) - V /„ ( x0 ) || < e, 6 ( 0 , 1 ) , V|| y || < S .
On the other hand , by the uniform boundedness and equi-continuity of
{V /n ( - )}, we may let V /nfc ( ) converge to some <? ( •) . Then passing to the
*
v [Lnlim> oo /„ (x|
) = lim V /„ ( x ) . ( 4.11)
— J n —> oo
To conclude this section , we present an interesting result .
Theorem 4.11. ( Riemann-Lebesgue Lemma) Let / ( •) E C ( [ a , &] ; R ) .
Then the following hold :
[h
lim / / ( x ) s i n nxdx = 0 , ( 4.12 )
71 - 00
^ Ja
fb
lim / f ( x ) cos nxdx = 0 ( 4.13)
71
—
>00 J a
Note that the integrands in the above are not convergent as n —> oo.
Thus, the above result gives us a quite different flavor. Actually, we have
a more general result of which the above is a direct consequence.
Jo
g ( t ) dt
G( x ) = [
Vx E R.
Ja
f f { x ) g { n x ) dx = —n Jaf f { x ) dG { n x )
= ln [ f ( b )G ( nb ) - f ( a )G( na ) ] - I f /'
Ja
( x )G ( n x ) dx -> 0.
Uniform Convergence 149
b
f { x ) g ( n x )d x
/
rb
11 / ( 0 - p* ( - ) lloo < .
Since g ( - ) is continuous and periodic, we may let M — || ( - )||oo Then
p k ( x ) g ( n x )d x
^ ob
^ -
+ / \ g ( x ) \ \ f ( x ) - Pk ( x ) \ d x
a Ja Ja
M(b - a)
j / p k ( x )g ( n x )d x + k
' Ja
Hence,
fb M(b — a)
lim I f ( x ) g ( n x )d x /
-* J a
OO TO k
Since k could be arbitrarily large, we obtain
lim i rb
—
n too / f ( x ) g ( n x )d x
Ja
= 0.
Finally, for the general case, from the above, we have
1
lim g{nx ) - - d x = 0.
n —
*oo T
Then our result follows.
Let us look at the following example.
Example 4.13 Let . / ( •) £ C ( [a , 6] ; R ). Then
lim
*oo J a
TO - / *
/ (*) i sin n x \ d x = —^2 J/afb f ( x ) d x
Since g { x ) = | sinx| has period 7r , and
Jor
7T
1 1
n
sinxl d x = —
* Jo
sin x d x —2
= 7r .
Similarly,
n
lim
— f
oo J a
f { x ) I cosnx|dx = —f
^ Ja
f ( x )d x .
Exercises
1. Let f n : (a , 6) -> R be a sequence of continuous functions such that
|/n (*)| M, Vn 1, x £ (a , 6) ,
150 Mathematical Analysis — A Concise Introduction
for some constant M > 0, and
lim fn[ x ) = f ( x ) x G ( a, b )
n — y oo
—
for some / : (a , b ) > R. Moreover , for any small e > 0, the above conver-
•
—
gence is uniform on [ a 4- e , b e ] . Then / ( •) is continuous on ( a , b ) and
b
n
lim
— oo a
f n ( x )d x = Ja
[ f ( x )d x.
4. State the Levi’s and Fatou’s Lemmas under weaker conditions and
prove them using Arzela’s Theorem.
5. Let /n , / : [a , b } —> [0, oo ) be continuous such that
inf
n m
( /» - l / n - /1 )
^
is continuous for each m
^ 1 and rb pb
lim f n( x ) = f ( x ) , x e [ a , b\ ; lim / fn { x ) dx = J/a f ( x )dx
n —
yoc n —
yoo
Ja
Then
6
r
lim |/n (a:) - / ( x ) |dx = 0.
n- yoo
a
Chapter 6
Series
1 Series of Numbers
<
( ii ) For a series
^ an , the following is called a partial sum of the series:
Y=
SN =
71
^
0
N
^ O.
( iii) A series Ylan is said to be convergent if the sequence { SN } N O of
partial sums is convergent , i.e., there exists an L E R such that for any ^
s > 0, one can find an AQ 0 having the following property
^ N
=| —
| SN L\
=0 ^
an L < e
71
ViV N0 .
From the above, we see that a series is convergent if and only if the
sequence of its partial sums is convergent. Hence, we have the following
result whose proof is left to the readers.
Proposition 1.2 . ( i) Series an is convergent if and only if
there exists an N 1 such that
^ Q
^ for any £ > 0 ,
V# > P N.
n= p
n
^£
151
152 Mathematical Analysis — A Concise Introduction
lim an = 0.
n — oo
oo
oo
(iii) Series
^
n =0
an is convergent .
an is convergent if and only if for any fixed m 1 senes
—
n m
oo
We see that the convergence of a series
^
an depends only on its “tail” ;
71
any first finitely many terms are irrelevant to the convergence. If the series
is convergent , the first finitely many terms only possibly make the sum of
=0
N
1 — XiV +1
SN = J=>
71 0
" 1 x — 0.
r
On the other hand , if |x| 1, then xn does not go to zero as n > oo. —
Hence, the series is divergent . A special case is x = 1. Thus, series —
XX l ) n is divergent.
“
oo
1
( ii) Harmonic series
71 ='
1
n —
is divergent . For this series, although the
general term
^ converges to 0, but the speed is not fast enough. We look
Series 153
at the following:
1 1 1 1 1 1 1 1
1+
2 +3+4+5+6+7+8+9 "'
1 1 1 1\
> 1 + 5 + i + l + (8 + 8 + 8 + 8 + ' "
( )
l l
- 1 + + H = o o.
’
In this case
In general,
Si = l a - l +i St > l + l Sg > !+ -, •• •
S2 k > 1 + fc 0.
2
Thus
lim SN = oo.
—
N too
The divergence of the harmonic series tells us that the general term
—
a n 0 as n > oo is not sufficient for the convergence of the series. Fur-
—>
thermore, we have the following example concerning the Cauchy sequence
of real numbers.
Example 1.4. Let m > 1 be fixed . There exists a sequence {sn }n i E
such that for any e > 0 and any ra 1, there exists an ^
l such that
^^
Is* - Si| < e, Vn fc, £ n + m, n N . ( i .i )
But {sn }n i is not convergent. This means that a sequence satisfies the
^
above condition might not be a Cauchy sequence.
Such a sequence can be constructed in the following way: Let
ajm+1 — O' jm+2 — * * *
— &( j +l) m — ( j +11 )m j > 0.
Then define
k
Sk = £ 0 11 * k 1.
i= l
It is clear that
, 1 1 1
+ +- 1.
2+3
Sjm - 1 + • •• • 5 Vj
J
Thus, S k —> oo. However , for any n 1 , we may let j m < n ( jf + l ) m .
<
Then for any n /c < £ n + m , we have ^
*
4 . ^ 0 < - Sk <
1
J
Thus, (1.1) holds.
\
154 Mathematical Analysis — A Concise Introduction
A particular case of the above says that if for any e > 0, there exists an
N 1 such that
l ^n+ l Sn | < £5 \/ n
^ N,
we do not necessarily have the Cauchy property of such a sequence {sn }.
an 0, Vn K,
00
then
^71 =0
an is convergent if and only if there exists an M > 0 such that
N
VN 1.
71=0
Further , in this case , the series must also be absolutely convergent .
(iii ) ( Comparison Test ) Suppose there exists an N e N such that
I an | ^ bn n N, 5
an
^ bn+
71 1
Vn N. ( 1.2 )
IYlan
= n p n= p
i°n i < 6 \/q > p N.
52/0 + 2 =
*
^ 2k + ( —1) 2 /c+ l a2 k+l + ( “ 1) 2 /c + 2 ^ 2 /e + 2
=S 2k —( &2 k + l ~
^2/c+2 ) 52/C , V /c 0
and
Also
52/c + 2 = *52 /e + l + &2 /c+ 2
* 52/e + l
* *52/e-l * * * 5,
* l
156 Mathematical Analysis — A Concise Introduction
and
&2k + l $2 k $ S - So
~ ~
^ &2 k + l
^
o is decreasing , bounded below , and {S
^ 2k 2 /c 2 *
Further
| *W
_
^ 2 /e | = ^2fc + l Vfc 0
which implies that S = S if and only if an —> 0.
OO
2 an + X] ^ ’ (ca „ ) = c
OO
+K) —
^ n
^ _^ OO
^ 71 5 Vc e R.
case
( ii )
^
n= 0
an is convergent if
OO
and only
OO
^
if
n= k
an /c is convergent . In this
71=0
a« - 5=Za —
71 fc
71 fc *
a. n-j_ i ) — Q-o
Exercises f
oo n
4. Let
n = l'
^
an be convergent. Let bn = —nl }
fc = l
^
a /c . Is Y \ convergent ?
^ bn
Why?
5. Let an 0, and an -» 0. Let m > 1 be fixed . Define
bmk+ j = ( 1) k > 0, 0 j m — 1.
Is convergent ? Why?
Proof . Let
is convergent if and only if
^
fc = 0
2fca 2 fe is convergent .
iV if
n= l
We now prove the following by induction:
T/f =
^
/c = 0
2^ 02 ^ ViV 1, K 0.
52 K+i
_ i TK 252 K V/f 0. ( 2.1 )
For K = 0, we need
S\ To 25i ,
which is the following true statement :
ai cii 2ai .
Suppose our claim ( 2.1) is true for some K . Then , for K -\- 1, we need to
prove
S
* 2K + 2 !
_ TK +1 252 K +1 . ( 2.2 )
Note that
T -j- i
^ = TK + 2K +1a 2 K+i . ( 2.3)
* Also
2 k +1 2 /C +1
S2 K + 1 = S 2 K +
^^
n= 2 K + 1
an
^ 52 K +
^^
n =2 K + l
a2 K + i = *S2 K + 2Ka 2 /c + i .
158 Mathematical Analysis — A Concise Introduction
Hence, by induction hypothesis, one has
2 S 4- 2 +la
2 S 2 K +\ K
TK 4- 2 + K 1
= TK+I ( 2.4 )
^ 2K
^
Similarly, ( noting ( 2.3) , and induction hypothesis)
2 K +i CI 2 K + I *
2 K +2 1
_ 2k +2 -1
_ l = S2 + _1 + y
S 2 K+2
=S
K 1
n= 2 K +1
4- 2 x +1a 2 ^ + i
^ 52K + I - I 4-
K +
n = 2 K -f 1
4- 2 1 a2 K + i
'
^ & 2 k +1
-
( 2.5)
^ +i -i TK = TK + I
Then , combining ( 2.4 ) and ( 2.5 ) , we obtain ( 2.2 ) . This proves ( 2.1) . Hence,
TK is bounded from above if and only if SN is bounded from above. This
leads to our proposition.
The above result has a very interesting corollary.
oo
i
Corollary 2.2. Let q > 0 be a real number. Then
n= l '
—
nq
is convergent if
and only if q > 1.
Proof . Let
1
&n — nq 71 1.
Then
1
Cl 2 k
—( 2k )q
Vfc
^ O.
oo
1
Hence, by Proposition 2.1, we see that z} nq is convergent if and only if
n='
1
—
E
=
oo
*
k 0
1
( 2k )q -E oo
=
k 0
is convergent . For such a geometric series, it is convergent if and only if
1
( 2 q ~' ) k
<7 > 1.
The following is another relevant test .
Theorem 2.3. ( Cauchy’s Integral Test ) Let f : ( 0 , oo ) -» ( 0 , oo ) be
continuous and non-increasing on [ N , oo ) for some N N. Let
an = f ( n) n 1.
Then an is convergent if and only if
b
lim
—
HX )
f f ( x )d
JN
X < OO. ( 2.6 )
Series 159
C (s) = 2s 7Ts 1
sin ( y )r( l - sK ( l - s) s e C\ { 1}, ( 2.8)
-
where T ( ) is called the Gamma function defined by the following:
roc
Jo
e X x9 l d x.
T( s) = /
Note that in the above functional equation ,
and
lim sin
s-* 2n ( y ) r <l - . )#0 n 0
C (-2n ) = 0, n 1.
1Since this part of the material is not closely related to the following material , the first
time reader of the book could skip this part .
160 Mathematical Analysis — A Concise Introduction
Thus, all negative even numbers are called the trivial zeros of ( ( •). The
well- known Riemann hypothesis says that:
All the non-trivial zeros of ( ( • ) lie on the line Res =
This is a very important and challenging conjecture. It is open as of today.
oo
— . Let
1
Example 2.4. Consider series
1 1 1
^
n= 0
1
+d _
1
^
n
Sri “
+ + + '" n 0 ( 2.9 )
0! l! 2! k =0
f e!
since each term in the sum is positive, we see that Sn is increasing. We
now show that Sn is bounded from above. In fact , for any n > 2, we have
1 1
— <
n! 2 1 ’
n
( 2.10 )
—
Thus
i hr
Sn < 1 + 1 + + • • • + 2n ~1 = 1 + 1 - — < 3,
i i-(
~
5
Vn
^ l. ( 2.11)
Hence
^
00
°°
^
1
1
a n k \ n k > 0C
a l a 4- 1
k 1. —
2 5
Series 161
Hence
+1 »
ank ( 0
) 15 Vfc
^1 5
n l| |®n l |
a = lim l ^ + /3 = lim &+
71 —» 00 |®Tl | 71 —» 00 TI
Then
( i ) a < 1, the series is absolutely convergent ;
( ii) /3 > 1, the series is divergent ;
( iii ) a = 1, or /3 = 1, the test faiis.
Proof . In the case that a < 1, we have N m such that
l& +l | | + 11 1-a 1+ a
^ N.
Ti
sup <a+ <1 Vn
® 7l | 1 ^771 2 2
Hence
771
^ 71
|ara |
/1 + a \ n- w Vn iV.
This leads to
^ ^ 2 )
oo
laJv |
E la« l E i ®ni + y an
n N = TV 4- 1
^ 71
V
E KI + =E- (4^
n N
^ 77 TV fl
r" M < OO.
162 Mathematical Analysis — A Concise Introduction
Next , for the case /3 > 1, we have N m such that
|«TI +1|
inf l I ra + , *
& l 1+
«TI > m
^ n I &m \ 2
>1 Vn
^ N.
Hence
|«TI | N,
and
^
lim |an | = oo .
—
n > oo •
p( p + \ ) x 2
—
(1 -f x ) ~ p = 1 p x +
2 ( 1 + 02 + 2
6 (0, 1 ) .
+
«
Hence, letting x
1 -
1+ -
p ^
= , one has
=i- n + + * i
-
P(P + 1)
> 0. ( 2.14 )
n n2 2 (1 + i ) p+ 2
Series 163
tin
which , together with ( 2.14) , implies that
-P (n + l ) ~ p
tin-f 1
tin
< 1- -np < ( i + -nJ)
\ n~ P
Wn
^ N.
p
Hence, by Proposition 1.6 (iv ) , and the convergence of 2n
we obtain the convergence of J2 an . ^ ( n te P > 1)
°
Now , let t < 1. We can take p 6 ( t , 1) . Since
may find some N 1 large enough so that
An
^ 0 is bounded, we
^
—n > n 1 \
^n+1 ) •
! n
^ TV,
which , together with ( 2.14 ) , implies
An - _ (n + l ) ~p
®n -H 1
Qn
> 1 - nP
.
n2 K )
Hence, by Proposition 1.6 ( iv ) again , and the convergence of \ an \ will lead
P
Next , let
„
l g( l - *
we have
log ( l -
n
> = -* - 2(1
n
An
nz ’
^
9
5
An —
0 e ( 0, 1 ) .
1
2( 1 - ) 2 S ' ( 2.17)
1
bn = ( n 1) log ( n 1) n 2.
— —
Then
bn+1 ( n - l ) log ( n - 1) _ ( n - l ) [logn + log ( l - - )]
bn nlogn nlogn
1 ( n - l ) / l An
|
n nlogn \ n n2
1 1
H
Bn
n n log n nz ^ /
with
1 An ( jt 1)
Bn =
logn nlogn
which is bounded. Then we have
^n -4-1 n -fl 1
^ An Bn
&n bn nlogn nq nz
when n is large enough. Since bn is divergent , we have the divergence of
El an •
For any finite sequence {an } =1 of real numbers, let r : {1, 2 , • • • , m} ->
{1, 2, • • • , m} be any bijection. Then
771 m
an — ar ( n ) ‘
n= l n= l
We call {ar ( n ) }71m=1 a rearrangement of {an } = x . The above means that the
sum of a rearrangement of a finite series is the same as that of the original
(finite) series. The question is whether this is true for infinite series.
A
j\n
y —— /
Example 2.9 . Consider series
gent . Note that
1 i 1 A
=
71
^
1
i lAl
which is conditionally conver-
2 + 4 + - - + 2N
'
k =1 k =1
N —> oo.
•
Series 165
±2-k > 2
Ni 1
iV2
V 2ik > l, V ?
fe = i fe = Ni + i
In general,
;vi + i
1
E —
2k
> i i 1.
= +
fe AT< l
1 1 1
2 ( JVi + 1) 2 iVi-|_ i 5
( 2i + 1) ?
The resulting series is divergent .
oo
JS a so absolutely convergent , and
^
oo
an ar (n ) *
n =1 n= l
Proof . Let
oo
| an | — L.
=1
71
For any n
^ 0, let r (n) = max{r ( k ) | 1 k < n}.
Then
»*>
71 T ( TI ) OO
y ia ( / ) i y M y L.
k — ^
1 ^,
^r c
k= 1 ^ =
71 1 ^ \ an \ —
\
166 Mathematical Analysis — A Concise Introduction
oo
Hence,
^
n= l
|ar ( n ) | is convergent , and
—
oo
L
oo
^—^
n 1
|ar ( n ) |
^ L.
oo
By switching the positions of
L'.
n= l
|ar ( n ) |, we see that
Qr ( n )
n=l
We leave the detailed proof to the interested readers.
Exercises
1. Let Yhan and 2 bn be two series of positive terms. Suppose that
there exists an iV 1 such that
& n +1^ &
^
<^ n + l Wn N.
tin bn
Then the divergence of 2 an implies the divergence of 2 bn .
^
2. Let an = np
1 ^
Find necessary and sufficient conditions on p, q
^
( lnn )q
such that the series an is convergent.
^ 22, a 2n+ 1
3. Show that for any a 6 R ,
4. Suppose Y2 an and
^—
n 1
n\
bn are convergent .
is convergent.
convergent .
5. Is£ ( -n 1+)"1* convergent ? absolutely convergent? Why?
2
vergent .
is convergent . Is Y2 an necessarily convergent ? Why?
7. Suppose
^2 an
Series 167
3 Series of Functions
N
~
.
Definition 3.1 If for each x G X , S N { X ) is convergent to some number ,
denoted by S( x ) , then we say that the series is pointwise convergent, and
write
oo
S ( x ) = lim SN ( x )
N - oo >
=V
^ '
fn( x ) I 6l
=
n l
.
Definition 3.2 For any bounded function / : X -» R , we define the sup
norm of / ( • ) by the following:
sup | / ( x ) |.
ll / lloo = xex
The following is the simplest criterion for the convergence of function
series .
.
Theorem 3.3 ( Weierstrass M-Test ) Let ( X , d ) be a metric space and
let /n ( - ) be a sequence of bounded real- valued continuous functions on X
such that
oo
< OO. (3- 1)
71 =1
oo
Then the series
-
S( ) on X . ^
71 =1
/n ( x ) converges uniformly to some continuous function
168 Mathematical Analysis — A Concise Introduction
Proof . Since
N oo
Ifn ( x ) \ ||/n ||oo = M < OO xe X
=1
71 71 =1
we see that /n (x) is absolutely converges for each x e X . Next , let SV ( ) -
be the partial sum sequence. Then SJV ( ) is continuous, and for any N 1 - ^
and ra 1, we have
-/V + 771 OO
-
This means that SV ( ) is uniformly Cauchy. Hence, it converges to S( ) -
-
uniformly with S ( ) being continuous.
The following is an interesting application of the above Weierstrass At -
test , which gives an example of a continuous function that is nowhere dif-
ferentiable.
Example 3.4. Consider the following series:
/ (x ) = y —2" ^
71 =1
cos (8n 7rx )
i e l.
Since
cos (8n 7rx ) 1
Vn 1, x e R ,
2n 2n ’
by Weierstrass M -test , we see that the series is uniformly convergent . Thus,
/ ( •) is continuous. Now , we want to show that / ( • ) is nowhere differentiable.
To this end , for any m , j 1, we evaluate
^
+ +H £
|/ ( ) -/ (
771 —1
71 =1
2-”
b -«» bM
n
COS
0 + 1) ?r ) - ( j&r )
gTn n —
71=1
+ 2— 771
cos ( O '
+ 1)*-) — cos 0* )
oo
_n
+ ]T 2 cos (8n-m ( j -f l ) 7r ) — COS (8"- +)
= 771+1
71
2-2 rn _
771
0
£
-1 " n 7T
m
771
— 1
— = 2 2 -
" ‘
•
Zs §
Q 771 71 §771 / ^
71 =1 71 =1
_m m
7T 4 -
= 2•2 -
8m 4 - r » (2 - I K" > 0.
Series 169
x0 G gm 3 gm +1 X '
’
If / ( •) is differentiable at xo , then for any e > 0, there exists an mo 1
such that for m mo with a proper j ,
v
(2 - f )2-" « KXH (iy
3 +1
v
( | /'(xo ) | + e) 8-m .
^
This leads to a contradiction.
^
(|/'(a?o )| + e) ( r xo ) + ( | /'(®o ) | + e) ( X
°
“
8m )
The following results are concerned with the so-called integration term-
by-term and differentiation term- by-term for the series.
oo n
functions and
^
n=l
/n (x ) be
=£
J £ fn ( x )dx
J fn( x )dx
.
»
(ii ) Let fn : G R be a sequence of continuously differentiable func-
oo
V /n ( x ) be uniformly convergent , and there exists an xo
tions. Let
^
n= l
oo
fn ( xo ) is convergent . Then
G G
such that
^
77 =1
V
OO
( £ / (*) ) = £ V/ (*) .
»
OO
»
71 =1 71 =1
-
Proof , ( i ) Let 5AT ( ) be the sequence of partial sums. Now , in the case
- -
that Sjv ( ) converges to S( ) uniformly, we have
[ S{ x )d x lim / Sjsr { x ) dx
JG —
N > oo JG
170 Mathematical Analysis — A Concise Introduction
which is what we want to prove.
( ii ) Since V / ( x ) = ( fx1 ( # ) , • • • , /xm (# ) ) > it suffices to prove the case
m = 1 . Thus , we let G = ( a , b ) . By assumption , S'N ( ) converges to some -
-
g ( ) uniformly and SN ( XO ) is convergent. Hence, we have
,
S( x ) = 5 ( ar0 ) + /
J Xo
g ( t )dt .
Consequently,
S' ( x ) = 3(1) x e [a , 6]
which is exactly what we want .
Note that if we use Arzela Theorem (Theorem 4.5 of Chapter 5 ) , the
above can be improved .
To conclude this section , we look at limit theorems for sequences of
number series.
lim a nm
—
m toc — On , Vn
^ 1.
co
Then
^ n= 1
an is convergent and
co CO CO
lim a nm
m —> oo — On i n 1.
Series 171
Then
oo oo
lim
m-> oo
flnm — lim
—
m > oo
®nm
-
77 =1' n = l'
( iii) ( Fatou’s Lemma ) Suppose there exists a sequence { bn }n of real
numbers such that ^i
Vn , m
OO
& nm
^ bni 1J
=1 m > oo ^—
77 77 =1
lim a nm
^ *
^
IX] bn + 1 Y2 „ <
n= k n=k
c e5
Then
t i t
y
oo
-e <
^ ^ ^ ^^
n=k
bn
n= k
&nm
^— n k
<£ 5
—£
£
^ — Unn k
5
oo
This shows that an is convergent. Moreover
77 =1
oo oo N N oo
x>
oo
nm XA | | X) ® nm + 1C anm + y~] Qn
77 =1 =
77 1 = 77 1 77 =1 fe = AT + l 77 = jV -fl
AT
y
77
^.
£
( ii) Since
»
0 m, n
^ &777T7
^^ 77 )
^1 5
S
'
172 Mathematical Analysis — A Concise Introduction
we have
oo oo
If we have
^^ ^^
n= l
(trim
^ n= l
&n *
oo
lim
m —> oo
anm = OO ,
n— 1
our conclusion is obvious. We now assume that
oo
lim
m-> oo Yl anm = S <
11
OO .
n=
Then for any TV
^1 N oo ,r
0 Vn 15
OO OO
^ dnm
^^
y
with
^ ^
n=l
0 and
n= l
an convergent . Hence, ( i ) applies.
( iii ) First of all, if the right- hand side is infinite, the conclusion is trivial.
Now , let the right-hand side be finite. By
bn Vm , n 1
one has
^ &nm ?
bn Vm , n
and
&nm ~
^0 ^1
an — bn = mlimoo a nm - bn 05 Vn 1. «
—*
Series 173
—
° < E= n l
( &n
TV
bn )
^^
n=1
ilm (®nm
m- yoo
oo
bn )
y ~
y . (a
lim
m — yoo n 1
—
oo
^V] ( a nm 6„ )
oo
a„ m - Y] bn < oo.
m
lim
— yoo n = l
^ nm -M
= mlim
— yoo ,
n= l n= l
oo oo oo
x^
n= l
(a
" bn
) lim V', a nm
—
m oo > n= l
!=>
n l
•
This implies that the series on the left- hand side is convergent . Hence,
oo oo oo oo
V ^nm -
^
n= l m—
,
lim amn
y oo
^^ ^ ^
n= l
n lim
m — yoo n l
=
—1
Whereas 5
^^—
n 1
&nm 5 Vra 1.
m
lim
— oo
y
&nm — 0, Mn 1.
Thus
oo oo
m—
lim
yoo
anm 1
^ 0= Y" mlim
— 1 yoo ^ nm -
n= l n= l
\
174 Mathematical Analysis — A Concise Introduction
( ii ) Let
—m n = mJ
& nm — o,
5
n m.
^ oo
Then there is no bn controlling a nm from below such that
gent . In the case, ^
n= l
bn is conver-
lim anm =0
m — y oo
whereas,
oo
£= —
n 1
&nm .
ni
Hence ?
oo oo
lim } a nm = -oo < o = V] lim anm
m y oo
—
n= l n = l ^00
This example also serves as a counterexample for Levi’s Lemma since the
*
Exercises
1. Let
oo
sin nx
x G R.
n= l
—
Show that / : M > M is continuous for p > 1 and is continuously differen-
tiable for p > 2 .
2. Let
n =0
( i ) Show that f ( x ) is well-defined on [0, 2].
( ii) Find all x G [0, 2] at which f ( x ) is continuous, continuously differ-
entiable, respectively.
(iii) Find all x G [0, 2] at which f ( x ) is infinite time differentiable.
= 04 ) n ^ i
n)
3. Let x k G i e.,
OO 1_
n*fciip = ( £= i4 r)
n l
n) p
< 00 5 k i.
Series 175
Suppose { xk }k 1 is Cauchy under the fp- norm || • ||p , i.e., for any e > 0,
^
there exists an iV 1 such that
^
\\ xk xm \\ p < e , Vfc, m N.
Show that there exists an x = ( x ^ ) ^-
n i G £ p such that
lim %k ~ x \ \ p = 0.
—
k too
In this section , we will present some more convergence tests for series. A
major motivation is to determine if the following type series are convergent:
oo
sin nx
^=
n 1
n
( 4.1)
and
CL\
^-^ ^
02 ( 4.2 )
k
1 k <n 5 ( 4.3)
i= 1
for some M > 0. Then
n
~
5= akbk < Af (|ai| + 2|o„|) .
Proof . Let
^
k 1
( 4.4)
k
Bk = YJK
=
i 1
fc 1.
\
176 Mathematical Analysis — A Concise Introduction
Then ( with BQ = 0 )
bk = Bk - Bk -1, 1 k m.
Hence
n n n n
akh —
^^ ^^ —
/c = l
n
=
fc l
n 1
(-^fe I )
fe = l
n 1
cikBk
—
^^
fc = l
ctkBk -1
( 4.5)
^^ ^ ^ =
/c l
akBk
fc = l
Qfc + i - fc
^— ® nBn 4-
^
k =1
& /c + i ) - fc *
^
Consequently, by ( 4.2 )-( 4.3) , we have
n n 1 —
^^ ^ — fc = l
dfc 6fc |ttn ||J3n | 4
n 1
~
^^
fc = l
|cifc & fc + i || - fc |
^ r
proving ( 4.4 ) .
M
^ \ an \ 4-
M ( |ai | 4- 2 |an | )
^
/c = l
( a* - & k +1
)
— M (|< 2n | 4~ d\ on )
>
I 5Z bk <
/e = n + l
e5 Vra > 1,5 N.
m
bk
k=1 ^ bk
k l = ^ 2M -
k 1
—|y
^^
k =n
^ kbk ^ ri+kbn + /c
This gives the convergence.
k =1 ^ 2 M (|an + i | + 2|an + m|) < 6M£.
Example 4.4. Consider series ( 4.1) . We saw that Weierstrass M-test does
not work. We now show that for each x
n
\
yy sin kx M (x ) 5
fc = l
for some M ( x ) > 0. If x = 2m7r , we have
n
*
yy sin kn = 0.
fc = l
Next , we note that
sin a sin /3 = -
Thus, for x 2m7r ,
^
2 sin
^^
x
sin x 4- sin 2x H
3x
= cos —2 — cos T + C“ T — cos
4 cos
(2n
3x
f sin nx
%
with p > 0.
\
178 Mathematical Analysis — A Concise Introduction
\ an ( x ) \ < s , Vn N, Vz X.
On the other hand >
m n+ m n
^ vbn
k=1
+k ( x )
k= l
M ®) - J2= h( x )
k 1
n+ m n
Y=2 + | bfc (x ) 2 M .
Hence, by Lemma 4.1, one has
k l
bk ( x )
^
=k 1 ^
r
Exercises
1. Let
oo
sin nx
/(X) = £
=
71
„r 1
x e ( 0 , 27r ) .
3. Consider series
series is convergent.
“^
n= 1
rx ( x + n ) in
L n
. Find all values of x such that the
5 Power Series
£> (x
n =0
n - x0 ) n . (5.1)
( lim | |i ) .
— an
R= (5.3)
n too /
180 Mathematical Analysis — A Concise Introduction
Thus, for the case R > 0 , the following function is well-defined :
oo
f (x) = Ylan
=
n 0
( X ~
Xo )
n
x e ( xo — o + R) >
oo
Moreover , < r < R , the series — xo )
^
n
for any 0 an ( x is convergent
n= 0
uniformly on [ xo — r , X o + r ] to / ( ) which is continuous and differentiable
•
with
oo
y nan ( x - X o ) — ( xo - r , x0 + r ) .
^
n 1
f \x) = x 6
71 =1
Further, for any — R<a<b< + R,
-
XQ XQ
7* 0
/ y an ( x - xo) dx = f : - (° - fl)’?1..
la
'
^
n =0 n =0
Proof . We first show that for any x with r = |x XQ | > -R , the series —
is divergent . In fact , by the definition of R , we can find a subsequence n
such that for 0 < £ = ri-?rf * there exists a K 1 so that
’
i 1 1 r-R 1
R Rr r
k
^ K.
Then ( note \ x — xo \ = r )
(i - ) r = 1
1
|anfc | nfc \ x - x0| >
Hence, the series is divergent .
E k
^ K.
Next , we prove that the series is convergent uniformly on [ xo — r , xo + r]
for any r G ( 0, R ) . By the definition of R , for any 0 < £ < £—
when n is large, we have
( 1 + Re )r
^ ,
x
0 < \ an \ r < +e r R G< 1.
Hence, by Weierstrass M -Test , the series is uniformly convergent on [ xo
)
—
r , x0 + r ] .
The proof of the rest of the conclusions are straightforward .
The following result is concerned with the continuity of the power series
at the end point (s) of the interval of convergence.
Theorem 5.3. ( Abel ) Let
oo
y an { x - xo )
^
f (x) = n
n =0
Series 181
oo
anRn is convergent , then
with the radius of convergence R G ( 0 , oo ) . If
/ ( ) is left-continuous at x = xo + R , i.e.,
•
oo oo
^
n =0
f ( x0 + R ) .
n =0 n= 0
continuous at x = XQ R.
Before proving the above, let us make a simple remark. If the series
—
Y an ( x xo ) n is uniformly convergent on [ xo — R, xo + il] , then the con-
^
clusion follows from the exchange of the order of the limit and summation.
Now , we only have uniform convergence on [ xo r, xo + r] for any 0 < r < R —
and the convergence at x = XQ + R. Therefore, the conclusion is not obvious.
JS 2=>?_ n 0
*" = £ “" = s-
n= 0
Let
N -l
SN = ( Y a")
n =0
- 55 AT 15 So = -5.
Y= Sn+ iXn
n 0
-
n =0
S'n + iXn+1 So = Y= Sn+ ( xn - ^ + ) + S.
n 0
l
n 1
—
Since 5n > 0, for any e > 0, there exists anA
•
^ ^ l such that
\ Sn\ < e , Vn
^ N.
182 Mathematical Analysis — A Concise Introduction
For any x G [0, 1) , we have xn +1 xn . Consequently,
oo oo
N oo
71 = 0 = + n N l
N
=
n 0
Now , in the above, we let x 1. Then
OO
limj £ «„x” - s k £ .
=0 71
—
Proposition 5.5. Let f : E > R be real analytic at xo having the following
•
-
/ <* > E= 71 0
^ ( x - Xo )" 5 X e (x0 - r, x0 + r ) J
Series 183
tin — Vn 1.
/ (*) = E= anxn .
71 0
z
71 ='0
n! —
x e ( r, r ) .
^, x>0
with Rk ( •) being a rational function . Hence in particular ,
/ ( fc) (0) = 0 fc 0.
Then for any <5 > 0,
y
“
- mxn = ^ /
71= 0
f {n)
n!
0 (x ) , xe ( 0, <5).
n =0 n 0
—
which are convergent in ( #o r , xo -F r ) , for some r > 0. Then the product
—
/ ( •) # ( •) is also real analytic on (xo r, xo + r ) with power series expansion:
oo
f ( x )g ( x ) = X= ° ( x
k 0
k ~ x )k 1
°
where
k
—
Ck
^^
771 =0
tlmbk — m i
- )(£*
N M N M 7V + M
(£ “) = £ £
Further ,
77
N+ M
=0
« *
777 =0
»*
n =0 m = 0
anbmxn+m =
^
/e = 0
X Cfex'' - f ( x ) g ( x )
fc = 0
N+M N oo M oo
| Xa"xn|(
77 =0 77
X
= M +1
IM M") + 1 x "xi (
77 =0
6
77
X
= TV +1
l°» IWn ) |
oo OO
+( X KIN") ( X IMM")
77 = + TV 1 n =M+ l
( 1 / 0*01 + e) e + ( Is 0*0 l + e)e + £2
< e [ |xmax
| r - <5
( 1 / 0*01 + lfl (*) l ) ] + 3£2 -
^
Series 185
Hence
oo
f ( x )g ( x ) = ckXk
k =0
EM - E~ ^
n= 0
rn
(5.4 )
Hence, the radius of convergence for the series (5.4 ) is R = oo. In other
words, the series converges for all x G R. Further , it is clear that the
convergence is uniform in any compact sets, and the series of formal term-
by-term derivatives has the same form and therefore converges uniformly
in any compact sets. Hence, we have
E\x ) = E{ x) Vx G R.
Likewise, we can integrate term- by-term to get
f E ( x )d x = E ( b ) - E ( a ).
Ja
Further , for any x, y G R,
oo
> - = /
_°°_
E=
n 0
T
4
-n
r
\ /
_°°
m 0
. 'll 171\
E= *i E= +E=
r2' ( x + y )
k
- _°°_
k 0n m k
xnym
n\m\
EE E
— = n!( /c — n)! =
k 0n 0 k 0
k\ = E ( x + y ).
186 Mathematical Analysis — A Concise Introduction
Thus
We also have
E( x ) =
Kf )r o.
1 = E ( 0) = E ( x - x ) = E ( x ) E ( -x )
leading to
E ( x ) > 0,
1 Vx G R.
E ( -x ) =
E( x )
Define the Euler’s number by the following:
2, 1
e = E ( 1) =
n\ £
n 0 —
Then , by induction , for any integer m > 1 ,
E( m) = E { l)m = em
and
e= E
which leads to
1
em .
i
E
m =
Consequently, for any rational number r =|> 0
-
*(?) «’ *( -!)
1
—e
Finally, by the continuity of the map x i-» E( x ) , we obtain that
_£
« .
£(x ) = e* Vx G R .
This function is called the exponential function.
Since
*> -t <=r -
n= 1
(* !)“ •
— (;) * = 1
lim
n > oo
Series 187
1
Me*)'] = <fi'(ex)ex = -ex = 1 ° = <^ (1) = 0.
¥> ( e )
Hence
if(ex ) = x , x G (0, 2) .
-
This means that tp( ) is an inverse function of ex. We denote
( p( x)(0 , 2 ) .
= lnx, xG
We can extend it to ( 0 , oo ) as an inverse function of x t-> ex. This function
is called the logarithmic function.
—
Then (7, 5 : R > R are real analytic on R, and the following holds:
elx = C ( x ) + i S ( pc ) , Vx G R. ( 5.6 )
It is seen from the definition that
<7( x ) 2 + 5(x ) 2 = |ei:c | 2 = = c° = 1, Vx G R,
—
C'(x ) = 5( x ) , 5'( x ) = C' (x ) , Vx G R, ( 5.7)
<7( 0 ) = 1, 5( 0 ) = 0.
We claim that there exists an x > 0 such that
C ( x ) = 0.
If this is not the case, then from (7( 0) = 1 > 0, we must have
C ( x ) > 0,
Consequently,
Vx
^ 0.
S'( x ) = C ( x ) > 0 , Vx G R .
-
Hence , S ( ) is strictly increasing. By 5( 0 ) = 0, we must have
5( x ) > 0, Vx > 0.
Now , for any 0 < x < y , one has
f
S ( x )( y - x ) <
JX
S { t )d t = C ( x ) - C ( y )
^ l.
This will lead to a contradiction since 5( x ) > 0 and we may let y large.
Now , we let x > 0 be the smallest positive number such that C ( x ) = 0.
Denote
7r = 2 x.
Note that , at the moment , 7r is just a notation. Then by (5.7)
( ) = S(al) = ±l.
s| ( 5.8 )
Since
(7( x ) > 0, xe 0 , ) = [0, x )
| ( 5.9 )
by 5( 0) = 0 and 5'(x ) = (7( x) , we see that
5( x ) > 0 , X (o, j] ( 5.10)
which leads to
0 < 5( x ) < 1 X |).
(0, ( 5.11 )
Series 189
Thus,
e 2
Consequently,
e** + l = 0, e2 = 1.
Therefore
ez+2*i = ez V z e C. (5.12 )
Then
C { x + 2TR ) + i S ( x + 2TT ) = eix+2ni = e I X = C ( x ) + i S { x ) , VxeR
which yields
C( x -f 27T ) = C( x) S( x + 2TT ) = S( x ) Vx G R. (5.13)
Next , we claim that
VO < t < 2TT . (5.14 )
Suppose otherwise, there exists a t G (0, 27r ) such that
ei£ = 1.
We write
eu
4
cQ + iS0 == x + iy
with x, y G R. Then
1= = ( x + ii/ ) 4 = x4 + 4x3 (iy ) + 6 x2 ( i y ) 2 + 4x ( zt/ ) 3 + (i ?/ ) 4
= x4 — 6x 2 ?/ 2 + y4 -f 4i x y ( x2 — y 2 ) .
Hence, it is necessary that
x y ( x 2 - y 2 ) = 0.
On the other hand , since|G (0 , ) , by ( 5.9) and ( 5.10 ) , we have
0
^
< x , y < 1.
Thus , we must have
x2 - y 2 = 0, x2 + »2 = l,
which implies
1
x2 = y2 = - '
2
190 Mathematical Analysis — A Concise Introduction
As a result , one has
6 1
1 = x 4 - 6x V + y4 =
j~ 4 + 4 = -1
a contradiction. This proves our claim (5.14 ) .
Further , we show that for any z £ C with \ z \ = 1, there exists a unique
t £ [0 , 27T ) such that
eu = z . (5.15 )
In fact , for any 0 t\ < < 27T,
e» ( t 2 -*l ) = e*t2 e-iti
which leads to
!
^
eUl eit .
^existence
2
/
JO * /
/
IT (*)I =
JO
dt = 27r .
This coincides the usual definition of 7T .
We denote
cosx = C ( x ) sinx = S( x ) Vx G R
and call them cosine function and sine function, respectively. These are
trigonometric functions.
Definition 5.10. Let T > 0. A function / : R -» C is periodic with period
T, or T - periodic , if
/ ( x + T) = / ( x ) x G R.
From the above, we see that cos x and sin x are periodic functions with
period 27r.
Exercises
1. Find a rational function / ( x ) such that
oo
/ (*) = £ nx
2
X < 1.
oo
n 1
—
anxn. Find a rational function / (x ) such that
2. Consider series
^
71 =0
f (x ) =
OO
x| <
=0
71
where i? is the radius of convergence for the series , to be determined , for
each of the following cases:
( i) Let an = 2n -f 1, n 0.
( ii) Let an + i = an + an _ i for n 1, ao = ai = 1.
( iii ) Let an + i = aan + ficin- i f r n 1 and ao , ai , a , /3 G M are given.
° ?
192 Mathematical Analysis — A Concise Introduction
6 Fourier Series
an , 6n
^ sin nx ) 1
G
x6R (6.1)
Note that
cos nx 1/1 1 emx ginx 1 i cos nx
sin nx 2V i i— —
e mx ?
e — mx 1 —2 sin nx
( 6.2)
cn — Vn = 0, ±1, =L 2, • • • , =bN .
Note that the domain of the above function is R (with possibly complex
valued ) .
71
E
=— OO
cneinx )
or
oo oo
^=0
71
an cos nx +
71 =1
We call the above type series trigonometric series, and when the coefficient
sin nx.
r
-
( / 5) =
b
f ( x ) g ( x ) dx ,
< / , 2> =
( ii) ( Positivity ) For any / ( •) G C ( [a , 6] ; C ) ,
( yi /(x) i 2dx)
5
-
V/ ( ) C ( M ; C ).
This is called the L2- norm on C ( [a , 6] ; C ) , for which one has the following
result whose proof is straightforward as well.
- -
V/ ( ) , fl ( )
) 5
C( [o, 6] ; C) .
Then cfeO » • ) is a metric on C( [a , 6] ; C) .
Warning: C ( [a , b\ ; C) is not complete under the metric ( T ) The -
completion of C ( [a , 6] ; C ) under L 2- norm ( with the integral being Lebesgue ^
integral ) is a Hilbert space , and denoted by L2 ( a , b ; C ) .
—
Definition 6.5 . Let 0n : [ a , b ] > C be a sequence of continuous complex
functions. Then {0n} is called an orthogonal system of C ( [ a , b ] ; C ) if
If , in addition ,
(0ra 0n )
j
— /
J a
</>m ( x ) 4>n ( x )dx = 0, m 7 n. ^
b
( 0n ? ) — \ j n { x ) \ 2 dx = 1
() Vn
The following example will give us the orthogonal system that we will
use below.
Example 6.6. ( i) Consider C ( [ — r , r] ; C ) .
7 7
For m , n eZ
<l, efa > = — le-
with m n , we have
F
J 7r
1
dx = -- e ~lx
2
^
= 0.
— 7T
> - /— —
*
ei ( m-n ) xdx = i ( m1 ^
— n ) ei
l imx ginx (m n)x
=0
^ •/ 7T — 7T
and
(evmx ^
imx
> -/ '
ei { m ~m )
xdx =
J
f— 7T
d x = 27r.
Series 195
1 ginx
en (x ) =
X/27T
xe[ — r , r] ,
7 7 n e Z, (6.4)
-
then {en ( ) | n G Z} is an orthonormal system of C( [ re , 7r] ; C ). —
—
( ii ) Consider C ( [ 7r , 7r] ; R ) . If m , n e N U {0} with m
^ n , then
7T
and
2
cos( m
7T
— n ) x — cos( m + n )x
,
7r
1
^ dx =0
— cos 2mx dx =
(sin mx, sin mx ) = sin 2 m x d x = 7r .
— 7T — 7T 2
Finally, for any n 1, m 0,
7T
J
^^ sin ( n + m ) x + sin ( n
— r,
7 7T ];
1 cos nx sin nx
n 1 (6.5)
X/TT ’
5
\/27r x / 5r
form an orthonormal system of C ( [ — r, r]; R ).
7 7
196 Mathematical Analysis — A Concise Introduction
6.2 Trigonometric polynomial approximation
Recall from Chapter 5, Theorem 3.6, we know that any / ( •) E C( [a , 6] ; R )
can be uniformly approximated by polynomials. The following gives an-
other type of approximation of continuous functions.
Theorem 6.7. ( Weierstrass) Let / ( •) E C ( [ 7r , 7T] ; C) . Then there exists
a sequence of trigonometric polynomial Tn ( - ) such that
—
lim
—
n > oo
•
—
! ! / ( ) Tn ( - )||oo = 0.
Proof . Let
1
$N ( X ) =
n=- ( N -1)
Note that
N -l N -l iV - l
2
—
^ | E en
v 7r
n =0
E
/r27=r n^\
, ra = 0
e i( n m ) x
n ,m =0
n— m E &
= ATeo 4- ( N — l ) ei 4- ( N — 2) e2 4- • • • 4- 2e./v-2 4- C N - I
4- { N — l ) e _ i 4- ( N — 2 ) e _ 2 H h 2e _ ( -2) + e _ ( jv _ i ) r
^ - ( iV - l )
N -l N -l N -l
E ^ — n)e„+E
n =0 n= l
- n) e-«= E
n =0
“ ) errf E—
n= 1 ^ ~
Inl ) e«
iV- l
= y: ( N - \ n\ ) en = V T K N Q N .
n= — N — )
( l
n=0 V 7T
n 0 V 2n eix —1 sin
2
Hence
iV- i 2 • 2 Nx
i
1 sin 1
0 $N ( x ) = N | E e"( x) 2
2iW sin| 2
27r sin|
( 6.6 )
n =0
Also
AT
MO) = -
Further ,
Jr_
N~ l
/r $Ar ( a;)da; = E N\ i
/
VV1 6
inx
dx = 1.
* -*
• n = ( iV
— — l)
N J 2 ,K n
p"
Series 197
1 / 0*01 M, Vx G [ — 7r , 7r] 5
and for any s > 0, there exists a 6 > 0 such that
1 / 0*0 — f ( y )\ < e, \ x - y \ < S.
By (6.6 ) , for the above 5 > 0, there exists an iV
1
^ 1 such that
0 $N ( x ) 2 £5 \/ 6 |x | 7r .
2 NTT sin|
Now, we extend / ( •) periodically outside of [ — r,7 TT ] , and define
j +-
X K
( / * $w ) 0*0 =J f f ( t )$ N ( x - t )d t = f (x -r)
^ N ( r )d r
— TT J - TT -\- X
= (J
'
f TT ~\~ X
+ r
JTT
+X
'
) f(x - T )$ N ( r ) d T
TT +X
--
TT \ X
7T
f ( x - T )& N ( r )d T , x G R.
— 7T
7T
| / ( x ) - / ( x - y ) |$ jv ( y ) dy
——
/•
7T
’
O 5
/* < /* 7T
/— 2M e d y + / e$ jv ( j/ ) d 2/ + / 2M s d y
J TT J —S JS
*
4Me ( 7r — 5 ) + e ( 4M 7r + l ) e .
(
1
11 / ( 0 - Tm ( - ) lloo < -
m
Vm
^ 1.
Then
11 / 0111 = ( f J - Tm ) = J[ \ f ( x )\ \ f ( x ) - Tm ( x )\d x
— 7T
27 T
2^ 11 / 110011 / - T,m oo —
< m ll / lloo 0.
Hence
f— / (*) e — m x dx =
1 1
C
"
~ ( /, en ) — iV n < iV. ( 6.7)
2TT J 7r V 7T
^
In other words, such an / ( •) admits the following representation:
N
1
/ 0*0 = /27r
\ v^-JV
n=
( f i e n ) en -
Now , for any / : [ — 7r , 7T] —* C with | / ( - )| G LR ( [ , ] ; R ) , we define
7T 7r *
7r
N 2
^
lim f ( U ) en
—
N too
n =- N
9
( 6.10)
n 7r N 2
^
— ^/- X ^
lim / (x ) “ f ( n ) en ( x ) d x = 0
N > oo 7r
n=- N
Further , if
oo
X—
n= oo
I / MI < OO 5 ( 6.11 )
oo
then the Fourier series y f { n ) en converges to / ( •) uniformly, i.e.y
n =— oo
AT
lim
—
TV > OC
/~ X—
n= 'N
^
Z ( n ) e" OO
= 0.
\
200 Mathematical Analysis — A Concise Introduction
No
( / - F n , FN - T ) — (f — Fn, E
n=- N 0
( f ( n ) - cn )en )
- ( No +1) N
+ (/ — Fff ,(
n= N
E— + E ) / (»)Cn ) = 0.
n= N0+ l
Consequently, r
r
\\ f - T \\l = \\ f - FN + FN - T \\l
= 1 / - *V |||+ H -fjv - T||l + 2 ( / - FN , FN - T)
= 11 / — Tiv| || + l -FV — T||l .
r
Hence
l / - TAr||Ull / - T||l < 27re.
This proves
|| - || 0.
—*oo / FJV 2 =
Jim
TV
Now , suppose (6.11) holds, then by Weierstrass M-test , we see that the
Fourier series is convergent uniformly to some function F( ) , which implies -
that
N 2 N 2
EN Rn )en - F 47T 92 E f ( n )en —F -* 0 5 r
n
—— 2
n ——
uniformly, as iV —* oo. By the uniqueness of the L 2 -limit , we must have
N
oo
-
F ( ) = / ( •) , proving our theorem.
Because of the above result , for any / ( •) £ C ( [ — r,
7 7T ] ; C ) , we may write
co
Js £— *">'
*
I
'
/ 00 = E—
n= oo
f ( n ) en ( X ) -
v n= oo
mx
Series 201
^
2
| / ( n )| is convergent and the following Parseval’s equality holds:
n
—— oo
oo
I /I 2 =
n
E
= —
l / (") l -
oo
2
( 6.12 )
This leads to
TV
E—
n= N
f ( n ) en I / I 2 + £.
V On the other hand , since {en} is an orthonormal system , it is clear that
E / ( n ) e« = E i /(n) i 2-
\ =
n
— N =—
n N
Thus
( Il / l|2 - e ) 2 < E
=—
n N
l / (») l 2 < ( ll / lla + ® )2.
Consequently,
TV
(||/ ||2 - £ ) 2 < lim
— E— _ l / WI
2
A T >0 0 z ' < ( l / ll 2 + e) 2 -
n= N
n
E I /"»
=— oc
- /* (») I 2 = n /m ( - ) - /* ( ) Hi o m,
^ » oo.
Note that
r'
| / ( n ) - / ( n ) K -i
m r
J- l/ 0 /
TT
m
( - (x )|dx
1
27|
( jr (x ) - / (x ) i &) " 5
< — T
2 -> 0.
N
^VCOIIi = 27r _ r
l
/
J 7
n
S—
—
oo
N
[/’m ( n ) - / ( n ) ] e — i n x dx r
n
E
=— oo
l / (») l 2 =
n
E (2 | /
=—oo
m
( n )|2 + 2| / m ( n ) - / ( n )|2 )
= 211 / ( Oil!+ 2||/ ( - ) - / ( Olla
m 4||/ (.) H 1 + 6||/ m (.) - / Olli < oo.
Then /*•
11 / 0 - 0112 ^
^ 36||(11 /0-- roiil++ iiro- OIl 3 + PTO - «) ll 3)
/o /mOll 2 l /mO W ) lli
^
Consequently,
f ( - ) Fn ( - ) \\U 6 || / 0 - / m 0 ll 2 -
- \\
lim ~
N + 00
Therefore, one must have ( 6.10 ) .
f
Series 203
/ ( 2/ ) e em x + e — inx
— 7T
7T
f ( v )( e — my
+ einy )dySJ cos nx 4- ( J
*
f ( y )i ( e ~ iny - einy ) dy ) sin nx
Hence
cos nx 4- 2 ( J f ( y ) sin nydy' sin nx . j
00
/ (*) =
1
27T i E=
i
+ 7T “
n l
cos nx
1 °°
+- V4 sin nx
7T
^ “
n= l
oo oo
=a ° + nX= l ] an cos nx + E
n= l
s*n nx
with
/•*
7T
1 1
a
,/ (</ ) <% an — 7T J/- pi
f ( y ) cos nydy ,
° 2 rr L 7T (6.13)
1
/ ( / ) sin nydy , n 1.
7T
— 2 7T
From the above, we can restate Theorems 6.9 and 6.10 as follows.
— —
Theorem 6.12. Let f : [ 7r , 7T ] > R , together with | / ( - )|2 be Riemann
integrable, let an , bn be defined by ( 6.13) . Then the following are true:
( i) The ParsevaTs equality holds:
oo
2na 20 + n J2 { a l + bl ) = ll / ll!- ( 6.14)
n=l
1
204 Mathematical Analysis — A Concise Introduction
oo
( ii) The Fourier series do + an cos nx + bn sin nx ) converges to / ( •)
n= l
in L2 -norm , i.e.,
N
lim
iV —> 00
|(ao + ] n= 1
^ ( an cos n • +bn sin n •
W« IL = o.
oo
+ l &nl ) < oo and / ( ) <£ C ( [ -n , 7r]; R ) , then
( iii) If
^
2 (|
=
n 1
0n|
N
•
f
lim
N —> oo
(a 0 +
n= l
an cos n • +6n sin n / OO
=o
i.e., the Fourier series converges to / ( •) uniformly.
Exercises
1. Let / : [ — 7r , 7r] -> R be continuous. Let
1 7r
i rn
GO = 727TT " f ( x )d x, ak =- f ( x ) cos fcxdx ,
1
—
' 7T
7r 7T
— 7T
bk = - / (x ) sin /cxdx, k 1.
* J -7 T
—
Let 7r < c < x < 7r . Show that
r
J /m *
= a0 ( x - c) +
OO
/ ( x) ~ do 4-
^^
k =1
dfc cos kx + bk sin kx ^j .
Series 205
Show that
°o
~ fe —^
f' ( x )
—
oo .
: r sin
^=i
7
kx
^ a /c cos + bk sin .
’S
y
\
Appendix
1 Natural Numbers
207
208 Mathematical Analysis — A Concise Introduction
• ( Reflexivity) For all n G N, n = n;
• (Symmetry) For all n , m G N, if n = m , then m = n;
• (Transitivity) For all n, m, f G N , if n = m and m = £ , then n = £ .
We now introduce the Peano Axioms for the set N.
. —
Axiom 1 A map a : N » N is defined such that for all n , ra G N,
•
Let N satisfy the above Peano Axioms, and let N = N \ {0}. We call N
the natural number set and any element in N is called a natural number.
We will denote
N = {0, 1 , 2 , - - - }, N = {1 , 2, 3, - . . }. (i.i)
The Real Number System 209
(cr ( n ) + m ) 4- 1 = cr ( n + m ) + £ = cr ( ( ^i + m ) -f ^)
•
= < ( n + ( m + ) ) = <r ( n ) + ( m + ).
j
^ ^
Hence, ( ii) follows.
(iii) Use induction on n.
The Real Number System 211
= 0+f
0+m m = £.
Thus, the statement holds for n = 0. Now , suppose that
n + m= n +l m = t. ( 1.8 )
We want to show that
a ( ri) + m = a ( n ) -f t m = l. (1.9)
By (1.3) , the left- hand side of (1.9) implies
cr ( n + m ) = cr ( n ) + m = a ( n ) + £ = a ( n + ) . ^
By Axiom 2, one must have the left- hand side of (1.8) which leads to m = t
by induction hypothesis (1.8). Conversely, if m = £ , then the left- hand side
of (1.8) holds ( by induction hypothesis) . Hence, by Axiom 1,
a( m ) = a( £ ) a( n + ra ) = <j ( n + ( ).
Consequently, by (1.3)
a( n ) + m = a ( n + m ) = a ( n + £) = cr ( n ) + £ ,
proving our claim .
From Lemma 1.2 , we also have the following interesting corollary.
Corollary 1.4. For any n £ N,
a { n ) = n + 1. ( 1.10)
—
Proof . By (1.4 ) (1.5 ) , we have
o( n ) = o( n -F 0 ) = n -f cr ( 0 ) = n + 1.
This proves our conclusion.
Because of the above corollary, from now on , we will use n + 1 instead
of o{ n) . We now introduce another binary operation on N.
( n 4- 1) x ( m + 1) = n x ( m + 1) -f ( m + 1) = ( ra x m ) + n + ( m + 1)
= ( n x m ) + m + ( n + 1) = ( n + 1) x m + ( n + 1) .
The Real Number System 213
n x ( m + ( £ + 1) ) — n x ( (m 4 £ ) + l ) = n x ( m 4- £ ) + n
-
= n x m + n x £ + n = n x m + n x ( + 1) . ^
This proves ( ii) .
(iii) Fix m , £ G N and use induction on n.
For n — 0: We need to show
(0 x m ) x £ = 0 x ( m x £ )
214 Mathematical Analysis — A Concise Introduction
which is true since both sides are zero.
Now suppose
( n x m ) x £ = n x ( m x £ ).
Then by the proved ( ii) ,
( ( n + 1) x m ) x £ = ( ( n x m ) -f m ) x £ = ( n x m ) x £ + m x £
= n x ( m x £ ) -f m x £ = ( n + 1) x ( m x £ ) .
This completes the proof.
1.3 Orders
We now look at another important feature of elements in N, which is de-
scribed by the following binary relation.
.
Proposition 1.12 Let n , m , £ G N.
( i) ( Order Preservation under Addition ) n > m if and only if n + £
ra + £.
( ii) ( Order Preservation under Multiplication ) If £ > 0, then n > m if
and only if n x t > m x £ . In particular ( taking m = 0 ) , n x £ > 0 if and
only if n , £ > 0.
( iii) ( Cancellation Property ) If £ > 0 , then n x £ = m x £ if and only if
n = m.
Proof , (i) By definition, n m if and only if
n = m + m, (1.17)
for some me N. Then , by the associativity and commutativity of addition ,
n + £ = ( m 4- fh ) + £ = ( m 4- £ ) + fh .
Hence, n + £
such that ^ m + £. Conversely, by n + £ ^ m -1- £ , there exists an fh EN
n -f £ = ( m + £ ) + m = ( m + m ) + £ •
By the cancellation property of addition (see Proposition 1.3) , ( iii) , one
obtains (1.17) , which means n m.
^
( ii) Suppose £ > 0 and n > m. Then by Lemma 1.9, ( ii)-(iii) and
Definition 1.8, £ = £ 4- 1 for some I G N , and n = m + fh for some fh G N.
Hence,
n x £ = ( m + m ) x ( £ + 1) = m x ( ft + 1) + m x { £ 4- 1)
—m x £\- - fh x £ + fh.
2.1 Integers
( p ( m ) = m Q 0, Mm G N
The Real Number System 221
then the image <p ( N ) = Zo Moreover , ( f ( m ) (/2 ( 777') if and only if m m' .
- ^
Hence, N can be identified as ZQ , a subset of Z. Because of this, hereafter , ^
we directly write
71 © 0 — -
77 VnS N. ( 2.5)
In particular , one has
(0 © 0 ) = 0, ( 1 © 0 ) = 1.
Next , we extend the addition and multiplication from N to Z.
Definition 2.4. For any ( m Q n ) , ( p Q q ) E Z, define addition and multi-
plication of them as follows:
( m © n ) -F (p © q ) = ( ra + p ) © ( n + <? ) ,
( m Q n ) x ( p Q q ) = ( m x p + n x q ) Q ( m x q + p x n ).
The following proposition is necessary before going further.
Proof . Let
m © n = m! © n' p e q = p' O q' ,
which means (777 , 77 ) ~ ( m' , nr ) and (p, q ) ~ ( p' , q' ) - Thus,
77i + n' = m' + - 77 p + q' = p’ + q .
Add the above together , we have
( m + n') + ( p + q' ) = ( m' + n ) + ( p' + q )
which is the same as
( m + p ) + (77' + q' ) = ( 777' + p' ) + ( n + q ) .
Hence
( m + p) © (n + q) = ( 777' + p') © ( 77' + q' ) .
By definition , this means
= ( 777' © n') + (p' © </ ).
( TTT, © 77) + ( p © q )
Therefore, the extended addition is well-defined on Z.
Now , for multiplication , we show the following: If
777 © 77 = m' © n',
222 Mathematical Analysis — A Concise Introduction
then for any p Q q GZ,
( m x p + n x q ) Q ( m x q + n x p)
= ( ra' x p + n' x q ) Q ( ra' x q + n' x p )
which is equivalent to
( m -f n! ) x p + ( m' + n ) x q = ( m! + n ) x p + ( m + n' ) x q .
Since ra + n' = m' + n , the above holds true which means that ( 2.6 ) holds.
Therefore, the extended multiplication is well-defined on Z.
( n © 0 ) + ( ra © 0 ) = ( n + m ) © 0, Vn , m e N.
( n © 0 ) x ( m © 0) = ( n x m ) © 0,
Hence, besides that N can be identified as the subset Zo of Z, the additions
and multiplications defined on N and Z are compatible.
The following definition gives a new feature of the integer set Z that the
set N does not have.
— ( ra © n ) = n © m,
which is called the negation of ( ra © n ) . In particular , if n = n © 0 with
n G N ( which is also called a non- negative integer from now on ) , we denote
— ( n © 0 ) = (0 © n ) = — n ,
and call it a non- positive integer. If a G Z is non- positive and is different
from 0, we call it a negative integer, denoted by a < 0. Any natural number
is called a positive integer.
The Real Number System 223
— —
a + ( a ) = ( a ) -f a = 0 ,
a x b = b x a,
( a x I)) x c = a x ( & x c) ,
axl = lxa = a ,
a x ( 6 + c) = a x f r + a x c.
a + b = ( m Q n) + ( p Q q) = (m + p) Q ( n+ q )
= ( p + m ) Q ( q + n ) = ( p Q q ) + ( m Q n ) = b + a.
The proofs of others are similar , which are left to the readers.
According to the above, we have
( 0 © 1) = 1 —
and
(-1) x n = n x (-1) = ( n © 0 ) x (0 © 1)
= ( n x 0 + 0 x 1) © (n x 1 + 0 x 0) = (0 © n) = — n.
Further , for any ra © n G Z, we have
m©n= — n) © 0 = m — n
( ra m n
^ ( 2.7)
0 © ( n — m ) = — (n — m), m < n.
Hence, the following representation holds:
Z = {. . . , -3, -2, -1, 0 , 1, 2, 3, . . }. * ( 2.8 )
We now define subtraction on Z by the following:
a - b = a + ( -b ) Va , 6 G Z,
—
and call a b the difference between a and b. Note that if a = m © n and
b = p © q for some m , n , p, # G N , then
a — 6 = ( m © n ) — ( p © <?) = (m © n) + ( q © p) = ( m + g ) © ( n + p ) .
\
224 Mathematical Analysis — A Concise Introduction
The following proposition collects some more laws for integers.
Proposition 2.8. Let a , 6, c G Z, with c 0. Then
a — b= 0
^ a = b. ( 2.9 )
—
( a ) x b = a x ( 6) — = — ( a x 6) . ( 2.10 )
a x b=0 a = 0, or 6 = 0. ( 2.11)
a x c= b x c a = b. ( 2.12 )
Proof . Let n , m , p, q G N such that
a = m © n, b = p Q q.
For ( 2.9 ) , we look at the following:
0©0 =0 = a — 6 = ( ra © n ) — (p © / ) = ( ra © n ) + ( — (p © q ) )
(
= ( m © n ) + ( q © p) = ( m + q ) © ( n + p).
This is equivalent to
m + q = n + p,
from which , one has
a = m Q n = p Q q = b.
Hence, ( 2.9 ) holds. Next , for ( 2.10) , we observe the following:
( — a ) x b = ( — ( m © n ) ) x ( p Q q ) = (n © m) x ( p G q )
—
= ( n x p -j- m x q ) Q ( m x p -i- n x q ) = ( m O n ) x ( q Q p ) = a x ( 6) .
Also we note that
-( a x 6 ) = ~ ( ( m © n ) x (p © g ) )
—
= ( ( m x p + n x q ) © (n x p + m x q ) )
= {n x p+ m x q) Q (m x p+ n x q)
= ( n © m ) x (p © ) = ( a ) x 6.
^ —
This proves ( 2.10 ) .
Now , we look at ( 2.11) . Suppose both a and b are non- zero and a x b = 0.
Then we have the following cases:
•a > 0 and b < 0. Then — b > 0 and by Proposition 1.12, together with
( 2.10 ) , one has
0 < a x ( b) = — — (a x b ) .
This implies a x 5 / 0, a contradiction.
Other two cases ( i.e., a < 0, b > 0; and a < 0 , b < 0 ) can be treated
similarly. Thus, the necessity of ( 2.11) holds. The sufficiency is obvious.
We now prove ( 2.12 ). If a x c = b x c and c / 0, then we claim that
—
a b = 0. If not , then
^
0 7 (a — b ) x c = ( a + ( — 6) ) x c = a x c + ( — b ) x c
= a x c - ( b x c ).
Hence, by ( 2.9) , a x c 6 x c, a contradiction. Consequently, a — b = 0.
^
Thus, the necessity of ( 2.12 ) holds. The sufficiency is obvious.
Note that for any a , b E N,
o. — b — CL -f ( — 6) = { CL 0 0 ) K ( 0 0 b) CL 0 b.
" “
—
Further , for any a , b G N with a 6, we have
^
a = 6 + c,
for some c G N, and
—
a b = ( b + c ) Qb = cQ 0 = c.
Because of such a compatibility, from now on , we replace © by — , for
notational simplicity.
Now , we extend the orders “ > ” and from N to Z.
Definition 2.9. Let a , b G Z. We say that a > b (or b < a ) if a — b G N,
—
and a b (or b a ) if a b G N.
^
The following proposition is concerned with the order on Z , whose proof
is left to the readers.
Proposition 2.10 . Let a , b , c G Z.
(i) ( Addition preserves order ) a > b if and only if a + c > b + c .
(ii ) ( Positive multiplication preserves order ) Let c > 0. Then a > b if
and only if a x c > b x c.
( iii) ( Negation reverses order ) a > b if and only if — a < — b.
( iv ) ( Order is transitive) If a > b and b > c , then a > c .
( v ) ( Order trichotomy) Exactly one of a > b , a < b , and a = b holds.
226 Mathematical Analysis — A Concise Introduction
To conclude this subsection , let us point out one fact: The principle of
induction does not apply to the integers. Namely, if P ( n) is a statement
pertaining to n G Z , if P( 0 ) holds and whenever P ( n ) holds, P ( n+ 1 ) holds.
This does not imply that P ( n ) holds for all n G Z. Here is a simple example:
Let P ( n ) be the following statement: “n is non- negative” . Clearly, P ( 0 )
is true and when P ( n ) holds, P { n 4- 1) holds. But , “ P ( n ) is true for all
n G Z” is not true.
—
Note that for any a , 6 G Z, both a 4 b and a b are in Z. Such a property
is described by saying that Z is closed under addition and subtraction . On
the other hand , for any a , 6 G Z, a x 6 G Z, and integer 1 has an interesting
property that
=a x l =a
lxa Va G Z.
We call 1 the unit of multiplication in Z. Now , for any positive integers a , b
with a > 6, sometimes one can find an integer c such that a = bxc. In this
case, we say that a is a multiple of b , b is a divisor of a , and a is divisible
by 6; for example a = 6, b = 2, then c = 3. But sometimes one could not
do that , for example, a = 5, b = 2, i.e., there exists no c G Z such that
5 = 2 x c. Therefore, we would like to further extend the set Z. To this
end , we introduce a relation on the set Z x ( Z \ {0}) as follows:
( a, b) ~ (c, d ) if a x d = c x b. ( 2.13)
We claim that ~ is an equivalent relation, i.e., the following hold:
Reflexivity: ( a , b ) ~ (a , 6) , since a x b = a x b.
Symmetry: ( a , b ) ~ ( c, d ) implies ( c, d ) ~ ( a , b ) since
a x d = c x b => cx b — a x d .
( a / b ) -f ( c / d ) = ( a x d -\- b x c ) / ( b x d )
( a / b ) x ( c/ d ) = ( a x c ) / ( b x d ) ,
- ( a / b ) = ( -a / b ) .
Proposition 2.12. T h e above defined operations are well-defined .
( a /1) 4- ( b / 1) — (a 4- b ) / l
( a /1) x ( b / 1 ) = (a x b) /1
— ( « /!) = (-a ) / l .
0,
and in the case b
^ ( b / b ) = (1/1) , ( 0 / 6) = ( 0 /1)
(a / 6) = (1/1) a b. —
(a / 6) = ( 0 /1) «= a=0
( a / 6) + ( 0/1) = a / 6,
( a / 6) x (0/1) = (0/1) .
Proof . It is clear that
( a /1) + { b / 1 ) = (a x l + 6 x l ) / ( l x l ) = (a 4 6) / l .
The others are similar .
Because of the above, from now on , we identify
a /1 = a , Va G Z. ( 2.14)
In particular ,
0/1 = o, 1/1 = 1. ( 2.15)
Hence, from ( 2.14) , Z becomes a subset of Q:
ZcQ. ( 2.16 )
One can check that this operation is also well-defined . Note that 0 does
not have its reciprocal.
Proposition 2.14. ( Algebraic Laws for Rationals ) Let £, 77 , £ G Q.
Then
£ + T7 = ?7 + £,
( £ + r] ) + C = £ + ( V + 0 »
£ + 0 = 0 + £ = £,
£ + (-£) = (-£) + £ = 0,
£ x 77 = 77 x
( £ X ??) x C = £ x ( 7? X 0 ,
f,
£ xl = lx
^
£ X (7? + C) = £ X 77 + X C.
If £ 7^ 0, then £ 1
^
is defined and non- zero as well. Moreover ,
£ x r‘ = r ' x £ = 1.
Proof . We prove the second equality. For £, 77 , £ G Q, let
£ = a / ^ , V = c / d , C = e / /, a , c e G Z , 6, d , / G Z \ {0}.
Then
( £ + h ) + C = ( ( a / 6 ) + ( c/ d ) ) + ( e / / )
= ( (a x d + i) X c) / ( 6 x d ) ) + (e / / )
= ( (a x d 4- 6 x c) x / -f 6 x d x e) / (6 x d x / ) ,
and
£ + ( h + C ) = (a / 6 ) + ( ( c/ d ) + ( e / / ) )
= ( a / 6) + ( (c x / + d x e ) / (d x / ) )
= (a x d x / + 6 x ( c x / + d x e ) ) / ( 6 x d x / ) .
Hence,
( + ^7 ) + C = C + ( ^7 + 0 -
The others can be proved similarly.
For notational simplicity, from now on , for any £, 77 G Q , we write
£ X T] = £ 77 = £7? ,
unless the symbol “ x ” or needs to be emphasized .
230 Mathematical Analysis — A Concise Introduction
Now , for any £ , rj G Q with
^Z/v , tv x -
rj 0 we define the quotient £ / 77 as follows:
= ( 2.17)
The above is also denoted by 77 or £— , The operation -f is called the
division. Clearly, if £ = £ Vi then *
C
£ = C + n = C /v = -v rj = c -s- e = c/e = C
.
Definition 2.15 ( i) £ G Q is positive, denoted by £ > 0, if there are
a , 6 G N such that £ = a / 6; £ G Q is negative, denoted by £ < 0 , if £ is —
positive; £ G Q is non- negative, denoted by £ 0, if £ > 0 or £ = 0; £ G Q
>
—
is non- positive, denoted by £ 0 , if £ is non-negative.
^
£ > 77 if £ — 77 > 0, and £
( ii ) Let £ , rj G Q. We say that
^ 77 if £ — 77 ^ 0.
We have the following result which is comparable with that for integers
(see Proposition 2.10 ).
.
Proposition 2.16 Let £, T/ , £ G Q. Then
( i) ( Addition preserves order ) £ > 77 if and only if £ -1- £ > 77 4- £.
(ii ) ( Positive multiplication preserves order ) Let £ > 0. Then £ > 77 if
and only if £ • £ > rj • £.
( iii) ( Negation reverses order ) £ > 77 if and only if — £ < -77.
( iv ) ( Order is transitive) If £ > 77 and 77 > £ , then £ > £.
( v ) (Trichotomy of rationals ) Exactly one of the three statements holds:
£ < 77, £ = 77, and £ > 77.
_1
(vi) If £ > 77 > 0, then 0 < £ < rj ~ l .
Proof . We only prove ( vi) , leaving the others to the readers. By £>
77 > 0, we may assume that
£ = a/ b, 77 = c/ d,
for some a , 6, c, d G N, and
0<£ — 77 = a / 6 — c/d = a / 6 + ( — c) /d
= [ad -f ( — c) 6] /6d = (ad — 6c) /6d.
The Real Number System 231
d(£ , v ) =
The following result is concerned with the absolute value and distance.
The proof is left to the readers.
.
Proposition 2.18 Let £, 77 , £ E Q. Then
( i) |£| 0 and |£| = 0 if and only if £ = 0.
( ii) |f + r?| |f | + |T?|.
(iii) For 77 0, — 77 £ 77 if and only if |£| 77. In particular ,
-|£l < £ < l£ l -
( iv ) |f \ = |f | \ r)\ . In particular, \ - f | = |f|.
• T} •
*° = i , e-
n f1
= £" £, • V n e N,
and define
rB = i /r Vn N.
232 Mathematical Analysis — A Concise Introduction
> 0.
Proof , ( i) For the first equality, we first show that £ m • £n = £m + n for all
£ 0 and ra , n E N. To this end , we let m E N be fixed and use induction
^
in n.
Forn = 0: £ m • £° = £m . 1 = £ m = £m + 0.
Suppose the conclusion holds for n. Then for n + 1, by definition and
induction hypothesis, we have
n+ l
= r -r -e = e 771 + 71 ra + n +1
n+m
£— (n + m )
£ 0 +6
£ £ 6 £ . £ — £ n £ ly/ n — £ ~ n — £ <*+6
0
>
771 71 771
— <
7i #
^
77l
The case ra n can be treated similarly. Hence, the first equality holds.
For the second equality, first let a E Z and b = n E N (still let £ 0 ).
Then we use induction on n. The case n = 0 is trivial. Suppose the equality ^
holds for n. Then for n + 1, we have, making use of the first equality,
(£0 ) 71+1
_ (£ ) 0 71 e
(£0 ) —£ an . £a _£ +0
071
_£ ( O TI +1)
This proves the third equality for the case that a = n G N. Next , let a = n —
with n G N. Then by what we have proved
K v ) ~n = i / (
• • »? ) n = i / (r •
vn ) = i /r w = rn rn -
• ?
The proofs of the rest of the conclusions are left to the readers.
Next , we look at an interesting issue of rational numbers.
Proposition 2.21. (i) (Interspersing integers by rationals ) For any £ G Q ,
there exists a unique integer , denoted by [£] such that [£] £ < [£] + 1.
(ii) (Interspersing of rationals by rationals) If £ , r) G Q with £ < rj . Then
there exists a £ G Q such that £ < £ < rj .
q = r 4- k .
234 Mathematical Analysis — A Concise Introduction
Hence
n -f k = mq -f r + k = ( m + l ) p.
This gives
m + 1 = ( n + fc ) / p = n / p + /t / (z > n / <7 =£ m.
Now , if £ < 0, then — £ > 0. Hence, from the above, we have some m G N
such that
m —£ < m + 1.
Consequently,
— ( m + 1) < £ — m.
Hence , we can always find a p G Z such that
< P + 1.
Now , suppose there exists another ( different ) p G Z such that
P < £ < P + 1.
Without loss of generality, let p < p. Then p + 1 p. Consequently,
e = e / 2 + e / 2 < e / 2 + p/ 2 < p/ 2 + p / 2 = p .
Clearly, for £ = e / 2 + p / 2 G Q, we have £ < £ < p.
Fix a point , label it 0 and call it the origin. Pick a unit length. For each
n G N , find a point on the line L , label it n , which is on the right of the
origin with the distance of n units from the origin. Also, find a point , label
—
it n , which is on the left of the origin with the distance of n units from
the origin. Then Z is labeled on L . For any rational number of form m / n
with m G N , n G N , by Euclidean algorithm , we have
m = nq + r, 0 r<n q e N.
We mark m / n on the line L as follows: equally divide the line segment of
L between the points q and q -P 1 into n parts with the partition points:
q = Co < £L < £2 < * * * < £n = q + 1-
Then mark m / n at £r . For negative rational numbers , we can do the similar
thing. As a result , we see that
N c Z c Q C L, ( 2.19 )
We call the points on L corresponding to those in N , Z , and Q the natu-
ral number, the integer, and the rational number points, respectively. By
Proposition 2.21 , Q is dense in L , in the sense that between every two
rational number points , there exists a rational number point . A natural
question is: Do rational numbers occupy the whole line L? Equivalently, is
the following true:
Q = L?
The following result answers the question negatively.
.
Proposition 2.22 There does not exist a rational number £ e Q for which
£2 = 2. This means that the side length of a square with area 2 is not a
rational number .
Proof . Suppose there exists a rational number £ = p / q with p, q G N ,
q 7 0, and they are co - prime , i.e. , the greatest common divisor of p and q
^
is 1, such that
2 = £2 = P7?2 -
This implies
2 q 2 = p2 .
Since p and q are co-prime, the above tells us that p is divisible by 2. Hence,
we may write p = 2p. Then the above leads to
q2 = 2P2 .
236 Mathematical Analysis — A Concise Introduction
Similar to the above argument , we must have that q is divisible by 2. Hence,
both p and q are divisible by 2 , contradicting our assumption.
The above result shows that L \Q 0. We call any x L \ Q an
irrational point. ^ G
3 Real Numbers
We have seen that although the set Q of rational numbers is closed under
addition , subtraction , multiplication , and division , there is still a big unsat-
isfactory point: Q L In another word , there are ( a lot of ) points on the
^
line L that are not rational points. Therefore, we want to further extend
the set Q of rational numbers.
^°
Definition 3.2. ( i) A sequence {£n}n i £ ( Q) is said to be bounded if
there exists a rational number M > 0 such that ^
|£ | < M, Vn 0.
n
^
The set of all bounded sequences of rational numbers is denoted by
^°° (Q).
(ii ) A sequence {£n}n i ° (Q) is said to be Cauchy if for any rational
^ ^
number e > 0, there exists a n i V e N such that
V j, k > N.
The set of all Cauchy sequences of rational numbers is denoted by c(Q ) .
( iii) Two sequences { £n }n 1, {Vn }n 1 ° ( Q ) are said to be equivalent,
denoted by {£n}n > 1 ~ ^ ^ ^
{ Vn }n i , if for any rational number e > 0, there
exists an N G N such that ^
| Vn| Vn N.
^£ >
The Real Number System 237
The following result is basic for the sequences of rational numbers, whose
proof is left to the readers.
Proposition 3.3. ( i ) Every Cauchy sequence is hounded .
( ii) { £n }nzu {nn }n> i G f ° ( Q) are equivalent , then {£nW 1 G C( Q)
If
and only if { r]n }n i G c ( Q) .
^
( iii) Let 1, {r?n }n i G c ( Q ) . Then
^
{£n b ^7n }n l {£n ’ ?7n}n l G c( Q) .
^ ^
"
?
Then
{£n}n l
^ ~ {f ?n}n l ~ ^ *
n
c ( Q) |\j]n }n
| {£„}> i
^ 1 ~ {£n }n ^ l
j
c( <Q> ) .
^ *
Q C R. (3- 1)
Any element in R \ Q is called an irrational number.
238 Mathematical Analysis — A Concise Introduction
It is clearly that
{£n }n
^ ~ l 1 lim £n = lim rjn .
Hence, we may identify lim £n with any { r)n}n i which is equivalent to
^
{£n}n i - In particular , lim £n is identified with the sequence {£n }n i We
^
have the following basic result of reflexivity, symmetry, and transitivity for ^-
the real numbers with respect to the equality.
x —x \
x= y y = x;
x = y, y = z x = z.
Proof . Let us prove the transitivity. Let
Thus, {Cn }n
^ ~ {Cn}n ^ , which means x = z.
i i
The above actually shows that the real numbers are well-defined. We
now introduce algebraic operations on R.
.
Definition 3.6 For any x , y G R with
x = lim £n , y = limr7n ,
for some {Cn }n i 5 { n}n £ c( Q) , define addition, multiplication and
negation as follows: ^ ^ ^ i
x+y = lim (fn + r/n ) , x • y = lim (fn • 77^ ) , -x = lim (-£n ) . ( 3.2 )
In addition , if {£n}n i is bounded away from zero, we say that x is non-zero,
^
denoted by x 0, and define the reciprocal of x by
^ (3.3)
The Real Number System 239
Proposition 3.7. All the algebraic laws hold for real numbers.
.
Definition 3.8 ( i) A sequence {£n}n i £ ° (Q) is said to be positively
^
^
bounded away from zero if there exists a positive rational number 5 > 0
and an N e N such that
Vn N.
y x < y,
min ( x, y ) = <
x
^
x< y .
It is interesting that the following hold:
x + y + \ x — y\
m a x( x , y ) =
2 Vx , y G R.
x + y - \ x - y|
min ( x , y ) =
2
240 Mathematical Analysis — A Concise Introduction
.
Lemma 3.9 Let {Cn}n
^ , {Vn }n^ i
1 c ( Q ) such that for some N G N ,
Cn Vn N.
Then
^ Tjn
then
Cn > 0, \/ n
^ N,
lim Cn 0.
Proof . We prove the second conclusion. The first can be obtained from
considering Cn - rjn .
Suppose x = lim Cn < 0. Then by definition , there exists a positive
rational number 5 and a sequence {Cn}n i such that
^
x = limCn , < S , Vn ^ 1.
Cn
i , for £ = 5 / 2 , there exists an N
Since {Cn}n
^ ~ {Cn}n ^
i N such that
Cn | < £ = 5 / 2 ,
This implies
|Cn ~ \/n
^ N.
Cn < Cn + £
a contradiction.
^ — 5 + 5 / 2 — — 5 / 2 < 0,
( Vn >N
n 1.
This implies that
1 1
> 0.
x
Now, let x > y > 0. Then we have sequences {£n}n
= lim
^ { yn }n c( Q)
such that for some rational numbers M, 5 > 0 , one has ^i >
^i
^ ^
Hence, for some N N,
niRn
^ G
Rn
^^ 5 Vn
^ 1.
> Vn + S / 2 6, Vn TV.
Consequently,
1
£n 1 < (% + V2) 1
< 1
Vn iV.
Hence
M " 1
( y + 5/ 2 )-1 < y-1.
This proves ( vi ) .
We now extend the exponentiation from Q to R.
Lemma 3.12. Let x = lim £n G R \ {0} with {£n}n > l c(Q) , which is
away from zero. Then for any G G Z, {£n}n i c(Q) and
^
x° = lim £“ .
Proof . First , we let a = m G N and use induction on m. For m = 0 , it
is trivial. Suppose the conclusion holds for m. Then for m + 1 we
m +1
= X m • x = lim (C ) • lim (£n ) = lim (C • Cn ) = Hm (C+1)
£
—
Now , for a = m with me Z, we have
( iii ) For n G N,
x>y>0 xn > yn > 0, y ~ n > x ~ n > 0.
Proof . Let us prove the first equality in ( i) to get the flavor. Other
proofs are left to the readers. Let {£n}n i £ c( Q) such that
^
x = lim £n .
Then by Proposition 2.20 , we know that
Sn > n
_
pa ’ Spb _ pa -\- b
#
Sn
xa - x b = lim (£ )
proving our conclusion.
• lim (
^ ) = lim(£ £ ) = lim(£“+ b) = x“+ b
The Real Number System 243
( ii) ( Archimedean property) For any real numbers x , e > 0, there exists
a natural number N such that Ne > x .
( iii) ( Density of rational numbers ) For any real numbers x < y , there
exists a rational number q such that x < q < y .
Proof , ( i) Let x > 0. There exists a sequence {£n }n c(Q) such that
^ i
= limfn .
x
Since Cauchy sequence is bounded , we can find rational numbers q , r and
a natural number N such that
0<q Vn N.
^ ^
Then , by Proposition 2.21, we have
[q] <Q r < [r ] + 1.
Hence
[q] < x < [r ] + 1.
Now , comparing [ q ] + 1 with x, there are two possibilities:
[q ] + 1 > or [ q\ + 1 x.
,
If the former holds, then we take [ x ] = [ q\ if the latter holds, we further
compare [ q ] + 2 with x . Since [r ] G N , finitely many comparisons will give
us an integer p such that
p x < p -f 1.
Clearly, such a p is unique. Hence, we call p = [x].
The case x < 0 can be treated similarly.
244 Mathematical Analysis — A Concise Introduction
( ii) Since x / e > 0 is a given a real number , there exists a natural number
N such that
x / e < N.
Then
x < Ne .
( iii) Since y - x > 0, there exist sequences {£n}n { r]n }n £ c (Q )
such that ^ i?
^i
x = lim £n , y = lim rjn ,
and for some positive rational number 5 > 0 ,
1.
Then
Tin
^5 < ? Vn
TJn .
Also, since both {£n}n
^and 4{ r5/}4 <
"
}n n i
T )n
^ 5/ 4
are Cauchy, we may assume that
^ i
^ N.
\ n ~
N \ AVU ~
VN \ < <5 / 4, Vn
Hence
< + S/4 - 6 + <5 / 4 < r)n + 5/ 4 - 5 + 5/ 4 = rjn - (5 / 2 < r/n .
Therefore,
N
^ rjN
T + )) £ VN -
2
£N
4’
.
Definition 3.15 ( i) Let E Cl . An M G R is called an ?/pper hound for
£7 if
x Af , V X G E.
When such an M exists, £7 is said to be bounded from above. If no such an
MG R exists, E is said to be unbounded from above.
R. A real number M is called a least upper bound of E if
( ii) Let E C
M is an upper bound of E and for any upper bound M' of E, it holds:
M M'.
The Real Number System 245
M2 ,
Hence, Mi
Mi M2
^ Mi .
= M2 .
( ii) Without loss of generality, we may assume that there exists an
#o E such that xo > 0. In fact , take any xo £ E and define
EQ = {x + |x0| + 1 | x G E }.
If we can find a least upper bound so of Eo , then E has a least upper bound
s given by the following:
s= so - |x01 - 1.
We now fix an xo G E with xo > 0. Let M xo > 0 be an upper bound
^
^
of E . For any n G N such that n > n = [ ] + 1, one has
mn > ( mn' - 1) 5
mn > mn - 1
>
n n ' n ' n
since the left-hand sides are upper bounds of E and the right- hand sides
are not . Thus
mn mn > > 1 1
•
n n' n' N>
and
mn mn> < -
1 1
n n' n N'
Hence, { mn / n }n is Cauchy. Let
^n
s = rlim = vlim
mn - 1
n n
We claim that s is the least upper bound of E . In fact , since for any x G E,
mn
x
^ —n Vn n.
This leads to
.rlim mn
x
^ n = s.
On the other hand , since [s not an upper bound of E , for any upper 1
s = lim
mn - - < M\
n
This shows that s is the least upper bound of E .
The Real Number System 247
Because of the above result , we hereafter denote the least upper bound
of E by sup(.E ) , call it the supremum of E . If E has no upper bound , we
let
sup ( -E ) = 4- oo ,
and in the case E = 0 , we define
—
sup (.E ) = oo ,
since any M e R is an upper bound of 0.
Now , we are ready to prove the following proposition.
Proposition 3.18 . There exists a positive x e R such that x 2 = 2.
Proof . Let
E = { y e R | y 0 , y 2 < 2}.
Since 0 e E , E 0 . Also, if y > 2 , one has
^ y 2 > 4 > 2.
Hence, 2 is an upper bound of E . Now , let
x = sup ( E ) e M.
We claim that x 2 = 2. In fact , suppose x2 < 2. Let 0 < e < 1 be small.
Then ( note that 2 is an upper bound of E , x 2 )
( x 4- e ) 2 = x 2 + 2 sx 4- s2 x 2 4- 4e 4- e x2 4- 5e.
Thus, by choosing e > 0 small, we have
( x 4- e ) 2 < 2.
Hence, x 4- £ E , contradicting the definition of x .
Now , suppose x 2 > 2. Then again let 0 < e < 1 be small. We have
— — —
( x s ) 2 x2 2ex 4- e 2 x2 — 2e:r x 2 4e , —
since x 2. Hence, by choosing e > 0 small, we will have
^ —
( x e )2 > 2 .
—
—
But then , x e is an upper bound of E (since if there exists any e E such
—
that x £ y , then ( x e ) 2 < y 2 < 2 , a contradiction ) . This contradicts
the definition of x again. Hence, x 2 = 2 .
The following result is useful.
Theorem 3.19. Let E C R have an upper bound , and be R . Then
b = sup ( -E ) if and only if
x b, Vx e E ( 3.6)
and for any e > 0, there exists an x e E such that
x > b — £. ( 3.7)
248 Mathematical Analysis — A Concise Introduction
Proof . Sufficiency. Let M = sup( E ) . By our assumption, b is an upper
bound of E , we must have
M
b
Next , for any £
^
> 0, since there exists an x
.
k =1
fc!( n — fc)! )
{ y - e )n = yn + £
n\ k - l y n- k _
Hence, y — e £ En ( x ) . This leads to
^
fe=i
( -l ) k
—
fc!( n fc )!
£ >x
y-£ sup ( En ( x ) ) = X =y
a contradiction again. Hence, yn = x .
Conversely, if yn = x, then En ( x ) which implies
yG
y sup ( En { x ) ) = X " .
On the other hand , for any z G En ( x ) ,
zn x= yn .
By Proposition 3.13, ( iii) , we must have z y . This means that y is an
upper bound of En ( x ) . Hence,
Hence, y
x
i
-. = sup ( En ( x ) ) y.
*
x = (a? )n > ( yi )n = y -
Conversely, let x > y . Thus ,
En{ y ) = { z K|z 0, y} C En { x ) .
The Real Number System 251
We claim that the strict inequality holds in the above. If not , then yi = Xn
i
Therefore
a
2/ = x
^ = xb .
= a/ar' =
^
(* )°'
—
y ao'
—
Case 3. a < 0. Then ( a ) / b = ( a' ) / b' . Since
= (2/°' )° =
^ )a.
r
\
252 Mathematical Analysis — A Concise Introduction
^
We have defined x for any x G R , x > 0 and any £ G Q. We now would
like to define xy for any x , y e R , x > 0. Let us begin with the following
lemma.
Lemma 3.28. Let x, y E R with x > 0 , and y = lim 77n with { rjn }n i e
c( Q) . Then {x^ jn i c( R ) . Furthermore , if { ( n }n>i then ~ ^
^ ^
{ x jn i c( R ) and ^
— ^ —> oo x .
= nlim
lim x n 77
n t oo
Consequently, by assuming,
\V n
, we have
~
Vm \ <
^
: Vn , m
^ N.
^ rjn rjm
Hence, { xVn }
^ =x | X ^
^ ^
1 | xM | x — 1| <
Vm. X »M
n i
^
Next , suppose « } > ~ {Vn } > - Let rn = - £ . Then rn -> 0. rjn
n n i n l n
We claim that
— xrn = 1.
lim
n > oo
( 3.8)
The Real Number System 253
lim pn
—
n too
— p, lim
n-> oo
—pn = —p .
254 Mathematical Analysis — A Concise Introduction
Consequently,
xp = lim xPn , 2/
p
= nlim yPn
—
n > oo — foo
It is known that
X
—> oo x ,
= nlim ^ y = nlim
—
> oo
— yPn = yp.
xp = lim xPn
n —too ^ limn too
We claim that
xp > yp . ( 3.10 )
If not , i.e., xp = yp , then
x — —
xp
£
— n —> oo yp ) = y ,
= nlim
oo
1
lim ( xp ) p n(
•
1
Pn
contradicts x > y . Hence, ( 3.10 ) holds. The other direction can be proved
in the same way.
( v ) Let x > 1. We only prove the case that xp > 1 if and only if p > 0
(i.e. , 9 = 0 ) . If p > 0 , we can find pn , 5 e Q such that
p = lim pn , Pn S > 0, Vn 1.
—
n » oo ^
Then
xp = lim o?Pn x5 > 1.
5n —
KX
Hence, by taking
1 1
Vk = ~ T, Cfc = +£ k 1
we see that {%} is increasing and { ( k } is decreasing. Further
lim
—
k >oo
= klim
rjk
—>oo £n = x.
—t oo ( k = nlim
Thus, it is easy to see that {r?n } ~ {£n } ~ { ( n }. Now , r]k , ( k E <Q> are
well- marked on L and
2
Cfc - Vk = -> o.
^
Hence, there exists a unique point on L, denoted by x , such that
Vi < m < •• < •
Rk < x < ( k < • • < C2 < Ci >
* Vfc 1.
Then we naturally identify the point x E L with the real number x E R.
This shows that RCL On the other hand , any point on L must be a limit
point of a rational sequence. Therefore, by the property that R is closed
under limit process, we obtain that L C R. Hence, in such a way, we finally
obtain
NCNcZcQcR = L. ( 3.11)
The equality R = L explains the completeness of the real number set R
perfectly: The horizonal straight line L is exactly covered by R.
256 Mathematical Analysis — A Concise Introduction
4 Complex Numbers
Before concluding this appendix of the real number system , let us ask the
following question: Is the real number system R perfect ? To answer this
question , we look at the following equation:
2
X + 1 = 0. ( 4.1)
We could just say the equation does not have a root in R . Therefore, we
encounter an equation of second order that does not have ( real ) solutions.
Recall the procedure of developing R from N to Z , then to Q and finally to
R , we could ask if it is possible to further extend R . This can be done by
introduce the root i of equation ( 4.1) . Thus, i is a symbol that satisfies
i 2 = -l .
Then we introduce the following set:
C = { a + bi a , be R }.
\
any element a -f bi e C is call a complex number, with a and bi called the
real part and the imaginary part, respectively. Also, we define the conjugate
of ( a + bi ) by
a + bi = a bi —
and the modulus
/
|a + bi \ = \ a2 4- b2 .
On C, we introduce the following operations , which are extensions of the
corresponding ones from R :
• Addition: ( a -f bi ) 4- ( c 4- di ) = ( a + c) 4- ( b + d )i .
—
•Subtraction: ( a -f bi ) — (c + di ) = ( a — c ) 4- ( b d )i .
• Multiplication: ( a 4 bi ) (c 4- di ) = ( ac — bd ) + ( be + ad )i.
- •
( a -f bi ) ( c — di )
•Division: c +
a bi
if c2 + d 2 > 0.
+ di c2 + d 2
Further , it is possible to define exponentiation . We omit that here. To
conclude, we state the following theorem called the fundamental theorem
of algebra whose proof will not be presented here.
Theorem 4.1. Every non-constant single-variable polynomial with com-
plex coefficients has at least one complex root . Consequently, every such a
polynomial of degree n has exactly n complex roots, counting multiplicity.
From this result , we see that the set C is algebraically closed , which is
perfect!
Bibliography
257
258 Mathematical Analysis — A Concise Introduction
[15] A. E. Taylor and W. R. Mann , Advanced Calculus, 3rd Edition , John Wiley
& Sons , New York , 1983.
[16] J . K . Truss, Foundations of Mathematical Analysis, Clarendon Press-Oxford,
1997.
If
/
Index
259
260 Mathematical Analysis — A Concise Introduction