MAT501 Real Analysis
MAT501 Real Analysis
SCHOOL OF SCIENCES
(FORMERLY SCHOOL OF ARCHITECTURE, SCIENCE & TECHNOLOGY)
MAT501
REAL ANALYSIS
(4 Credits)
Semester - I
Email: [email protected]
Website: www.ycmou.ac.in
Phone: +91-253-2231473
Yashwantrao Chavan S25011
Maharashtra Open University Real Analysis
Brief Contents
Vice Chancellor’s Message iii
Credit 01 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Unit 01-01: Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Unit 01-02: Open and Closed Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Unit 01-03: Sequences in Metric Spaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Unit 01-04: Continuity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Credit 02 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Unit 02-01: Connected Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Unit 02-02: Complete Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Unit 02-03: Totally bounded subsets of metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Unit 02-04: Compact Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Credit 03 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Unit 03-01: Riemann Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Unit 03-02: Necessary and Sufficient Conditions for Riemann Integrability . . . . . . 94
Unit 03-03: Properties of Riemann Integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Unit 03-04: Mean Value Theorems and Fundamental Theorems of Calculus . . . . . 115
Credit 04 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Unit 04-01: Convergence and Uniform Convergence of Sequence of Functions . . . 126
Unit 04-02: Properties of functions preserved under uniform convergence . . . . . . . 138
Unit 04-03: Convergence and Uniform Convergence of Series of Functions . . . . . . . 150
Unit 04-04: Power Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
Development Team
This SLM Book V130: M.Sc. (Mathematics) {2021 Pattern}, dtd. 19/03/2021
used in V151: M.Sc. (Mathematics) {2023 Pattern}, dtd. 31/08/2023
VICE CHANCELLOR’S MESSAGE
Dear Students, Greetings!!!
I offer cordial welcome to all of you for the Master’s degree programme of Yash-
wantrao Chavan Maharashtra Open University. As a post graduate student, you must
have autonomy to learn, have information and knowledge regarding different dimensions
in the field of Mathematics and at the same time intellectual development is necessary
for application of knowledge wisely. The process of learning includes appropriate think-
ing, understanding important points, describing these points on the basis of experience
and observation, explaining them to others by speaking or writing about them. The
science of education today accepts the principle that it is possible to achieve excellence
and knowledge in this regard.
The syllabus of this course has been structured in this book in such a way, to give you
autonomy to study easily without stirring from home. During the counseling sessions,
scheduled at your respective study center, all your doubts will be clarified about the course
and you will get guidance from some qualified and experienced counselors / professors.
This guidance will not only be based on lectures, but it will also include various techniques
such as question-answers, doubt clarification. We expect your active participation in the
contact sessions at the study center. Our emphasis is on ‘self study’. If a student learns
how to study, he will become independent in learning throughout life. This course book
has been written with the objective of helping in self-study and giving you autonomy to
learn at your convenience.
During this academic year, you have to give assignments, complete laboratory ac-
tivities, field visits and the Project work wherever required. You may have to opt for
specialization as per programme structure. You will get experience and joy in personally
doing above activities. This will enable you to assess your own progress and there by
achieve a larger educational objective.
We wish that you will enjoy the courses of Yashwantrao Chavan Maharashtra Open
University, emerge successful and very soon become a knowledgeable and honorable Mas-
ters degree holder of this university. I congratulate “Development Team” for the devel-
opment of this excellent high quality “Self- Learning Material (SLM)” for the students. I
hope and believe that this SLM will be immensely useful for all students of this program.
Best Wishes!
This book aims at acquainting the students with advance Mathematics required at
post graduate degree level.
The book has been specially designed for Science students. It has a comprehensive
coverage of Mathematical concepts and its application in practical life. The book contains
numerous mathematical examples to build understanding and skills.
The book is written with self- instructional format. Each chapter is prepared with
articulated structure to make the contents not only easy to understand but also interesting
to learn.
Each chapter begins with learning objectives which are stated using Action Verbs as
per the Bloom’s Taxonomy. Each Unit is started with introduction to arouse or stimulate
curiosity of learner about the content/ topic. Thereafter the unit contains explanation of
concepts supported by tables, figures, exhibits and solved illustrations wherever necessary
for better effectiveness and understanding. This book is written in simple language, using
spoken style and short sentences. Topics of each unit of the book presents from simple
to complex in logical sequence. This book is appropriate for low achiever students with
lower intellectual capacity and covers the syllabus of the course.
Exercises given in the chapter include MCQs, conceptual questions and practical
questions so as to create a ladder in the minds of students to grasp each and every aspect
of a particular concept. I thank the students who have been a constant motivation for
us. I am grateful to the writers, editors and the School faculty associated in this SLM
development of the Programme.
v
CREDIT 01
1
Unit 01-01: Metric Spaces
Learning Objectives:
After successful completion of this unit, you will be able to
Introduction: In this unit, we shall abstract the concept of distance and generalise it
to the metric. The metric structure will be defined with suitable examples. The different
metrics can be defined on Rn .
Problem 1.1.2 < R, d > where R is set of real numbers and the function d : R × R → R
is defined as d(x, y) = |x − y|. This distance function is called Euclidean or usual metric
on R.
Problem 1.1.3 < R2 , d > where R is set of real numbers and the function d : R2 ×R2 → R
p
is defined as d((x1 , y1 ), (x2 , y2 )) = (x2 − x1 )2 + (y2 − y1 )2 . It is the Euclidean metric
on R2 .
Problem 1.1.4 < C, d > where C is set of complex numbers and the function d : C×C →
R is defined as d(z1 , z2 ) = |z1 − z2 |.
Some basic properties of complex numbers are given below. Here z,z1 and z2 are complex
numbers.
p
i. |z| = x2 + y 2 . Here z = x + iy and x, y ∈ R.
ii. zz = |z|2
iii. (z1 + z2 ) = z1 + z2
v. z = z
viii. z + z = 2Re(z)
ix. z − z = 2iIm(z)
x. |z| = |z|
Definition 1.1.5 Let L be a linear space (Vector space) over R or C. The elements of
L are vectors and the elements of R or C are scalars. A function ∥ · ∥: L → R is called
norm on L if
i. ∥ x ∥≥ 0 for every x ∈ L
ii. ∥ x ∥= 0 ⇐⇒ x = 0
⇐⇒ ∥ x − y ∥ = 0
⇐⇒ x−y =0
⇐⇒ x=y
=∥ (−1)(y − x) ∥
= | − 1| ∥ (y − x) ∥
=∥ (y − x) ∥
= d(y, x)
iv)
d(x, y) =∥ x − y ∥
=∥ x − z + z − y ∥
≤∥ x − z ∥ + ∥ z − y ∥
= d(x, z) + d(z, y)
Three standard metrics on Rn : Let x = (x1 , x2 , x3 , · · · , xn ) and y = (y1 , y2 , y3 , · · · , yn ); in Rn
a) Euclidean metric:
d(x, y) =∥ x − y ∥
=∥ (x1 − y1 , x2 − y2 , · · · , xn − yn ) ∥
p
= (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2
b) Sum metric:
d(x, y) = |x1 − y1 | + |x2 − y2 | + · · · + |xn − yn |
c) Sup metric:
d(x, y) = max{|x1 − y1 |, |x2 − y2 |, · · · , |xn − yn |}
We verify that each of these functions is a metric on Rn .
a) Euclidean metric on Rn
Let x = (x1 , x2 , x3 , · · · , xn , y = (y1 , y2 , y3 , · · · , yn ) and z = (z1 , z2 , z3 , · · · , zn ) be in Rn .
p
i) d(x, y) = (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2 ≥ 0
ii)
d(x, y) = 0
p
⇐⇒ (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2 = 0
⇐⇒ x1 − y1 = x2 − y2 = · · · = xn − yn = 0
⇐⇒ x1 = y1 , x2 = y2 , . . . , xn = yn
⇐⇒ x = y
iii)
p
d(x, y) = (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2
= d(y, x)
iv) We shall use the following inequalities for two n tuples in Rn . (a1 , a2 , . . . , an ) and
(b1 , b2 , . . . , bn ) in Rn
n n n
X X 2 1/2 X 2 1/2
|ai bi | ≤ |ai | · |bi | . . . (∗)
i=1 i=1 i=1
Consider
2
d(x, y) = (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2
n
X
= (xi − yi )2
i=1
n
X
= |xi − yi |2
i=1
n
2
X
= (xi − zi ) + (zi − yi )
i=1
n
X 2
≤ |xi − zi | + |zi − yi |
i=1
Xn h i
2 2
= |xi − zi | + 2 (xi − zi ) · (zi − yi ) + |zi − yi |
i=1
Xn n
X n
X
2
= |xi − zi | + 2 (xi − zi ) · |(zi − yi )| + |zi − yi |2
i=1 i=1 i=1
1/2 1/2
n
X Xn Xn n
X
2 2 2
≤ |xi − zi | + 2 |xi − zi | |zi − yi | + |zi − yi |2 ( by (∗))
i=1 i=1 i=1 i=1
1/2 1/2 2
n n
X X
≤ |xi − zi |2 + |zi − yi |2
i=1 i=1
2
= d(x, z) + d(z, y)
So
2 2
d(x, y) ≤ d(x, z) + d(z, y)
Taking the non negative square root of both sides,
d(x, y) ≤ d(x, z) + d(z, y)
b) Sum metric on Rn :
Let x = (x1 , x2 , x3 , · · · , xn ), y = (y1 , y2 , y3 , · · · , yn ) and z = (z1 , z2 , z3 , · · · , zn ) be in Rn
i) d(x, y) = |x1 − y1 | + |x2 − y2 | + · · · + |xn − yn | ≥ 0
ii)
d(x, y) = 0
⇐⇒ x1 = y1 , x2 = y2 , . . . , xn = yn
⇐⇒ x = y
iii)
d(x, y) = |x1 − y1 | + |x2 − y2 | + · · · + |xn − yn |
= d(y, x)
iv)
d(x, y) = |x1 − y1 | + |x2 − y2 | + · · · + |xn − zn |
= d(x, z) + d(z, y)
c) Sup metric on Rn :
Let x = (x1 , x2 , x3 , · · · , xn ), y = (y1 , y2 , y3 , · · · , yn ) and z = (z1 , z2 , z3 , · · · , zn ) be in Rn .
i)
d(x, y) = max{|x1 − y1 |, |x2 − y2 |, · · · , |xn − yn |}
≥ |x1 − y1 |
≥0
ii)
d(x, y) = 0
⇐⇒ x1 = y1 , x2 = y2 , . . . , xn = yn
⇐⇒ x = y
iii)
d(x, y) = max{|x1 − y1 |, |x2 − y2 |, . . . , |xn − yn |}
= d(y, x)
= d(x, z) + d(y, z)
Problem 1.1.7 (Discrete metric space)Let X be any set. The discrete metric d on
X is defined as
0 if x = y
d(x, y) =
1 if x ̸= y
We verify that d is a metric on X. Let x, y, z ∈ X.
i) d(x, y) = 0 or d(x, y) = 1. Hence d(x, y) ≥ 0 for all x, y ∈ X.
ii) By definition of d, d(x, y) = 0 if and only if x = y.
iii) We consider the following cases.
I Case: x = y.
In this case d(x, y) = 0 = d(y, x).
II Case: x ̸= y.
In this case d(x, y) = 1 = d(y, x).
Thus d(x, y) = d(y, x) in all cases.
iv) If x = y then clearly d(x, y) = 0 ≤ d(x, z) + d(z, y). Let x ̸= y. Then d(x, y) = 1. We
consider the following cases.
I Case: x = z and z ̸= y.
In this case
d(x, z) + d(z, y) = 0 + 1 = 1 = d(x, y)
II Case: x ̸= z and z = y.
In this case
d(x, z) + d(z, y) = 1 + 0 = 1 = d(x, y)
III Case: x ̸= z and z ̸= y.
In this case,
d(x, z) + d(z, y) = 1 + 1 = 2 ≥ 1 = d(x, y)
Thus d(x, y) ≤ d(x, z) + d(z, y) in all possibilities.
Theorem 1.1.8 Let f be continuous real valued function defined on closed and bounded
R1
interval [0, 1] with f (t) ≥ 0 for all t ∈ [0, 1]. Then f (x) dx = 0 if and only if f (t) = 0
0
for every t ∈ [0, 1].
0
Solution: C [0, 1] = {f |f : [0, 1] → R is continuous}
Let f, g and h be in C [0, 1] .
i)
12
Z1
2
d(f, g) = f (t) − g(t) dt ≥ 0
0
ii)
d(f, g) = 0
21
Z1
2
⇐⇒ f (t) − g(t) dt = 0
Z1
2
⇐⇒ f (t) − g(t) dt = 0
0
2
⇐⇒ f (t) − g(t) = 0 for every t ∈ [0, 1]
⇐⇒ f = g
iii) Consider
12
Z1
2
d(f, g) = f (t) − g(t) dt
0
12
Z1
2
= g(t) − f (t) dt
= d(g, f )
iv)We shall use Cauchy Schwartz inequality
21 12
Z1 Z1 Z1
2 2
f (t) · g(t) dt ≤ f (t) dx · g(t) dx
0 0 0
Consider
d(f, g)
21
Z1
2
= f (t) − g(t) dt
0
12
Z1
2
= f (t) − h(t) + h(t) − g(t) dt
0
12
Z1 Z1 Z1
2 2
= f (t) − h(t) dt + 2 (f (t) − h(t)) · (h(t) − g(t)) dt + h(t) − g(t) dt
0 0 0
12
12 21
Z1 Z1 Z1 Z1
2 2 2 2
≤ f (t) − h(t) dt + 2 f (t) − h(t) dx · h(t) − g(t) dx + h(t) − g(t) dt
0 0 0 0
21 12
Z1 Z1
2 2
≤ f (t) − h(t) dt + h(t) − g(t) dt
0 0
= d(f, h) + d(h, g)
= {y ∈ R : |y − x| < r}
= {y ∈ R : −r < y − x < r}
= {y ∈ R : x − r < y < x + r}
= (x − r, x + r)
Problem 1.1.12 Show that every open interval in usual metric space R is an open ball
in R.
a+b b−a
Solution: Let (a, b) be an open interval in R. Take x = 2
and r = 2
. We claim
that B(x, r) = (a, b).
Consider
B(x, r) = {y ∈ R : d(y, x) < r}
= {y ∈ R : |y − x| < r}
= {y ∈ R : −r < y − x < r}
= {y ∈ R : x − r < y < x + r}
a+b b−a a+b b−a
= {y ∈ R : − <y< + }
2 2 2 2
= {y ∈ R : a < y < b}
= (a, b)
Problem 1.1.14 Describe the following open balls in discrete metric space X.
i) B(x, 12 )
ii) B(x, 43 )
iii) B(x, 1)
iv) B(x, 3)
i)
1 1
B x, = {y ∈ X : d(y, x) < }
2 2
= {y ∈ X : d(x, y) = 0}
= {y ∈ X : y = x}
= {x}
ii)
3 3
B x, = {y ∈ X : d(y, x) < }
4 4
= {y ∈ X : d(x, y) = 0}
= {y ∈ X : y = x}
= {x}
iii)
B(x, 1) = {y ∈ X : d(y, x) < 1}
= {y ∈ X : d(y, x) = 0}
= {y ∈ X : y = x}
= {x}
iv)
B(x, 3) = {y ∈ X : d(y, x) < 3}
= {y ∈ X : d(y, x) = 1 or d(y, x) = 0}
v)
B(x, r) = {y ∈ X : d(y, x) < r}
= {y ∈ X : d(y, x) = 0} (∵ r ≤ 1)
= {x}
vi)
B(x, r) = {y ∈ X : d(y, x) < r}
Definition 1.1.15 Closed ball: Let X be metric space, x ∈ X and r > 0. The closed
ball B[x, r] is defined as
B[x, r] = {y ∈ X : d(y, x) ≤ r}
A closed ball B[x, r] is a set of those points of X that are at a distance less than or equal
to r from x.
B[x, r] = {y ∈ R : d(y, x) ≤ r}
= {y ∈ R : |y − x| ≤ r}
= {y ∈ R : −r ≤ y − x ≤ r}
= {y ∈ R : x − r ≤ y ≤ x + r}
= [x − r, x + r]
Problem 1.1.17 Show that every closed interval in usual metric space R is closed ball in
R.
a+b b−a
Solution: Let [a, b] be a closed interval in R. Take x = 2
and r = 2
. We claim
that B[x, r] = [a, b].
Consider
B[x, r] = {y ∈ R : d(y, x) ≤ r}
= {y ∈ R : |y − x| ≤ r}
= {y ∈ R : −r ≤ y − x ≤ r}
= {y ∈ R : x − r ≤ y ≤ x + r}
= [a, b]
Problem 1.1.18 Describe closed balls in the Euclidean metric spaces R2 and R3 .
Solution:
i. Let (x, y) ∈ R2 and r > 0.
Solved Problems 01
= (x1 − x2 ) + i(y1 − y2 )
p
= (x1 − x2 )2 + (y1 − y2 )2 ≥ 0
ii)
d(z1 , z2 ) = 0
p
⇐⇒ (x1 − x2 )2 + (y1 − y2 )2 = 0
⇐⇒ (x1 − x2 )2 + (y1 − y2 )2 = 0
⇐⇒ x1 − x2 = y1 − y2 = 0
⇐⇒ x1 = x2 and y1 = y2
⇐⇒ z1 = z2
= (x1 − x2 ) + i(y1 − y2 )
p
= (x1 − x2 )2 + (y1 − y2 )2
p
= (x2 − x1 )2 + (y2 − y1 )2
= |z2 − z1 |
= d(z2 , z1 )
iv) d(z1 , z2 ) ≤ d(z1 , z3 ) + d(z3 , z2 ) for all z1 , z2 , z3 ∈ X First we prove “|u + v| ≤ |u| + |v|
for all u, v ∈ C”.
Consider
|u + v|2 = (u + v) · (u + v)
= (u + v) · (u + v)
= (u · u) + u · v + u · v + (v · v)
= (|u| + |v|)2
Thus |u + v|2 ≤ (|u| + |v|)2 .Taking non-negative square root of both sides
|u + v| ≤ |u| + |v|
This proves that |u + v| ≤ |u| + |v| for all u, v ∈ C. Consider
d(z1 , z2 ) = |z1 − z2 |
= |z1 − z3 + z3 − z2 |
= |(z1 − z3 ) + (z3 − z2 )|
≤ |z1 − z3 | + |z3 − z2 |
= d(z1 − z3 ) + d(z3 − z2 )
Problem 1.1.20 (Product metric space) Let < X, d1 > and < Y, d2 > be metric
spaces. Prove that the cartesian product X × Y is a metric space under the metric given
by
d((x1 , y1 ), (x2 , y2 )) = max{d1 (x1 , x2 ), d2 (y1 , y2 )}
Solution: Let x = (x1 , y1 ), y = (x2 , y2 ) and z = (x3 , y3 ) be in X × Y.
i)
d(x, y) = max{d1 (x1 , x2 ), d2 (y1 , y2 )}
≥0
ii)
d(x, y) = 0
⇐⇒ d1 (x1 , x2 ) = d2 (y1 , y2 ) = 0
⇐⇒ x1 = x2 and y1 = y2
⇐⇒ x = y
iii)
d(x, y) = max{d1 (x1 , x2 ), d2 (y1 , y2 )}
= d(y, x)
iv)d(x, y) = max{d1 (x1 , x2 ), d2 (y1 , y2 )}. So d(x, y) = d1 (x1 , x2 ) or d(x, y) = d2 (y1 , y2 ).
Without loss of generality, let d(x, y) = d1 (x1 , x2 ). Then
d(x, y) = d1 (x1 , x2 )
≤ d1 (x1 , x3 ) + d1 (x3 , x2 )
= d(x, z) + d(z, y)
Self-Test 01
A. d(x, y) = |x − y|
|x−y|
B. d(x, y) = 1+|x−y|
1 if x ̸= y
C. d(x, y) =
0 if x = y
D. d(x, y) = x2 − y 2
Problem 1.1.23 In a metric space, < X, d >, show that |d(x, y) − d(z, y)| ≤ d(x, y) for
all x, y, z in X.
Solution: Let x, y, z in X. Consider
d(z, y) ≤ d(z, x) + d(x, y)
Problem 1.1.24 Let, < X, d > be a metric space and the function δ : X × X → R be
defined as δ(x, y) = min{1, d(x, y)}. Prove that δ is a metric on X.
Solution: Let x, y, z ∈ X.
i) If d(x, y) < 1 then δ(x, y) = d(x, y) ≥ 0. If d(x, y) ≥ 1 then δ(x, y) = 1 ≥ 0.
ii)
δ(x, y) = 0
⇐⇒ d(x, y) = 0
⇐⇒ x = y
iii)
δ(x, y) = min{1, d(x, y)}
= δ(y, x)
iv) We consider the following cases.
I Case: d(x, z) < 1 and d(z, y) < 1.
δ(x, y) = min{1, d(x, y)}
≤ d(x, y)
= δ(x, z) + δ(z, y)
II Case: d(x, z) ≥ 1 or d(z, y) ≥ 1
Without of loss of generality, let d(x, z) ≥ 1. Consider
δ(x, y) = min{1, d(x, y)} ≤ 1
Summary:
• Every subset of metric space X is again a metric space under the metric induced
from X. This is why we call every subset of metric space as subspace.
• There are three standard norms on Rn which give three equivalent metrics on Rn :
Euclidean metric, Sum metric and Sup metric. They generate same topologies
on Rn . We generally study Rn with the Euclidean metric defined on it.
• A discrete metric d can be defined on any set X. It is defined by the property that
the distance between any two distinct points is 1 and the distance between two
points is 0 when they coincide. The discrete metric has many peculiar properties.
Problem 1.1.25 Let < X, d > be a metric space and the function δ : X × X → R be
d(x,y)
defined as δ(x, y) = 1+d(x,y)
. Prove that δ is a metric on X.
Keywords: Metric Space, Discrete Metric Space, Normed Linear Space, Product Metric
Space.
REFERENCES
(1) Section 4.2, Methods of Real Analysis by Richard R. Goldberg, 2nd edition,
Oxford & IBH Publishing Co. Pvt Ltd
(2) Section 1.1, Topology of Metric Spaces by S. Kumaresan, 2nd edition, Narosa
Publishing House
(4) Chapter 3, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Introduction: Using the definition of metric, we can introduce the concept of open balls
and subsequently that of open sets. The open sets in R has specific structure. Any open
set in R is countable union of disjoint open intervals. Arbitrary union of open sets is open
and finite intersection of open sets is open in any metric space. Arbitrary intersection of
closed sets is closed and finite union of closed sets is closed in any metric space.
< s + d(y, x)
=r
Therefore z ∈ B(x, r). Thus z ∈ B(y, s) implies that z ∈ B(x, r). This proves the
claim that B(y, s) ⊆ B(x, r). Thus for every y ∈ B(x, r) there is s > 0 such that
B(y, s) ⊆ B(x, r). Hence B(x, r) is open in X.
=⇒ z ∈ B(x, ri ) for i = 1, 2, . . . , n
=⇒ z ∈ U
Thus z ∈ B(x, r) implies that z ∈ U .This proves our claim that B(x, r) ⊆ U . We proved
that for every x ∈ U there is r > 0 such that B(x, r) ⊆ U . So U is open in X.
Theorem 1.2.5 An open set in usual metric space R is union of countable number of
pairwise disjoint open intervals.
Proof: Let U open set in R. We want to write U as a union of countable number of
pairwise disjoint open intervals. Take x ∈ U . Since U is open in R, there is r > 0 such
that B(x, r) = (x − r, x + r) ⊆ U . Take Jx as union of all such open intervals containing
S
x. Precisely Jx = Ix where Ix is an open interval containing x and contained in U . It
Definition 1.2.6 Closed sets: A subset F of metric space X is called closed set in X
if the complement U = X − F of F in X is open in X.
Theorem 1.2.7 Let X be a metric space. Then the following statements hold
i) ϕ and X are closed in X.
ii) Arbitrary intersection of closed sets in X is closed in X.
iii) Finite union of closed sets in X is closed in X.
Proof:
i) Consider ϕc = X − ϕ = X and X c = X − X = ϕ. Since X and ϕ are open in X, ϕ and
X are closed in X.
ii) Let τ = {Fi : i ∈ I} be an arbitrary collection of closed sets in X. We want to prove
T
that the set F = Fi is closed in X. Let U = X − F . Note that U is complement of F
i∈I
in X.
\ [
U =X −F =X − Fi = (X − Fi )
i∈I
Each X − Fi is open in X because each Fi is closed in X. As the arbitrary union of open
sets is open, U is open in X. Hence F is closed in X.
iii) Let F1 , F2 , . . . , Fn be closed sets in X. We want to prove that F = F1 ∪ F2 ∪ · · · ∪ Fn
is closed in X. To prove this, we prove that the complement U = X − F of F in X is
open in X. Consider
U =X −F
= (X − F1 ) ∩ (X − F2 ) ∩ · · · ∩ (X − Fn )
The sets (X − F1 ), (X − F2 ), . . . , (X − Fn ) are open in X as F1 , F2 , . . . , Fn are closed in
X. Also the finite intersection of open set is open. It follows that U is open in X. Hence
F is closed in X.
The last assertion implies that Rn is topologically same with respect to the Euclidean,
the sum and the sup metric on it. It is thus sufficient to study Rn with any one of these
metrics. Generally we study Rn with the Euclidean metric on it.
=A (∵ BY (x, rx ) ⊆ A)
= Y − (F ∩ Y )
= (X − F ) ∩ Y (∵ F, Y ⊆ X)
=U ∩Y
Since U is open in X, by (I) A is open in Y . Therefore the complement B of A in Y is
closed.
II Part: Let B be a closed subset of Y . We want to find some closed subset F of X
such that B = F ∩ Y . Since B is closed in Y , the complement A = Y − B is open in Y .
Then by (I) there is an open set U in X such that A = U ∩ Y . Take F = X − U . Since
U is open in X, F is closed in X. Finally we prove that B = F ∩ Y . Consider
B =Y −A
= Y − (U ∩ Y )
= (X − U ) ∩ Y (∵ U, Y ⊆ X)
=F ∩Y
B[a, r] = {x ∈ X : d(x, a) ≤ r}
To prove that B[x, r] is closed, we prove that its complement is open in X. Let U be the
complement of B[x, r] in X. Then
U = X − B[a, r]
= {x ∈ X|d(x, a) > r}
and so U = {x ∈ X|d(x, a) > r}. We want to prove that U is open in X. For that let
x ∈ U and select a real number s such that
0 < s < d(x, a) − r . . . (I)
We claim that B(x, s) ⊆ U . Let z ∈ B(x, s). Then
d(z, x) < s . . . (II)
By triangle inequality
d(x, a) ≤ d(x, z) + d(z, a) = d(z, x) + d(z, a)
Therefore
d(x, a) − d(z, x) ≤ d(z, a) . . . (III)
For z ∈ B(x, s), consider the following argument.
d(x, z) < s
=⇒ −d(x, z) > −s
Theorem 1.2.17 Let X be a metric space and A be subset of X. Then the following
statements are true.
i) A◦ is the largest open set contained in A.
ii) A is open if and only if A = A◦ .
Proof:
i) I Part: A◦ is open set.
A◦ = {x ∈ A| there is r > 0 such that B(x, r) ⊆ A}
Let x ∈ A◦ . Then by the definition of A◦ , there is r > 0 such that B(x, r) ⊆ A. This is
true for every x ∈ A◦ . So by the definition of open set, A◦ is open.
II Part: A◦ is the largest open contained in A.
By I part, A◦ is open. Let U be any open subset contained in A i.e. U is open and
U ⊆ A. Let x ∈ U . Since U is open, there is r > 0 such that B(x, r) ⊆ U ⊆ A. By
definition of A◦ , x ∈ A◦ . This proves that U ⊆ A◦ . Thus U is open is X and U ⊆ A
implies U is contained in A◦ . This means that any open set contained in A is contained
in A◦ . In other words, A◦ is the largest open set contained in A.
ii) I Part: Let A be open in X. We want to prove that A = A◦ .
A◦ = {x ∈ A : there is r > 0 such that B(x, r) ⊆ A}
So clearly
A◦ ⊆ A . . . (I)
Conversely, let x ∈ A. Since A is open, there is r > 0 such that B(x, r) ⊆ A. Again by
definition of A◦ , x ∈ A◦ . Thus x ∈ A implies x ∈ A◦ and hence
A ⊆ A◦ . . . (II)
From (I) and (II) we have A = A◦
II Part: Let A = A◦ . We want to prove that A is open. Let x ∈ A. Then x ∈ A◦ . By
definition of A◦ , there is r > 0 such that B(x, r) ⊆ A. Thus for every x ∈ A, there is
r > 0 such that B(x, r) ⊆ A. Hence A is open in X.
Solved Problems 01
Problem 1.2.19 Let F be a finite subset of metric space X. Show that F is closed in X.
Solution: Let F = {x1 , x2 , . . . , xn } and U = X − F . Take x ∈ U . Select a real number
r such that
0 < r < min{d(x, x1 ), d(x, x2 ), d(x, x3 ), . . . , d(x, xn )}
We claim that B(x, r) ⊆ U . Suppose on contrary that B(x, r) contains one of the points
of F = {x1 , x2 , . . . , xn } say xi . Then d(xi , x) < r and
d(xi , x) < r < min{d(x, x1 ), d(x, x2 ), d(x, x3 ), . . . , d(x, xn )} ≤ d(xi , x)
This implies that d(xi , x) < d(xi , x) which is a contradiction. Hence B(x, r) contains no
point of F implying that B(x, r) ⊆ U . Thus for every x ∈ U there is r > 0 such that
B(x, r) ⊆ U . This proves that U is an open subset of X. As U is complement of F in
X, F is closed in X.
Self-Test 01
1
T
Problem 1.2.20 If Gn = 0, 1 + n
for n ∈ N, then Gn is
A. closed
B. open
A. {0}
B. ϕ
B. a countable set
D. not open
B. open
C. closed
B. open
C. closed
A. an interval
Problem 1.2.26 Show that every open interval in usual metric space R is open.
Solution: Let (a, b) be an open interval in R. Let x ∈ (a, b). Take r such that
0 < r < min{x − a, b − x}. We claim that
B(x, r) = (x − r, x + r) ⊆ (a, b) . . . (I)
Let y ∈ (x − r, x + r). Then x − r < y < x + r. Also r < (x − a) and r < (b − x). These
imply that
x + (a − x) < x − r < y < x + r < x + (b − x)
=⇒ a < y < b
Summary:
• If X is a metric space then the open ball B(x, r) with the center at point x of X
and radius r > 0 is the set of all those points of X which are at a distance less
than r from the point x.
• Open balls in the Euclidean metric space R are open intervals in R. The converse
is also true.
• If X is a metric space then the closed ball B[x, r] with the center at point x of
X and radius r > 0 is the set of all those points of X which are at a distance
less than or equal to r from the point x.
• Closed balls in the Euclidean metric space R are closed intervals in R. The
converse is also true.
• Every open ball in a metric space is an open set. In particular, every open
interval in the Euclidean metric space R is open in R.
• In any metric space X, ϕ and X are open in X. An arbitrary union of open sets
in X is open in X. A finite intersection of open sets in X is open in X.
• Every closed ball in a metric space is a closed set. In particular, every closed
interval in the Euclidean metric space R is closed in R.
Problem 1.2.28 Let X be a metric space and f : X → X be continuous. Prove that the
set E = {x ∈ X : f (x) = x} is closed in X.
Problem 1.2.29 Let A be a finite subset of metric space X. Show that X − A is open
in X.
Keywords: Open Balls, Closed Balls, Interior Points, Exterior Points, Boundary Points,
Limit Points, Open Sets, Closed Sets.
REFERENCES
(1) Sections 5.4 and 5.5, Methods of Real Analysis by Richard R. Goldberg, 2nd
edition, Oxford & IBH Publishing Co. Pvt Ltd
(2) Sections 1.2, 2.1 to 2.7, Topology of Metric Spaces by S. Kumaresan, 2nd edition,
Narosa Publishing House
(4) Chapter 4, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Definition 1.3.1 Sequence: A sequence in metric space X is a function from the set
N of natural numbers to set X. The sequence is generally exhibited as (xn ) where xn is
image of natural number n.
N: 1 2 3 ··· n ···
↓ ↓ ↓ ↓ ··· ↓ ···
X : x1 x2 x3 ··· xn ···
Definition 1.3.2 Subsequence: Let (xn ) be a sequence in metric space X and S = {nk :
n1 < n2 < n3 < · · · } be an infinite subset of N. The sequence xnk is called subsequence of
sequence (xn ). The subsequence (xnk ) is obtained by deleting some terms of the sequence
(xn ) without disturbing the order of its elements.
Example: (xnk ) = (x2 , x4 , x6 , . . .) is a subsequence of the sequence (xn ) = (x1 , x2 , x3 , . . .).
Here nk = 2k.
Theorem 1.3.4 If the limit of a sequence in a metric space exists then it is unique.
Proof: Let (xn ) be a convergent sequence in metric space X converging to x and y.
We want to prove that x = y. Suppose on contrary that x ̸= y. Then d(x, y) > 0. Take
= d(x, y)
So d(x, y) < d(x, y). This is a contradiction. Hence x = y.
Theorem 1.3.6 Let A be the subset of metric space X. Then a point x in X is limit
point of A if and only if there is a sequence (xn ) in A that converges to x in X.
Proof:
I Part: Let x be a limit point of A. We want to construct a sequence (xn ) in A that
converges to x in X. For each natural number n, consider the open ball B x, n1 . Since
x is limit point of A,
1
B x, ∩ A ̸= ϕ
n
for every n. Take xn ∈ B x, n1 for each n ∈ N. Then
1
d(xn , x) <
n
Since n1 → 0, xn → x in X.
II Part: Let (xn ) be a sequence in A that converges to x in X. We want to prove that
x is limit point of A. Let r > 0. Since xn → x, there is a natural number N such that
n ≥ N =⇒ d(xn , x) < r
i.e.
n ≥ N =⇒ xn ∈ B(x, r)
In particular for n = N , xN ∈ B(x, r). Also xN ∈ A. So xN ∈ B(x, r) ∩ A implying that
B(x, r) ∩ A ̸= ϕ
Definition 1.3.7 Let A be a subset of metric space X.The following statements give
equivalent definitions of limit point.
i) x in X is limit point of A ⇐⇒ B(x, r) ∩ A ̸= ϕ for every r > 0.
ii) x in X is limit point of A ⇐⇒ U ∩ A ̸= ϕ for every open set U containing x.
iii) x in X is limit point of A ⇐⇒ there is a sequence (xn ) in A such that xn → x in X.
Theorem 1.3.8 A subset E of metric space X is closed if and only if E contains all its
limits (i.e. E = E).
Proof:
I Part: Let E be a closed subset of metric space and x ∈ X be a limit point of E. We
want to prove that x ∈ E. Suppose on contrary that x ̸∈ E. As E is closed, U = X − E
is open. Since x ̸∈ E, x ∈ U . The set U is open. Therefore there is r > 0 such that
B(x, r) ⊆ U . This implies that B(x, r) ∩ E = ϕ. This contradicts the fact that x is limit
point of E. Hence x ∈ E.
II Part: Let E contains all its limit points. We want to prove that E is closed. To prove
this, we prove that the complement U = X − E of E is open in X. Suppose on contrary
U is not open in X. This implies that the negation of the following statement
“For every x ∈ U there is r > 0 such that B(x, r) ⊆ U .”
is true. i.e. the statement
“ There exists x ∈ U such that B(x, r) ̸⊆ U for every r > 0.”
is true. This implies that
B(x, r) ∩ U ̸= ϕ
for every r > 0. Therefore x is limit point of E. By hypothesis E contains all its limit
points. Hence x ∈ E. This contradicts the fact that x ∈ U . So U is open in X.
Theorem 1.3.9 A subset E of metric space X is closed if and only if the following
statement holds.
(xn ) is sequence of points in E that converges to x implies that x is in E.
Proof: I Part: Let E be a closed subset of X. Let (xn ) be a sequence of points in E
that converges to x in X. We want to prove that x ∈ E. As xn → x in X and xn ∈ E
for all n ∈ N, x is limit point of E. Since E is closed, E contains all its limit points. So
x must be in E.
II Part: Conversely assume that every convergent sequence of points in E converges
to a point in E. We want to prove that E is closed in X. Let x be a limit point of E.
Then there is a sequence (xn ) of points in E that converges to x in X. By hypothesis,
x ∈ E. So E contains all its limit points. Therefore E is closed in X.
Theorem 1.3.11 Let E be the subset of metric space X. Then the following statements
are true.
i)E is the smallest closed set containing E.
ii) E is closed if and only if E = E.
Proof:
i)
I Part: E is closed in X.
E = {x ∈ X : B(x, r) ∩ E ̸= ϕ for all r > 0}.
To prove that E is closed set, we prove that the complement U = X − E is open.
U =X −E
=⇒ x is limit point of F
=⇒ x ∈ F (∵ F is closed )
This proves that E ⊆ F . We proved that every closed set containing E contains E. So
E is the smallest closed set containing E.
ii)
Note that E is the set of all limit points of E.
I Part: Let E be a closed subset of metric space X and x ∈ X be a limit point of E.
We want to prove that x ∈ E. Suppose on contrary x ̸∈ E. As E is closed, U = X − E
is open. Since x ̸∈ E, x ∈ U . The set U is open. Therefore there is r > 0 such that
B(x, r) ⊆ U. This implies B(x, r) ∩ E = ϕ. This contradicts the fact that x is limit point
of E. Hence x ∈ E.
II Part: Let E contains all its limit points. We want to prove that E is closed. To prove
Definition 1.3.16 A sequence (xn ) in metric space X is called Cauchy if for every ϵ > 0,
there is a natural number N such that
m, n ≥ N =⇒ d(xm , xn ) < ϵ
Solved Problems 01
Problem 1.3.21 Show that the subset A of metric space X is bounded if and only if A
is empty or diam(A) is finite.
=⇒ diam(A) ≤ 2r0
=⇒ diam(A) < ∞
II Part: We want to prove that if A = ϕ or diam(A) < ∞ then A is bounded.
If A = ϕ then A is bounded. Let A ̸= ϕ and D = diam(A) < ∞. Then
D = sup{d(y, x) : x, y ∈ A}
=⇒ A ⊆ B(x0 , D + 1)
=⇒ A is bounded
Problem 1.3.22 Let X be a metric space, x ∈ X and r > 0. Show that diam(B(x, r)) ≤
2r.
Solution: Let y, z ∈ B(x, r). Then d(y, x) < r and d(z, x) < r. Consider
d(y, z) ≤ d(y, x) + d(x, z) < r + r = 2r
Thus d(y, z) ≤ 2r for y, z ∈ B(x, r). This means that 2r is upper bound for the set
{d(y, z) : y, z ∈ B(x, r)}. Therefore
sup{d(y, z) : y, z ∈ B(x, r)} ≤ 2r
=⇒ diam(B(x, r)) ≤ 2r
Self-Test 01
Problem 1.3.24 Let {xn } and {yn } be two Cauchy sequences in a metric space < X, d >.
Then the sequence {d(xn , yn )}
A. always converges
D. converges to 0
Problem 1.3.25 Consider the interval (−1, 1) and a sequence {αn } of elements in it.
Then
A. infinitely many
B. 2
D. 1
Problem 1.3.28 Let A be a subset of metric space X. Prove that ∂(A) = ∂(X − A).
• A sequence (xn ) in metric space X is a function from the set N of natural numbers
to the set X. Here xn denote the image of n.
• A sequence (xn ) in metric space X is bounded if all terms of the sequence (xn )
can be enclosed in some open ball in X.
• Every convergent sequence in metric space is Cauchy sequence but not conversely.
Problem 1.3.30 Is Z dense in the Euclidean metric space R? Justify your answer.
Problem 1.3.31 Can a finite set be dense in the Euclidean metric space R?Justify your
answer.
Problem 1.3.32 Give an example of sequence in metric space which is Cauchy but not
convergent.
(1) Chapter 4, Methods of Real Analysis by Richard R. Goldberg, 2nd edition, Oxford
& IBH Publishing Co. Pvt Ltd
(4) Chapter 3, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
=⇒ lim xn = x
n→∞
=⇒ lim x2n = x2
n→∞
=⇒ x2n → x2 in R
Thus xn → x in R implies f (xn ) → f (x) in R. Hence f is continuous on R.
=⇒ (g ◦ f )(xn ) → (g ◦ f (x)) in Z
Thus xn → x in X implies (g ◦ f )(xn ) → (g ◦ f )(x)) in Z. Hence g ◦ f is continuous on
X.
Proof:
i) =⇒ ii): We assume that f is continuous at x ∈ X. Suppose on contrary that ii) is
not true. Then there is ϵ > 0 such that
∀δ > 0∃x′ d(x′ , x) < δ and d(f (x′ ), f (x)) ≥ ϵ
=⇒ f −1 f (W ) ⊆ f −1 (U )
∵ f (f −1 (C)) ⊆ C
=⇒ f B(x, δ) ⊆ B(f (x), ϵ)
A function from one metric space to another metric space is continuous if and only if
inverse image of every open set (in codomain) is open (in domain).
=⇒ f −1 (V ) is closed in X
II Part: Let f −1 (V ) be closed in X whenever V is closed in Y . We want to prove that
f is continuous on X. Consider
U is open in Y
=⇒ Y − U is closed in Y
=⇒ f −1 (Y − U ) is closed in X (by hypothesis)
=⇒ f −1 (Y ) − f −1 (U ) is closed in X
=⇒ X − f −1 (U ) is closed in X
=⇒ X − X − f −1 (U ) is open in X
=⇒ f −1 (U ) is open in X
Thus f −1 (U ) is open in X whenever U is open in Y . Hence by previous theorem, f is
continuous on X.
A function from one metric space to another metric space is continuous if and only if
inverse image of every closed set (in codomain) is closed (in domain).
Theorem 1.4.8 Let X be a metric space and, x ∈ X and c ∈ R. The following state-
ments are true.
i) If f, g : X → R are continuous at x ∈ X then so are f +g, f g and cf . So the set C(X, R)
of all continuous functions from X to R is a vector space under pointwise addition and
scalar multiplication.
ii) If f : X → R is continuous at x and f (x) ̸= 0 then there is r > 0 such that the
1
function h : B(x, r) → R defined by h(x) = f (x)
is continuous on B(x, r).
Proof:
i) Consider
xn → x in X
=⇒ lim (f (xn ) + g(xn )) = f (x) + g(x), lim (f (xn )g(xn )) = f (x)g(x) and lim cf (xn ) = cf (x)
n→∞ n→∞ n→∞
=⇒ xn → x in X
=⇒ h(xn ) → h(x) in R
Thus
xn → x in B(x, r) =⇒ h(xn ) → h(x) in R
This proves that h is continuous on B(x, r).
Definition 1.4.10 Let X and Y be metric spaces. A map f : X → Y is called open map
if
U is open in X =⇒ f (U ) is open in Y.
Solved Problems 01
=⇒ xn → x in R and yn → y in R
=⇒ xn + yn → x + y in R
=⇒ f (xn , yn ) → f (x, y) in R
Thus (xn , yn ) → (x, y) in R2 implies f (xn , yn ) → f (x, y) in R. Hence f is continuous on
R2 .
=⇒ h(xn ) → h(x) in R2
Thus xn → x in X implies h(xn ) → h(x) in R2 . Hence h is continuous on X.
Self-Test 01
Problem 1.4.14 Pick out function from R → R that is discontinuous only at countably
many point(s).
A. 0
B. countably infinite
C. uncountable
D. 1
1 1
Problem 1.4.17 Consider the function f (x) = x
on [1, ∞) and g(x) = x
on x > 0.
Problem 1.4.18 Let u and d be usual and discrete metric on R respectively. Define
I :< R, u >→< R, d > as I(x) = x for all x ∈ R. Then
A. I is bounded.
B. I is not continuous.
D. I is uniformly continuous
C. the set of all integers and the set of all even integers
Problem 1.4.22 Prove that the constant function from one metric space to another
metric space is continuous.
Solution: Let X and Y be metric spaces and y0 ∈ y. Define the function f : X → Y
as f (x) = y0 for all x ∈ X. For any x ∈ X,
xn → x in X
=⇒ f (xn ) → y0 in Y
=⇒ f (xn ) → f (x) in Y
Thus xn → x in X implies f (xn ) → f (x) in Y . Hence f is continuous.
=⇒ xn → x in R and yn → y in R
=⇒ xn · yn → x · y in R
=⇒ f (xn , yn ) → f (x, y) in R
Thus (xn , yn ) → (x, y) in R2 implies f (xn , yn ) → f (x, y) in R. Hence f is continuous on
R2 .
Summary:
• Let X be a metric space. The set C(X, R) of all continuous functions from X to
R is a vector space under point-wise addition and scalar multiplication.
Problem 1.4.24 Prove that the identity function one metric space X is continuous.
Problem 1.4.27 The following table gives some homeomorphisms between subsets of R.
Verify that the above functions are homeomorphisms between respective sets.
REFERENCES
(1) Chapter 5, Methods of Real Analysis by Richard R. Goldberg, 2nd edition, Oxford
& IBH Publishing Co. Pvt Ltd
(4) Chapter 5, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
53
Unit 02-01: Connected Metric Spaces
Learning Objectives:
After successful completion of this unit, you will be able to
Definition 2.1.1 A metric space X is said to be connected if the only subsets of X that
are both open and closed in X are ϕ and X.
Definition 2.1.2 Let A be a subset of metric space X. Then A is also metric space. We
say that A is connected subset of X if A as a metric space is connected.
Definition 2.1.3 Let X be metric space and A, B ⊆ X. Sets A and B form a disconnec-
tion of X if
A ∪ B = A ∪ (X − A) = X and A ∩ B = A ∩ (X − A) = ϕ
{A, B} thus forms disconnection of X.
II Part: Let {A, B} be a disconnection of X. This implies that A ̸= ϕ and A ̸= X
which is both open and closed in X. Thus X has a non-trivial subset which is both open
and closed in X. Hence X is disconnected.
Proof:
I Part: Let X be a connected space and f : X → {1, −1} be continuous function.We
want to prove that f is a constant function. Suppose on contrary that the function f is
not constant. Take A = f −1 ({1}) and B = f −1 ({−1}). Since {1} is closed subset of R
and f is continuous; A = f −1 ({1}) is closed subset of X. Similarly B = f −1 ({−1}) is
closed subset of X. Further A is open as A = X − B. Thus A is both open and closed
in X. So X is not connected. This is a contradiction. Hence f must be constant.
II Part: We give a proof by contraposition. Assuming that X is not connected, we
construct a non-constant continuous function from X to {1, −1}.
Let X be not connected. Then there exist two disjoint proper non-empty subsets A and
B in X such that A and B are both open and closed in X,X = A ∪ B and A ∩ B = ϕ.
Define: f : X → {1, −1}
1 if x ∈ A
f (x) =
−1 if x ∈ B
Now,
f −1 ({−1}) = B, f −1 ({1}) = A, and f −1 ({−1, 1}) = A ∪ B = X
Thus the inverse image of every closed subset of {1, −1} is closed subset of X. Hence f
is continuous.
Theorem 2.1.6 Let X be a metric space. If A and B are two connected subsets of X
such that A ∩ B ̸= ϕ then A ∪ B is connected.
Similarly,
f (b) = f (c) for all b ∈ B . . . (II)
Let y ∈ U . Then y ∈ Ai1 for all i1 ∈ I and i1 ̸= i0 . By hypothesis Ai0 ∩ Ai1 ̸= ϕ. Take
z ∈ Ai0 ∩ Ai1 . As Ai1 is connected, f is constant on Ai1 . Hence
f (y) = f (z) = 1
S
Thus f (x) = 1 for all x ∈ i∈I Ai . So every continuous function f : A → {−1, 1} is
S
constant. This proves that Ai is connected.
i∈I
Theorem 2.1.13 (Existence of nth root) Let α ∈ [0, ∞) for n ∈ N. Then there exists
unique x ∈ [0, ∞) such that xn = α.
Proof:
Existence Part: The proof is obvious when α = 0. Let α > 0. Consider the continuous
function f : [0, ∞) → [0, ∞) defined as f (t) = tn . By Archimedean property of real
numbers, there is n0 ∈ N such that n0 > α.
Now f (0) = 0 < α and fn (0) = nn0 ≥ n0 ≥ α. So applying intermediate value theorem to
the restriction of f to the connected interval [0, n0 ], we see that there exists x ∈ [0, n0 ]
such that f (x) = xn = α.
Uniqueness Part: For x ∈ [0, ∞),
f (x) = xn
=⇒ f is increasing on (0, ∞)
=⇒ f is one-one
=⇒ f (x1 ) = f (x2 ) = α =⇒ x1 = x2
Theorem 2.1.14 If X and Y are connected metric spaces then the product metric space
X × Y is also connected.
Proof: Let f : X × Y → {1, −1} be a continuous map. Fix the point (x0 , y0 ) ∈ X × Y .
Take (x, y) ∈ X × Y . Define ix : Y → X × Y and iy : X → X × Y as ix (y) = (x, y)
and iy (x) = (x, y) for all (x, y) ∈ X × Y . The maps ix and iy are continuous. Since the
image of connected set under a continuous map is connected and X, Y are connected,
the subsets ix (y) = {x} × Y and iy (x) = X × {y} of X × Y are connected. In particular
X × {y0 } and {x0 } × Y are connected. The point (x0 , y0 ) lies in both sets X × {y0 }
and {x0 } × Y . The restriction of f to either of these sets are continuous and hence f is
constant on them. This implies that
Problem 2.1.15 Let f, g : [0, 1] → R be continuous functions. Assume that f (x) ∈ [0, 1]
for all x, g(0) = 0 and g(1) = 1. Show that f (x) = g(x) for some x ∈ [0, 1].
Solution: If f (0) = 0 then f (x) = g(x) for x = 0. If f (1) = 1 then f (x) = g(x) for
x = 1. So let f (0) ̸= 0 and f (1) ̸= 1. As f (x) ∈ [0, 1] we see that 0 < f (0) ≤ 1 and
0 ≤ f (1) < 1. As f and g are continuous on [0, 1], g − f is also continuous on [0, 1]. Now
(g − f )(0) = g(0) − f (0)
= 0 − f (0)
= 1 − f (1)
=⇒ g(0) − f (0) = 0
=⇒ g(x) = f (x)
Problem 2.1.17 Consider the set A = {x sin( x1 ) : x ∈ (0, 1)} as a subset of R. Then
A. A is closed
B. A is compact
C. A is connected
D. A is not bounded
B. compact
A. only one
B. at most finite
C. at most countable
Problem 2.1.22 X is a metric space such that given any two points x, y ∈ X there exists
connected set A such that x, y ∈ A. Prove that X is connected.
Solution: Let x0 ∈ X be fixed and x ∈ X be arbitrary. Let f : X → {−1, 1} be
continuous. By assumption there is connected subset A of X such that x0 , x ∈ A. Since
f is continuous on A and A is connected , f is constant on A. Therefore f (x) = f (x0 ).
Since x is any point of X, it follows that f is constant on X. Thus we have shown
that any continuous function f : X → {−1, 1} is a constant. Hence X is connected.
Summary:
Problem 2.1.27 Let f : R → R be continuous and f (x) ∈ Q for all x ∈ R. Prove that f
must be constant.
Problem 2.1.29 Prove that any polynomial with real coefficient of odd degree has at least
one real root. i.e. if p(x) = an xn + an−1 xn−1 + · · · + a1 x + a0 , aj ∈ R for 0 ≤ j ≤ n, an ̸= 0
and n is odd then there exists α ∈ R such that p(α) = 0.
REFERENCES
(1) Sections 6.1 and 6.2, Methods of Real Analysis by Richard R. Goldberg, 2nd
edition, Oxford & IBH Publishing Co. Pvt Ltd
(4) Chapter 6, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
=⇒ xm , xn ∈ FN (∵ F1 ⊆ F2 ⊆ F3 · · · )
=⇒ (m, n ≥ N =⇒ xm = xn )
=⇒ xN = xN +1 = xN +2 = · · ·
=⇒ lim xn = xN
n→∞
=⇒ xn → xN in X
We proved that every Cauchy sequence in X is convergent. So X is complete.
Problem 2.2.6 Prove that R is complete metric space with Euclidean metric on it.
Solution: Let (xn ) be a Cauchy sequence in R. Then (xn ) is bounded. For each n ∈ N,
define
Mn = sup{xn , xn+1 , xn+2 , xn+3 , . . .}
and
mn = inf{xn , xn+1 , xn+2 , xn+3 , . . .}
=⇒ lim Mn ≤ lim mn + ϵ
n→∞ n→∞
B. Rn
C. {0} ∪ { n1 : n ∈ N}
D. C(R)
Summary:
Problem 2.2.11 Prove that R2 is complete metric space with Euclidean metric on it.
Problem 2.2.12 Prove that R equipped with the metric d(x, y) = |ex − ey | is not com-
plete metric space.
Problem 2.2.13 If (xn ) and (yn ) are Cauchy sequences in metric space X, prove that
d(xn , yn ) is Cauchy sequence in the Euclidean metric space R.
REFERENCES
(1) Sections 6.3 and 6.4, Methods of Real Analysis by Richard R. Goldberg, 2nd
edition, Oxford & IBH Publishing Co. Pvt Ltd
(2) Sections 2.1 to 2.5, Topology of Metric Spaces by S. Kumaresan, 2nd edition,
Narosa Publishing House
(4) Chapter 7, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
ii. State the relation between bounded and totally bounded sets in metric spaces.
Definition 2.3.1 A subset Y of metric space X is called totally bounded if for every
n
S
ϵ > 0, there are finitely many points x1 , x2 , . . . , xn in X such that Y ⊆ B(xi , ϵ). In
i=1
this case we say that the set {x1 , x2 , . . . , xn } is ϵ dense in Y or that the set {x1 , x2 , . . . , xn }
is ϵ net for Y .
Theorem 2.3.2 A subset Y of metric space X is totally bounded if and only if for every
n
S
ϵ > 0 there are finitely many sets Y1 , Y2 , . . . , Yn such that Y ⊆ Yi and diam(Yi ) < ϵ
i=1
for i = 1, 2, . . . , n.
Proof: I Part: Let Y be totally bounded subset of X. Then there are finitely many
n
B(xi , 2ϵ ).Taking Yi = B(xi , 2ϵ ), we easily see
S
points x1 , x2 , . . . , xn in X such that Y ⊆
i=1
n
S
that Y ⊆ Yi and diam(Yi ) < ϵ for i = 1, 2, . . . , n.
i=1
II Part: Conversely suppose for every ϵ > 0 there are finitely many sets Y1 , Y2 , . . . , Yn
n
S
such that Y ⊆ Yi and diam(Yi ) < ϵ for i = 1, 2, . . . , n.. Take yi ∈ Yi . As diam(Yi ) < ϵ,
i=1
n
S n
S
Yi ⊆ B(xi , 2ϵ). This holds for all i = 1, 2, . . . , n. Since Y ⊆ Yi , Y ⊆ B(xi , 2ϵ). ϵ
i=1 i=1
was arbitrary. So it now follows that Y is totally bounded.
Theorem 2.3.4 Let Y be a subset of metric space X. If Y is totally bounded then every
sequence in Y has a Cauchy subsequence.
Proof: Let (yn ) be a sequence of points in Y . As Y is totally bounded, it can be covered
by finitely many subsets of Y of diameter less than 1. There is at least one of these sets
say Y1 which contains yn for infinitely many n’s. Choose n1 such that yn1 ∈ Y1 .
Again Y1 is totally bounded and can be covered by finitely many subsets of Y1 of diameter
less than 21 . There is at least one of these sets say Y2 which contains yn for infinitely many
n’s. Choose n2 > n1 such that yn2 ∈ Y2 .
Continuing in this way we have a sequence (Yn ) of subsets of Y such that Y1 ⊇ Y2 ⊇
Y3 ⊇ . . . and diam(Yn ) < n1 . Further (ynk ) is a sequence such that ynk , ynk+1 , . . . ∈ Yn for
any n. As diam(Yn ) < n1 , (ynk ) is a Cauchy sequence ( a subsequence of (yn )). We thus
proved that every sequence in Y has a Cauchy subsequence.
A metric space is totally bounded if and only if every sequence in it has a Cauchy subsequence.
Solved Problems 01
Problem 2.3.7 Prove that a subset of Euclidean metric space R is bounded if and only
if it is totally bounded.
Solution: Let S ⊆ R. If S is totally bounded then S is bounded by the last theorem.
Conversely suppose that S is bounded. Then S ⊆ [−r, r] for some r > 0.Take ϵ > 0. By
Archimedian property of real numbers, there is n ∈ N such that n > 8rϵ so that n 4ϵ > 2r.
h i
For i = 1, 2, . . . , n,define the set Si as Si = −r + (i−1)ϵ
4
, −r + iϵ
4
. Then it is clear that
n
Si and diam(Si ) = 2ϵ < ϵ for i = 1, 2, . . . , n. As ϵ was arbitrary, we
S
S ⊆ [−r, r] ⊆
i=1
conclude that S is totally bounded.
Problem 2.3.8 Prove that discrete metric space X is totally bounded if and only if X
is finite set.
Solution:
I Part: Let X be a finite set with discrete metric on it. Take X = {x1 , x2 , . . . , xn } and
select ϵ > 0. Then the set X forms ϵ net for
n itself as
[
X⊆ B(xi , ϵ)
i=1
Thus X has ϵ net for any given ϵ > 0. Hence X is totally bounded.
II Part: Let < X, d > be a discrete metric space which is totally bounded. Suppose
on contrary that X is infinite set. Take ϵ = 21 . Then for any x1 , x2 , . . . , xn in X,
[ [ [
X ̸⊆ B(x1 , ϵ) B(x2 , ϵ) B(x3 , ϵ) . . . B(xn , ϵ) = {x1 , x2 , . . . , xn }
1
So there is no ϵ net for X when ϵ = 2
implying that X is not totally bounded. This is a
contradiction. Hence X must be a finite set.
Self-Test 01
Problem 2.3.9 The interval [0, ∞) in the discrete metrics space < R, d > is
Problem 2.3.10 Pick out the subspace which is not totally bounded.
Problem 2.3.11 Give an example of a metric space which is bounded but not totally
bounded.
Solution: Let < X, d > be a metric space where X = {2, 4, 6, 8, . . .} and d is a discrete
metric on X defined by
0 if x = y
d(x, y) =
1 if x ̸= y
So < X, d > is a discrete metric space. Since X = B(1, 2), X is bounded. (X is enclosed
in an open ball with center 1 and radius 2).
A discrete metric space X is totally bounded if and only if X is finite (by previous
example). As X is infinite set, it is not totally bounded.
Problem 2.3.12 Prove that every finite subset of any metric space is totally bounded.
Solution: Let F = {x1 , x2 , . . . , xn } be a finite subset of metric space X. Take ϵ > 0.
Then the set F forms ϵ net for itself as n
[
F ⊆ B(xi , ϵ)
i=1
Thus F has ϵ net for any given ϵ > 0. Hence F is totally bounded.
Summary:
• A finite set F in metric space X is said to form ϵ net for X if for any point x in
X, there is y ∈ F such that d(x, y) < ϵ. Stated differently, F is ϵ net for X if for
every point in X there is a point in F which is at a distance less than ϵ from it.
• A metric space X is totally bounded if there is ϵ net of X for any given ϵ > 0.
Problem 2.3.13 Give an example to prove that totally boundedness is not preserved
under homeomorphisms of metric spaces.
Problem 2.3.14 Prove that a metric space X is totally bounded if and only if every
1
sequence (xn ) in X has a subsequence (xnk ) such that d(xnk , xnk+1 ) < 3k
for every k.
Keywords: Bounded Sets, Totally Bounded Sets, Cauchy Sequence, Subsequence, Bounded
subsets of R.
REFERENCES
(1) Section 6.3, Methods of Real Analysis by Richard R. Goldberg, 2nd edition,
Oxford & IBH Publishing Co. Pvt Ltd
(2) Sections 2.4 and 4.3, Topology of Metric Spaces by S. Kumaresan, 2nd edition,
Narosa Publishing House
(4) Chapter 7, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
iii. Understand relations amongst closed, complete and compact metric spaces.
Theorem 2.4.2 A metric space X is compact if and only if every sequence in X has a
convergent subsequence.
Proof:
I Part: Let X be a compact metric space. We want to prove that every sequence in
X has a convergent subsequence. Let (xn ) be a sequence in X. As X is compact, it is
totally bounded. Hence the sequence (xn ) has a Cauchy subsequence say (xnk ). Also X
is complete as it is compact. The sequence (xnk ) is thus a Cauchy sequence in complete
metric space X. Hence (xnk ) must be convergent in X. We thus have a subsequence
(xnk ) of the sequence (xn ) which is convergent in X.
II Part: Suppose every sequence in X has a convergent subsequence. We want to prove
that X is compact i.e. X is complete and totally bounded.
Every convergent sequence is Cauchy. So every sequence in X has a Cauchy subsequence.
Hence X is totally bounded.
To prove that X is complete, take a a Cauchy sequence (xn ) in X. By hypothesis it
has a convergent subsequence say (xnk ). Let xnk → x in X. If a Cauchy sequence has
a convergent subsequence then the sequence is also convergent. It now follows that the
sequence (xn ) converges to x in X. We proved that every Cauchy sequence in X is
convergent. Hence X is complete.
Theorem 2.4.6 If X is compact metric space then every open cover of X has a finite
subcover.
Proof: Suppose on contrary that τ = {Ai : i ∈ I} is an open cover of X which does not
have any finite subcover. X is totally bounded as X is compact. So there are finitely
many closed and bounded subsets of X which cover X and whose diameters are less than
1. (Note that if sets are not closed then we would replace them by their closures and
diam(S̄) = diam(S).) Then at least one of these sets say S1 which can’t be covered by
finitely many sets in τ .
Again S1 is totally bounded and can be covered by finitely many closed and bounded
Theorem 2.4.7 If every open cover of metric space X has a finite subcover then X is
compact.
Proof: Let (xn ) be a sequence in X which has no convergent subsequence. Then for
each x ∈ X there exists ϵx > 0 such that d(xn , x) < ϵx only for finitely many n’s. Without
loss of generality we could assume that 0 < d(xn , x) < ϵx for no n but is still possible
that xn = x for finitely many n’s. The collection {B(x, ϵx ) : x ∈ X} is an open cover of
m
S
X. By hypothesis, there exist finitely many xn ’s such that X = B(xk , ϵxk ). But each
k=1
m
S
B(xk , ϵxk ) contains only finitely many xn ’s. Therefore B(xk , ϵxk ) = X contains only
k=1
finitely many xn . This is a contradiction. Hence every sequence (xn ) in X must have
convergent subsequence proving that X is compact.
By virtue of last two theorems,
A metric space X is compact if and only if every open cover of X has a finite subcover.
Theorem 2.4.9 Let X be a compact metric space and R be equipped with Euclidean
metric. If f : X → R is continuous then f attains its maximum and minimum values at
points of X.
A continuous real valued function on compact metric space attains its bounds.
Solved Problems 01
Problem 2.4.10 Prove that every finite subset of any metric space is compact.
Solution: Let F = {x1 , x2 , . . . , xn } be a finite subset of metric space X. Take τ = {Ui :
S
i ∈ I} as an open cover of F . Then each Ui is open in X and F ⊆ Ui . So for each xk
i∈I
in F , there is ik ∈ I such that xk ∈ Uik . This implies that
[ [ [
F = {x1 , x2 , . . . , xn } ⊆ Ui1 Ui2 . . . Uin
. So If τ ′ = {U1 , U2 , U3 , . . . Un } is a finite subcover of τ which cover F . We thus proved
that every open cover of F has a finite subcover. Hence F is compact in X.
xmin
min{x1 , x2 , . . . , xn } and take y as 0 < y < 2
. Then y ̸∈ Ui for i = 1, 2, . . . , n. This
contradicts the fact that τ ′ = {U1 , U2 , . . . , Un } is a finite subcover of τ which cover (0, 1).
We conclude that τ is an open cover of (0, 1) which does not have any finite subcover. A
metric space is compact only if every open cover of it has a finite subcover. We may now
conclude that (0, 1) is not compact in the Euclidean metric space R.
Self-Test 01
Problem 2.4.12 Let f be a continuous real valued function on [0, 1] and {(x, f (x)) : x ∈
[0, 1]} be its graph. Then
Problem 2.4.13 Which of the following subspaces of the Euclidean metric space R is
compact?
A. R
B. {1, 2, 3, 4, 5, 6}
C. (0, 1)
D. [2, 4] − {3}
Problem 2.4.14 Which of the following is a compact subset of the Euclidean metric
space R2 ?
A. the X−axis
Problem 2.4.18 Give an example of a function f : [10, 20) → R which attains a minimum
value but not the maximum value.
Solution: Define f : [10, 20) → R as
f (x) = x
f is increasing function on [10, 20) and f clearly attains its minimum value at x = 10
and the minimum value is f (10) = 10.
20+x
For any x ∈ [10, 20), take y = 2
. Then y ∈ [10, 20) and y > x. Hence f (y) > f (x).
Thus for every x ∈ [10, 20), there is y ∈ [10, 20) such that f (y) > f (x).Hence f does not
attain its maximum value at any point of [10, 20).
• A metric space X is compact if and only if every open cover of X has a finite
subcover.
• A continuous real valued function on compact metric space attains its bounds.
Problem 2.4.19 Prove that Cantor set in the Euclidean metric space R is compact.
Problem 2.4.20 Let K be a compact subset of the Euclidean metric space R. Prove that
sup K and inf K exist and are in K.
Problem 2.4.21 Give an example to prove that infinite union of compact sets may not
me compact.
Problem 2.4.22 If K1 and K2 are compact subsets of metric space X, prove that K1 ∪K2
is also compact subset of X.
Keywords: Compact Metric Space, Closed Subset of Compact Metric Space, Open
Cover,Subcover, Continuous Functions on Compact Spaces.
REFERENCES
(1) Sections 6.5 to 6.8, Methods of Real Analysis by Richard R. Goldberg, 2nd edi-
tion, Oxford & IBH Publishing Co. Pvt Ltd
(4) Chapter 8, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
81
Unit 03-01: Riemann Integral
Learning Objectives:
After successful completion of this unit, you will be able to
ii. Define lower integrals, upper integrals and Riemann integrals using lower and
upper sums of bounded functions.
Introduction: A measure of set is its size. It is different from the cardinality of sets.
Two sets may have same cardinality but different measures or vice-versa. For intervals
in R, the length of interval is the measure. For subsets of R2 , area is the measure. For
subsets of R3 , volume is the measure. The concept of integrating function f over set S
can be thought as follows.
A set S is divided into smaller parts. On each part, the function f is considered to be
P
constant.The sum of products of value of f and measure part is evaluated. (value of f×
measure of part) The integration of f is obtained by taking limit of this sum as number
of parts increases to infinity (i.e. parts become infinitesimal and the function can really
be assumed to constant on it)
R P
f = limit of (value of f × measure of part)
S
Definition 3.1.1 A subset E of R is of measure zero if for every ϵ > 0 there are finite or
countably many open intervals I1 , I2 , . . . such that
[ X
E⊆ In and |In | ≤ ϵ
n n
[ X
m(E) = 0 ⇐⇒ ∀ϵ > 0 ∃In such that E ⊆ In and |In | < ϵ
n n
Results/Remarks:
i) A finite set is of measure 0.
ii) A countable sets is of measure 0.
Problem 3.1.9 Consider the function f : [0, 2π] → R defined by f (x) = sin x. Here for
the function f on I = [ −π , π ]; m[f ; I] = −1, M [f ; I] = 1 and ω[0; I] = 1 − (−1) = 2.
2 2
Definition 3.1.10 Let [a, b] be a closed bounded interval. By a partition of [a, b], we
mean a finite set {a = x0 , x1 , x2 , x3 , . . . , xn = b} of points in [a, b] such that a = x0 <
x1 < x2 < x3 < . . . < xn = b. The intervals Ik = [xk−1 , xk ] are called sub-intervals of the
partition.
Definition 3.1.12 Let f : [a, b] → R be a bounded function. The lower integral of f over
[a, b] is defined as
Z b
f = sup{L[f ; σ] : σ is partition of [a, b]}
a
Theorem 3.1.16 Let f : [a, b] → R be a bounded function. If σ and τ are any two
partitions of [a,b] then U [f ; σ] ≥ L[f ; τ ].
Proof: The proof is based on the following idea:
“ A refinement of partition is obtained by adding points to the partition. If σ ∗ is refine-
ment of σ then every subinterval of σ will also be subinterval of σ ∗ but not conversely.
Lower sums get increased and upper sums get decreased on taking refinement of parti-
tions”.
Let σ ∗ be the refinement of σ obtained by adding a single point of σ. Take σ =
{x0 , x1 , . . . , xk−1 , xk , xk+1 . . . , xn } and σ ∗ = {x0 , x1 , . . . , xk−1 , xk ∗, xk , xk+1 . . . , xn } Let Ij
denote the subinterval [xj−1 , xj ] for j = 1, 2, . . . , n. Let Ik∗ = [xk−1 , x∗k ] and Ik∗∗ = [x∗k , xk ]
It is clear that Ik = [xk−1 , xk ] = Ik∗ ∪ Ik∗∗ and |Ik | = |Ik∗ | + |Ik∗∗ |.Also
M [f : Ik∗ ] ≤ M [f : Ik ] and M [f : Ik∗∗ ] ≤ M [f : Ik ] . . . (I)
Consider n
X
U [f ; σ ∗ ] = M [f : Ij ]|Ij | + M [f : Ik∗ ]|Ik∗ | + M [f : Ik∗∗ ]|Ik∗∗ |
j=1
n
X
≤ M [f : Ij ]|Ij | + M [f : Ik ]|Ik∗ | + M [f : Ik ]|Ik∗∗ |
j=1 j̸=k
= U [f ; σ]
U [f ; σ ∗ ] ≤ U [f ; σ]
By induction we can generalise the result for any refinement of σ. Thus
σ ∗ ⊇ σ =⇒ U [f ; σ ∗ ] ≤ U [f ; σ] . . . (II)
Similarly
τ ∗ ⊇ τ =⇒ L[f ; τ ] ≤ L[f ; τ ∗ ] . . . (III)
Taking σ ∗ = σ ∪ τ in (II)
U [f ; σ ∪ τ ] ≤ U [f ; σ] . . . (IV )
Taking τ ∗ = σ ∪ τ in (III)
L[f ; τ ] ≤ L[f ; σ ∪ τ ] . . . (V )
It is clear that
L[f ; σ ∪ τ ] ≤ U [f ; σ ∪ τ ] . . . (V I)
From (IV),(V) and (VI)
L[f ; τ ] ≤ L[f ; σ ∪ τ ] ≤ U [f ; σ ∪ τ ] ≤ U [f ; σ]
This proves that
L[f ; τ ] ≤ U [f ; σ]
Solved Problems 01
Problem 3.1.17 Let f (x) = x on [0, 1] and σ = {0, 31 , 23 , 1} be the partition of [0, 1].
Compute U [f, σ] and L[f, σ].
Solution: I1 = [0, 31 ], I2 = [ 13 , 23 ], I3 = [ 32 , 33 ].
U [f, σ] = M [f, I1 ]|I1 | + M [f, I2 ]|I2 | + M [f, I3 ]|I3 |
1 1 2 1 1
= + +1
3 3 3 3 3
1 2 1
= + +
9 9 3
2
=
3
and
L[f, σ] = m[f, I1 ]|I1 | + m[f, I2 ]|I2 | + m[f, I3 ]|I3 |
Self-Test 01
Problem 3.1.21 Which of the following subset of R2 has finite positive Lebesgue measure?
A. S1 = {(x, y) : x2 + y 2 > 1}
B. S2 = {(x, y) : x2 + y 2 < 1}
D. S4 = {(x, y) : x = y} +{(x, y) : x = y}
Problem 3.1.22
a) Show that the set of all rational numbers is of measure zero.
b) Show that the set of all irrational numbers is not of measure zero.
Solution:
a) Every singleton set is of measure zero. A countable union of sets of measure zero is of
S
measure zero. Since Q = {q}, The set Q of rationals is of measure zero.
q∈Q
b) Suppose on contrary that the set Qc = R − Q of irrationals is of measure zero. Then
R = Q ∪ Qc is of measure zero as finite union of sets of measure zero is of measure zero.
This is a contradiction as R is not of finite measure. Hence the set Qc of irrationals is
not of measure zero.
Problem 3.1.23 State True or False with justification. “Let f be continuous on [0, 1]
and g(x) = f (x) at almost every x ∈ [0, 1]. Then g is continuous almost everywhere in
[0, 1].”
Solution: FALSE. For example, take f : R → R as f (x) = 1 for all x ∈ R and
g : R → R as
0 if x ∈ Q
g(x) =
1 if x ̸∈ Q
Then f is continuous on [0, 1], and g(x) = f (x) except on Q. Since Q is of measure zero,
g(x) = f (x) at almost every x ∈ [0, 1]. Here g(x) is discontinuous everywhere in [0, 1].
Summary:
• A subset E of R is said to be of measure zero if for every ϵ > 0 there are countable
number of open intervals In such that E ⊆ ∪n In and |In | < ϵ.
• A statement is said to hold at almost every (a.e.) point of E if the set of points
of E where the statement does not hold is of measure zero.
• Let f be the bounded function on the closed and bounded interval [a, b] and σ
be a partition of [a, b] and I1 , I2 , . . . , In be corresponding subintervals. The lower
sum of f over σ is defined as n
X
L[f ; σ] = mk |Ik |
k=1
where mk = inf f (x) = infimum of f (x) over Ik .
x∈Ik
• Let f be the bounded function on the closed and bounded interval [a, b] and σ be
a partition of [a, b] and I1 , I2 , . . . , In be corresponding subintervals. The upper
sum of f over σ is defined as n
X
U [f ; σ] = Mk |Ik |
k=1
where Mk = sup f (x) = supremum of f (x) over Ik .
x∈Ik
Since mk ≤ Mk ,
L[f ; σ] ≤ U [f ; σ]
• Let σ and τ be any partitions of [a, b], let ξ be a refinement of both σ and τ . For
a bounded function f on [a, b], we have
L[f ; τ ] ≤ L[f ; ξ] ≤ U [f ; ξ] ≤ U [f ; σ]
Observe that any lower sum of any partition less equals to any upper sum of any
partition.
• Let f be a bounded function on closed bounded interval [a, b]. The lower integral
Rb
a
f (x)dx is defined as
Z b
f (x)dx = sup L[f ; σ]
a σ∈Ω
where Ω is the collection of all partitions of [a, b] and sup denotes supremum
(least upper bound). The lower integral is obtained by taking supremum of all
lower sums over all partitions of [a,Zb]. If σ is any partition of [a, b] then
b
L[f ; σ] ≤ f (x)dx
a
The lower integral greater equals to any lower sum.
• Let f be a bounded function on closed bounded interval [a, b]. The upper integral
Rb
a
f (x)dx is defined as Z
b
f (x)dx = inf U [f ; σ]
a σ∈Ω
where Ω is the collection of all partitions of [a, b] and inf denotes infimum (great-
est lower bound). The upper integral is obtained by taking infimum of all upper
sums over all partitions of [a, b]. If σZ is any partition of [a, b] then
b
U [f ; σ] ≥ f (x)dx
a
The upper integral less equals to any upper sum.
• If f is Riemann integral then the value of lower (or upper integral) is denoted
Rb
by f (x)dx.
a
So if f is Riemann integrable then
Rb Rb Rb
f (x)dx = a f (x)dx = a f (x)dx
a
• The collection of all Riemann integrable functions on [a, b] is denoted by R[a, b].
f is Riemann integrable ⇐⇒ f ∈ R[a, b].
Problem 3.1.25 Let f (x) = x on [0, 1] and σn = {0, n1 , n2 , . . . , nn } be the partition of [0, 1].
Find lim U [f, σn ] and lim L[f, σn ].
n→∞ n→∞
Keywords: Sets of Measure Zero, Partition of Interval, Lower Sum, Upper Sum, Lower
Integral, Upper Integral, Riemann Integral.
REFERENCES
(1) Sections 7.1 and 7.2, Methods of Real Analysis by Richard R. Goldberg, 2nd
edition, Oxford & IBH Publishing Co. Pvt Ltd.
(2) Sections 7.1 and 7.2, Introduction to Real Analysis by Bartle Robert G and
Sherbert Donald R, 4nd edition, Wiley India.
(4) Chapter 14, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Theorem 3.2.1 Let f be a bounded function on [a, b]. Then f ∈ R[a, b] if and only if
for ϵ > 0 there is a partition σ of [a, b] such that
U [f ; σ] < L[f ; σ] + ϵ
Proof:
I Part: Let for every ϵ > 0 there be a partition σ of [a, b] such that
U [f ; σ] < L[f ; σ] + ϵ . . . (I)
We want to prove that f ∈ R[a, b]. We have
Z b Z b
f ≤ U [f ; σ] and L[f ; σ] ≤ f
a a
So from (I)
Z b Z b
f< f +ϵ
a a
As this holds for every ϵ > 0Z
b Z b
f≤ f . . . (II)
a a
Z b Z b
f≤ f . . . (III)
a a
From (II) and (III)
Z b Z b
f= f
a a
Hence f ∈ R[a, b].
II Part: Let f ∈ R[a, b] and take ϵ > 0. By definition of upper integral (infimum)
there is partition σ1 of [a, b] such that Z
b
U [f ; σ1 ] < f +ϵ
a
Zb
=⇒ f − ϵ < L[f ; σ2 ]
a
Zb
=⇒ f < L[f ; σ2 ] + ϵ . . . (V )
a
⇐⇒ ω[f ; x] > 0
1
⇐⇒ ω[f ; x] ≥ for some m ∈ I
m
⇐⇒ x ∈ Em for some m ∈ I
∞
[
⇐⇒ x ∈ Em
m=1
So we proved
∞
[
E= Em . . . (I)
m=1
Proof : Let ϵ > 0. By Archimedian property of real numbers, there is m ∈ I such that
2(b−a) b−a
m> ϵ
. This implies that m
< 2ϵ . Define the set Em as Em = {x ∈ [a, b] : ω[f ; x] ≥
1
m
}. As f ∈ R[a, b], m(Em ) = 0, there are open intervals I1 , I2 , . . . In which are subsets
of [a, b],they cover Em and
∞
X ϵ
|In | < . . . (I)
n=1
2ω[f ; [a, b]]
By known result, Em is closed subset of compact set [a, b]. A closed subset of compact set
is compact. Hence Em is compact. This implies that the open cover{In : n ∈ I} of Em
has a finite subcover, say In1 , In2 , . . . , Inr . Then there are finitely many closed intervals
J1 , J2 , . . . , Js such that
r
[ [ s
[
[a, b] = Ink Jk
k=1 k=1
Solved Problems 01
Problem 3.2.4 Identify functions from the following functions which are in R[0, 1]?
1 2 3
a) The characteristic
function of the set {0, 10 , 10 , 10 , . . . , 1}
sin 1 if 0 < x ≤ 1
x
b) f (x) =
7 if x = 0
1 if x = p is rational in [0, 1] and g.c.d. of p, q is 1
q q
c) f (x) =
0 if x is irrational in [0,1]
d) The characterstic function of a set E ⊂ [0, 1] such that E and both [0, 1] − E are dense
in [0, 1].
Solution:
1 2 3
a) f = the characteristic function of the set {0, 10 , 10 , 10 , . . . , 1}
1 2 3
D(f ) = the set of discontinuities of f in [0, 1] = {0, 10 , 10 , 10 , . . . , 1}
Problem 3.2.5 f ∈ R[a, b] and c1 , c2 , . . . ck ∈ [a, b]. The function g : [a, b] → R is defined
as
f (x) if x ̸∈ {c , c , . . . , c }
1 2 k
g(x) =
1 if x ∈ {c1 , c2 , . . . , ck }
Rb Rb
Prove that g ∈ R[a, b] and g= f.
a a
= 0 + 0 + 0 + ··· + 0 + 0 + 0
=0
Zb
(g − f ) = 0
a
Zb Zb
=⇒ g− f =0
a a
Self-Test 01
B. f is continuous on [0, 1]
B. it is either monotone
D. all of these
Problem 3.2.9 State True or False with justification. Let f ∈ R[a, b] and f (x) = g(x)
except for a finitely many points in [a, b] then g ∈ R[a, b].
Solution: TRUE. Let
S = {x ∈ [a, b] : f (x) ̸= g(x)}
Zc Zc Zb
= 0+ 1+ 0
a c c
=0+0+0
=0
So
Zb
(g − f ) = 0
a
Zb Zb
=⇒ g− f =0
a a
Zb Zb
=⇒ g= f
a a
Summary:
Rb Rb
• f ∈ R[a, b] ⇐⇒ a
f (x)dx = a
f (x)dx
• f ∈ R[a, b] ⇐⇒ m(D(f )) = 0
Here D(f ) denotes the set of discontinuities of f in [a, b].
Problem 3.2.11 State True or False with justification. If f ∈ R[a, b] and if f (x) = g(x)
except for a countably infinite number of points in [a, b], then g ∈ R[a, b].
Problem 3.2.12 Give an example to show that the composition of Riemann Integrable
functions need not be Riemann Integrable.
REFERENCES
(1) Section 7.3, Methods of Real Analysis by Richard R. Goldberg, 2nd edition,
Oxford & IBH Publishing Co. Pvt Ltd.
(2) Sections 7.1 and 7.2, Introduction to Real Analysis by Bartle Robert G and
Sherbert Donald R, 4nd edition, Wiley India.
(4) Chapter 14, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Theorem 3.3.1 If f ∈ R[a, b]) and a < c < b then f ∈ R[a, c], f ∈ R[c, b] and
Zb Zc Zb
f= f+ f
a a c
Proof:
I Part:
E = {x ∈ [a, b] : f is discontinuous at x}
E1 = {x ∈ [a, c] : f is discontinuous at x}
E2 = {x ∈ [c, b] : f is discontinuous at x}
Now
f ∈ R[a, b]
=⇒ m(E) = 0
=⇒ m(E1 ) = m(E2 ) = 0 (∵ E1 , E2 ⊆ E)
This holds for any partition σ on [a, c]. Keeping τ fix and taking supremum over all
partitions of [a, c]
Zb
sup L[f ; σ] + L[f ; τ ] ≤ f
σ
a
Zc Zb Z c Zc
=⇒ f + L[f ; τ ] ≤ f (∵ f= f as f ∈ R[a, c])
a
a a a
This holds for any partition τ of [c, b]. Taking supremum over all partitions on [c, b]
Zc Zb
f + sup L[f ; τ ] ≤ f
σ
a a
Zc Z b Zb
=⇒ f+ f≤ f
c
a a
Zc Zb Zb Z b Zb
=⇒ f+ f≤ f ∵ f= f as f ∈ R[a, b] . . . (II)
c
a c a c
Again Z b
U [f ; σ] + U [f ; τ ] = U [f ; σ ∪ τ ] ≥ f
a
Z b
U [f ; σ] + U [f ; τ ] ≥ f (from(I))
a
This holds for any partition of [a, c]. Keeping τ fix and taking infimum over all partition
on [a, c]
Zb
inf U [f ; σ] + U [f ; τ ] ≥ f
σ
a
Z c Zb Z c Zc
=⇒ f + U [f ; τ ] ≥ f . . . (III) ∵ f= f as f ∈ R[a, c]
a a
a a
This holds for any partition τ of [c, b]. Taking infimum over all partitions τ of [c, b].
Zc Zb
f + inf U [f ; τ ] ≥ f
σ
a a
Zc Z b Zb
=⇒ f+ f≥ f
c
a a
Zc Zb Zb Z b Zb
=⇒ f+ f≥ f ∵ f= f as f ∈ R[a, b]
c
a c a c
Zb Zc Zb
f= f+ f
a a c
Theorem 3.3.2 If f ∈ R[a, b] and λ is any real number then λf ∈ R[a, b] and
Zb Zb
λf = λ f
a a
E = {x ∈ [a, b] : f is discontinuous at x}
E ′ = {x ∈ [a, b] : λf is discontinuous at x}
If λ ̸= 0 then
f is continuous at x ⇐⇒ λf is discontinuous at x
This implies that
E = E′
=⇒ λf ∈ R[a, b]
II Part:
I Case: λ > 0
Let σ = {x0 , x1 , x2 , . . . xn } be a partition of [a, b] and Ik = [xk−1 , xk ] for k = 0, 1, 2, . . . , n.
Since λ > 0
=⇒ U [f ; σ] = λU [f ; σ]
This is true for all partitions of [a, b]. Taking infimum over all partition of [a, b]
inf (U [λf : σ]) = inf (λU [f ; σ])
σ σ
=⇒ U [λf : σ] = λL[f ; σ]
This is true for all partitions of [a, b]. Taking infimum over all partitions of [a, b]
inf U [λf : σ] = inf λL[f ; σ]
σ σ
=⇒ inf U [λf : σ] = λ sup L[f ; σ] (∵ λ < 0)
σ σ
Z b Z b
=⇒ λf = λ f
a a
Z b Z b
=⇒ λf = λ f (∵ f, λf ∈ R[a, b])
a a
=⇒ Ef +g ⊂ Ef ∪ Eg
=⇒ f + g ∈ R[a, b]
II Part: Let σ = {x0 , x1 , . . . , xn } be a sub-division of [a, b] and Ik = [xk−1 ; xk ] for
k = 1, 2, . . . , n. For any k in {1, 2, . . . , n}, consider
M [f + g; Ik ] ≤ M [f ; Ik ] + M [g; Ik ]
n
X n
X n
X
=⇒ M [f + g; Ik ]|Ik | ≤ M [f ; Ik ]|Ik | + M [g; Ik ]|Ik |
k=1 k=1 k=1
=⇒ U [f + g; σ] ≤ U [f ; σ] + U [g; σ]
Z b
=⇒ f + g ≤ U [f ; σ] + U [g; σ]
a
Zb
=⇒ f + g ≤ U [f ; σ] + U [g; σ] . . . (II)
a
As f ∈ R[a, b], there is a partition σ1 of [a, b] such that
ϵ
U [f ; σ1 ] < L[f ; σ1 ] +
2
Similarly as g ∈ R[a, b], there is a partition σ2 of [a, b] such that
ϵ
U [g; σ2 ] < L[g; σ2 ] +
2
Adding these inequalities,
U [f ; σ1 ] + U [g; σ2 ] < L[f ; σ1 ] + L[g; σ2 ] + ϵ
Z b Z b
=⇒ U [f ; σ1 ] + U [g; σ2 ] < f+ g+ϵ
a a
Z b Z b
=⇒ U [f ; σ1 ] + U [g; σ2 ] < f+ g+ϵ
a a
Let σ = σ1 ∪ σ2 . Then σ is refinement of σ1 and Z b From σ2 .
Z b the above inequality,
U [f ; σ] + U [g; σ] < f+ g+ϵ
a a
Taking infimum over all partitions of [a, b], Z b Z b
inf U [f ; σ] + inf U [g; σ] ≤ f+ g+ϵ
σ σ a a
Z b Z b Z b
=⇒ (f + g) ≤ f+ g+ϵ
a a a
Z b Z b Z b
=⇒ (f + g) ≤ f+ g+ϵ
a a a
Zb
=⇒ f ≥0 (∵ f ∈ R[a, b])
a
Zb
=⇒ (g − f ) ≥ 0
a
Zb Zb
=⇒ g− f ≥0
a a
Zb Zb
=⇒ g≥ f
a a
Zb Zb
=⇒ f≤ g
a a
=⇒ |f | ∈ R[a, b]
II Part:
f (x) ≤ |f (x)| and − f (x) ≤ |f (x)| for all x ∈ [a, b]
Zb Zb Zb Zb
=⇒ f≤ |f | and −f ≤ |f |
a a a a
Zb Zb Zb Zb
=⇒ f≤ |f | and − f≤ |f |
a a a a
Zb Zb Zb Zb
=⇒ f≤ |f | and f ≥− |f |
a a a a
Zb Zb Zb
=⇒ − |f | ≤ f≤ |f |
a a a
Zb Zb
=⇒ f ≤ |f |
a a
Solved Problems 01
Problem 3.3.7 Let f be continuous on [0, 1] and σn = {0, n1 , n2 , . . . , nn }. If x∗k is any point
in the interval [ k−1
n
, nk ], show that
n
1X
L[f, σn ] ≤ f (x∗k ) ≤ U [f, σn ]
n k=1
Further prove that
n Z1
1X
lim f (x∗k ) = f (x)dx
n→∞ n
k=1 0
Z1
lim L[f, σn ] = f (x)dx . . . (V I)
n→∞
0
Now from (III),
n
1X
lim L[f, σn ] ≤ lim f (x∗k ) ≤ lim U [f, σn ]
n→∞ n→∞ n n→∞
k=1
Z1 n Z1
1X
=⇒ f (x)dx ≤ lim f (x∗k ) ≤ f (x)dx ( from (V ) and (V I))
n→∞ n
0 k=1 0
n Z1
1X
=⇒ lim f (x∗k ) = f (x)dx
n→∞ n
k=1 0
A. log 2
B. e
R2 1
C. x
dx
1
D. ∞
Rb
Problem 3.3.10 If f is Riemann integrable on [a, b] and f (x)dx > 0 then
a
D. none of these
Rb Rb
• |f | ∈ R[a, b] and f (x)dx ≤ |f (x)|dx.
a a
Rb Rb
• If f, g ∈ R[a, b] and f (x) ≤ g(x) for all x ∈ [a, b] then f≤ g.
a a
Problem 3.3.16 Let f be continuous on the closed bounded interval [a, b] and f (x) ≥ 0
for all x ∈ [a, b]. If f (c) > 0 for some c ∈ [a, b], prove that
Zb
f (x)dx > 0
a
Keywords: Algebra of Riemann Integrable Functions, Properties of Riemann Integrable
Functions.
REFERENCES
(1) Section 7.4, Methods of Real Analysis by Richard R. Goldberg, 2nd edition,
Oxford & IBH Publishing Co. Pvt Ltd.
(2) Sections 7.1 and 7.2, Introduction to Real Analysis by Bartle Robert G and
Sherbert Donald R, 4nd edition, Wiley India.
(4) Chapter 14, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Introduction: The Mean Value Theorems are central point of calculus. The Mean
Value Theorems are used to prove Fundamental Theorems of Calculus which give relation
between integration and derivative of function.
The proof of the following theorem is similar to the proof of the theorem that we just
proved.
Theorem 3.4.6 Let f be continuous on interval I and f ′ (x) > 0 for all x ∈ I except
possibly at the end-points of I. Then f is increasing on I.
Proof: Let a, b ∈ I and a < b. Then f is continuous on [a, b] and differentiable in (a, b).
f (b)−f (a)
By Lagrange’s Mean Value Theorem, there is c ∈ (a, b) such that f ′ (c) = b−a
. As
f ′ (c) > 0, f (b) − f (a) > 0 i.e. f (a) < f (b). Thus a < b implies that f (a) < f (b). Hence
f is increasing on I.
The proof of the following theorem is similar to the proof of the theorem that we just
proved.
Theorem 3.4.7 Let f be continuous on interval I and f ′ (x) < 0 for all x ∈ I except
possibly at the end-points of I. Then f is decreasing on I.
=⇒ m ≤ θ(h) ≤ M . . . (I)
x+h
1
R
where θ(h) = h
f (t)dt. By intermediate value theorem, there is c(h) ∈ [x, x + h] such
x
that
f (c(h)) = θ(h) . . . (II)
Consider
x ≤ c(h) ≤ x + h
=⇒ x ≤ lim c(h) ≤ x
h→0
=⇒ F − ϕ is constant on [a, b]
Zb
=⇒ f (t)dt = ϕ(b) − ϕ(a)
a
Theorem 3.4.11 Let ϕ be a real valued function defined on the closed intervale [a, b]
such that ϕ′ is continuous on [a, b]. Let A = ϕ(a) and B = ϕ(b). If f is continuous on
ϕ([a, b]) then
ZB Zb
f (x)dx = f (ϕ(u))ϕ′ (u)du
A a
Rx
Proof: Define F : ϕ [a, b] → R as F (x) = f (t)dt. Then by first fundamental
a
theorem of calculus,
F ′ (x) = f (x) for all x ∈ [a, b]
Define G : [a, b] → R as G(u) = F (ϕ(u)). Differentiating with respect to u,
G′ (u) = F ′ (ϕ(u))ϕ′ (u) = f (ϕ(u))ϕ′ (u)
Zb
= G′ (u)du
a
= G(b) − G(a)
= F ϕ(b) − F ϕ(a)
= F (B) − F (A)
ZB
= F ′ (x)dx
A
ZB
= f (x)dx
A
This completes the proof.
Solved Problems 01
Rx
Problem 3.4.12 If f is continuous on [a, b] and if F (x) = f (t)dt for all x ∈ [a, b], prove
a
that F is continuous on [a, b].
Solution: Let c ∈ [a, b]. Then Z x
F (x) − F (c) = f (t)dt
c
Since f is integrable, we know Z x say |f (x)|
Z xit is bounded, Z x≤ M over [a, b]. Then
− M dt ≤ f (t)dt ≤ M dt
c c c
which means Z x
−M (x − c) ≤ f (t)dt ≤ M (x − c)
c
Thus we get
|F (x) − F (c)| ≤ M |x − c|
This implies that
− M |x − c| ≤ F (x) − F (c) ≤ M |x − c|
=⇒ lim −M |x − c| ≤ lim F (x) − F (c) ≤ lim M |x − c|
x→c x→c x→c
=⇒ 0 ≤ lim F (x) − F (c) ≤ 0
x→c
=⇒ lim F (x) − F (c) = 0
x→c
A. continuous on [−1, 1]
A. discontinuous on [−2, 2]
Problem 3.4.16 If g(x) = sin x and f (x) = cos x, then the point at which the conclusion
of Cauchy’s mean value theorem holds in − π4 , π4
π
A. 6
π
C. 4
−π
D. 6
Problem 3.4.18 Let f be continuous on the closed bounded interval [a, b] and f (x) ≥ 0
Rb
for all x ∈ [a, b].If f (x)dx = 0 , prove that f is identically zero on [a, b].
a
Solution: Suppose on contrary that f is not identically zero on [a, b]. Then there is
c ∈ [a, b] such that f (c) > 0.Since f (x) is continuous at x = c and f (c) > 0, there is δ > 0
such that
1
a < c − δ < x < c + δ < b =⇒ 0 < f (c) < f (x)
2
This implies that
Zc+δ Zc+δ
1 1
f (x)dx > f (c) dx = 2δf (c) = δf (c) . . . (I)
2 2
c−δ c−δ
Since f (x) ≥ 0 on [a, b],
Zc−δ Zb
f (x)dx ≥ 0 and f (x)dx ≥ 0 . . . (II)
a c+δ
Now,
Zb Zc−δ Zc+δ Zb
f (x)dx = f (x)dx + f (x)dx + f (x)dx
a a c−δ c+δ
= δf (c)
>0
Rb
So f (x)dx > 0. This is a contradiction. Hence f must be identically 0 on [a, b].
a
Summary:
Problem 3.4.19 Give Geometrical Interpretation of Rolle’s Mean Value Theorem and
Lagrange’s Mean Value Theorem.
Problem 3.4.20 Test whether the conditions of Rolle’s Mean Value Theorem hold for
given functions on the interval and if so find the value of c.
x2 +ab
a) f (x) = log (a+b)x on [a, b] b) f (x) = (x − a)m (x − b)n on [a, b]
Problem 3.4.21 Test whether the conditions of Lagrange’s Mean Value Theorem hold
for given functions on the interval and if so find the value of c.
Problem 3.4.22 a) Show that the value of c when Cauchy’s Mean Value Theorem is
applied to the functions f (x) = sin x and g(x) = cos x on [a, b] is the arithmetic mean of
a and b.
b) Show that the value of c q
when Cauchy’s Mean Value Theorem is applied to the func-
√
tions f (x) = x and g(x) = x1 on [a, b] is the geometric mean of a and b.
Keywords: Rolle’s Mean Value Theorem, Lagrange’s Mean Value Theorem, Cauchy’s
Mean Value Theorem, First Fundamental Theorem of Calculus, Second Fundamental
Theorem of Calculus.
REFERENCES
(1) Sections 7.5 to 7.8, Methods of Real Analysis by Richard R. Goldberg, 2nd edi-
tion, Oxford & IBH Publishing Co. Pvt Ltd.
(2) Section 7.3, Introduction to Real Analysis by Bartle Robert G and Sherbert
Donald R, 4nd edition, Wiley India.
(4) Chapter 14, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
125
Unit 04-01: Convergence and Uniform Convergence of Sequence of
Functions
Learning Objectives:
After successful completion of this unit, you will be able to
ii. Understand difference between point wise and uniform convergence of sequence
of functions.
Introduction: In this unit, we shall define sequence of functions and study its pointwise
and uniform convergence. The uniform convergence of sequence of functions is stronger
than the pointwise convergence of sequence of functions. So every uniformly convergent
sequence of functions converges pointwise.
OR
Let {fn }∞ ∞
n=1 be a sequence of real value function on set E. We say that {fn }n=1 converges
point wise to the function f on E if for every point x of E and for every ϵ > 0 there is
N ∈ I such that
n ≥ N =⇒ |fn (x) − f (x)| < ϵ.
While evaluating lim fn (x), x is kept fixed (constant).
n→∞
fn → f on E ⇐⇒ ∀x ∈ E ∀ϵ > 0 ∃N ∈ I n ≥ N =⇒ |fn (x) − f (x)| < ϵ
fn → f on E ⇐⇒ ∀x ∈ E lim fn (x) = f (x)
n→∞
that {fn }∞
n=1 converges uniformly to the function f on E if for every ϵ > 0 there is N ∈ I
such that
n ≥ N ; x ∈ E =⇒ |fn (x) − f (x)| < ϵ
fn → f uniformly on E ⇐⇒ ∀ϵ > 0∃N ∈ I n ≥ N : x ∈ E =⇒ |fn (x) − f (x)| < ϵ
iii) Note that for fixed x ∈ E{fn (x)} is sequence of real numbers . So {fn (x)}∞
n=1 denotes
there exist some ϵ > 0 for which there is no N ∈ I satisfying the statement
n ≥ N ; x ∈ E =⇒ |fn (x) − f (x)| < ϵ
∞
Theorem 4.1.3 The sequence {f
! n }n=1 of functions converges uniformly to f on E if and
only if lim sup |fn (x) − f (x)| =0
n→∞ x∈E
Proof:
I Part :
lim (sup |fn (x) − f (x)|) = 0
n→∞ x∈E
!
=⇒ ∀ϵ > 0 ∃N ∈ I n ≥ N =⇒ sup |fn (x) − f (x)| < ϵ
x∈E
=⇒ ∀ϵ > 0 ∃N ∈ I n ≥ N ; x ∈ E =⇒ |fn (x) − f (x)| < ϵ (∵ |fn (x) − f (x)| ≤ sup |fn (x) − f (x)|)
x∈E
Hence {fn }∞
n=1 converges uniformly to f on E.
N ∈ I such that
n ≥ N ; x ∈ E =⇒ |fn (x) − f (x)| < ϵ
It means that ϵ is upper bound of the set {|fn (x) − f (x)| : x ∈ E} whenever n ≥ N . So
sup |fn (x) − f (x)| < ϵ whenever n ≥ N .
x∈E
Stated differently
n ≥ N =⇒ sup |fn (x) − f (x)| < ϵ
x∈E
!
=⇒ lim sup |fn (x) − f (x)| =0
n→∞ x∈E
Remark: The result in the above theorem !
fn → f uniformly on E ⇐⇒ lim sup |fn (x) − f (x)| = 0
n→∞ x∈E
!
fn ̸→ f uniformly on E ⇐⇒ lim sup |fn (x) − f (x)| ̸= 0
n→∞ x∈E
that
ϵ
n ≥ N ; x ∈ E =⇒ |fn (x) − f (x)| <
2
ϵ ϵ
=⇒ m, n ≥ N ; x ∈ E =⇒ |fm (x) − f (x)| < and |fn (x) − f (x)| <
2 2
=⇒ m, n ≥ N ; x ∈ E =⇒ |fm (x) − f (x)| + |fn (x) − f (x)| < ϵ
=⇒ m, n ≥ N ; x ∈ E =⇒ |fm (x) − f (x) − fn (x) + f (x)| < ϵ
=⇒ m, n ≥ N ; x ∈ E =⇒ |fm (x) − fn (x)| < ϵ
II Part: Let for every ϵ > 0 there is N ∈ I such that
m, n ≥ N ; x ∈ E =⇒ |fm (x) − fn (x)| < ϵ . . . (I)
It is clear that {fn (x)}∞
n=1 is a Cauchy sequence of real numbers for all x ∈ E. Since R
The function gN (x) (x) is continuous as functions f and fN (x) are continuous. The con-
tinuity of gN (x) at a point x implies the existence of neighbourhood (open ball) Bx of x
such that
y ∈ Bx =⇒ gN (x) (y) < ϵ . . . (IV )
A metric space X is compact if and only if every open cover of X has some finite sub-cover.
The collection {Bx |x ∈ m} forms an open covering of M . Since M is compact there is a
finite subcover of this open covering. Let {Bx1 , Bx2 , ......., Bxk } be a finite subcover of M .
Take N = max{Nx1 , Nx2 , . . . , Nxk } and y ∈ M . Then y ∈ Bxj for some j ∈ {1, 2, . . . , k}.
Consider
n ≥ N, y ∈ M
=⇒ {gn }∞
n=1 converges uniformly to 0 on M
=⇒ {fn }∞
n=1 converges uniformly to f on M
Solved Problems 01
=0
= f (x)
II Case : x = 1
In this case,
lim fn (x) = lim xn
n→∞ n→∞
= lim 1n
n→∞
= lim 1
n→∞
= f (x)
Thus lim fn (x) = f (x) for all x ∈ [0, 1]. Hence{fn }∞
n=1 converges point wise to f on
n→∞
[0, 1].
1
II Part : Let ϵ = 2
> 0. Suppose on contrary there is N ∈ I such that
1
n ≥ N ; x ∈ [0, 1] =⇒ |fn (x) − f (x)| < . . . (I)
2
n 1
=⇒ n ≥ N ; x ∈ [0, 1] =⇒ |x − f (x)| <
2
1
=⇒ n ≥ N ; x ∈ [0, 1) =⇒ |xn − 0| <
2
1
=⇒ n ≥ N ; x ∈ [0, 1) =⇒ xn <
2
1
=⇒ lim xn ≤ lim
x→1− x→1 2
1
=⇒ 1n ≤
2
1
=⇒ 1 ≤
2
This a contradiction . Hence there is no n such that the statement (I) holds. So {fn }∞
n=1
where gn (x) = x
1+nx
and g(x) = 0 for all x ∈ [0, ∞).Does {gn }∞
n=1 converge uniformly to
Solution:
x
I Part : gn : [0, ∞) → R, gn (x) = 1+nx
I Case : x > 0
= g(x)
II Case: x = 0
In this case clearly lim gn (x) = lim gn (0) = lim 0 = 0 = g(x)
n→∞ n→∞ n→∞
Thus lim gn (x) = g(x) for all x ∈ [0, ∞). Hence{gn }∞
n=1 converges point wise to g on
n→∞
[0, ∞).
II Part :Let ϵ > 0
By Archimedean property of real numbers,there is N ∈ I such that
1
<ϵ . . . (I)
N
Consider
n≥N
1 1
=⇒ ≤
n N
1
=⇒ <ϵ (from (I) )
n
Thus
1
n ≥ N =⇒ <ϵ . . . (II)
n
Consider
0<1
=⇒ nx < 1 + nx
nx
=⇒ <1
1 + nx
x 1
=⇒ <
1 + nx n
This holds for all x ∈ [0, ∞). Thus
x 1
x ∈ [0, ∞) =⇒ < . . . (III)
1 + nx n
Now,
x
n ≥ N, x ∈ [0, ∞) =⇒ <ϵ (from (II) and (III))
1 + nx
nx
lim hn (x) = lim
n→∞ n→∞ 1 + n2 x2
x
n
= lim
n→∞ 12 + x2
n
lim x
n→∞ n
=
lim 12 + x2
n→∞ n
0
=
0 + x2
=0
= h(x)
II Case : x = 0
In this case clearly
=⇒ {hn }∞
n=1 does not converges uniformly to h on R
Self-Test 01
1
A. pointwise convergent on [0, 10 ] but not pointwise convergent on [0, 1].
1
B. uniformly convergent on [0, 10 ] and pointwise convergent on [0, 1].
D. none of these.
nx
lim hn (x) = lim
n→∞ n→∞ 1 + n2 x2
n
x
= lim
n→∞ 12 + x2
n
lim x
n→∞ n
=
lim 12 + x2
n→∞ n
0
=
0 + x2
=0
= h(x)
II Case x = 0 :
In this case clearly
answer.
Solution:
χn is a characteristic function of [−n, n]. Let x ∈ R. By Archimedean property of real
numbers, there are positive integers N1 and N2 such that x < N1 and −x < N2 . Take
N = max{N1 , N2 } so that x < N1 ≤ N and − x < N2 ≤ N . This implies that
−N ≤ x ≤ N =⇒ −(N + 2) ≤ −(N + 1) ≤ −N ≤ x ≤ N ≤ N + 1 ≤ N + 2 . . .
I: 1 2 3 ··· n ···
↓ ↓ ↓ ↓ ··· ↓ ···
τ : f1 f2 f3 ··· fn ···
• Let {fn }∞
n=1 be a sequence of real valued functions defined on E. If lim fn (x) =
n→∞
f (x) for all x ∈ E then {fn }∞
n=1 is said to converge pointwise to f on E.
pointwise
• fn −−−−−→ f ⇐⇒ ∀x( lim fn (x) = f (x))
n→∞
pointwise
• fn −−−−−→ f ⇐⇒ ∀x(sequence of real numbers {fn (x)}∞
n=1 converges to f (x))
pointwise
• fn −−−−−→ f ⇐⇒ ∀x∀ϵ > 0∃N ∈ I(n ≥ N =⇒ |fn (x) − f (x)| < ϵ)
• Let {fn }∞
n=1 be a sequence of real valued functions defined on E. If for every
such that
1
x ∈ [0, 1], n ≥ N =⇒ |fn (x) − f (x)| <
8
REFERENCES
(1) Sections 9.1 and 9.2, Methods of Real Analysis by Richard R. Goldberg, 2nd
edition, Oxford & IBH Publishing Co. Pvt Ltd.
(4) Chapter 10, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
f is also continuous at a.
Proof: Let ϵ > 0. Since {fn }∞
n=1 converges uniformly to f on M , there is N ∈ I such
that
ϵ
n ≥ N, x ∈ M =⇒ |fn (x) − f (x)| < . . . (I)
3
Each {fn }∞
n=1 is continuous at point a. In particular, fN is continuous at x = a. Hence
there is δ > 0 such that
ϵ
d(x, a) < δ =⇒ |fN (x) − fN (a)| < . . . (II)
3
For d(x, a) < δ, consider
|f (x) − f (a)|
continuous on M .
N ∈ I such that
ϵ
n ≥ N, x ∈ M =⇒ |fn (x) − f (x)| < . . . (I)
3
Each {fn }∞
n=1 is continuous at point a. In particular, fN is continuous at x = a. Hence
ϵ
d(x, a) < δ =⇒ |fN (x) − fN (a)| < . . . (II)
3
For d(x, a) < δ, consider
|f (x) − f (a)|
Proof: {fn }∞
n=1 converges uniformly to f on [a, b]. So for ϵ = 1, there is N ∈ I such that
n ≥ N ; x ∈ [a, b] =⇒ |fn (x) − f (x)| < 1
In particular for n = N ,
x ∈ [a, b] =⇒ |fN (x) − f (x)| < 1 . . . (I)
Consider
fN ∈ R[a, b]
=⇒ fN is bounded on [a, b]
=⇒ m(E) = 0 . . . (IV )
Now,
x ∈ [a, b] − E
=⇒ x ̸∈ E
∞
[
=⇒ x ̸∈ En
n=1
=⇒ x ̸∈ En for any n ∈ I
=⇒ x ̸∈ D
=⇒ x ∈ [a, b] − D
Thus
x ∈ [a, b] − E =⇒ x ∈ [a, b] − D
=⇒ D ⊆ E
=⇒ m(D) = 0 (from(IV ))
Proof:
I Part: f ∈ R[a, b]. Refer to the proof of previous theorem.
II Part: Let ϵ > 0. Since {fn }∞
n=1 converges uniformly to f on [a, b], there is N ∈ I
such that
ϵ
n ≥ N ; x ∈ [a, b] =⇒ |fn (x) − f (x)| <
b−a
Z b !
Z b
ϵ
=⇒ n ≥ N =⇒ |fn (x) − f (x)|dx < dx
a a b−a
!
Z b
ϵ
=⇒ n ≥ N =⇒ |fn (x) − f (x)|dx < (b − a)
a b−a
!
Z b
=⇒ n ≥ N =⇒ |fn (x) − f (x)|dx < ϵ
a
Z b Z b Z b
=⇒ n ≥ N =⇒ fn (x) − f (x)dx < ϵ ∵ g ≤ |g|
a a a
Z b Z b
=⇒ n ≥ N =⇒ fn (x)dx − f (x)dx < ϵ
a a
Theorem 4.2.5 Let fn be differentiable on [a, b] for all n ∈ I and fn′ be continuous on
[a, b]. If {fn }∞ ′ ∞
n=1 converges tof on [a, b] and {fn }n=1 converges uniformly to g on [a, b]
Proof: {fn }∞
n=1 converges uniformly to f on [a, b]. So
lim fn (x) = f (x) for all x ∈ [a, b] . . . (I)
n→∞
Also
{fn′ }∞
n=1 converges uniformly to g on [a, b] and so
lim fn′ (x) = g(x) for all x ∈ [a, b]. . . . (II)
n→∞
Proof: Take x ∈ M and ϵ > 0. As fm and fn are continuous at x, there are δ1 and δ2
such that
ϵ
|x − x′ | < δ1 =⇒ |fm (x) − fm (x′ )| <
3
′ ′ ϵ
|x − x | < δ2 =⇒ |fn (x) − fn (x )| <
3
Taking δ = min{δ1 , δ2 }, we get
ϵ
|x − x′ | < δ =⇒ |fm (x) − fm (x′ )| < . . . (I)
3
ϵ
|x − x′ | < δ =⇒ |fn (x) − fn (x′ )| < . . . (II)
3
As A is dense in M , there is a ∈ A such that
|x − a| < δ
So from (I) and (II),
ϵ
|fm (x) − fm (a)| < . . . (III)
3
ϵ
|fn (x) − fn (a)| < . . . (IV )
3
The uniform convergence of {fn }∞ n=1 on A implies the existence of N ∈ I such that
ϵ
y, y ∈ A, m, n ≥ N =⇒ |fm (y) − fn (y ′ )| <
′
3
In particular for y = y ′ = a,
ϵ
m, n ≥ N =⇒ |fm (a) − fn (a)| < . . . (V )
3
S25011: REAL ANALYSIS Page 142
ϵ
From (III), (IV ) and (V ) m, n ≥ N =⇒ |fm (x) − fm (a)| < 3
, |fm (a) − fn (a)| <
ϵ ϵ
3
, |fn (x) − fn (a)| < 3
ϵ
=⇒ (m, n ≥ N =⇒ |fm (x) − fm (a) + fm (a) − fn (a) − fn (x) + fn (a)| < 3
+ 3ϵ + 3ϵ )
ϵ
=⇒ (m, n ≥ N =⇒ |fm (x) − fn (x)| < 3
+ 3ϵ + 3ϵ )
=⇒ (m, n ≥ N =⇒ |fm (x) − fn (x)| < ϵ)
Recall that x was arbitrary point of M . Also observe that N is independent of x. It
follows that {fn }∞
n=1 converges uniformly on M .
Theorem 4.2.7 Let g be a continuous function on the closed bounded interval [a, b].If
{fn }∞
n=1 is a sequence of continuous functions which converge uniformly on [a, b] to f then
Rb Rb
lim fn g = f g.
n→∞ a a
Proof: A continuous function on closed bounded interval is bounded. As g is continuous
function on closed bounded interval [a, b], g is bounded. So there is M > 0 such that
x ∈ [a, b] =⇒ |g(x)| ≤ M . . . (I)
Let ϵ > 0. Since {fn }∞n=1 converges uniformly to f on [a, b], there is N ∈ I such that
ϵ
x ∈ [a, b], n ≥ N =⇒ |fn (x) − f (x)| <
M
This implies that
ϵ
x ∈ [a, b], n ≥ N =⇒ |fn (x) − f (x)| <
M
ϵ
=⇒ x ∈ [a, b], n ≥ N =⇒ |g(x)||fn (x) − f (x)| < |g(x)|
M
ϵ
=⇒ x ∈ [a, b], n ≥ N =⇒ |g(x)||fn (x) − f (x)| < M ) ( from (I))
M
=⇒ x ∈ [a, b], n ≥ N =⇒ |g(x)||fn (x) − f (x)| < ϵ
=⇒ x ∈ [a, b], n ≥ N =⇒ |fn (x)g(x) − f (x)g(x)| < ϵ
=⇒ {fn g}∞
n=1 converge uniformly to f g on [a, b]
Zb Zb
=⇒ lim fn g = lim fn g
n→∞ n→∞
a a
Zb Zb
=⇒ lim fn g = fg
n→∞
a a
Solved Problems 01
as
2n if 1 ≤ x ≤ 2
n n
fn (x) =
0 otherwise
Does {fn }∞
n=1 converge uniformly to f on [0, 1]? Justify your answer.
II Part: Consider
Z1
lim fn (x)dx
n→∞
0
Z1
= f (x)dx
0
Z1
= 0dx
0
=0
So
Z1
lim fn (x)dx = 0 . . . (I)
n→∞
0
R1
Next, we find the value of the integral lim fn (x)dx.
n→∞ 0
Z1
lim fn (x)dx
n→∞
0
1 2
Zn Zn Z1
= lim fn (x)dx + fn (x)dx + fn (x)dx
n→∞
0 1 2
n n
xn
Problem 4.2.9 Let fn (x) = n
on [0, 1].
a) Show that {fn }∞
n=1 converges uniformly to 0 on [0, 1].
b) Prove that {fn′ }∞
n=1 converges to 0 on [0, 1)?
1
x ∈ [0, 1], n ≥ N =⇒ n >
ϵ
!
1
=⇒ x ∈ [0, 1], n ≥ N =⇒ <ϵ
n
!
xn xn
1
=⇒ x ∈ [0, 1], n ≥ N =⇒ <ϵ ∵ ≤ as x ∈ [0, 1]
n n n
!
xn
=⇒ x ∈ [0, 1], n ≥ N =⇒ −0 <ϵ
n
!
=⇒ x ∈ [0, 1], n ≥ N =⇒ |fn (x) − 0| < ϵ
A. {fn′ }∞ ′
n=1 converges pointwise but not uniformly to f on [a, b].
B. {fn′ }∞ ′
n=1 converges uniformly to f on [a, b].
C. {fn′ }∞ ′
n=1 does not converge pointwise to f on [a, b].
D. none of these.
Rb Rb
B. { fn (x)dx}∞
n=1 does not converge to f (x)dx.
a a
Rb Rb
C. { fn (x)dx}∞
n=1 converges to f (x)dx when each fn is differentiable.
a a
Rb Rb
D. { fn (x)dx}∞
n=1 converges to f (x)dx only when each fn is continuously differ-
a a
entiable.
true.
converge uniformly on E.
0 on [0, ∞).
Solution:
x≥0
=⇒ −x ≤ 0
=⇒ −nx ≤ 0
=⇒ e−nx ≤ 1
Thus
x ∈ [0, ∞), n ∈ I =⇒ e−nx ≤ 1 . . . (I)
Let ϵ > 0. By Archimedian property of real numbers there is N ∈ I such that
1
N> . . . (II)
ϵ
Now
n≥N
1 1
=⇒ ≤
n N
1
=⇒ < ϵ ( from (II))
n
So from (I)
e−nx
x ∈ [0, ∞), n ≥ N =⇒ <ϵ
n
!
e−nx
=⇒ x ∈ [0, ∞), n ≥ N =⇒ −0 <ϵ
n
=⇒ x ∈ [0, ∞), n ≥ N =⇒ |gn (x) − 0| < ϵ
Summary:
xn
Problem 4.2.16 Let fn (x) = 1+xn
on [0, 1].
a) Show that {fn }∞ 1
n=1 converges uniformly on [0, 4 ]
b) Does {fn }∞
n=1 converge uniformly on [0, 1]?
converge uniformly on the closed bounded interval [a, b] and for each n ∈ I, define Fn as
Rx
Fn (x) = fn (t)dt on [a, b] . Show that {Fn }∞
n=1 converges uniformly on [a, b].
a
formly on [0, 1], prove that there exists M > 0 such that
x ∈ [0, 1], n ∈ I =⇒ |fn (x)| ≤ M
Problem 4.2.21 If {fn }∞n=1 is a sequence of functions which converges uniformly to the
sin nx
Problem 4.2.23 Let fn (x) = n
on [0, 1]. Show that
a) {fn }∞
n=1 converges uniformly to 0 on [0, 1].
b) {fn′ }∞
n=1 does not converge pointwise on [0, 1].
REFERENCES
(1) Section 9.3, Methods of Real Analysis by Richard R. Goldberg, 2nd edition,
Oxford & IBH Publishing Co. Pvt Ltd.
(4) Chapter 10, Real Analysis, by N.L. Carothers, 1st edition, Cambridge University
Press.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
Learning Objectives:
After successful completion of this unit, you will be able to
Introduction: In this unit, we shall define series of functions and study its pointwise
and uniform convergence. The results on convergence of series of functions are proved us-
ing the corresponding results of convergence of sequence of functions. Under the uniform
convergence of series of functions, continuity and Riemann Integrability are preserved.
∞
un is defined as an ordered pair < {un }∞ ∞
P
Definition 4.3.1 A series of functions n=1 , {sn }n=1 >
n=1
where {un }∞ ∞
n=1 and {sn }n=1 are sequences of real valued functions on E and sn =
u1 + u2 + u3 + · · · + un for all n ∈ I. ∞
P
The notation u1 + u2 + u3 + · · · is also used to denote the un series.
n=1
i) If sequence {sn }∞
n=1 of functions converges pointwise to f on E then we say that the
∞
P
series un converges pointwise to f on E. In this case we write
n=1
∞
X
un = f on E
n=1
or as ∞
X
un (x) = f (x) for all x ∈ E
n=1
If lim sn (x) = lim u1 (x) + u2 (x) + · · · + un (x) = f (x) for all x ∈ E then the series
n→∞ n→∞
P∞
un converges pointwise to f on E.
n=1
ii) If sequence {sn }∞
n=1 of functions converges uniformly to f on E then we say that the
P∞
series un converges uniformly to f on E.
n=1
∞
P
Theorem 4.3.2 Let u1 , u2 , u3 . . . be real valued functions on M . If un converges
n=1
uniformly to f on M and if each un is continuous at a point a of M then f is also
continuous at the point a.
Proof: We shall use the following theorem.
“Let {gn }∞ ∞
n=1 be a sequence of real valued functions defined on metric space M . If {gn }n=1
∞
P
Theorem 4.3.3 Let u1 , u2 , u3 . . . be real valued functions on M . If un converges
n=1
uniformly to f on M and if each un is continuous on M then f is also continuous on M .
=⇒ {sn }∞
n=1 converges uniformly to f on M . . . (II)
By applying result (∗) to (I) and (II), we conclude that f is continuous on M .
∞
P
Theorem 4.3.4 (Weierstrass M-Test) Let uk be a series of real valued functions
k=1
∞
P
on a set E. If there exist positive numbers M1 , M2 , . . . with Mk < ∞ such that
k=1
∞
X ∞
X
uk ≪ Mk for all x ∈ E
k=1 k=1
∞
P
then uk converges uniformly on E.
k=1
m
X
= uk (x)
k=n+1
m
X
≤ uk (x) (by triangle inequality)
k=n+1
m
X
≤ Mk (from (I))
k=n+1
m
X n
X
= Mk − Mk
k=1 k=1
= tm − tn
≤ |tm − tn |
This holds for all x ∈ E. So
m > n ≥ N1 ; x ∈ E =⇒ sm (x) − sn (x) ≤ |tm − tn | . . . (II)
Let ϵ > 0. Consider the series
∞
X
Mk < ∞
k=1
∞
X
=⇒ Mk is convergent series of positive real numbers
k=1
=⇒ {tn }∞
n=1 is convergent
=⇒ {tn }∞
n=1 is Cauchy
=⇒ ∃N2 ∈ I m > n ≥ N2 =⇒ |tm − tn | < ϵ . . . (III)
Take N = max{N1 , N2 }. Then from (II) and (III).
m > n ≥ N ; x ∈ E =⇒ sm (x) − sn (x) < ϵ
=⇒ {sn }∞
n=1 converges uniformly on E (by Cauchy criterion for uniform convergence)
∞
X
=⇒ uk converges uniformly on E
k=1
(1 − (1 − x)n+1 )
= x lim
n→∞ 1 − (1 − x)
(1 − (1 − x)n+1 )
= x lim
n→∞ x
= lim 1 − (1 − x)n+1
n→∞
= 1 − lim (1 − x)n+1
n→∞
=1
= f (x)
Thus
lim sn (x) = f (x) for all x ∈ [0, 1]
n→∞
∞
e−nx xn is uniformly convergent on [1, 100].
P
Problem 4.3.6 Show that the series
n=1
Solution: First we find the maximum of f (x) = xe−x on [1, 100]. Consider
f (x) = xe−x
=⇒ e−x − xe−x = 0
=⇒ e−x (1 − x) = 0
=⇒ x=1
Also
f ′′ (x) = −e−x − (e−x − xe−x ) = xe−x − 2e−x
Now
f (100) = 100
e100
, f (1) = 1e , f ′ (1) = 0, f ′′ (1) = 1
e
− 2
e
<0
It follows that the maximum of f (x) on [1, 100] is 1e . For x ∈ [1, 100]
1
xe−x ≤
e
n
1
=⇒ (xe−x )n ≤
e
n
1
=⇒ xn e−nx ≤
e
X∞ ∞
X 1 n
n −nx
=⇒ x e ≪
n=1 n=1
e
∞
1 n
converges as it is a geometric series and 1e < 1. So by Weierstrass
P
The series e
n=1
∞
xn e−nx on [1, 100] of follows.
P
M-test, the uniform convergence
n=1
Self-Test 01
D. none of these.
∞
sin nx
P
Problem 4.3.8 The series n
n=1
= lim (x + x2 + · · · + xn )
n→∞
x (1 − xn )
= lim
n→∞ 1−x
x n
= 1 − lim x
1−x n→∞
x n
= ∵ lim x = 0 as |x| < 1
1−x n→∞
= f (x)
∞
xn converges pointwise to
P
Thus lim sn (x) = f (x) for all x ∈ (−1, 1). So the series
n→∞ n=1
x
the function f (x) = 1−x
on (−1, 1).
∞
sin nx
P
Problem 4.3.10 Prove that the series n2
converges uniformly on R.
n=1
Summary:
∞
P
• The infinite series un of real valued functions on set E can be thought as an
n=1
infinite sum of the terms of the sequence {un }∞
n=1 of real valued functions on E.
∞
P
The series un is also denoted by u1 + u2 + · · · + un + · · ·
n=1
∞
P
To “define” the series un of real valued functions on , two sequences need
n=1
to be specified. First the sequence {un }∞
n=1 of real valued functions and the
sequence {sn }∞ ∞
n=1 = {u1 + u2 + · · · + un }n=1 of partial sums.
∞
P
• All the properties of the series un are defined using the properties of the
n=1
sequence {sn }∞
n=1 .
∞
P
• A series un of real valued functions on E converges pointwise to f on E if
n=1
the sequence {sn }∞ ∞
n=1 = {u1 + u2 + · · · + un }n=1 converges pointwise to f on E.
∞
P P∞
In this case we write un = f or un (x) = f (x) for all x ∈ E.
n=1 n=1
∞ ∞
P P pointwise
The pointwise convergence of un to f on E is denoted by un −−−−−→ f .
n=1 n=1
• It is clear that the uniform convergence is stronger than the pointwise conver-
gence.
∞ ∞
pointwise unif orm
X X
un −−−−−→ f =⇒ un −−−−−→ f
n=1 n=1
REFERENCES
(1) Sections 9.3 to 9.5, Methods of Real Analysis by Richard R. Goldberg, 2nd edi-
tion, Oxford & IBH Publishing Co. Pvt Ltd.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
Learning Objectives:
After successful completion of this unit, you will be able to
Introduction: In this unit, we shall prove some sufficient conditions for uniform conver-
gence of power series on intervals. With suitable conditions, uniformly convergent power
series can be term by term integrated and differentiated on its interval of convergence.
∞
ak xk converges for x = x0 then it converges
P
Theorem 4.4.1 If the power series
k=0
uniformly on [−x1 , x1 ] where x1 is any number such that 0 < x1 < |x0 |.
∞
ak xk converges absolutely for
P
Proof: By known result for series of real numbers, if
k=0
x = x0 then it converges absolutely for any x with |x| < x0 . This implies that it converges
absolutely for x = x1 where x1 is a real number such that 0 < x1 < |x0 |. So the series
∞
|ak |xk1 converges. Also
P
k=0
∞
X ∞
X
k
0 < |x| < x1 =⇒ ak x ≪ |ak |xk1
k=0 k=0
∞
X ∞
X
=⇒ ak x k ≪ Mk for all x ∈ [−x1 , x1 ] where Mk = |ak |xk1 . . . (I)
k=0 k=0
As seen before,
∞
X ∞
X
Mk = |ak |xk1 is convergent . . . (II)
k=0 k=0
Applying Weierstrass M-test to (I) and (II), we obtain the uniform convergence of the
∞
ak xk on [−x1 , x1 ].
P
series
k=0
∞
P
Theorem 4.4.2 Let un be a series of continuous non-negative real valued functions
n=1
∞
P
on compact metric space M . If the series un converges to a continuous function f on
n=1
∞
P
M then the series un converges uniformly to f on M .
n=1
Proof: We shall use the following theorem.
“Dini’s Theorem: Let {fn }∞
n=1 be a monotone sequence of continuous real valued
=⇒ {sn }∞
n=1 is a monotone sequence of functions . . . (I)
As each un is continuous on M ,
sn is continuous on M for all n ∈ I . . . (II)
∞
P
Also as the series un converges to a continuous function f on M ,
n=1
{sn }∞
n=1 converges to the continuous function f on M . . . (III)
The statements (I), (II) and (III) assert that the hypothesis of Dini’s theorem is satisfied.
∞
P
Hence by Dini’s theorem, we conclude that the series un converges uniformly to f on
n=1
M.
∞ ∞
an xn on (−1, 1) then f is
P P
Theorem 4.4.3 If the series an converges and f (x) =
n=0 n=0
continuous on (−1, 1).
Proof : ∞
X
an converges
n=0
∞
X
=⇒ an xn converges for x = 1
n=0
X∞
=⇒ an xn converges uniformly on (−1, 1)
n=0
A series of continuous functions converges to a continuous function under uniform con-
vergence. Since un (x) = an xn is continuous on (−1, 1) for each n ∈ I, it follows that
∞ ∞
an xn is continuous on (−1, 1).
P P
f (x) = un (x) =
n=0 n=0
=⇒ {sn }∞
n=1 converges uniformly on A
=⇒ {sn }∞
n=1 converges uniformly on M ( by (∗))
∞
X
=⇒ un converges uniformly on M
n=1
∞
P
Theorem 4.4.5 Let uk be a series of functions in R[a, b] which converges uniformly
k=1
to f on [a, b]. Then f ∈ R[a, b] and
Zb X ∞ ∞ Zb
X
uk (x)dx = uk (x)dx
a k=1 k=1 a
Proof: We shall use the following result.
“ Let {fn }∞n=1 be a sequence of functions in R[a, b] which converges uniformly to f on
Rb Rb
[a, b]. Then f ∈ R[a, b] and lim fn (x)dx = lim fn (x)dx” . . . (∗)
n→∞ a a n→∞
For each n ∈ I define sn = u1 + u2 + · · · + un . The sequence{sn }∞
n=1 is then a sequence of
∞
P ∞
P
partial sums of the series uk . As the series uk converges uniformly to f on [a, b],
k=1 k=1
{sn }∞
n=1 converges uniformly to f on [a, b] . . . (I)
Also un ∈ R[a, b] for each n ∈ I. This implies that
un ∈ R[a, b] for each n ∈ I . . . (II)
Applying result (∗) to (I) and (II), we get that f ∈ R[a, b] and
Zb Zb
lim sn (x)dx = lim sn (x)dx
n→∞ n→∞
a a
Zb X
n Zb n
X
=⇒ lim uk (x)dx = lim uk (x)dx
n→∞ n→∞
a k=1 a k=1
n Z b Zb n
X X
=⇒ lim uk (x)dx = lim uk (x)dx
n→∞ n→∞
k=1 a a k=1
∞ Z b Zb X
∞
X
=⇒ uk (x)dx = uk (x)dx
k=1 a a k=1
∞ ∞
!′
X X
=⇒ u′n (x) = un (x)
n=1 n=1
∞
X
=⇒ u′n (x) = f ′ (x)
n=1
This holds for all x ∈ [a, b].
∞
an xn = f (x) on (−S, S) for some S > 0 then f is differentiable on
P
Theorem 4.4.7 If
n=0
∞
′
nan xn−1 for all x ∈ (−S, S).
P
(−S, S) and f (x) =
n=1
p ∞
an x n
P
Proof: Take L = lim sup n
|an |. By root test (Appendix Unit C.6), the series
n→∞ n=0
p
converges on (−S, S) if lim sup n |an xn | < 1. This implies that
n→∞
p
n
lim |an | |x| < 1
n→∞
=⇒ L|x| < 1
1
=⇒ |x| <
∞
L
n
P
an x = f (x) for all x ∈ (−S, S). This implies the uniform convergence of the series
n=0
∞
an xn on (−S, S). Hence its term by term differentiation is valid on (−S, S). For
P
n=0
x ∈ (−S, S),
∞
X
f (x) = an x n
n=0
=⇒ f (x) = a0 + a1 x + a2 x2 + · · · + an xn + · · ·
∞
an xn on (−S, S) for some S > 0 then for any k ∈ I then
P
Theorem 4.4.8 If f (x) =
n=1
∞
f (k) (x) exists for all x ∈ (−S, S) and f (k) (x) = n(n − 1) · · · (n − (n − k))an xn−k .
P
n=k
Proof: We shall use the following theorem.
∞
an xn converges to f (x) on (−S, S) then f is differentiable on (−S, S) and f ′ (x) =
P
“ If
n=0
∞
nan xn−1 for all x ∈ (−S, S).”
P
. . . (∗)
n=1
Applying the result (∗) on (−S, S) to f (x) = a0 + a1 x + a2 x2 + · · · + an xn + · · ·,
f ′ (x) = a1 + 2a2 x + · · · + nan xn−1 + · · ·
Again applying the result (∗) on (−S, S) to f ′ (x)
f ′′ (x) = 2a2 + (3 · 2 · 1)a3 x + · · · + n(n − 1)an xn−2 + · · ·
Continuing in this way,
f ′′′ (x) = (3 · 2 · 1)a3 + (4 · 3 · 2 · 1)a4 x + · · · + n(n − 1)(n − 2)an xn−3 + · · ·
..
.
=⇒ f (k) (x) = (k(k − 1)(k − 2) · · · 1)ak + ((k + 1)k · · · 1)ak−1 x + · · · + (n(n − 1) · · · (n − k + 1)an xn−k
∞
X
(k)
=⇒ f (x) = n(n − 1) · · · (n − (n − k))an xn−k
n=k
Solved Problems 01
∞
nx2
P
Problem 4.4.9 Prove that the series n3 +x3
is uniformly convergent on [0, 100]. Hence
n=1
∞
nx2 n
P
or otherwise prove that lim n 3 +x3 = n3 +1
.
x→1 n=1
Solution: For x ∈ [0, 100], n ∈ I
0 ≤ x ≤ 100
=⇒ x2 ≤ 1002 and x3 ≥ 0
=⇒ 0 ≤ x ≤ 1
=⇒ xn ≤ 1 for all n ∈ I
Z1 X
∞ ∞
n
X an xn+1 1
=⇒ an x dx = [ ]
n=0 n=0
n+1 0
0
Z1 X
∞ ∞
X an
=⇒ an xn dx =
n=0 n=0
n+1
0
Self-Test 01
∞
1
P
Problem 4.4.11 The series n3 +x3
is
n=0
D. none of these.
D. none of these.
= lim |x|
n→∞
= |x|
∞
(−1)n xn = 1 − x + x2 − · · · is convergent
P
By ratio test (Appendix Unit C.6), the series
n=0
∞
(−1)n xn is uniformly convergent
P
when |x| < 1. This results into the fact that the series
n=0
on (−1, 1). Hence its term by term integration is valid on (−1, 1).
1
1 − t + t2 − · · · = for |t| < 1
1+t
Zx Zx Zx Zx
1
=⇒ 1dt − tdt + t2 dt − · · · = dt for |x| < 1
1+t
0 0 0 0
2 3
x x
=⇒ x − + − · · · = log(1 + x) for |x| < 1
2 3
Problem 4.4.14 Deduce the series
1
1 + 2x + 3x2 + · · · = for |x| < 1
(1 − x)2
from the series
1
1 + x + x2 + · · · = for |x| < 1
1−x
Solution: Consider
(−1)n xn
lim
n→∞ (−1)n xn−1
= lim |x|
n→∞
= |x|
• ∞ ∞
unif orm
X X
k
ak x converges for x0 =⇒ un −−−−−→ f on (−|x0 |, |x0 |)
k=1 n=1
∞
integrated. Z Z Z Z
unif ormly
X
un −−−−−−→ f =⇒ (u1 +u2 +· · ·+un +· · · ) = u1 + u2 +· · ·+ un +· · ·
|{z}
n=1 Riemann integrable
∞ ∞
pointwise unif orm
u′n
P P
• un −−−−−→ f and −−−−−→ on[a, b] =⇒
n=1 n=1 |{z}
continuous
(u1 + u2 + · · · + un + · · · )′ = u′1 + u′2 + · · · + u′n + · · · on [a, b]
∞
∞ ′ ∞
n n
nan xn−1
P P P
• an x converges on (−r, r) for some r > 0 =⇒ u n an x =
n=0 n=0 n=1
More generally, !(k)
X∞ ∞
X
n
un an x = n(n − 1) · · · (n − (k − 1))an xn−1
n=0 n=k
Keywords: Power Series, Term by Term Differentiation of Power Series, Term by Term
Integration of Power Series, Weirstrass M test for Convergence of Power Series.
REFERENCES
(1) Sections 9.3 to 9.5, Methods of Real Analysis by Richard R. Goldberg, 2nd edi-
tion, Oxford & IBH Publishing Co. Pvt Ltd.
MOOCS
YOUTUBE VIDEOS
WIKIPEDIA
OER
BOOKS
⇐⇒ x=y
iii) Since d(x, y) = d(y, x),
d(x, y) d(y, x)
δ(x, y) = = = δ(y, x)
1 + d(x, y) 1 + d(y, x)
iv) We prove the triangle inequality by the following argument.
d(x, y) ≤ d(x, z) + d(z, y)
1 1
1.1.26 Hint: To prove that x
− y
= 0 if and only if x = y, use the fact that
x, y ∈ (0, ∞).
= {z ∈ X : d(z, y) < r} ∩ Y
= BX (y, r) ∩ Y
The similar result is true for closed balls.
1.3.26: Option A
1.3.30 Solution: As B(0.5, 0.2) ∩ Z = ϕ, Z is not dense in the Euclidean metric space
R.
1.3.31 Hint: A finite set can not be dense in n the Euclidean metric space R. Consider
maximum (or minimum) value of finite set. Then construct an open ball to the right
(left) of maximum (minimum) point which does not intersect the finite set.
1.3.32 Solution: The sequence n1 in the Euclidean metric space (0, 1) is Cauchy but
not convergent.
1.4.24 Solution: Define the function f : X → x as f (x) = x for all x ∈ X. For any
x ∈ X,
xn → x in X
=⇒ xn → x in R and yn → y in R
=⇒ xn + yn → x + y in R and xn − yn → x − y in R
=⇒ h(xn , yn ) → h(x, y) in R2
Thus (xn , yn ) → (x, y) in R2 implies h(xn , yn ) → h(x, y) in R2 . Hence h is continuous on
R2 .
= g(x) (∵ g is continuous at x)
Thus f (x) = g(x) for all x ∈ X. Hence f = g.
2.1.20: Option C
2.1.23 Solution: Any subset in a discrete metric space X is both open and closed in
X. Let a ∈ X. Since |X| ≥ 2,
A = {a} =
̸ ϕ, X
=⇒ X is disconnected
2.1.24 Solution: We prove: “ A finite subset of metric space is connected if and only if
it is a singleton set.”
I Part: Let A be singleton subset of a metric space. Then ϕ and A are the only subsets
of A which are both open and closed in A. Hence A is connected.
II Part: Let A be a finite and connected subset of metric space X. Suppose on contrary
that |A| ≥ 2. Then the set {a} where a ∈ A is proper subset of A. Since any finite set is
2.1.26 Solution:
A must be singleton subset of R. This follows from:
i) A subset A of R is connected if and only if it is an interval.
ii) Any interval except possibly [a, a] = {a}, (a ∈ R) contains irrationals.
=⇒ f (a) = f (b)
Since a and b are any two points of R, f is constant on R.
=⇒ f (a) ∈ {f (b)}
=⇒ f (a) = f (b) = 1
Thus we have shown that any continuous function f : B → {1, −1} is constant. Hence
B is connected. In particular, B = Ā is connected.
2.1.29 Solution: Without loss generality assume that an = 1 (for if an ̸= 1 then divide
by a to the equationp(α) = 0). For x ̸= 0 we write,
p(x) = xn q(x)
an−1 an−2 a1 a0
q(x) = 1 + + 2 + · · · + n−1 + n
x x x x
2.2.11 Solution: Let (xn , yn ) be a Cauchy sequence in R2 . Then for ϵ > 0 there is
N ∈ N such that
m, n ≥ N =⇒ d((xm , ym ), (xn , yn )) < ϵ
This implies that
p
m, n ≥ N =⇒ (xm − xn )2 + (ym − yn )2 < ϵ
√ √
=⇒ m, n ≥ N =⇒ |xm − xn |, |ym − yn | < ϵ (∵ |a| = a2 ≤ a2 + b2 for any a, b ∈ R)
Thus for ϵ > 0 there is N ∈ N such that
m, n ≥ N =⇒ |xm − xn |, |ym − yn | < ϵ
This proves that (xn ) and (yn ) are Cauchy sequences in R. As R is complete,(xn ) and (yn )
are convergent in R. Let xn → x and yn → y in R. This then implies that (xn , yn ) → (x, y)
in R2 . We proved that every Cauchy sequence in R2 is convergent. So R2 is complete.
In general it can be proved that Rn is complete with Euclidean metric on it.
2.2.12 Hint: Prove that (−n) is a Cauchy but not convergent sequence in the metric
space R, where R is equipped with the metric d(x, y) = |ex − ey |.
2.2.13 Hint: Use definition of Cauchy sequence for sequences (xn ) and (yn ) and apply
triangle inequality.
2.4.20 Hint: K is bounded since K is compact. So sup K and inf K exists. By the
definition of sup K , for every n ∈ N, there exists xn ∈ K such that sup K − xn < 1/n.
Then lim xn = sup K where xn ∈ K for every n ∈ N. So sup K is limit point of K. As
n→∞
K is closed, sup K is in K. The proof for infimum is similar.
∞
S
2.4.21 Solution: [−n, n] = R. Here each closed interval [−n, n] is compact in
n=1
the Euclidean metric space R but the Euclidean metric space R is not compact as it is
unbounded.
2.4.22 Hint: Take open cover τ of K1 ∪ K2 . This is also an open cover of K1 and
K2 . As K1 and K2 are compact, the open cover τ will have finite subcovers say τ1 and τ2
that cover K1 and K2 respectively. The union τ1 ∪ τ2 of these finite subcovers is a finite
subcover of τ that covers K1 ∪ K2 . Thus every open cover of K1 ∪ K2 has finite subcover
proving that K1 ∪ K2 is compact.
3.2.12 Hint: Find Riemann integrable functions f, g on [0, 1] such that gof is 0 for
each irrational and gof is 1 for each rational.
=⇒ 1≤1+x
=⇒ 1 + x ≤ 2
√ √
=⇒ 1 + x ≤ 2
1 1
=⇒ √ ≤√ . . . (II)
2 1+x
From (I) and (II),
x2 x2
√ ≤√ ≤ x2
2 1+x
b) From part a) ,
0≤x≤1
x2 x2
=⇒ √ ≤√ ≤ x2
2 1+x
Z1 Z1 Z1
1 2 x2
=⇒ √ x dx ≤ √ dx ≤ x2 dx
2 1+x
0 0 0
Z1
1 x2 1
=⇒ √ ≤ √ dx ≤
3 2 1+x 3
0
3.3.16 Solution: Since f (x) is continuous at x = c and f (c) > 0, there is δ > 0 such
that
1
a < c − δ < x < c + δ < b =⇒ 0 < f (c) < f (x)
2
This implies that
Zc+δ Zc+δ
1 1
f (x)dx > f (c) dx = 2δf (c) = δf (c) . . . (I)
2 2
c−δ c−δ
Since f (x) ≥ 0 on [a, b],
Zc−δ Zb
f (x)dx ≥ 0 and f (x)dx ≥ 0 . . . (II)
a c+δ
Now,
Zb Zc−δ Zc+δ Zb
f (x)dx = f (x)dx + f (x)dx + f (x)dx
a a c−δ c+δ
= δf (c)
3.4.19 Hint: For Rolle’s Mean Value Theorem, draw graph of any differentiable func-
tions on some interval [a, b] such that f (a) = f (b). Then identify the point on graph for
which the tangent is parallel to X axis.
For Lagrange’s Mean Value Theorem, draw graph of any differentiable functions on some
interval [a, b] Then identify the point on graph for which the tangent is parallel to the
secant line joining points a, f (a) and b, f (b).
3.4.20 Solution: a) f (x) is continuous on [a, b] and f (x) is differentiable in (a, b). Also
a2 +ab a2 +ab
f (a) = log (a+b)a
= log (a2 +ab)x
= log 1 = 0
and
b2 +ab b2 +ab
f (a) = log (a+b)b
= log (a+b2 )x
= log 1 = 0
f ′ (c) = 0
1
=⇒ (c2 +ab)
(2c) = 0
(a+b)c
=⇒ c2 + ab = 0
√
=⇒ c = ab
and
f ′ (c) = 0
=⇒ mc − mb + nc − na = 0
mb+na
=⇒ c = m+n
3.4.21 Solution: a) f (x) is continuous on [0, 4] and f (x) is differentiable in (0, 4). So
the hypothesis of Lagrange’s Mean Value Theorem is satisfied. To find value of c, consider
f (4)−f (0)
f ′ (c) = 4−0
−6−6
=⇒ (c − 2)(c − 3) + (c − 1)(c − 3) + (c − 1)(c − 2) = 4
=⇒ 3c2 − 12c + 11 = −3
=⇒ 3c2 − 12c + 8 = 0
√ √
2 3 2 3
=⇒ c = 2 + 3
or c = 2 − 3
=⇒ c = 3.1547 or c = 0.8453
b) f (x) is continuous on [0, 1] and f (x) is differentiable in (0, 1). So the hypothesis of
Lagrange’s Mean Value Theorem is satisfied. To find value of c, consider
f (1)−f (0)
f ′ (c) = 1−0
π
1 −0
=⇒ 1+c2
= 4
1
1 π
=⇒ 1+c2
= 4
q
4
=⇒ c = ± π
−1
q
=⇒ c = π4 − 1 (∵ c ∈ (0, 1))
3.4.22 Solution: a) The functions f (x) = sin x and g(x) = cos x are continuous on
[a, b] and differentiable in (a, b). So the hypothesis of Cauchy’s Mean Value Theorem is
satisfied. To find c, consider
b+a
=⇒ c = 2
1 −1 √ √
c 2
=⇒ 2
1 −3
= √ 1b− √a1
−2c 2 b
− a
√ √ √
b− a
=⇒ −c = − ba √ √
a− b
√
=⇒ c = ab
Thus {fn }∞
n=1 converges pointwise to fon[0, 1] where f : [0, 1] → R is defined as
0 if 0 ≤ x < 1
f (x) =
1 if x = 1
2
Suppose on contrary that there is N ∈ I such that
1
x ∈ [0, 1], n ≥ N =⇒ |fn (x) − f (x)| <
8
1
=⇒ x ∈ [0, 1), n ≥ N =⇒ |fn (x) − f (x)| <
8
!
xn 1
=⇒ x ∈ [0, 1), n ≥ N =⇒ n
−0 <
1+x 8
−
Letting x → 1
1 1 1 1
−0 < =⇒ <
2 8 2 8
4.1.15 Solution: a) Fix x in [0, 1]. By Archimedian property of real numbers there is
N ∈ I such that N > x1 .Consider
n≥N
1
=⇒ n >
x
1
=⇒ <x
n
1
=⇒ x ̸∈ 0,
n
=⇒ χn (x) = 0
Thus
n≥N
=⇒ χn (x) = 0
=⇒ lim fn (x) = 0
n→∞
This holds for all x ∈ [0, 1]. Hence {fn }∞
n=1 converges to 0 on [0, 1].
=⇒ N χN (x) = N
1
=⇒ N < ( from (I))
4
1
Zn Z1
= nχn (x)dx + nχn (x)dx
0 1
n
1
Zn
=n 1dx + 0
0
1
=n
n
=1
R1 R1
Thus fn (x)dx = 1 and therefore lim fn (x)dx = 1.
0 n→∞ 0
R1 R1
d)From a), lim fn (x)dx = 0dx = 0
0 n→∞ 0
R1
From c), lim fn (x)dx = 1.
n→∞ 0
R1 R1
So lim fn (x)dx ̸= lim fn (x)dx.
0 n→∞ n→∞ 0
4.1.16 Solution: a)If x = 0 or x = 1, it is clear that lim fn (x) = 0. For 0 < x < 1,
n→∞
consider
lim fn (x) = lim nx(1 − x2 )n
n→∞ n→∞
nx ∞
= lim form
n→∞ (1 − x2 )−n ∞
x
= lim
n→∞ (1 − x2 )−n log(1 − x2 )
x
= lim (1 − x2 )n
log(1 − x2 ) n→∞
x 2 n 2
= .0 ∵ lim (1 − x ) = 0 as 0 < (1 − x ) < 1
log(1 − x2 ) n→∞
=0
Thus for all x ∈ [0, 1], lim fn (x) = 0. This proves that {fn }∞
n=1 converges to 0 on [0, 1].
n→∞
b)
Z1 Z1
fn (x)dx = nx(1 − x2 )n dx
0 0
4.2.15 Solution: Let ϵ > 0. Since f is uniformly continuous on R, there is δ > 0 such
that
|x′ − x′′ | < δ =⇒ |f (x′ ) − f (x′′ )| < ϵ . . . (I)
{ n1 }∞
n=1 is Cauchy sequence. So there is N ∈ I such that
1 1
m, n ≥ N =⇒ − <δ
m n
1 1
=⇒ x ∈ R, m, n ≥ N =⇒ x+ − x+ < δ
m n
1 1
=⇒ x ∈ R, m, n ≥ N =⇒ f x + −f x+ < ϵ ( from (I))
m n
=⇒ x ∈ R, m, n ≥ N =⇒ fm (x) − fn (x) < ϵ
=⇒ {fn }∞
n=1 converge uniformly on R.
on R.
0
=
1+0
=0
Thus
xn
lim fn (x) = lim
n→∞ n→∞ 1 + xn
0
=
1+0
=0
If x = 1 then
xn
lim fn (x) = lim
n→∞ n→∞ 1 + xn
1
=
1+1
1
=
2
Thus {fn }∞
n=1 converges pointwise to fon[0, 1] where f : [0, 1] → R is defined as
0 if 0 ≤ x < 1
f (x) =
1 if x = 1
2
Suppose on contrary that {fn }∞
n=1 converges uniformly to f on [0, 1]. Then there is N ∈ I
such that
1
x ∈ [0, 1], n ≥ N =⇒ |fn (x) − f (x)| <
4
S25011: REAL ANALYSIS Page 187
1
=⇒ x ∈ [0, 1), n ≥ N =⇒ |fn (x) − f (x)| <
4
!
xn 1
=⇒ x ∈ [0, 1), n ≥ N =⇒ − 0 <
1 + xn 4
Letting x → 1−
1 1 1 1
−0 < =⇒ <
2 4 2 4
This is a contradiction. Hence {fn }∞
n=1 does not converge uniformly on [0, 1].
(Alternatively, observe that each fn is continuous at x = 1 but f is not continuous at
x = 1. As sequence of continuous functions converge to a continuous function under
uniform convergence, it follows that {fn }∞
n=1 does not converge uniformly to f on [0, 1].)
N ∈ I such that
ϵ
t ∈ [a, b], m, n ≥ N =⇒ |fm (t) − fn (t)| <
b−a
This implies that
Zx Zx
ϵ
x ∈ [a, b], m, n ≥ N =⇒ |fm (t) − fn (t)|dt < dt
b−a
a a
Zx !
ϵ
=⇒ x ∈ [a, b], m, n ≥ N =⇒ |fm (t) − fn (t)|dt < (x − a)
b−a
a
Zx !
x−a
=⇒ x ∈ [a, b], m, n ≥ N =⇒ |fm (t) − fn (t)|dt < ϵ ∵ <1
b−a
a
Zx ! Zx Zx
=⇒ x ∈ [a, b], m, n ≥ N =⇒ (fm (t) − fn (t))dt < ϵ ∵ g(t)dt ≤ |g(t)|dt
a a a
Zx Zx !
=⇒ x ∈ [a, b], m, n ≥ N =⇒ fm (t)dt − fn (t)dt < ϵ
a a
!
=⇒ x ∈ [a, b], m, n ≥ N =⇒ |Fm (x) − Fn (x)| < ϵ
=⇒ {Fn }∞
n=1 converges uniformly on [a, b].
ex
4.2.19 Solution: Consider the sequence {fn }∞
n=1 on (−∞, ∞) where fn (x) = n
. Since
x
lim fn (x) = lim e = ex lim n1 = 0 on R, {fn }∞
n=1 converges pointwise to 0 on R.
n→∞ n→∞ n n→∞
Suppose on contrary that there is M > 0 such that
x ∈ R, n ∈ I =⇒ |fn (x)| ≤ M
In particular for n = 1 and x = log 2M ,
|f1 (log 2M )| ≤ M
=⇒ elog 2M ≤ M
=⇒ 2M ≤ M
=⇒ 2≤1
This is a contradiction. Hence no such M exists.
−x
4.2.20 Solution: Consider the sequence {fn }∞
n=1 on R
+
where fn (x) = e n . Since
−x
lim fn (x) = lim e n = e0 = 1 on R+ , {fn }∞ +
n=1 converges pointwise to 1 on R .
n→∞ n→∞
+
Also for x ∈ R
n1 ≤ n2
1 1
=⇒ ≥
n1 n2
x x
=⇒ ≥
n1 n2
−x −x
=⇒ ≤
n1 n2
such that
1
x ∈ [0, ∞), n ≥ N =⇒ |fn (x) − 1| < 1 −
e
In particular for n = N, x = N ,
1
|fN (N ) − 1| < 1 −
e
−N 1
=⇒ |e N − 1| < 1 −
e
1 1
=⇒ −1 <1−
e e
1 1
=⇒ 1− <1−
e e
This is a contradiction. Hence {fn }∞
n=1 does not converge uniformly on [0, ∞).
N1 ∈ I such that
1 1 ϵ
x ∈ R, n ≥ N1 =⇒ fn x + −f x+ < . . . (I)
n n 2
The continuity of f at x implies the existence of δ > 0 such that
ϵ
|x′ − x| < δ =⇒ |f (x′ ) − f (x)| < . . . (II)
2
As n1 converges to 0, there is N2 ∈ I such that
1
n ≥ N2 =⇒ < δ . . . (III)
n2
Take N = max{N1 , N2 }. Consider
n≥N
1
=⇒ < δ ( from (III) )
n
1
=⇒ x+ −x <δ
n
1 ϵ
=⇒ f x + − f (x) < ( from (II) )
n 2
4.2.22 Solution: a)If x = 0 or x = 1, it is clear that lim fn (x) = 0. For 0 < x < 1,
n→∞
consider,
lim fn (x) = lim nx(1 − x2 )n
n→∞ n→∞
nx ∞
= lim form
n→∞ (1 − x2 )−n ∞
x
= lim
n→∞ (1 − x2 )−n log(1 − x2 )
x
= lim (1 − x2 )n
log(1 − x2 ) n→∞
x 2 n 2
= · 0 ∵ lim (1 − x ) = 0 as 0 < (1 − x ) < 1
log(1 − x2 ) n→∞
=0
Thus for all x ∈ [0, 1], lim fn (x) = 0. This proves that {fn }∞
n=1 converges to 0 on [0, 1].
n→∞
b)
Z1 Z1
fn (x)dx = nx(1 − x2 )n dx
0 0
Z1
n
= (1 − x2 )n (−2x)dx
−2
0
" #x=1
n (1 − x2 )n+1
=
−2 n+1
x=0
n 1
= (0 − )
−2 n+1
n
=
2(n + 1)
1
x ∈ [0, 1], n ≥ N =⇒ n >
ϵ
1
=⇒ x ∈ [0, 1], n ≥ N =⇒ <ϵ
n
! !
sin nx sin nx 1
=⇒ x ∈ [0, 1], n ≥ N =⇒ <ϵ ∵ ≤
n n n
!
sin nx
=⇒ x ∈ [0, 1], n ≥ N =⇒ −0 <ϵ
n
=⇒ x ∈ [0, 1], n ≥ N =⇒ |fn (x) − 0| < ϵ
This proves that {fn }∞
n=1 converges uniformly to 0 on [0, 1].
x2 1 − (1+x1 2 )n
= × x2
1 + x2 1+x2
=⇒ n2 + x2 ≥ n2
1 1
=⇒ ≤ 2
+x 2n2 n
∞ ∞
X 1 X 1
=⇒ ≪
n=1
n2 + x2 n=1
n2
∞ ∞
1 1
on R+ follows.
P P
n2
< ∞. By Weierstrass M-Test the uniform convergence of n2 +x2
n=1 n=1
4.4.15 Solution:
x ∈ [0, 1]
=⇒ 0≤x≤1
=⇒ xn ≤ 1 for all n ∈ I
=0
x3 x5
So by ratio test the series x − 3!
+ 5!
− · · · converges on R. Hence its term by term
differentiation is justified.
!
d d x 3 x5
(sin x) = x− + − ···
dx dx 3! 5!
3x2 5x4
=1− + − ···
3! 5!
x2 x4
=1− + − ···
2! 4!
= cos x
x2
= lim
n→∞ n + 1
=0
<1
x2 x4 2n
So by ratio test the series 1 + 1!
+ 2!
+ · · · + xn! + · · · converges on R. Hence its term by
term differentiation is justified.
= 2xf (x)
Foundations of Mathematics
Mathematics is a study of sets with structures. There are three basic structures.
i) Algebraic Structure
ii) Topological Structure
iii) Ordered Structure
For example if we are studying arithmetic of real numbers then we are studying the al-
gebraic structure < R, +, · >. The study of Group theory is a study of the structure
< G, ∗ >, where ∗ is a binary operation on set G satisfying certain properties. The study
of metric spaces is the study of the structure < X, d > where the function d : X × X → R
satisfies certain properties.
Mathematics may broadly be categorised in the following branches.
1)Pure Mathematics: Algebra(Group Theory,Ring Theory,Field Theory,Vector Spaces,
Matrices and Determinants etc.), Analysis(Real Analysis, Complex Analysis), Topology,
Differential Equations, Number Theory,Geometry...
2) Discrete Mathematics: Combinatorics, Graph Theory, Lattice Theory,...
3) Applied Mathematics: Differential Equations, Numerical Analysis, Operations Re-
search, Cryptography, Computational Geometry, Statistics (as applied real analysis),...
The above classification is not the precise one. The mode of study and approach of certain
theory may categorise it in different branches.
The Logic forms foundation for Mathematics. The Logic is the language of Mathematics.
The rules of logic distinguishes between valid and invalid statements in Mathematics.
Any proof in Mathematics can be translated into a sequence of logical statements and
the validity of proofs can be established by using the rules of inferences. If there seems
a problem with some proof (or argument), its validity may be checked by translating it
into a sequence of logical statements and then applying rules of inferences.
195
To ideal course on Foundations of Mathematics will have the following outline.
This example illustrates the use of rules of logic in understanding the clear meaning of
statements in Mathematics. The or (disjunction ∨) in Mathematics is always inclusive
or. The statement p ∨ q is true when at least one of p and q is true. The statement p ∨ q
is true includes three possibilities.
Problem 1.2.2 Prove that the empty set ϕ is subset of every set.
Solution: Let S be a set. Consider the statement
x ∈ ϕ =⇒ x ∈ S . . . (I)
It is a conditional statement p =⇒ q, where the statement p is false and the statement
q may be true or false. If p is false then the conditional statement p =⇒ q is true
(vacuously true). Refer to the truth table of p =⇒ q. It follows that the statement (I)
is true, which means that ϕ is a subset of S.
• a, b, c ∈ G =⇒ (a ∗ b) ∗ c = a ∗ (b ∗ c)
OR
According to the first definition of group, the empty set is not a group. The second
definition can be written as
Group: G is a set and ∗ : G × G. The structure < G, ∗ > is a group if
• a, b, c ∈ G =⇒ (a ∗ b) ∗ c = a ∗ (b ∗ c)
• ∃e ∈ G∀a ∈ G(a ∗ e = e ∗ a = a)
• ∀a ∈ G∃b ∈ G(a ∗ b = b ∗ a = e)
The second property is not true for the empty set as it doesn’t contain any element.
Hence the empty set is not a group.
=1
√ √ √
We proved that i2 = 1! Where is the mistake? The mistake is in the step a b = ab.
This rule is valid only when a and b are non-negative. But more important question is
What is the proper way to calculate the value of i2 . The answer is: use DEFINITION
of product of two complex numbers. The complex numbers are defined as a + ib where
√
a, b ∈ R and i denotes the symbol −1. Then addition, subtraction, multiplication
and division of complex numbers are defined. The multiplication of complex numbers is
defined as
(a + ib)(c + id) = (ac − bd) + i(ad + bc)
= (0 + 1i)(0 + 1i)
= (0 − 1) + (0 + 0)i
= −1
Definition 1.3.2 △ABC is equilateral if and only if all sides of △ABC have equal
lengths.
So if △ABC is equilateral then all sides of △ABC have equal lengths. Conversely if all
sides of △ABC have equal lengths then △ABC is equilateral.
It is important to note that Every definition in Mathematics is of this type. The standard
convention is to write if instead of if and only if. So the above definitions could be stated
as
Definition 1.3.4 △ABC is equilateral if all side of △ABC have equal lengths.
In above definitions, if means if and only if. The both way implications are used. For
example, if △ABC is equilateral then we shall use the fact that all side of △ABC have
equal lengths. On the other hand to prove that △ABC is equilateral, we shall prove that
all sides of △ABC have equal lengths.
The theories in Mathematics are of axiomatic types. There are defined/undefined con-
cepts and axioms for these concepts. Based on these axioms, theories are developed. For
example in Euclidean geometry, point is undefined concept and based on certain axioms;
the Euclidean geometry is developed. In set theory, set is undefined concept and based on
certain axioms; the set theory is developed. In many introductory texts on Real Analysis
or Calculus, it is assumed that there is a set R of real numbers (undefined concept) and
algebraic,ordered and completeness properties (axioms) are stated based on which the
properties of real numbers are proved.
The set is the most fundamental concept of Mathematics. The meaning is that anything
and everything that we deal with in Mathematics is ultimately a set. For example, a
relation (binary relation) on set A is a subset (set) of A × A. A function f : A → B is
a subset (set) of A × B. A sequence is a function and so it is also a set. The cardinal
numbers are equivalence classes (of similarity relation) and so they are sets. The ordered
pair (x, y) is defined as (x, y) = {{x}, {x, y}} and so it is a set. The series of real
numbers (defined as ordered pair of two sequences) is also a set. You may be surprised
to know that numbers are also sets. For example,the natural numbers are defined as
0 = ϕ, 1 = {0}= {ϕ}, 2 = {1, 0}= {{ϕ}, ϕ} . . ..
The reader may find that the rigorous treatment of set theory is not so easy. It has taken
centuries to formalize the logic and set theory in rigorous way. For example, what is the
concept of the empty set? It is an axiom that the empty set exists. The empty set is a set
containing no elements. Intuitively set can be thought as a collection of objects. So how
a set can be empty? (The analogy may be helpful in this case. The sets can be thought
as boxes containing objects and then the empty set is a box containing no object).
About the uniqueness of empty set: A − A = ϕ and B − B = ϕ′ for sets A and B. So
whether both ϕ and ϕ′ are equal. It is by axiom that the empty set is unique.
I: 1 2 3 ···
↓ ↓ ↓ ↓ ···
N: 1 2 3 ···
This proves that the set I of positive integers is denumerable and hence counatable.
I: 1 2 3 ···
↓ ↓ ↓ ↓ ···
2N : 2 4 6 ···
This proves that the set 2N of positive even integers is denumerable and hence countable.
I: 1 2 3 ···
↓ ↓ ↓ ↓ ···
Z: 0 −1 1 ···
This proves that the set Z of integers is denumerable and hence countable.
The rationals can also be counted. So the set Q of rationals is denumerable and hence
countable.
The proofs are to be avoided in paragraphs. If proofs are written as a sequence of logical
statements (step by step), they are better understood. This may not be possible for the
lengthy and complex proofs. However proofs may be divided in parts and sub-proofs may
be written as a sequence of logical statements. The proof is not completely understood
unless one can view it as a single idea.
statement p
=⇒ statement 1
=⇒ statement 2
=⇒ · · · · · · · · · · · ·
=⇒ statement q
• A sequence of real numbers is a function from the set I of positive real numbers
to the set R of real numbers.
I: 1 2 3 ··· n ···
↓ ↓ ↓ ↓ ··· ↓ ···
R : s1 s2 s3 ··· sn ···
• A subsequence {sni }∞ ∞
i=1 of {sn }n=1 is obtained by removing some of the terms of
{sni }∞ ∞
i=1 is a subsequence of {sn }n=1 . Here ni = i.
◦
{sn }∞
n=1 : s1 s2 s3 ··· sn ···
{sni }∞
i=1 : s1 s3 s5 ··· sn i ···
{sni }∞ ∞
i=1 is a subsequence of {sn }n=1 . Here ni = 2i − 1.
• A sequence {sn }∞
n=1 is said to converge to L if for every ϵ > 0, there is N ∈ I
such that
n ≥ N =⇒ |sn − L| < ϵ
In this case we write lim sn = L.
n→∞
• If {sn }∞ ∞
n=1 and {tn }n=1 are convergent sequences of real numbers then
lim (sn + tn ) = lim sn + lim tn
n→∞ n→∞ n→∞
lim (sn − tn ) = lim sn − lim tn
n→∞ n→∞ n→∞
lim (sn .tn ) = lim sn . lim tn implying that lim sm m
n = ( lim sn ) for any positive
n→∞ n→∞ n→∞ n→∞ n→∞
integer m.
sn
lim sn
n→∞
lim = provided lim tn ̸= 0
n→∞ tn lim tn n→∞
n→∞
• A sequence {sn }∞
n=1 of real numbers is increasing if
s1 ≤ s2 ≤ s3 ≤ · · · ≤ sn ≤ sn+1 ≤ · · ·
{sn }∞
n=1 is increasing ⇐⇒ (n ∈ I =⇒ sn ≤ sn+1 )
• A sequence {sn }∞
n=1 of real numbers is decreasing if
s1 ≥ s2 ≥ s3 ≥ · · · ≥ sn ≥ sn+1 ≥ · · ·
{sn }∞
n=1 is decreasing ⇐⇒ (n ∈ I =⇒ sn ≥ sn+1 )
• {sn }∞ ∞ 1 ∞
n=1 is monotone if it is increasing or decreasing sequence. {n}n=1 and { n }n=1
• A sequence {sn }∞
n=1 of real numbers is bounded if there is M > 0 such that
• {sn }∞
n=1 is bounded ⇐⇒ ∃M > 0(n ∈ I =⇒ |sn | ≤ M )
{sn }∞
n=1 is bounded ⇐⇒ ∃M > 0(n ∈ I =⇒ −M ≤ sn ≤ M )
{sn }∞
n=1 is bounded ⇐⇒ ∃M > 0(n ∈ I =⇒ sn ∈ [−M, M ])
{sn }∞
n=1 is bounded ⇐⇒ ∃M > 0([−M, M ])
| {z }
↑
s1 ,s2 ,s3 ,...
{sn }∞ ∞
n=1 is bounded ⇐⇒ all terms of {sn }n=1 can be enclosed in some closed
bounded interval.
• The terms of { n1 }∞ n ∞
n=1 can be enclosed in interval (0, 2). The terms of {(−1) }n=1
sequences.
• A sequence {sn }∞
n=1 is Cauchy if for every ϵ > 0, there is N ∈ I such that
m, n ≥ N =⇒ |sm − sn | < ϵ
• {sn }∞
n=1 is Cauchy ⇐⇒ ∀ϵ > 0∃N ∈ I(m, n ≥ N =⇒ |sm − sn | < ϵ)
{sn }∞
n=1 is Cauchy ⇐⇒ ∀ϵ > 0∃N ∈ I(m > n ≥ N =⇒ |sm − sn | < ϵ)
{sn }∞
n=1 is Cauchy ⇐⇒ sm and sn are close to each other for sufficiently large
m and n.
• Let {sn }∞
n=1 be an upper bounded sequence of real numbers. For each n in I,
define
Mn = sup{sn , sn+1 , sn+2 , sn+3 , . . .}
Since {sn+1 , sn+2 , sn+3 , . . .} ⊆ {sn , sn+1 , sn+2 , sn+3 , . . .},
Mn+1 ≤ Mn for all n ∈ I
Thus
M1 ≥ M2 ≥ M3 ≥ . . . ≥ Mn+1 ≥ Mn ≥ . . . =⇒ {Mn }∞
n=1 is decreasing
define
lim sup sn = lim Mn
n→∞ n→∞
If {Mn }∞ ∞
n=1 is not lower bounded, then {Mn }n=1 diverges to −∞ and in this case
we define
lim sup sn = −∞
n→∞
• If {sn }∞
n=1 is not upper bounded then we define
lim sup sn = ∞
n→∞
• Let {sn }∞
n=1 be a lower bounded sequence of real numbers. For each n in I, define
mn = inf{sn , sn+1 , sn+2 , sn+3 , . . .}
Since {sn+1 , sn+2 , sn+3 , . . .} ⊆ {sn , sn+1 , sn+2 , sn+3 , . . .}
mn+1 ≥ mn for all n ∈ I
Thus
m1 ≤ m2 ≤ m3 ≤ . . . ≤ mn+1 ≤ mn ≤ . . . =⇒ {mn }∞
n=1 is increasing
So if {mn }∞ ∞
n=1 is upper bounded, then {mn }n=1 converges and in this case we
define
lim inf sn = lim mn
n→∞ n→∞
If {mn }∞ ∞
n=1 is not upper bounded, then {mn }n=1 diverges to ∞ and in this case
we define
lim inf sn = ∞
n→∞
• If {sn }∞
n=1 is not lower bounded then we define
lim sup sn = −∞
n→∞
{sn }∞
n=1 is upper bounded {Mn }∞
n=1 is lower bounded =⇒ lim sup sn = lim Mn
n→∞ n→∞
{sn }∞
n=1 is upper bounded {Mn }∞
n=1 is not lower bounded =⇒ lim sup sn = −∞
n→∞
{sn }∞
n=1 is not upper bounded =⇒ lim sup sn = ∞
n→∞
{sn }∞
n=1 is lower bounded {mn }∞
n=1 is upper bounded =⇒ lim inf sn = lim mn
n→∞ n→∞
{sn }∞
n=1 is lower bounded {mn }∞
n=1 is not upper bounded =⇒ lim sup sn = ∞
n→∞
{sn }∞
n=1 is not lower bounded =⇒ lim sup sn = −∞
n→∞
• The number lim inf sn gives the idea about how small the terms of {sn }∞
n=1 can
n→∞
be when n becomes large and large.
• It follows that
{sn }∞
n=1 converges ⇐⇒ lim sup sn = lim inf sn
n→∞ n→∞
• {sn }∞
n=1 is convergent ⇐⇒ lim sup sn = lim inf sn
n→∞ n→∞
an } ∞
n=1 of partial sums.
∞
P
• All the properties of the series an are defined using the properties of the
n=1
sequence {sn }∞
n=1 .
∞
P
• If the series an is convergent then its value is defined as
n=1
∞
X
an = lim sn = lim (a1 + a2 + · · · + an )
n→∞ n→∞
n=1
Infinite sum = limit of finite sum
n ≥ N =⇒ |an | ≤ |bn |
• Standard Series:
∞
xn converges ⇐⇒ −1 < x < 1.
P
◦ The geometric series
n=1
∞
1
P
◦ The p-series np
converges ⇐⇒ p > 1.
n=1
∞
P (−1)n
◦ The series np
converges conditionally if 0 < p < 1.
n=1
∞
P ∞
P ∞
P
• If an and bn are convergent and α, β are real numbers then (αan + βbn )
n=1 n=1 n=1
∞
P ∞
P ∞
P
is convergent and (αan + βbn ) = α an + β bn .
n=1 n=1 n=1
∞
P ∞
P ∞
P
• Comparison Test for Convergence: If an is dominated by bn where bn
n=1 n=1 n=1
∞
P
converges absolutely, then an also converges absolutely.
n=1
∞
X ∞
X ∞
X ∞
X
an ≪ bn and |bn | < ∞ =⇒ |an | < ∞
n=1 n=1 n=1 n=1
Dominating series converges =⇒ Dominated series converges.
Big series converges =⇒ Small series converges.
∞
P ∞
P ∞
P
• Comparison Test for Divergence: If an is dominated by bn and |an | =
n=1 n=1 n=1
∞
P
∞ then |bn | = ∞.
n=1
X∞ ∞
X ∞
X ∞
X
an ≪ bn and |an | = ∞ =⇒ |bn | = ∞
n=1 n=1 n=1 n=1
Dominated series diverges =⇒ Dominating series diverges
Small series diverges =⇒ Big series diverges
∞
P
• Comparison Test in limit form for convergence: If bn converges absolutely
n=1
∞
|an | P
and if lim exists then an converges absolutely.
n→∞ |bn | n=1
∞
P |an |
• Comparison Test in limit form for divergence: If |an | = ∞ and if lim
n=1 n→∞ |bn |
∞
P
exists then |bn | = ∞
n=1
an+1
◦ if lim an
= 1 then the test fails.
n→∞
√
• Root Test for Convergence and Divergence If lim sup n a
n = A then the series
n→∞
∞
P
of real numbers an
n=1
◦ diverges if A > 1
numbers. Then
√ ∞
an xn converges absolutely for all x
P
◦ If lim n an = 0, the series
n→∞ n=1
√ ∞
1
an xn converges absolutely for |x| <
P
◦ If lim n an = L > 0, the series L
n→∞ n=1
1
and diverges for |x| > L
• {an }∞
n=1 is a decreasing sequence of positive numbers and lim an = 0 =⇒ the
n→∞
∞
(−1)n+1 an is convergent.
P
alternating series
n=1
• Rabbes Test:
an ∞
P
◦ lim n( an+1 − 1) < 1 =⇒ an diverges.
n→∞ n=1
∞
an a bn
P
• Gauss test: Let an be a series of positive terms and an+1
= 1+ n
+ np
. If
n=1
{bn }∞
n=1 is a bounded sequence of real numbers then
∞
P
◦ a > 1 =⇒ an converges
n=1
∞
P
◦ a ≤ 1 =⇒ an diverges
n=1
∞
P
• Logarithmic test: Let an be a series of positive terms.
n=1
∞
an
P
◦ lim n log an+1 > 1 =⇒ an < ∞
n→∞ n=1
∞
an
P
◦ lim n log an+1 < 1 =⇒ an = ∞
n→∞ n=1
= 1 + x + x2 + · · · + xn
1 − xn
=
1−x
So
1 − xn
1−0 1 n
lim sn = lim = = ∵ lim x = 0 as − 1 < x < 1
n→∞ n→∞ 1 − x 1−x 1−x n→∞
∞
x
P
Thus the series an is convergent and converges to 1−x
n=1
IV Case: x ≥ 1
In this case, {an }∞
n=1 is non-decreasing and not-bounded. Hence it diverges to ∞ and so
∞
P
lim an ̸= 0. Therefore an is divergent.
n→∞ n=1
∞
xn converges ⇐⇒ −1 < x < 1
P
The geometric series
n=1
1 1 1
≤ 1 + 2. 2p + 22 . (22 )p + · · · + 2j−1 (2j −1)p + · · ·
Thus ∞
X 1 1 1 1
≪ 1 + 2. p + 22 . 2 p + · · · + 2j−1 j + ···
n=1
n p 2 (2 ) (2 − 1)p
1
The series on right is a geometric series with common ratio 2p−1 < 1 (∵ p > 1). By
∞
1
P
comparison test, it follows that np
is convergent.
n=1
II Case: p = 1
∞ ∞
1
P P
Let an = n
and take sn = a1 + a2 + a3 + · · · + an . Consider
n=1 n=1
s1 = 1
1 3
s2 = 1 +
=
2 2
1 1 3 1 1
s4 = s2 + + > + + = 2
3 4 2 4 4
1 1 1 1 1 1 1 1 5
s8 = s4 + + + + > 2 + + + + =
5 6 7 8 8 8 8 8 2
∞
Continuing in this way, s2n > n+2
2
. So the sequence {s n } n=1 contains a divergent subse-
∞
1
P
quence and hence it is divergent. This implies the divergence of the series n
.
n=1
III Case: p < 1
In this case,
1 1
< p
n n
So ∞ ∞
X 1 X 1
≪
n=1
n n=1
np
∞ ∞
1 1
P P
From II Case, n
is divergent. So by comparison test, the series np
is divergent.
n=1 n=1
∞
1
P
The p− series np
converges ⇐⇒ p > 1.
n=1
Dear Student,
You have gone through this book, it is time for you to do some thinking for us.
Please answer the following questions sincerely. Your response will help us to
analyse our performance and make the future editions of this book more useful.
Your response will be completely confidential and will in no way affect your
examination results. Your suggestions will receive prompt attention from us.
Style
01. Do you feel that this book enables you to learn the subject independently without
any help from others?
03. Do you feel the following sections or features, if included, will enhance self - learning
and reduce help from others?
Yes No Not Sure
Index
Glossary
List of “Important Terms Introduced”
Two Colour Printing
Content
04. How will you rate your understanding of the contents of this Book?
05. How will you rate the language used in this Book?
Very Simple Simple Average Complicated Extremely Complicated
06. Whether the Syllabus and content of book complement to each other?
Yes No Not Sure
07. Which Topics you find most easy to understand in this book?
Sr.No. Topic Name Page No.
08. Which Topics you find most difficult to understand in this book?
Sr.No. Topic Name Page No.
09. List the difficult topics you encountered in this Book. Also try to suggest how
they can be improved.
Use the following codes:
Code 1 for “Simplify Text”
Code 2 for “Add Illustrative Figures”
Code 3 for “Provide Audio-Vision (Audio Cassettes with companion Book)”
Code 4 for “Special emphasis on this topic in counseling”
10. List the errors which you might have encountered in this book.
1. 2. 3. 4. 5.