Professional Documents
Culture Documents
STUDY MATERIAL
M . S c . M A TH E M AT I C S
PAPER II I
REA L A N A LY SIS
Lessons prepared by
Bijumon R.,
Lecturer (Senior Scale),
P.G. Dept. of Mathematics,
Mahatm a Gandhi College, Iritt y.
Copyright reserved
PAPER III : REAL ANALYSIS
CONTENTS
Unit I
Chapter 1 The Real and Complex Number System 5
3 Continuity 41
4 Differentiation 60
Unit II
Unit III
We know that , the set of all integers, is integral domain and , the set of rational
numbers, is the smallest field containing (Ref. pp38: Chapter 8 SDE Study Material
Linear Algebra). But the rational number system is inadequate for many purposes, both as a
field and as an ordered set. For instance, next theorem says that, there is no rational p such
that p 2 2. This leads to the introduction of so-called “irrational numbers” which are often
written as infinite decimal expressions and are considered to be “approximated” by the
corresponding finite decimals. Thus the sequence
1,1.4,1.414,1.4142,
“tends to 2. ” But unless the irrational number 2 has been clearly defined, the question
must arise: Just what is it that this sequence “tends to”?
This sort of question can be answered as soon as the so-called “real number system” is
constructed.
In the coming two theorems we show that the rational number system has certain gaps,
rs
in spite of the fact that between any two rational there is another: If r s , then r s.
2
The real number system fills these gaps. This is the principal reason for the fundamental role
which it plays in analysis.
(1.1) Theorem The equation p 2 2 has no solutions in rational numbers. Thus 2 is not a
rational number.
Proof
Suppose that p = m/n for m, n Z is a rational number such that p 2 2 . We assume that
we have cancelled any factors common to m and n, so that the integers m and n are are not
both even. Then p 2 2 implies
m2 2n2 , . . . (1)
and shows that that m 2 is an even integer, which implies that m is also even (For, otherwise
m is odd implies m 2k 1 for some integer k implies
5
UNIT I CHAPTER 1
6
is an even integer). Hence m 2 is divisible by 4. It follows from (1) that 2n 2 is also
divisible by 4 or n 2 is divisible by 2 or n 2 is even. Hence by the argument above, n is even.
Hence we arrives at the conclusion that both m and n are even, contrary to our assumption
that m and n are not both even. Hence p 2 2 is not satisfied by a rational number p.
(1.2) Theorem
( i) A p
: p 0, p 2 2 has no largest number in .
( ii) B p
: p 0, p 2 2 has no smallest number in .
Proof
To prove the above, we associate with each rational p 0 the number
p2 1 2 p 2
q p . . . . (2)
p2 p2
Then
q 2
2
2 p2 2 . . . . (3)
p 2 2
If p A, then p 2 2 0, hence first equality in (2) shows that q p , and (3) shows
that q 2 2. Thus q A.
2 Ordered Sets
(2.1) Definition Let S be a set. An order on S is a relation, denoted by <, with the
following two properties:
( i) If x S and y S the one and only one of the statements
x y, x y, y x
is true.
( ii) If x, y, z S , if x y, y z , then x z.
number implies r t.
(2.3) Definition Suppose S is an ordered set, and E S. If there exists a S such that
x , x E, we say that E is bounded above, and call an upper bound of E.
= sup E.
(2.5) Definition Suppose S is an ordered set, and E S. If there exists a S such that
x , x E, we say that E is bounded below, and call a lower bound of E.
(2.7) Examples
Example 1 Consider the sets A and B [in Theorem (1.2)] as subsets of the ordered set .
The set A is bounded above. In fact, the upper bounds of A are exactly the members of B.
Since B contains no smallest element, A has no least upper bound in .
UNIT I CHAPTER 1
8
Similarly, B is bounded below: The set of all lower bounds of B consists of A and of all
r with r 0. Since A has no largest element, B has no greatest lower bound in .
Example 2 If = sup E exists, then may or may not be a member of E. For example,
let E1 r : r 0 and E2 r : r 0. Then
sup E1 sup E2 0,
and 0 E1,0 E2 .
1
Example 3 Let E : n . Then sup E 1 E and inf E 0 E.
n
(2.8) Definition An ordered set S is said to have the least upper bound property if the
following is true:
If E S , E and E is bounded above, then sup E exists in S.
(2.9) Example Describe the least upper bound property of ordered sets. Verify whether the
ordered field of rationals have this property. (UQ 2008)
Solution
1 in (2.7). The set A is bounded above. In particular, A is bounded above by each element
of B p
: p 0, p 2 2 discussed in Theorem (1.2). But there is no least upper bound
for the set A as A has no largest element and B has no smallest number in , by Theorem
(2.10) Theorem Suppose S is an ordered set with the least-upper bound property,
B S , B , and B is bounded below. Let L be the set of all lower bounds of B. Then
sup L
exists in S, and inf B.
In particular, inf B exists in S.
Proof Since B is bounded below, L is not empty. Since L consists of exactly those y S
3 FIELDS
(3.1) Definition A field is a set F with two operations, called addition and multiplication,
which satisfy the following so-called “field axioms” (A), (M), and (D):
1 1
(A5) If x F and x 0 then there exists an element F such that x 1.
x x
x( y z) xy xz x, y, z F .
UNIT I CHAPTER 1
10
(3.2) Remarks
One usually write (in any field)
x
x y, , x y z, xyz, x 2 , x3 , 2 x, 3x,
y
in place of
1
x ( y), x , ( x y) z, ( xy) z, xx, xxx, x x, x x x,
y
(3.3) Examples
The field axioms clearly hold in if addition and multiplication have their
customary meaning. Thus Q is a field. Similarly, R and C are fields. Z is not a field.
(3.4) Proposition The axioms for addition imply the following statements:
(d) ( x) x.
Proof
(a) Suppose x y x z . Now
y 0 y, by (A4)
( x x) y, using (A2) and (A5)
x ( x y), using (A3)
x ( x z ), using the assumption
( x x) z, using (A3)
0 z, using (A2) and (A5)
z, using (A4)
(3.5) Proposition The axioms for multiplication imply the following statements.
(a) (Cancellation law) If x 0 and xy xz then y z.
THE REAL AND COMPLEX NUMBER SYSTEMS
11
(b) (Uniqueness of zero element) If x 0 and xy x then y 1.
1
(c) (Uniqueness of inverse element) If x 0 and x y 1 then y .
x
1
(d) If x 0 then x.
1
x
Proof
(a) Suppose x 0 and xy xz . Now
y 1y, by (B4)
1
x y, using (B2) and (B5)
x
1
( xy ), using (B3)
x
1
( xz ), using the assumption
x
1
x z, using (B3)
x
1z, using (B2) and (B5)
z, using (B4)
(b) Take z = 1 in (a) above to obtain (b).
1
(c) Take z in (a) above to obtain (c).
x
1 1
(d) Since x 1 , by (c) above, taking in place of x and x in place of y, we obtain
x x
1
x.
1
x
(3.6) Proposition The field axioms imply the following statements, for any x, y, z F :
(a) 0x = 0.
Proof
1 1 1 1
1 xy 0 0,
y x y x
( x) y xy x x y 0 y 0,
combined with (3.4)(c); the other half of (c) is proved in the same way.
(d) Finally,
(3.7) Definition An ordered field is a field F which is also an ordered set, such that
( i) x y x z if x, y, z F and y z,
( ii) xy 0 if x, y F, x 0, and y 0.
(3.9) Proposition The following statements are true in every ordered field.
1 1
(e) If 0 x y then 0 .
y x
THE REAL AND COMPLEX NUMBER SYSTEMS
13
Proof
xz x( z y) xy 0 xy xy.
[ x( z y)] ( x)( z y) 0,
Hence x 2 0. Since 1 12 , 1 0.
1 1
(e) Note that if y 0 and v 0, then yv 0. But y 1 0. Hence 0. (For, other
y y
1 1
wise, 0 forces us to say that y 0, by the note, which is not the case here).
y y
1
Likewise, 0. If we multiply both sides of inequality x y by the positive quantity,
x
1 1 1 1
, we obtain .
x y y x
Proof The second statement means that is a subset of and that the operations of
addition and multiplication in , when applied to members of , coincide with the usual
operations on rational numbers; also, the positive rational numbers are positive elements of
UNIT I CHAPTER 1
14
. The members of are called real numbers. Now the rest of the proof is done by
construction from . We shall divide the construction into several steps.
Step 1 The members of will be a certain subsets of , called cuts. A cut is, by definition,
any set with the following three properties:
Note that (III) simply says that has no largest member; (II) implies two facts which will
be used freely:
If p and q then p q.
, ,
can hold for any pair , . To show that at least one holds, assume that the first two fail.
Then is not a subset of . Hence there is a p with p . If q , it follows that
q p (since p ), hence q , by (II). Thus . Since , we conclude:
Step 3 The ordered set has the least upper bound property.
THE REAL AND COMPLEX NUMBER SYSTEMS
15
To prove this, let A be a nonempty subset of , and assume that is an upper
bound of A. Define to be the union of all A. In other words, p if and only if
p for some A.
property (I). To prove (II) and (III), pick p . Then p 1 for some 1 A. If
q p, then q 1, hence q ; this proves (II). If 1 is so chosen that r p, we see
Thus .
It is clear that A.
We define 0* to be the set of all negative rational numbers. It is clear that 0* is a cut.
Verification of the fact that the axioms for addition [see Definition (3.1)] hold in ,
with 0* playing the role of 0:
r s s r r , s , we have .
(A5) Fix . Let be the set of all p with the following property:
v
To prove the opposite inclusion, pick v 0* , put w . Then w >0, and there is an
2
integer n such that nw but (n 1)w . (Note that this depends on the fact that has
the Archimedean property). Put p (n 2)w. Then p , since p w , and
v nw p .
Thus 0* .
Step 5 Having proved that the addition defined in Step 4 satisfies Axioms (A) of Definition
(3.1), it follows that Proposition (3.4) is valid in , and we can prove one of the
requirements of Definition (3.7):
If , , and , then .
THE REAL AND COMPLEX NUMBER SYSTEMS
17
Indeed, it is obvious from the definition of + in that ; if we had
, the cancellation law [Proposition (3.4)] would imply .
Step 6 Multiplication is a little more bothersome than addition in the present context, since
products of negative rationals are positive. For this reason we confine ourselves first to
: 0* .
If and , we define
We define 1* q : q 1.
Then the axioms (M) and (D) of Definition (3.1) hold, with in place of F and
with 1* in place of 1:
The proofs are so similar to the ones given in detail in Step 4 that we omit them.
()() if 0* , 0*
[()] if 0* , 0*
[()] if 0 , 0 .
* *
( )
UNIT I CHAPTER 1
18
breaks into cases. For instance, suppose 0* , 0* , 0*. Then ( ) (),
and (since we already know that the distributive law holds in )
( ) ().
( ).
We have now completed the proof that is an ordered field with the least upper
bound property.
(a) r * s* r s ,
*
(b) r *s* rs ,
*
Conversely, suppose p r s .
*
Then p r s. Choose t so that
2t r s p, put
r r t , s s t .
Then r r* , s s* , and p r s, so that p r * s*. This proves (a). The proof of
(b) is similar.
rational cuts. Of course, r * by no means the same as r, but the properties we are concerened
with (arithmetic and order) are the same in the two fields.
*
It is the above identification of with which allows us to regard as a
subfield of .
(4.2) Theorem
Proof
(a) Let A nx : n . If (a) were false, then y would be an upper bound of A. But
(b) Since x y, we have y x 0, and (a) furnishes a positive integer n such that
n( y x) 1.
Apply (a) again, to obtain positive integers m1 and m2 such that m1 nx, m2 nx .
Then
m2 nx m1.
m 1 nx m.
nx m 1 nx ny.
UNIT I CHAPTER 1
20
Since n 0, it follows that
m
x y.
n
m
This proves (b) with p .
n
(4.3) Theorem (Existence of nth roots of positive reals) For every real x > 0 and every
integer n > 0 there is one and only one real y such that y n x and y 0. (UQ 2006)
Remarks
Proof of the theorem That there is at most one such y is clear, since 0 y1 y2
Let
E t : t 0, t n x .
x
If t then 0 t 1. Hence t n t x. Thus t E, and E is not empty.
1 x
y sup E.
bn a n (b a)nbn1
when 0 a b.
x yn
h .
n( y 1)n1
THE REAL AND COMPLEX NUMBER SYSTEMS
21
Put a y, b y h. Then
Thus ( y h)n x, and y h E. Since y h y, this contradicts the fact that y is an upper
bound of E.
Assume y n x. Put
yn x
k .
ny n1
y n t n y n ( y k )n kny n1 y n x.
But y k y, which contradicts the fact hat y is the least upper bound of E.
(4.4) Corollary If a and b are positive real numbers and n is a positive integer, then
ab nn ()n ,
Let x 0 be real. Let n0 be the largest integer such that n0 x. (Note that the
n1 nk
n0 x.
10 10k
n1 nk
n0 (k 0,1, 2, ) (1)
10 10k
n0 n1n2n3 nk . (2)
Conversely, for any infinite decimal (2) the set E of numbers (1) is bounded above, and (2)
is the decimal expansion of sup E.
(5.1) Definition The extended real number system consists of the real field and two
symbols, and . We preserve the original order in , and define
x x .
It is then clear that is an upper bound of every subset of the extended real
number system, and that every nonempty subset has a least upper bound. If,
for example, E is a nonempty set of real numbers which is not bounded
above in , then sup E in the extended real number system.
(a) If x then
x x
x , x , 0.
When it is desired to make the distinction between real numbers on the one hand
and the symbols and on the other quite explicit, the former are called
finite.
(6.1) Definition A complex number is an ordered pair (a, b) of real numbers. We denote
the set of complex numbers by .
Let x (a, b), y (c, d ) be two complex numbers. We write x y if and only if
a c and b d .
(6.2) Theorem The addition and multiplication in the set of complex numbers defined by
x y (a c, b d ).
xy (ac bd , ad bc)
makes it into a field, with (0, 0) and (1, 0) in the role of 0 and 1.
(A1) is clear.
UNIT I CHAPTER 1
24
(A2) x y (a c, b d ) , by the definition of addition in
y x.
(A3) ( x y) z (a c, b d ) (e, f )
(a, b) (c e, d f )
x ( y z ).
(M1) is clear.
yx.
x( yz ).
(M5) If x 0 then (a, b) (0,0), which means that at least one of the real numbers a, b is
1 a b
( 2 2 , 2 2 ).
x a b a b
THE REAL AND COMPLEX NUMBER SYSTEMS
25
1 a b
Then x (a, b)( 2 2 , 2 2 ) (1, 0) 1.
x a b a b
(ac ae bd bf , ad af bc be)
xy xz.
The proof of the above Theorem is trivial. Theorem (6.3) shows that the complex numbers of
the form (a, 0) have the same arithmetic properties as the corresponding real numbers a.
We can therefore identify (a, 0) with a. This identification gives us the real field as a
subfield of the complex field.
(a, 0) (0, b)
(a, b).
(a) z w z w.
(b) zw z w.
Proof (a), (b) and (c) are quite trivial. To prove (d), write z a bi, and note that
zz a 2 b2 .
(7.2) Remarks
The existence (and uniqueness) of z follows from Theorem (4.3) and part (d) of
Theorem (6.8).
x, if x 0
When x is real, then x x, hence x x 2 . Thus x
x, if x 0
(a) z 0 unless z = 0, 0 0.
(b) z z . unless z = 0, 0 0.
THE REAL AND COMPLEX NUMBER SYSTEMS
27
(c) zw z w .
(d) Re z z .
(e) z w z w .
2 2 2
zw (ac bd )2 (ad bc)2 (a 2 b2 )(c2 d 2 ) z w .
From the above, we have zw z w . Now (c) follows from the uniqueness assertion of
2 2
Theorem (4.3).
a a 2 a 2 b2 .
i.e., Re z z .
(e) Note that zw is the conjugate of zw, so that zw zw 2Re( zw). Hence
2
z w ( z w)( z w) zz zw zw ww
2 2
z 2 Re( zw) w
2 2
z 2 zw w , using (d) above
2 2
z 2 z w w , since w w
z w .
2
(7.5) Theorem (Schwarz inequality) If a1, , an and b1, , bn are complex numbers,
then
2
n n 2 n 2
a j bj a j bj . (UQ 2006)
j 1 j 1 j 1
Proof
n 2 n 2 n
Put A a j , B b j , C a j b j .
j 1 j 1 j 1
2 2
Case (i) If B 0, then b1 bn 0, implies b1 bn 0, and hence
n
C a j b j 0, and we get the result (In this case equality occurs).
j 1
j 1 j 1
n 2 n n 2 n 2
B 2 a j BC a j b j BC a j b j C b j
j 1 j 1 j 1 j 1
2
B2 A BCC BCC C B
2
B2 A B C
B AB C
2
.
Since each term in the L.H.S. is nonnegative, we see that B AB C 2
0.
2
Since B 0, it follows that AB C 0.
2
n 2 n 2 n
i.e., a j b j a j b j 0, the desired inequality.
j 1 j 1 j 1
x y x2 y2
, , .
x2 y2 1 x2 y2 1 x2 y2 1
Thus we can represent any
complex number in P by a point on the
7 EUCLIDEAN SPACES
k
Let k be a positive integer. is the set of all ordered k-tuples x = (x1, x2, … , xk)
where xi . Then k
is a vector space over under the following operations of
x + y = x1 y1, , xk yk
x = x1, , xk
k
(For details refer the study material Linear Algebra, Page 101) The zero element of is
1/ 2
k
x = x x = xi2
1/ 2
and the norm of x is .
i 1
UNIT I CHAPTER 1
30
(7.8) Theorem Suppose x, y, z k
and . Then
(a) x 0;
(c) x x ;
(d) x y x y ;
(e) x y x y ;
(f) x z x y y z .
Proof
1/ 2
k
(a) By definition, x = x x = xi2
1/ 2
, and hence x 0.
i 1
1/ 2
k k
(b) x 0 if and only if xi2 0 if and only xi2 0 if and only if xi2 0 for
i 1 i 1
x = x1, , xk = 0, , 0 0.
1/ 2 1/ 2
k 2 k
(c) x = xi xi2 x.
i 1 i 1
k
(d) x y xi yi , by the definition of the norm
i 1
k 1/ 2 k 1/ 2
xi2 yi2 , by Schwarz inequality
i 1 i 1
x y.
x x 2x y + y y
2 2
x 2 x y + y , using (d) above
a b , by (e) above
xy yz .
(7.9) Corollary x x .
1 x
x.
___________________
Chapter 2
(1.1) Definition A set X, whose elements we shall call points, is said to be a metric space
if with any two points p and q of X there is associated a real number d ( p, q), called the
distance from p to q, such that
(a) d ( p, q) 0 if p q ; d ( p, p) 0;
(b) d ( p, q) d (q, p);
(c) d ( p, q) d ( p, r ) d (r, q), for any r X .
Any function d : X X with the above properties is called a distance function or
a metric.
(1.2) Remark Every subset Y of a metric space X is a metric space in its own right, with
the same distance function. For it is clear that if conditions (a) to (c) of Definition (1.1) hold
for p, q, r X , they also hold if we restrict p, q, r to lie in Y.
(1.3) Example
k
In the Euclidean space , d defined by
d (x, y) x y x, y
k
is a distance function.
Verification: Here X k
.
(b) d (x, y) x y
y x
d (y, x).
(b) d (x, y) x y
32
BASIC TOPOLOGY-METRIC SPACES
33
d (x, z) d (z, y)
1 2
In particular, (the real line) and (the plane or the complex plane) are metric spaces.
1 2
Also note that in and the norm is just the absolute value of the corresponding real or
complex number.
(1.4) Remark Every subset of a Euclidean space is a metric space, by Remark (1.2).
(1.5) Definitions
By the segment (a, b) we mean the set of all real numbers x such that a x b.
By the interval [a, b] we mean the set of all real numbers x such that a x b.
If x k
and r 0 , the open ball B with center at x and radius r is defined to the
set of all y k
such that y x r.
If x k
and r 0 , the closed ball B with center at x and radius r is defined to the
set of all y k
such that y x r.
A set E k
is convex if
x + (1 )y E
whenever x E , y E, and 0 1.
y + (1 )z x r.
y x + (1 ) z x
r + (1 )r
r,
as desired.
(1.8) Definitions Let X be a metric space. All points and sets mentioned below are
understood to be elements and subsets of X:
Nr ( p) q X : d ( p, q) r.
(1.9) Remarks
1
In neighborhoods are segments.
2
In neighborhoods are interiors of circles.
Proof Consider a neighborhood E Nr ( p), and let q E. Then there is a positive real
number h such that
d ( p, q) r h.
d ( p, s) d ( p, q) d (q, s) r h h r,
Proof Let E be a finite point set. Suppose E has a limit point, say p. The by Theorem
(1.11) every neighborhood of p must contain infinitely many points of E, which is not
possible because E is a finite set. Hence E has no limit point.
2
(1.13) Examples Let us consider the following subsets of :
(a) The set of all complex z such that z 1.
1
(e) Consider the set E : n 1, 2,3, . Let us note that this set E has a limit
n
point (namely, z = 0) but that no point of E is a limit point of E; here note the
difference between having a limit point and containing one.
2
(f) The set of all complex numbers (that is, ).
(g) The segment (a, b) .
1
Let us note that (d), (e), (g) can be regarded also as subsets of .
Some properties of the above sets are tabulated below:
Closed Open Perfect Bounded
(a) No Yes No Yes
(b) Yes No Yes Yes
(c) Yes No No Yes
(d) Yes No No No
(e) No No No Yes
(f) Yes Yes Yes No
(g) No No Yes
In (g), we left the second entry blank. The reason is that the segment (a, b) is not open if we
2 1
regard it as a subset of , but it is not a subset of .
C
E
E .
C
BASIC TOPOLOGY-METRIC SPACES
37
C
Proof If x E , then x E , hence x E , hence x EC , so that
C
x E . Thus E
C
E .
C
Conversely, if x
E , then x E
C
C
, hence x E , hence x
E , so
C C
that x E . Thus
E C
E .
C
Hence E
E .
C
Proof First, suppose E C is closed. Choose x E. Then x E C , and x is not a limit point
(1.17) Theorem
(a) For any collection G of open sets, G is open.
n
(c) For any finite collection G1, , Gn of open sets, Gi is open.
i 1
n
(d) For any finite collection F1, , Fn of closed sets, Fi is closed.
i 1
UNIT I CHAPTER 2
38
Proof
(a) To show that G is open, it is enough to show that each point of G is an interior
and FC is open, by Theorem (1.15). Hence (a) implies that R.H.S. of (1) is open. Hence its
complement F is closed.
n
(c) Let x Gi . Then x Gi for i 1, , n . Since each Gi is open, x is an interior point
i 1
of each Gi and hence there exist neighborhoods N i of x, with radii ri , such that
x Ni Gi , i 1, , n . Put
r min r1, , rn ,
and FiC is open, by Theorem (1.15). Hence (c) implies that R.H.S. of (2) is open. Hence its
n
complement Fi is closed.
i 1
(1.18) Example (Example to show that intersection of infinite collection of open sets need
not be open) In parts (c) and (d) of the preceding theorem, the finiteness of the collections is
1 1
essential. For let Gn , n 1, 2,3, . Then Gn , being a segment in 1
is a
n n
BASIC TOPOLOGY-METRIC SPACES
39
1 1
neighborhood in and by Theorem (1.10), is an open subset of . But,
1 1
Gn , 0 is a finite set and hence is not an open subset of
1
.
n n n n
(1.19) Example (Example to show that union of infinite collection of closed sets need not be
closed) The set of rational numbers is the union of a countable collection of closed sets each
of which contains exactly one rational number. i.e.,
a.
a
Though each a is closed, is not closed (For, we can find a sequence in which
converges to 2 . )
(1.20) Definition If X is a metric space, if E X , and if E denotes the set of all limit
(a) E is closed,
(b) E E if and only if E is closed,
(c) E F for every closed set F X such that E F .
neither a point of E nor a limit point of E. Hence p has a neighborhood which does not
Case 2) Assume y E. Since y sup E, for every h 0 there exists then a point x E
such that y h x y, for otherwise y h would be an upper bound of E. Thus y is a
(1.23) Definitions
Suppose E Y X , where X is a metric space:
V p q X | d ( p, q) rp
and define
G Vp .
pE
___________________
Chapter 3
CONTINUITY
1 Limits of Functions
(1.1) Definition Let X and Y be metric spaces; suppose E X , f maps E into Y, and p
is a limit point of E. We write f ( x) q as x p, or
lim f ( x) q
x p
if there is a point q Y with the following property: For every 0 there exists a 0 such
that
dY ( f ( x), q)
41
UNIT I CHAPTER 3
42
(1.2) Theorem Let X, Y, E, f, and p be as in Definition (1.1). Then
lim f ( x) q (1)
x p
if and only if
lim f ( pn ) q (2)
n
pn p, lim pn p. (3)
n
Proof
Suppose (1) holds. Choose pn in E satisfying (3). Let 0 be given. Then there exists
0 such that
dY ( f ( x), q)
0 d X ( pn , p) .
1
but 0 d X ( x, p) . Taking n n 1, 2, , we thus find a sequence in E satisfying
n
(3) for which (2) is false.
Claim q r.
By Theorem (1.2), lim f ( x) q implies that
x p
lim f ( pn ) q (4)
n
CONTINUITY
43
for every sequence pn in E such that
pn p, lim pn p. (5)
n
Similarly,
lim f ( x) r implies that
x p
lim f ( pn ) r (6)
n
pn p, lim pn p. (7)
n
(5) and (6) says that the sequence f ( pn ) converges to q and r, and by the uniqueness of
f
(1.4) Definition Let f , g be complex functions defined on E. Then f g , fg and
g
are defined pointwise as follows:
f g ( x) f ( x) g ( x)
fg ( x) f ( x) g ( x)
f f ( x)
( x) , provided g ( x) 0.
g g ( x)
k f
Similarly, if f, g map E into , then f + g , fg and are defined pointwise as follows:
g
f + g ( x ) f ( x ) g ( x)
UNIT I CHAPTER 3
44
f g ( x ) f ( x) g ( x)
f ( x) f ( x), where is a real number.
Then
(a) lim ( f g )( x) A B;
x p
f A
(c) lim ( x) , if B 0.
x p g B
Proof
(a) By Theorem (1.2), lim f ( x) A and lim g ( x) B implies that
x p x p
lim f ( pn ) A
n
pn p, lim pn p.
n
and lim g ( pn ) B
n
pn p, lim pn p.
n
(b) and (c) can be similarly proved, using the properties of limit of sequences.
k
(1.6) Remark If f, g map E into , then (a) remains true, and (b) becomes
CONTINUITY
45
b lim (f g)( x) A B.
x p
2 Continuous Functions
(2.1) Definition Suppose X and Y are metric spaces, E X , p E, f maps E into Y.
Then f is said to be continuous at the point p if for every 0 there exists a 0 such
that
dY ( f ( x), f ( p))
(2.4) Theorem In the situation given in Definition (2.1), assume also that p is a limit point
of E. Then f is continuous at p if and only if lim f ( x) f ( p).
x p
h( x) g ( f ( x)) x E .
If f is continuous at a point p E and if g is continuous at the point f ( p), then h is
continuous at p.
UNIT I CHAPTER 3
46
i.e., continuous function of a continuous function is continuous.
Proof
Let 0 be given. Since g is continuous at f ( p), there exists 0 such that
d Z g ( y), g f ( p) (8)
if dY y, f ( p) and y f ( E ).
if d X ( x, p) and xE .
if d X ( x, p) and xE .
Thus h is continuous at p.
Figure Fig (a) and (b) show two functions that are discontinuous at x = c but continuous at
all other x points. Fig (c) gives a continuous function.
(2.6) Theorem (Characterization of continuity) A mapping f of a metric space X into a
metric space Y is continuous on X if and only if f 1 V is open in X for every open set V
in Y.
CONTINUITY
47
Proof
Note that f 1 V x X | f ( x) V .
Proof Corollary follows from the theorem, since a set is closed if and only if its complement
C
is open, and since f 1 E C f 1 E for every E Y .
UNIT I CHAPTER 3
48
(2.8) Theorem Let f and g be complex continuous functions on a metric space X. Then
f
f g , fg , and are continuous on X. (In the last case, we must of course assume that
g
g ( x) 0, x X . )
Proof
Case 1) At isolated points of X there is nothing to prove.
Case 2) At limit points, the statement follows from Theorems (1.5)and (2.4). We prove only
one and leaving the other to exercises.
By Theorem (2.4), f and g continuous functions implies lim f ( x) f ( p) and
x p
f ( p) g ( p )
(2.9) Theorem
(a) Let f1, , f k be real functions on a metric space X, and let f be the mapping of X into
k
defined by
f ( x) f1 ( x), , f k ( x) x X ;
then f is continuous if and only if each of the functions f1, , f k is continuous.
i (x) xi x k
k
are continuous on , since the inequality
i (x) i (y) x y
shows that we may take in Definition (2.1). The functions i are some times called the
coordinate functions.
Repeated application of Theorem (2.8) then shows that every monomial
P x cn1, n1 n2
, nk x1 x2 xknk x , k
(13)
k
is continuous on . Here the coefficients cn1 , , nk are complex numbers, n1, , nk are
nonnegative integers, and the sum in (13) has finitely many terms.
Furthermore, every rational function in x1, , xk , that is, every quotient of two
k
polynomials of the form (13), is continuous on wherever the denominator is different
from zero.
From the triangle inequality one sees easily that
x y xy x, y . k
(14)
function on X.
Since f f 1 ( E ) E for every E Y , (15) implies that
showing that f X can be covered by a finite subcover of the given cover V . Hence
f X is compact.
k
(3.3) Theorem If f is a continuous mapping of a compact metric space X into , then
f X is closed and bounded. Thus, f is bounded.
(3.4) Theorem Suppose f is a continuous real function on a compact metric space X, and
M sup f ( p) | p X , m inf f ( p) | p X . (16)
(Note that in the above M is the least upper bound of the set f ( p) | p X
and m is the greatest lower bound of the same set.)
The conclusion of the theorem may also be stated as follows:
“ There exist points a and b in X such that f (a) f ( x) f (b) x X ; that
is, f attains its maximum at a and minimum at b. ”
Proof
By Theorem (3.3), f ( X ) is a closed and bounded set of real numbers; hence by supremum
and infimum properties of , supremum and infimum exists for the bounded set
f ( X ) f ( p) | p X and since f ( X ) is closed the supremum M and infimum m are
CONTINUITY
51
elements of f ( X ) f ( p) | p X . Hence there exist elements a, b X such that
f 1 f ( x) x x X
is a continuous mapping of Y onto X.
Proof
Applying Theorem (2.6) to f 1 in place of f, we see that it suffices to prove that
The complement V C of the open set V is closed in X, hence compact (As “closed
subsets of compact sets are compact”); hence, by Theorem (3.2), f V C is a compact subset
of Y and so is closed in Y (As “compact subsets of metric spaces are closed”). Since f is
one-to-one and onto, f V is the complement of f V C . Hence f V is open, proving
(3.7) Theorem Let f be a continuous mapping of a compact metric space X into a metric
space Y. Then f is uniformly continuous on X. (UQ 2006)
UNIT I CHAPTER 3
52
Proof Let 0 be given. Since f is continuous, we can associate to each point p X a
positive number ( p) such that
q X , d X ( p, q) ( p) implies dY ( f ( p), f (q)) . (16)
2
Let J ( p) be the set of all q X for which
1
d X ( p, q) ( p). (17)
2
Since p J ( p), the collection of all sets J ( p) is an open cover of X; and since X is
compact, there is a finite set of points p1, , pn in X, such that
X J ( p1 ) J ( pn ). (18)
We put
1
min ( p1 ), , ( pn ). (19)
2
Then 0. (This is one point where the finiteness of the covering, inherent in the definition
of compactness, is essential. The minimum of a finite set of positive numbers is positive,
whereas the infimum of an infinite set of positive numbers may very well be 0; for example
1
inf : n 0. )
n
Now let q and p be points of X, such that d X ( p, q) . By (18), there is an
1
d X ( p, pm ) ( pm ), (20)
2
and we also have
1
d X (q, pm ) d X ( p, q) d X ( p, pm ) ( pm ) ( pm ).
2
Finally, (16) shows that therefore
dY ( f ( p), f (q)) dY ( f ( p), f ( pm )) dY ( f (q), f ( pm )) .
This completes the proof.
1
(3.8) Theorem Let E be a noncompact set in . Then
(a) there exists a continuous function on E which is not bounded;
(b) there exists a continuous and bounded function on E which has no maximum.
If, in addition, E is bounded, then
CONTINUITY
53
(c) there exists a continuous function on E which is not uniformly continuous.
Proof
Suppose first that E is bounded.
(a) Since E is not compact, E bounded implies that E is not closed, so that there exists a
limit point x0 of E which is not a point of E. Consider
1
f ( x) x E . (21)
x x0
This is continuous on E, since the constant function 1 and x x0 are continuous and their
quotient is also continuous by Theorem (2.8). But f is unbounded.
(b) To see that (21) is not uniformly continuous, let 0 and 0 be arbitrary, and choose
a point x E such that x x0 . Taking t close enough to x0 , we can then make the
f is uniformly continuous on E.
(c) The function g defined by
1
g ( x) x E (22)
1 x x0
2
sup g ( x) | x E 1,
x2
h( x ) x E (23)
1 x2
establishes (b), since
sup h( x) | x E 1
The trigonometric functions cosine and sine are continuous. Also, they are periodic with
period 2. These results show that f is a continuous 1-1 mapping of X onto Y.
However, the inverse mapping (which exists, since f is one-to-one and onto) fails to be
continuous at the point (1, 0) = f(0). Of course, X is not compact in this example.
Another argument to the fact that f 1
is not continuous, for if : f 1
is continuous, then
f 1 Y is compact implies X [0, 2) is compact which is false.
Since A A (the closure of A), we have G f 1 ( A); the latter set is closed, since f
A B , we conclude that G H .
The same argument shows that G H . Thus G and H are separated and
implies that E is not connected, contrary to the fact that E is connected.
We need the following theorem A for proving Theorem (4.2).
1
Theorem A: A subset E of the real line is connected if and only if it has the following
property: If x E, y E, and x z y, then z E.
(4.2) Theorem (Intermediate value theorem) Let f be a continuous real function on the
interval [a, b]. If f (a) f (b) and if c is a number such that f (a) c f (b), then there
exists a point x (a, b) such that f ( x) c.
CONTINUITY
55
A similar result holds, of course, if f (a) f (b). Roughly speaking, the theorem says
that a continuous real function assumes all intermediate values on an interval.
Proof By Theorem A above, [a, b] is connected; hence by Theorem (4.1) shows that
Theorem A.
(4.3) Theorem At first glance, it might seem that Theorem (4.2) has a converse. That is,
one might think that if for any two points x1 x2 and for any number c between f ( x1 ) and
f ( x2 ) there is a point x ( x1, x2 ) such that f ( x) c, then f must be continuous (Refer the
example in the coming section.
5 Discontinuity
(5.1) Definition Let f be defined on (a, b). Consider any point x such that a x b. We
define f ( x) , the right hand limit at x, by
f ( x ) q
(5.2) Definition Let f be defined on (a, b). Consider any point x such that a x b. We
define f ( x) , the left hand limit at x, by
f ( x) r
(5.3) Remark Let f be defined on (a, b). Consider any point x such that a x b. It can
At the point x = 0, neither f (0) nor f (0 ) exist, hence f has a discontinuity of the
second kind at x = 0. But f is continuous at every other than x = 0, since sin y is a
1
continuous function and when x 0 is also continuous function, hence their composition
x
1
sin is continuous at x 0.
x
6 Monotonic Functions
(6.1) Definition Let f be real on (a, b). Then f is said to be monotonically increasing on
(a, b) if a x y b implies f ( x) f ( y).
(6.2) Definition Let f be real on (a, b). Then f is said to be monotonically decreasing on
(a, b) if a x y b implies f ( x) f ( y).
(6.3) Theorem Let f be monotonically increasing on (a, b). Then f ( x) and f ( x) exist
at every point x (a, b). More precisely,
CONTINUITY
57
sup f (t ) : t (a, x) f ( x) f ( x) f ( x) inf f (t ) : t ( x, b). (1)
Furthermore, if a x y b , then
f ( x) f ( y ). (2)
(UQ 2006)
Proof
Since f is monotonically increasing, the set f (t ) : a t x is bounded above by f ( x).
Therefore, by the supremum property of the real line, f (t ) : a t x has a least upper
A f ( x).
Claim 1: A f ( x ). (i.e., the left hand limit of f at x is A).
Let 0 be given. It follows from the definition of A as a least upper bound that there
exists 0 such that a x x and
A f ( x ) A. (3)
Since f is monotonic increasing, we have
f ( x ) f (t ) A x t x. (4)
f ( x). Therefore, by the infimum property of the real line, f (t ) : x t b has a greatest
f ( x) B.
Claim 2: B f ( x ). (i.e., the right hand limit of f at x is B).
Let 0 be given. It follows from the definition of B as a greatest lower bound that there
exists 0 such that x x b and
B f ( x ) B . (5)
Since f is monotonic increasing, we have
B f (t ) f ( x ). x t x . (6)
In the above, the last equality is obtained by applying (1) to (a, y) in place of (a, b).
Similarly,
f ( y ) sup f (t ) : t (a, y) sup f (t ) : t ( x, y). (8)
(6.4) Theorem Let f be monotonically decreasing on (a, b). Then f ( x) and f ( x) exist
at every point x (a, b). More precisely,
Furthermore, if a x y b , then
f ( x) f ( y ).
Proof is left to the exercise.
(6.6) Remark The above Corollary implies that every monotonic function is discontinuous
at a countable number of points at most. A simpler proof is given in the following Theorem.
(6.7) Theorem Let f be monotonic on (a, b). Then the set of points of (a, b) at which f is
discontinuous is at most countable. (UQ 2006)
Proof Suppose, for the sake of definiteness, that f is increasing, and let
E x (a, b) : f is discontinuous at x.
Claim: E is countable.
Note that x is point of E implies that x is a point at which f is discontinuous. By Corollary
(6.5) f has no discontinuities of the second kind. Hence the discontinuity at x is the
discontinuity of the first kind. Hence two cases arise:
Case 1) f ( x) f ( x)
or Case 2) f ( x) f ( x) f ( x).
CONTINUITY
59
The second case is not possible, since f is monotonic increasing (Think yourself!). Hence at
the discontinuous point x, we have f ( x) f ( x) .
Hence with every point we associate a rational number r ( x) such that
f ( x) r ( x) f ( x).
Since x1 x2 implies f ( x1 ) f ( x2 ), we see that r ( x1 ) r ( x2 ) if x1 x2 .
We have thus established a 1-1 correspondence between the set E and a subset of the
set of rational numbers. Since the set of rational numbers is countable, this shows that E is
countable. i.e., the set of points of (a, b) at which f is discontinuous is at most countable.
(b) f g (t ) A B.
(c) fg (t ) AB.
f A
(d) (t ) ,
g B
provided the right members of (b), (c), and (d) are defined.
A
Note that , 0 , , are not defined.
0
___________________
Chapter 4
DIFFERENTIATION
provided this limit exists in accordance with Definition 1.1 in Chapter 3 Continuity.
We thus associate with the function f a function f whose domain is the set of
points x at which the limit (2) exists; f is called the derivative of f . In particular f ( x)
is the derivative of f at x.
If f is defined at a point x, we say that f is differentiable at x. If f is defined
at every point of a set E [a, b], we say that f is differentiable on E.
(1.2) Definition/Remark
In (2), if we consider ( x), the right hand limit of at x, in place of lim (t ) , then
t x
In (2), if we consider ( x), the left hand limit of at x, in place of lim (t ) , then
t x
60
DIFFERENTIATION
61
f ( x) 0
0.
Hence lim f (t ) f ( x),
t x
h(t ) h( x) f (t ) g (t ) g ( x) g ( x) f (t ) f ( x) .
h(t ) h( x) g (t ) g ( x) f (t ) f ( x)
f (t ) g ( x) .
tx tx tx
Hence
h(t ) h( x) g (t ) g ( x) f (t ) f ( x)
h( x) lim lim f (t ) lim lim g ( x ) lim
t x tx t x t x t x t x t x
tx
f ( x) g ( x) g ( x) f ( x).
i.e., ( fg )( x) f ( x) g ( x) f ( x) g ( x) is proved.
f
(c) Let h . Then
g
f (t ) f ( x) f (t ) g ( x) f ( x) g (t )
h(t ) h( x)
g (t ) g ( x) g (t ) g ( x)
g ( x) f (t ) f ( x) f ( x) g (t ) g ( x)
g (t ) g ( x)
Hence
h(t ) h( x) 1 f (t ) f ( x) g (t ) g ( x)
g ( x) f ( x) .
tx g (t ) g ( x) tx t x
Hence
DIFFERENTIATION
63
h(t ) h( x)
h( x) lim
t x tx
1 f (t ) f ( x) g (t ) g ( x)
lim lim g ( x) lim lim f ( x) lim
t x g (t ) g ( x) t x t x tx t x t x t x
g ( x) f ( x) g ( x) f ( x)
g 2 ( x)
(1.6) Examples
Example 1 The derivative of any constant function is clearly 0.
Example 2 If f is defined by
f ( x) x,
then f ( x) 1.
h(t ) g ( f (t )) a t b ,
then h is differentiable at x, and
h( x) g ( f ( x)) f ( x). (5)
Proof
Let y f ( x). By the definition of the derivative,
f (t ) f ( x)
f ( x) lim .
t x tx
Hence
f (t ) f ( x) t x f ( x) u(t ) , (6)
UNIT I CHAPTER 4
64
where t [a, b], and u(t ) 0 as t x
Similarly,
g (s) g ( y) s y g ( y) v(s) , (7)
where s I , v( s) 0 as s y.
Let s f (t ).
Then
h(t ) h( x) g ( f (t )) g ( f ( x))
Hence if t x,
h(t ) h( x)
g ( y ) v(s) f ( x) u (t ). (8)
tx
Letting t x , we see that s y, by the continuity of f, so that the right side of (8) tends to
g ( y) f ( x), which gives (5).
(1.8) Examples
Example 1 Let f be defined by
1
x sin x 0
f ( x) x
0
x 0
Noting that the derivative of sin x is cos x. Also note, by the chain rule for differentiation
1 1 1
(Theorem (1.7)), that the derivative for x 0 of sin is cos 2 . Applying Theorem
x x x
(1.5), we obtain
1 1 1
f ( x) sin cos x 0. (9)
x x x
1
At x 0 , these Theorems do not apply any longer, since sin is not defined there, and we
x
appeal directly to the definition: for t 0,
f (t ) f (0) 1
sin .
t 0 t
As t 0, this does not tend to any limit, so that f (0) does not exist.
Example 2 Let f be defined by
DIFFERENTIATION
65
2 1
x sin x 0
f ( x) x
0
x 0
As above, applying Theorems (1.7) and (1.5), we obtain
1 1
f ( x) 2 x sin cos x 0. (10)
x x
At x 0 , we appeal directly to the definition: for t 0,
f (t ) f (0) 1
t sin t .
t 0 t
As t 0, we see that
f (0) 0.
1
Thus f is differentiable at all points x, but f is not a continuous function, since cos in
x
(10) does not tend to a limit as x 0, so that lim f ( x) doesn’t exist.
x0
(2.1) Definition Let f be a real function defined on a metric space X. We say that f has a
local maximum at a point p X if there exists 0 such that f (q) f ( p) q X with
d ( p, q) .
(2.2) Definition Let f be a real function defined on a metric space X. We say that f has a
local minimum at a point p X if there exists 0 such that f (q) f ( p) q X with
d ( p, q) .
(2.3) Theorem Let f be defined on [a, b] ; if f has a local maximum at a point x (a, b),
and if f ( x) exists, then f ( x) = 0.
The analogous statement for local minima is “Let f be defined on [a, b] ; if f has
a local minimum at a point x (a, b), and if f ( x) exists, then f ( x) = 0” and is true.
Proof of the Theorem
Choose 0 in accordance with Definition (2.1), so that
a x x x b.
If x t x, then
UNIT I CHAPTER 4
66
f (t ) f ( x)
0.
tx
Letting t x, we see that
f ( x) 0. (11)
If x t x , then
f (t ) f ( x)
0.
tx
Letting t x, we see that
f ( x) 0. (12)
Combining (11) and (12), we obtain f ( x) = 0.
(2.4) Theorem (Generalized Mean Value Theorem) If f and g are continuous real
functions on [a, b] which are differentiable in (a, b) , then there is a point x (a, b) at which
(2.5) Theorem (“The” Mean Value Theorem) If f is a real continuous function on [a, b]
which is differentiable in (a, b) , then there is a point x (a, b) at which
which is valid, for each pair of numbers x1 , x2 in (a, b) , for some x between x1 and x2 .
g (t2 ) g (b) for some t2 (a, b). Hence g attains its minimum on [a, b] (Ref. Theorem
UNIT I CHAPTER 4
68
(3.4) of Chapter 3) at some point x such that a x b. By Theorem (2.3), g ( x) 0.
Hence f ( x) .
(3.3) Corollary If f is differentiable function on [a, b] , then f cannot have any simply
discontinuities on [a, b] .
4 L’Hospital’s Rule
f ( x)
The limit of the quotient g ( x)
as x a can be evaluated using the quotient rule
f ( x) lim f ( x)
x a
lim , provided lim g ( x) 0.
x a g ( x) lim g ( x) xa
x a
sin x x2 9 f ( x) f ( a)
lim , lim , lim . . . (15)
x0 x x3 x 2 x 6 x a xa
cannot be solved using the quotient rule as the rule requires that the limit of the denominator
be different from 0.
It doesn’t mean that the limits in (15) do not exist, only that the quotient rule will not
determine them.
From the basic analysis course, the reader is familiar with the way of verifying
sin x
lim 1.
x0 x
lim
x2 9
lim
x 3 x 3 lim x 3 6 .
x3 x 2 x 6 x3 x 3 x 2 x3 x 2 5
Would it not be nice to have a standard procedure for handling all problems of this type?
That is too much to hope for. However, there is a simple rule that works well on a wide
DIFFERENTIATION
69
variety of such problems. It is known as l’Hôpital’s Rule (pronounced Lö’pëtäl); also called
l’Hospital rule or Lhospital rule. The rule was introduced by the French analyst and geometer
Guillaume François Antoine de l’Hospital (1661-1704).
sin x
Example 1 Use l’Hôpital’s rule to show that lim 1.
x0 x
Solution
Here limits of both the numerator and denominator is 0. Therefore lim sinx x is in the 0/0
x0
form.
Now
sin x cos x
lim lim , using l’Hôpital’s Rule and noting that derivative of sin x is
x0 x x0 1
1
1.
1
x
Example 2 Find lim
x ex
Solution
Both x and e x tend to as x . Hence limit is in / form.
x 1
lim x
lim , applying l’Hôpital’s Rule
x e x ex
= 0.
(4.1) Theorem: L’Hospital’s Rule Suppose f and g are real and differentiable in
(a, b) , and g ( x) 0 for all x (a, b) , where a b . Suppose
f ( x)
A as x a. (16)
g ( x)
If
f ( x) 0 and g ( x) 0 as x a, (17)
or if
g ( x) as x a, (18)
then
UNIT I CHAPTER 4
70
f ( x)
A as x a. (19)
g ( x)
The analogous statement is of course also true if x b, or if g ( x) in (18).
Let us note that we now use the limit concept in the extended sense of Definition in Section 7
of the previous chapter.
Proof
We first consider the case in which A . Choose a real number q such
that A q, and then choose r such that A r q. By (16) there is a point c (a, b) such
that a x c implies
f ( x)
r. (20)
g ( x)
If a x y c, then Theorem (1.7) shows that there is a point t ( x, y) such that
f ( x) f ( y ) f (t )
r. (21)
g ( x) g ( y) g (t )
Suppose (17) holds. Letting x a in (21), we see that
0 f ( y)
r
0 g ( y)
f ( y)
i.e., rq a y c. (22)
g ( y)
Now suppose that (18) holds. Keeping y fixed in (21), we can choose a point c1 (a, y)
g ( x) g ( y ) g ( x) g ( y )
0. Multiplying (21) by , we obtain
g ( x) g ( x)
g ( x) g ( y ) f ( x) f ( y ) g ( x) g ( y )
r
g ( x) g ( x) g ( y ) g ( x)
f ( x) f ( y ) g ( y)
r r
g ( x) g ( x)
f ( x) g ( y) f ( y)
r r a x c1 . (23)
g ( x) g ( x) g ( x)
If we let x a in (23), we get
f ( x) 1 1
lim r rg ( y) lim f ( y) lim
x g ( x) x g ( x) x g ( x)
DIFFERENTIATION
71
f ( x) 1
i.e., lim r , as lim 0, using (18).
x g ( x) x g ( x)
f ( x)
q a x c2 . (24)
g ( x)
Summing up, (22) and (24) shows that for any q, subject only to the condition A q, there is
f ( x)
q if a x c2 . (25)
g ( x)
In the same manner, if A , and p is chosen so that p A, we can find a
point c3 such that
f ( x)
p a x c3 , (26)
g ( x)
and (19) follows from these two statements (25) and (26).
each of which is the derivative of the preceding one. f ( n) is called the nth derivative, or the
derivative of the order n, of f.
In order for f ( n) ( x) to exist at a point x , f ( n1) (t ) must exist in a neighborhood of
x (or in a one-sided neighborhood, if x is an endpoint of the interval on which f is defined),
and f ( n1) must be differentiable at x. Since f ( n1) must exist in a neighborhood of x,
(5.2) Taylor’s Theorem Suppose f is a real function on [a, b], n is a positive integer,
f ( n1) is continuous on [a, b], f ( n1) (t ) exists for any t (a, b). Let , be distinct points
of [a, b], and define
UNIT I CHAPTER 4
72
n 1 f ( k ) ( )
P(t ) (t )k . (27)
k 0 k!
Then there exists a point x between and such that
f ( n ) ( x)
f () P() ( )n . (28)
n!
(UQ 2006)
Remarks
For n = 1, Taylor’s theorem is just the mean value theorem: For
n = 1, (28) becomes
f (1) ( x)
f () P() ( )1 (28A)
1!
and from (28) with n = 1, we have
11 f ( k ) ( ) f (0) () f ( )
P() ( )k ( )0 1 f ( )
k 0 k! 0! 1
Substituting this in (28A), we get the mean value theorem
f () f () f ( x)( )
i.e., f () f () f ( x)( ).
In general, the theorem shows that f can be approximated by a
polynomial of degree n 1, and that (28) allows us to estimate the
d2
g (t ) f (t ) P(t ) M 2
(t )n f (t ) P(t ) n(n 1) M (t )n2 (32)
dt
DIFFERENTIATION
73
dn
g ( n)
(t ) f ( n)
(t ) P (n)
(t ) M n (t ) n
dt
f ( n) (t ) 0 Mn!, since by (27) P( n) (t ) is a
polynomial of degree n 1, and hence
dn
P( n) (t ) 0, and n
(t )n n !.
dt
i.e., g (n) (t ) f (n) (t ) n!M (a t b). (34)
Hence the proof will be completed if we can show that g ( n) ( x) 0 for some x between
and .
Note that for k 0, , n 1,
f ( k ) ( )
P( k ) (t ) k ! termsinvolving (t )
k!
implies P( k ) () f ( k ) () for k 0, , n 1.
From (30), we have
g () f () P() M ( )n
f () f () 0.
From (31) , we have
g () f () P() nM ( )n1 f () P() f () f () 0.
From (32) , we have
g () f () P() n(n 1) M ( )n2 f () P() f () f () 0.
i.e., 0 g ( x1 )( )
implies g ( x1 ) 0.
value theorem for the function g , there is some x2 , x1 such that g ( x2 ) 0. After n
steps we arrive at the conclusion that g ( n) ( xn ) 0 for some xn , xn1 , i.e., for some xn
between and .
(5.3) Example Suppose f is defined in a neighborhood of x, and suppose f ( x) exists.
f ( x h) f ( x h ) 2 f ( x )
Show that lim f ( x). Show by an example that the limit may
h0 h2
exist even if f ( x) does not. (UQ 2006)
into some k
, we may still apply Definition (1.1) to define f ( x). The map (t ) in (1) is
DIFFERENTIATION
75
k k
now, for each t, a point in , and the limit in (2) is taken with respect to the norm of .
f (t ) f ( x)
lim f ( x) 0, (36)
t x tx
but
f ( x) ieix , (40)
so that f ( x) 1 for all real x. Thus mean value theorem fails in this case.
Example 2 (Example to show that L’Hospitals rule fails to be true for complex-valued
functions).
On the segment (0, 1), define f ( x) x and
i
g ( x) x 2 x2
x e . (41)
f ( x)
lim is in the 0/0 form. Since eit 1 for all real t, we see that
x 0 g ( x)
UNIT I CHAPTER 4
76
f ( x) x
lim lim i
x 0 g ( x) x0
x 2 x2
x e
1
lim i
(Dividing throughout by x)
x 0
1 xe x
2
= 1. (42)
f ( x)
Now to evaluate lim :
x 0 g ( x)
i
2i 2
g ( x) 1 2 x e x 0 x 1 , (43)
x
so that
2i 2
g ( x) 2 x 1 1. (44)
x x
Hence
f ( x) 1 x
(45)
g ( x) g ( x) 2 x
and so
f ( x)
lim 0. (46)
x0 g ( x)
By (42) and (46), L’Hospital’s rule fails in this case. Note also that g ( x) 0 on (0, 1), by
(44).
However, there is a consequence of the mean value theorem which, for purposes of
applications, is almost as useful as Mean Value Theorem (2.5), and which remains true for
vector-valued functions: From Theorem (2.5) it follows that
f (b) f (a) (b a) sup f ( x) . (47)
a xb
k
(6.3) Theorem Suppose f is a continuous mapping of [a, b] into and f is differentiable
in (a, b). Then there exists x (a, b) such that
Proof
Put z = f (b) f (a), and define
(t ) = z f (t ) a t b.
DIFFERENTIATION
77
Then is a real-valued continuous function on [a, b] which is differentiable in (a, b). The
mean value theorem shows therefore that
(b) (a) = (b a)( x) = (b a)z f ( x)
for some x (a, b). On the other hand,
2
(b) (a) = z f (b) z f (a) = z z = z .
z (b a)z f ( x) (b a) z f ( x) .
2
Hence z (b a) f ( x) ,
___________________
Chapter 5
a x0 x1 xn1 xn b.
We write
xi xi xi 1 i 1, , n.
Now suppose f is a bounded real function defined on [a, b] . Corresponding to each partition
P of [a, b] we put
M i sup f ( x) : x xi 1, xi ,
mi inf f ( x) : x xi 1, xi ,
n
U ( P, f ) M i xi ,
i 1
n
L( P, f ) mi xi ,
i 1
and
b
fdx sup L( P, f ) : P is a partition of [a, b], (1)
_a
b
fdx inf U ( P, f ) : P is a partition of [a, b]. (2)
a
b b
fdx is called lower Riemann integral of f over [a, b] and fdx is called upper
_a a
78
THE RIEMANN-STIELTJES INTEGRAL
79
(1.2) Definition A bounded function f is said to be Riemann integrable on [a, b] , if
b b
fdx fdx. This common value (called the Riemann integral of f over [a, b] ) is
_a a
denoted by
b
fdx
a
b
or by f ( x)dx,
a
b
or by f ( x)dx,
a
m f ( x) M a x b.
Hence, for every partition P,
m(b a) L( P, f ) U ( P, f ) M (b a), (UQ 2008)
so that the numbers L( P, f ) and U ( P, f ) form a bounded set.
Verification:
m f ( x) M a x b.
implies m mi M i M i 1, 2, , n.
This shows that the upper and lower integrals are defined for every bounded
function f. The question of their equality, and hence the question of the integrability of f, is a
more delicate one. Instead of investigating it separately for the Riemann integral, we shall
immediately consider a more general situation.
UNIT I CHAPTER 5
80
(1.5) Definition Let be a monotonically increasing function on [a, b] (since (a) and
(b) are finite, it follows that is bounded on [a, b] (with lower bound (a) and upper
bound (b) ). Corresponding to each partition P of [a, b] , we write
i ( xi ) ( xi 1 ).
Since is monotonically increasing, i 0. For any real function f which is bounded on
[a, b] we put
M i sup f ( x) : x xi 1, xi ,
mi inf f ( x) : x xi 1, xi ,
n
U ( P, f , ) M i i ,
i 1
n
L( P, f , ) mi i ,
i 1
and
b
f d sup L( P, f , ) : P is a partition of [a, b], (3)
_a
b
f d inf U ( P, f , ) : P is a partition of [a, b]. (4)
a
b b
(1.6) Definition In the above, if f d f d , we denote their common value by
_a a
b
f d (5)
a
or sometimes by
b
f ( x)d ( x ) (6)
a
and this is the Riemann-Stieltjes integral (or simply the Stieltjes integral) of f with respect
to , over [a, b] .
If (5) exists, we say that f is integrable with respect to , in the Riemann sense,
and write f ().
Special Case: By taking ( x) x, the Riemann integral is seen to be a special case of the
Riemann-Stieltjes integral.
THE RIEMANN-STIELTJES INTEGRAL
81
(1.7) Definition We say that the partition P is a refinement of P if P P (i.e., if every
* *
common refinement if P* P1 P2 .
w1 inf f ( x) : x xi 1, x*
w2 inf f ( x) : x x , x
*
i
L( P* , f , ) L( P, f , )
w1 mi ( x* ) ( xi 1 ) w2 mi ( xi ) ( x* ) 0.
If P* contains k points more than P, we repeat this reasoning k times, and arrive at
(7). The proof of (8) is analogous.
b b
(1.9) Theorem f d f d .
_a a
Proof
Let P* be the common refinement of two partitions P1 and P2 . By Theorem (1.8),
L( P1, f , ) L( P* , f , ) U ( P* , f , ) U ( P2 , f , ).
Hence
L( P1, f , ) U ( P2 , f , ). (9)
If P2 is fixed and the supremum is taken over all P1 , then (9) gives
UNIT I CHAPTER 5
82
sup L( P1, f , ) : P1 is a partition of [a, b] U ( P2 , f , ).
b
i.e., f d U ( P2 , f , ). (10)
_a
b b
i.e., f d f d .
_a a
(1.10) Theorem f () on [a, b] if and only if for every 0 there exists a partition P
such that
U ( P, f , ) L( P, f , ) . (11)
(UQ 2006, 2008)
Proof
Assume that for every 0 there exists a partition P such that U ( P, f , ) L( P, f , ) .
For every partition P we have
b b
L( P, f , ) f d f d U ( P, f , ).
_a a
Hence
b b
0 f d f d U ( P, f , ) L( P, f , ). (12)
a _a
b b
or f d f d .
a _a
i.e., f () .
THE RIEMANN-STIELTJES INTEGRAL
83
Conversely, suppose f () , and let 0 be given. f () implies
b b b
f d f d f d . Since
a a _a
b
f d inf U ( P, f , ) : P is a partition of [a, b],
a
b
b
we have f d f d
2 a 2
is not a lower bound of the set
a
U ( P, f , ) : P is a partition of [a, b] and hence there exist a partition P2 such that
b
U ( P2 , f , ) f d .
a 2
b b
Also, since f d sup L( P, f , ) : P is a partition of [a, b], we have f d 2
_a a
b
f d is not an upper bound of the set L( P, f , ) : P is a partition of [a, b] and
_a 2
Proof
(a) By Theorem (1.8), if P* is a refinement of P, then
L( P, f , ) L( P* , f , )
and U ( P* , f , ) U ( P, f , ).
Thus
n
f (si ) f (ti ) i U ( P, f , ) L( P, f , ) .
i 1
Also, we have
L( P, f , ) f d U ( P, f , ) (18)
If P is any partition on [a, b] such that xi for all i, then (19) implies that
M i mi i 1, , n (20)
and therefore
n n
U ( P, f , ) L( P, f , ) ( M i mi )i i (b) (a) .
i 1 i 1
so that
(b) (a) n
U ( P, f , ) L ( P , f , ) f ( xi ) f ( xi 1 )
n i 1
(b) (a)
f (b) f (a)
n
if n is taken large enough. Hence, by Theorem (1.10), f () .
(1.14) Theorem Suppose f is bounded on [a, b] , f has only finitely many points of
discontinuities on [a, b] , and is continuous at every point at which f is discontinuous.
Then f () .
Proof
Let 0 be given. Put
M sup f ( x) : x [a, b].
Let E be the set of points at which f is discontinuous. Since f has only finitely many points
of discontinuities, E is finite. Also, is continuous at every point of E. Since E is finite
we can cover E by finitely many disjoint intervals [u j , v j ] [a, b] such that the sum of the
corresponding differences (v j ) (u j ) is less than . Furthermore, we can place these
intervals in such a way that every point of E (a, b) lies in the interior of some [u j , v j ] .
Remove the segments ( u j , v j ) from [a, b] . The remaining set K (being closed and
[m, M ], hence there exists 0 such that and (s) (t ) if s t and
s, t [m, M ].
U ( P, f , ) L( P, f , ) 2. (21)
Let
M i sup f ( x) : x xi 1, xi ,
mi inf f ( x) : x xi 1, xi ,
M i mi .
For i B , M i* m*i 2K ,
On i B M i mi implies
U ( P, h, ) L( P, h, ) M i* m*i i M i* m*i i
iA iB
(b) (a) 2K (b) (a) 2K .
f1 f 2 (),
b b
cfd c f d .
a a
(c) If f () on [a, b] and if a c b, then f () on [a, c] and on [c, b], and
c b b
f d f d f d .
a c a
Proof
THE RIEMANN-STIELTJES INTEGRAL
89
(a) If f f1 f 2 and P is any partition of [a, b] , we have
If f1 () and f 2 () , let 0 be given. There are partitions P1 and P2 such that
and U ( P2 , f 2 , ) L( P2 , f 2 , ) .
These inequalities persist if P1 and P2 are replaced by their common refinement P. Then
(24) implies
L( P, f , ) U ( P, f , ) U ( P1, f1, ) U ( P2 , f 2 , ) L( P1, f1, ) L( P2 , f 2 , ) 2,
and U ( P, f 2 , ) f 2d ;
f d f1d f 2d . (25)
(a) fg ();
b b
(b) f () and f d f d .
a a
Proof
(a) Take (t ) t 2 . Being a polynomial, is continuous. Also, given f () . By
hence f 2 ().
UNIT I CHAPTER 5
90
Also, note the identity
4 fg ( f g )2 ( f g )2 .
f () and g () implies by Theorem (2.1)(a) that f g (), and
fg ().
(b) Take (t ) t . Then is continuous. Also, given f () . By Theorem (1.16) if
c f d 0.
Then
f d c f d cf d f d ,
since cf f .
Proof
Consider partitions P x0 , x1, x2 , x3 , where x0 a, and x1 s x2 x3 b. Then
mi inf f ( x) : x xi 1, xi ,
n
U ( P, f , ) mi i M1 ( x1 ) ( x0 ) M 2 ( x2 ) ( x1 ) M 3 ( x3 ) ( x2 )
i 1
M1 0 0 M 2 1 0 M 3 1 1 M 2 ;
THE RIEMANN-STIELTJES INTEGRAL
91
n
and U ( P, f , ) mi i m1 ( x1 ) ( x0 ) m2 ( x2 ) ( x1) m3 ( x3 ) ( x2 )
i 1
m1 0 0 m2 1 0 m3 1 1 m2 .
converge to f ( s) as x2 s.
b
Hence f d sup L( P, f , ) : P is a partition of [a, b] f (s)
_a
b
f d inf U ( P, f , ) : P is a partition of [a, b] f (s).
a
b b
Hence f d f (s) f d and the common value is the Riemann integral
_a a
b
f d f (s).
a
Proof
The comparison test shows that the series (26) converges for every x. Its sum ( x) is
evidently monotonic, and (a) 0, (b) cn .
Put
N
1 ( x) cn I ( x sn ), 2 ( x) cn I ( x sn ).
n1 N 1
b b
N
f d 1 cn I ( x sn )
f d
a a n1
UNIT I CHAPTER 5
92
N b
cn f d I ( x sn ) , by Theorem (2.1)(e)
n 1 a
N
cn f ( sn ) , by Theorem (2.4).
n 1
b N
i.e., f d 1 cn f (sn ). (28)
a n 1
b
If we let N , we obtain f d cn f (sn ).
a n 1
(UQ 2006)
Proof
Let 0 be given and apply Theorem (1.10) to . Then there is a partition P x0 , , xn
n n
f (si )i f (si )(ti )xi
i 1 i 1
n n n
M (ti )xi M (si )xi M (si ) (ti ) xi M
i 1 i 1 i 1
n n
i.e., f (si )i f ( si )( si )xi M . (34)
i 1 i 1
In particular,
n
f (si )i U P, f M ,
i 1
U P, f , U P, f M .
Thus
U P, f , U P, f M . (35)
Now note that (32) remains true if P is replaced by any refinement. Hence (35) also remains
true. We conclude that
b b
f d f ( x) ( x) dx M .
a a
Solution Take sin x . Then increases monotonically in 0 to 2
. Also, cos x is
bounded on 0, 2 . Hence by Theorem (2.6),
2 b b 2 2
cos x d (sin x) f d f ( x) ( x)dx cos x cos x dx cos x dx
2
0 a a 0 0
1
, by the reduction formula
2 2 4
n 1 n3 n5 2
n ... .1, when n is odd.
n2 n4 3
/2
cos x dx
n
0 n 1 n3 n5 1
... , when n is even.
n n2 n4 2 2
1
(2.8) Example Evaluate x d x x where x denotes the largest integer not greater
0
Proof
To each partition P x0 , , xn of [a, b] corresponds a partition Q y0 , , yn
values taken by f on [ xi 1, xi ] are exactly the same as those taken by g on [ yi 1, yi ], we see
that
U Q, g , U P, f , , L Q, g , L P, f , . (39)
B b
combined with Theorem (1.10), shows that g () and g d f d . This completes
A a
the proof.
Special Case: Take ( x) x. Then . Assume on [ A, B] . If Theorem (2.6)
is applied to the left side of (38), we obtain
b B
f ( x) dx f ( y) ( y) dy. (40)
a A
F is differentiable at x0 , and
F ( x0 ) f ( x0 ).
Proof
Since f , f is bounded. Suppose f (t ) M for a t b. If a x y b, then
UNIT I CHAPTER 5
96
y x y
F ( y ) F ( x) f (t ) dt f (t ) dt f (t ) dt M ( y x),
a a x
provided that y x . This proves continuity (and, in fact, uniform continuity) of F.
M
Now suppose f is continuous at x0 . Given 0 , choose 0 such that
f (t ) f ( x0 )
if t x0 , and a t b. Hence, if
x0 s x0 t x0 and a s t b,
we have, by Theorem (2.1)(d),
F (t ) F ( s) 1 t
f ( x0 ) [ f (u) f ( x0 )]du .
ts ts s
It follows that F ( x0 ) f ( x0 ).
Proof
Let 0 be given. Choose a partition P x0 , , xn of [ a , b] so that
F ( xi ) F ( xi 1 ) f (ti )xi
for i 1, , n. Thus
n
f (ti )xi F (b) F (a).
i 1
Proof
Put H ( x) F ( x)G( x) and apply Fundamental Theorem of Calculus [Theorem (3.2)] to H
and its derivative. Substituting in Theorem (3.2), we have
b
H ( x)dx H (b) H (a).
a
b b
i.e., F ( x) g ( x)dx F (b)G(b) F (a)G(a) f ( x)G( x)dx.
a a
It is clear that parts (a), (c) and (e) of Theorem (2.1) are valid for these vector-valued
integrals; we simply apply the earlier results to each coordinate. The same is true of
Theorems (2.6), (3.1) and (3.2).
(4.2) Theorem (Analogue of Theorem (3.2)) If f and F map [a, b] into k
, if f
on [a, b] , and if F = f , then
UNIT I CHAPTER 5
98
b
f (t )dt F(b) F(a).
a
We need the following Theorem (3.5) from Chapter 3 in the proof of the Theorem
(4.3) Theorem Suppose f is a continuous 1-1 mapping of a compact metric space X into a
metric space Y. Then the inverse mapping f 1 defined on Y by
f 1 f ( x) x x X
is a continuous mapping of Y onto X.
k
(4.4) Theorem (Analogue of Theorem (2.2)(b)) If f maps [a, b] into and if
f () for some monotonically increasing function on [a, b] , then f () , and
b b
f d f d . (41)
a a
Proof
If f1, , f k are the components of f , then
1/ 2
f f 12 f k2 . (42)
By Theorem (1.16), each of the functions f i2 () ; hence so does their sum [For details
Refer the proof of the Theorem (2.2)]. Since x 2 (being a polynomial) is a continuous
function of x, Theorem (4.3) shows that the square-root function (which is the inverse
function of x 2 ) is continuous on [0, M ], for every real M. Note that the function f in (42)
is the composition of the square root function and the function f 12 f k2 () . Hence,
and
y yi2 y j f j d y j f j d .
2
By the Schwarz inequality,
y j f j (t ) y f (t ) a t b; (43)
5 Rectifiable Curves
(5.1) Definition A continuous mapping of an interval [a, b] into k
is called a curve
in k
. To emphasize the parameter interval [a, b] , we may also say that is a curve on
[ a , b] .
If is one-to-one, is called an arc.
If (a) (b), is said to be a closed curve.
(5.2) Remark It should be noted that we define a curve to be a mapping, not a point set. Of
course, with each curve in k
there is associated a subset of k
, namely the range of ,
but different curves may have the same range.
(5.3) Definition We associate to each partition P x0 , , xn of [a, b] and to each curve
As our partition becomes finer and finer, this polygon approaches the range of more and
more closely. This makes it seen reasonable to define the length of as
Proof
UNIT I CHAPTER 5
100
If a xi 1 xi b, then
xi xi
( xi ) ( xi 1 ) (t )dt (t ) dt.
xi 1 xi 1
Hence
b
P, (t ) dt. (45)
a
(s) (t ) if s t .
(t ) ( xi ) .
Hence
xi
(t ) dt ( xi ) xi xi
xi 1
xi
(t ) ( xi ) (t ) dt xi
xi 1
xi xi
(t )dt ( xi ) (t ) dt xi
xi 1 xi 1
( xi ) ( xi 1 ) 2xi .
partitions P.
Since was arbitrary,
b
(t ) dt .
a
and suppose that the sequence of numbers fn ( x) converges for every x E. We can then
define a function f by
f ( x) lim f n ( x)
n
x E . (1)
Under these circumstances we say that f n converges on E and that f is the limit,
(1) holds.
Similarly, if f n ( x) converges for every x E , and if we define
f ( x) f n ( x) x E (2)
n1
What are the relations between f n and f , say, or between the integrals of f n and that of
f?
Recall that f is continuous at x means
lim f (t ) f ( x). (3)
t x
Hence, to ask whether the limit of a sequence of continuous functions (i.e., lim f n ) is
n
101
UNIT I CHAPTER 6
102
i.e., whether the order in which limit processes are carried out is immaterial. On the left side
of (3), we first let n , then t x; on the right side, t x first, then n .
m
sm, n .
mn
1 1
lim sm, n lim 1,
m m n 1
1
m
so that
m
lim sm, n lim 0,
n n m n
so that
x2
f n ( x) x real; n 1, 2, ,
n
1 x2
Consider
SEQUENCES AND SERIES OF FUNCTIONS
103
x 2
f ( x) f n ( x) . (7)
1 x
n
n 0 n 0 2
x2 1
For x 0, x2 , a geometric series with
1 x 1 x
n n
n 0 2 n 0 2
1
common ration .
1 x2
2 1 x
2
1 1
x2 x2 x 1 x2 .
1
1 1 x 1
2
x 2
1 x2 1 x 2
0 x 0 ,
f ( x) (8)
1 x
2
x 0 ,
Clearly f is not continuous at x = 0. This example shows that a convergent series of
continuous functions may have a discontinuous sum.
For m 1, 2, 3, , put
When m! x is an integer, cos m!x is 1 implies cos m!x 2n 1 and hence f m ( x) 1. For
1 when m! x is an integer,
i.e., f m ( x)
0 when m! x is not an integer,
UNIT I CHAPTER 6
104
For irrational x, m! x is not an integer, and hence from the above f m ( x) 0 m;
hence f ( x) 0.
p
For rational x, say x , where p and q are integers, we see that m! x is an
q
integer if m q, so that f ( x) lim f m ( x) lim 1 1.
m m
f ( x) lim f m ( x) lim 0 0.
m m
0 when x is irrational,
i.e., f ( x)
1 when x is rational,
0 when x is irrational,
lim lim cos m!x
2n
i.e.,
m n 1 when x is rational.
We have thus obtained an every where discontinuous limit function, which is not Riemann-
integrable.
sin nx
f n ( x) x real; n 1, 2, , (9)
n
Then
sin nx
f ( x) lim f n ( x) lim 0.
n n n
implies f ( x) 0.
n cos nx
From (9), f n ( x) n cos nx,
n
so that f n does not converge to f . For instance,
f n (0) n cos n0 n .
i.e.,
lim f n (0) lim f n (0).
n n
Hence limit and differentiation cannot in general be interchanged.
(1.6) Example (Limit of the integral need not be equal to the integral of the limit, even if
both are finite)
Let
f n ( x) n2 x(1 x2 )n 0 x 1, n 1, 2, . (10)
For 0 x 1, we have
lim f n ( x) 0,
n
n
using the Theorem : “ If p 0 and , then lim 0. ”
n (1 p ) n
lim f n ( x) 0
n
0 x 1 . (11)
1
n2
f n ( x)dx 2n 2 as n .
0
1
n 1 1
lim f n ( x)dx lim lim ,
n 0 n 2n 2 n
2
2 2
n
1 1
f n ( x) dx 0 dx 0.
whereas nlim
0 0
UNIT I CHAPTER 6
106
Thus the limit of the integral need not be equal to the integral of the limit, even if both are
finite.
2 Uniform Convergence
f n ( x) f ( x) (12)
for all x E.
(2.2) Remarks
If f n converges pointwise on E, then there exists a function f such that , for every
f such that , for every 0 , there is an integer N , depending only on , such that
(12) holds if n N .
n
fi ( x) sn ( x)
i 1
converges uniformly on E.
if and only if for every 0 there exists an integer N such that m N , n N , x E implies
SEQUENCES AND SERIES OF FUNCTIONS
107
f n ( x ) f m ( x) . (13)
Proof
Suppose f n converges uniformly on E, and let f be the limit function. Then there is an
f n ( x ) f ( x) ,
2
so that
f n ( x ) f m ( x ) f n ( x ) f ( x ) f ( x ) f m ( x ) f n ( x) f ( x) f ( x) f m ( x )
if m N , n N , x E .
k
Conversely, suppose the Cauchy condition holds. By Theorem: “In , every
Cauchy sequence converges”, for every x the sequence fn ( x) converges, say to f ( x).
uniform.
Let 0 be given, and choose N such that (13) holds. Fix n, and let m in
(13). Since f m ( x) f ( x) as m , this gives
f n ( x) f ( x)
lim f n ( x) f ( x)
n
x E .
Put
M n sup f n ( x) f ( x) . .
xE
Proof
n N implies
UNIT I CHAPTER 6
108
f n ( x) f ( x) (12)
for all x E.
This is if and only if
M n sup f n ( x) f ( x) for n N
xE
f n ( x) M n x E, n 1, 2, 3, .
Then f n converges uniformly on E if M n converges.
Proof
n
If M n converges, then, its sequence of nth partial sums M i converges and hence the
i 1
n
sequence M i is Cauchy. Hence for 0 , with m n with m and n very large,
i 1
m n
Mi Mi
i 1 i 1
implies
m
Mi
i n 1
implies
m m
fi ( x) M i x E .
i n1 i n1
m n
i.e., fi ( x) f i ( x) x E
i 1 i 1
SEQUENCES AND SERIES OF FUNCTIONS
109
n
when m and n very large. Hence by Theorem (2.4) the sequence of functions fi (i.e.,
i 1
the sequence of nth partial sums) is uniformly convergent. Hence, the series f n converges
uniformly on E . This completes the proof.
lim f n (t ) An
t x
n 1, 2,3, . (13)
(UQ 2006)
Proof
f n (t ) f m (t ) . (16)
An Am
Next,
f (t ) A f (t ) f n (t ) f n (t ) An An A . (17)
f (t ) f n (t ) (18)
3
UNIT I CHAPTER 6
110
for all t E (the same n for all t is possible by the uniform convergence), and such that
An A . (19)
3
Then, for this n, we choose a neighborhood V of x such that
f n (t ) An (20)
3
if t V E, t x. [(20) is possible because lim f n (t ) An ].
t x
f (t ) A , (21)
Proof
lim f n (t ) f n ( x)
t x
n 1, 2,3, .
Then f n f uniformly on K.
Proof
Kn x K | gn ( x) .
(3.4) Remark In the above theorem compactness is really needed. For instance, if
1
f n ( x) 0 x 1; n 1, 2,3,
nx 1
(3.5) Definition If X is a metric space, ( X ) will denote the set of all complex valued,
continuous, bounded functions with domain X.
UNIT I CHAPTER 6
112
We associate with each f ( X ) its supremum norm
f sup f ( x) : x X .
f g ( x) f ( x) g ( x) f ( x) g ( x) f g .
Hence sup f g ( x) : x X f g
i.e., f g f g .
( i) d f , g 0 f g 0 f g 0 f g.
( ii) d f , g f g f g g f d g , f .
( iii) d f , g f g f h h g f h h g d f , h d h, g .
(3.6) Theorem (Theorem (2.5)) A sequence fn converges to f with respect to the
(3.7) Theorem The above metric makes ( X ) into a complete metric space.
SEQUENCES AND SERIES OF FUNCTIONS
113
Proof
f n f m if n N and m N .
i.e., f n ( x ) f m ( x) if x X n N and m N .
Hence it follows by Theorem (2.4) that there is a function f with domain X to which
f n converges uniformly. By Theorem (3.2), since each f n is continuous, f is continuous.
as n .
[a, b], for n 1, 2,3, and suppose f n f uniformly on [a, b]. Then f () on
b b
f d nlim
f n d . (22)
a a
Proof
n sup f n ( x) f ( x) , (23)
f n n f f n n ,
Hence
_
0 f d f d 2 n (b) (a). (25)
b b
f d f n d n (b) (a). (26)
a a
f ( x) f n ( x) a x b ,
n1
b b
f d f n d . (27)
a n 1 a
(UQ 2006)
Proof
Let 0 be given. Choose N such that n N , m N , implies
f n ( x0 ) f m ( x0 ) (29)
2
and
f n (t ) f m (t ) a t b. (30)
2(b a)
If we apply the mean value theorem to the function f n f m , (30) shows that
x t
f n ( x) f m ( x) f n (t ) f m (t ) (31)
2(b a) 2
for any x and t on [a, b] , if n N , m N . The inequality
f n ( x) f m ( x) f n ( x) f m ( x) f n ( x0 ) f m ( x0 ) f n ( x0 ) f m ( x0 )
f ( x) lim f n ( x)
n
a x b .
Let us now fix a point x [a, b] and define
f n (t ) f n ( x) f (t ) f ( x)
n (t ) , (t ) (32)
tx tx
for a t b, t x. Then
lim n (t ) f n ( x)
t x
n 1, 2,3, (33)
n (t ) (t ) n N, m N ,
2(b a)
UNIT I CHAPTER 6
116
so that n converges uniformly, for t x. Since fn converges uniformly to f, we
uniformly for a t b, t x.
If we now apply Theorem (3.1) to n , (33) and (34) show that
(5.2) Theorem There exists a real continuous function on the real line which is nowhere
differentiable.
Proof
Define
( x) x 1 x 1 (35)
Since 0 1, Theorem (2.6) shows that the series (38) converges uniformly on . By
Theorem (3.2), f is continuous on .
Now fix a real number x and a positive integer m. Put
1
m 4 m (39)
2
where the sign is so chosen that no integer lies between 4m x and 4m x m . This can be
1
done, since 4m m Define
2
(4n ( x m )) (4n x)
n . (40)
m
SEQUENCES AND SERIES OF FUNCTIONS
117
When n m, then 4 m is an even integer, so that n 0. When 0 n m, (37) implies
n
that n 4n.
m1 1 m
3m 3n 3 1 .
n 0 2
As m , m 0. It follows that f is not differentiable at x.
We say that f n is point wise bounded on E if the sequence f n ( x) is bounded for
f n ( x) ( x) x E, n 1, 2,3, .
We say that f n is uniformly bounded on E if there exists a number M such that
f n ( x) M x E, n 1, 2,3, .
(6.2) Remark If fn is pointwise bounded on E and E1 is a countable subset of E, it is
always possible to find a subsequence fn such that fn ( x) converges for every x E1.
k k
This can be done by the diagonal process which is used in the proof of (coming) Theorem
(6.6).
(6.3) Example
Let
f n ( x) sin nx 0 x 2, n 1, 2,3, .
Suppose there exists a sequence nk such that sin nk x converges, for every x [0, 2]. In
2
sin nk x sin nk 1x dx 2,
2
(6.4) Example
Let
x2
f n ( x) 0 x 1, n 1, 2,3, .
x 2 (1 nx)2
lim f n ( x) 0
n
0 x 1 ,
but
1
fn 1 n 1, 2,3, ,
n
so that no subsequence can converge uniformly on [0, 1].
(6.5) Definition
A family F of complex functions f defined on a set E in a metric space X is said be
equicontinuous on E if for every 0 there exists a 0 such that
f ( x) f ( y )
countable set E , then fn has a subsequence fn such that fn ( x) converges for
k k
every x E.
Proof
Let xi , i 1, 2,3, be the points of E, arranged in a sequence. Since fn ( x1 ) is bounded,
there exists a subsequence, which we shall denote by f1, k , such that f1, k ( x1) converges
as k .
Let us now consider sequences S1, S2 , S3 , , which we represent by the array
By (c), the sequence S (except possibly its first n 1 terms) is a subsequence of S n for
n 1, 2,3,
Hence (b) implies that f n, n ( xi ) converges, as n , xi E.
Proof
Let 0 be given. Since f n converges uniformly, there is an integer N such that
UNIT I CHAPTER 6
120
n N implies
f n ( x) f ( x)
fn f N n N . (43)
Since continuous functions are uniformly continuous on compact sets, there is a 0 such
that
f i ( x) f i ( y ) (44)
if 1 i N and d ( x, y) .
If n N and d ( x, y) , it follows that
f n ( x) f n ( y) f n ( x) f N ( x) f N ( x) f N ( y) f N ( y) f n ( y) 3. (45)
equicontinuous on K.
Proof
(a) Let 0 be given and choose 0 , in accordance with Definition (6.5), so that
f n ( x) f n ( y ) (46)
subsequence f ni such that f ni ( x) converges for every x E.
on K.
Let 0 , and pick 0 as in the beginning of the proof. Let
V ( x, ) y K | d ( x, y) .
Since E is dense in K, and K is compact, there are finitely many points x1, , xm in E such
that
K V ( x1, ) V ( xm , ). (47)
gi ( xs ) g j ( xs ) (48)
whenever i N , j N , 1 s m.
If x K , (47) shows that x V ( xs , ) for some s , so that
gi ( x) gi ( xs )
gi ( x) g j ( x) gi ( x) gi ( xs ) gi ( xs ) g j ( xs ) g j ( xs ) g j ( x)
3.
This completes the proof.
lim Pn ( x) f ( x)
n
1 0 0
1
n
2 (1 nx 2 )dx †
0
4
3 n
1
,
n
it follows from (50) that
cn n . (51)
so that Qn 0 uniformly in x 1 .
Now set
1
Pn ( x) f ( x t )Qn (t )dt 0 x 1 . (53)
1
1
f (t )Qn (t x)dt , by putting x t u
0
and the last integral is clearly a polynomial in x. Thus Pn is a sequence of polynomials,
f ( y ) f ( x) .
2
Let M sup f ( x) : x [a, b].
Using (50), (52), and the fact that Qn ( x) 0, we see that for 0 x 1,
1
Pn ( x) f ( x) f ( x t ) f ( x) Qn (t )dt
1
1
f ( x t ) f ( x) Qn (t )dt
1
1
2M Qn (t )dt n
Q (t ) dt 2 M Qn (t )dt
1 2
4M n (1 2 )n
2
for all large enough n, which proves the theorem.
(7.2) Corollary For every interval [a, a] there is a sequence of real polynomials Pn such
By Theorem (7.1), there exists a sequence Pn* of real polynomials which converges to x
lim Pn ( x) x
n
i.e., f g A f A, g A
i.e., fg A f A, g A
i.e., f g A f A, g A
i.e., fg A f A, g A
(7.6) Definition Let B be the set of all functions which are limits of uniformly convergent
sequences of members of A . Then B is called the uniform closure of A .
(7.7) Theorem Let B be the uniform closure of an algebra A of bounded functions. Then
B is a uniformly closed algebra.
Proof
If f B and g B , (by the Definition (7.6) of B ) there exist uniformly convergent
f n gn f g , f n gn fg , cf n cf ,
such that f ( x1 ) f ( x2 ).
f ( x1 ) c1, f ( x2 ) c2 .
Proof
o A separates points on E, implies that there exist a function g A such that
g ( x1 ) g ( x2 ) .
such that h( x1 ) 0 .
such that k ( x2 ) 0 .
Define the functions u and v by
u gk g ( x1 )k , v gh g ( x2 )h.
Then u A, v A,
u( x1 ) g ( x1 )k ( x1 ) g ( x1)k ( x1) 0 ,
u( x2 ) g ( x2 )k ( x2 ) g ( x1 )k ( x2 ) g ( x2 ) g ( x1) k ( x2 ) 0,
v( x1 ) 0, v( x2 ) 0.
Hence the function
c1v cu
f 2
v( x1 ) u ( x2 )
has the properties:
c1v( x1 ) c2u ( x1 ) c v( x ) c u ( x )
f ( x1 ) c1 and f ( x2 ) 1 2 2 2 c2 .
v( x1 ) u ( x2 ) v( x1 ) u ( x2 )
Proof
Let
a sup f ( x) : x K (54)
and let 0 be given. By Corollary (7.2) there exist real numbers c1, , cn such that
n
ci yi y a y a . (55)
i 1
f ( x) if f ( x) g ( x)
h( x )
g ( x) if f ( x) g ( x)
and is given by
f g f g
h ,
2 2
and by min( f , g ) we mean the function l defined by
f ( x) if f ( x) g ( x)
l ( x)
g ( x) if f ( x) g ( x)
UNIT I CHAPTER 6
128
and is given by
f g f g
l .
2 2
g x (t ) f (t ) t K . (56)
Proof
Since A B and A satisfies the hypotheses of Theorem (7.11) so does B . Hence, for every
y K , we can find a function hy B such that
hy (t ) f (t ) t J y . (58)
Then the collection J y : y K form an open cover for K. Since K is compact, this cover
has a finite sub cover, and hence there is a finite set of points y1, , yn such that
K J y1 J yn . (59)
Put
g x max hy1 ,
, hyn .
By Step 2, g x B , and the relations (57) to (59) show that g x has the other required
properties.
SEQUENCES AND SERIES OF FUNCTIONS
129
Step 4 Given a real function f, continuous on K, and 0, there exists a function h B
such that
h( x) f ( x) x K . (60)
Since B is uniformly closed, this statement is equivalent to the conclusion of the theorem.
Proof
Let us consider the functions g x , for each x K , constructed in step 3. By the continuity of
g x (t ) f (t ) t Vx . (61)
Since K is compact, there exists a finite set of points x1, , xm such that
Put
h min g x1 ,
, g xm .
h(t ) f (t ) t K
i.e., h(t ) f (t ) t K .
Hence (60) is obtained.
(7.13) Definition An algebra A is said to be self adjoint if for every f A its complex
Thus A satisfies the hypothesis of Theorem (7.12). It follows that every real
___________________
Chapter 7
LEBESGUE MEASURE
(1.1) Intervals
The simplest sets of real numbers are the intervals. We define open interval (a, b) to be the
set (a, b) x : a x b. We always take a b, but we also consider the infinite
for , the set of all real numbers. We define closed interval [a, b] to be the set
[a, b] x : a x b. For closed intervals we take a and b finite but always assume that
a b. The half open interval (a, b] to be the set (a, b] x : a x b. The half
We should like to extend the notion of length to more complicated sets than intervals.
For instance, we could define the length of an open set to be the sum of the lengths the open
intervals of which it is composed.
(1.3) Definition The system of real numbers can be extended by including two
elements and . This enlarged set is called the extended real number system.
(1.4) Definition A set function m that assigns to each set E in some collection M of
sets of real numbers a nonnegative extended real number m(E), or simply mE, is called the
measure of E if it satisfies the following properties:
i. mE is defined for each set E of real numbers; that is, M = P ( ), the power
set of .
ii. For an interval I, mI l ( I ).
m
En mEn .
131
UNIT II CHAPTER 7
132
iv. m is translation invariant; that is, if E is a set for which m is defined and if
E y x y | x E , the set obtained by replacing each point x in E by the
Our goal in the coming sections will be the construction of a countably additive
measure which is translation invariant and has the property that mI l ( I ) for each interval I.
(1.6) Definition Let A and B two sets. Then A \ B is
the set of all elements in A that are not in B. i.e.,
A \ B x : x A, x B.
(1.7) Notations
A \ B is also denoted by A B.
A B , by (i)
LEBESGUE MEASURE
133
A B , by (ii)
[Here A B denotes the complement of A B
i.e., if Ai is a sequence of sets, then [in addition to (i) to (ii) of Definition (1.9)]
( iv) Ai .
i 1
(1.14) Theorem Given any collection C of subsets of X, there is a smallest -algebra that
contains C ; i.e., there is a -algebra containing C such that if B is any -algebra
containing C , then B.
The smallest -algebra containing C is called the -algebra generated by C .
The proof of the theorem is not part of the syllabus and is omitted.
Bi Ai .
i 1 i 1
UNIT II CHAPTER 7
134
The proof of the theorem is not part of the syllabus and is omitted.
(1.16) Problems
Proof
B A B \ A . [Ref. Figure 2]
m A B \ A mA m B \ A
i.e., mB mA m B \ A
m Ai m Bi
i 1 i 1
mBi , as m is countably additive measure and Bi
i 1
Proof A A . Hence
, if E is infinite
4. Let nE
number of elemets in E , if E is finite
Then n is a countably additive set function that is translation invariant and defined for all
sets of real numbers. This measure is called the counting measure.
( i) Clearly n is a nonnegative extended real valued function whose domain of
definition is a algebra M of sets (of real numbers)
( ii) n
En nEn for each sequence En of disjoint sets ( En ’s may be finite
point x y, then
Case 1: E is a finite set. Then E y is also a finite set and contains the
same number of element of E. Hence
nE number of elemets in E n E y .
nE n E y .
2 Outer Measure
UNIT II CHAPTER 7
136
For each set A of real numbers consider the countable collection I n of open
intervals that cover A, that is, collection for which A I n , and for each such collection
consider the sum of the length of the intervals in the collection. Since the lengths are positive
numbers, this sum is uniquely defined independently of the order of the terms.
(2.1) Definition Let I n of open intervals that cover A. The outer measure m* A of A
Proof We begin with the case in which we have a closed finite interval, say [a, b]. Since the
open interval (a , b ) contains [a, b] for each positive , we have
m*[a, b] l (a , b ) b a 2 .
Since
m*[a, b] b a 2
for each positive (in particular for every positive near to 0), we must have
m*[a, b] b a.
Claim: m*[a, b] b a.
This is equivalent to show that if I n is any countable collection of open intervals covering
l In b a. (1)
By the Heine-Borel Theorem, any collection of open intervals covering [a, b] contains a finite
subcollection that also covers [a, b] , and since the sum of the lengths of the finite
LEBESGUE MEASURE
137
subcollection is no greater than the sum of the lengths of the original collection, it suffices to
prove the inequality (1) for finite collections I n that cover [a, b] . Since a is contained in
I n , there must be one of the I n ’s that contains a. Let this be the interval (a1 , b1 ). We
have a1 a b1. If b1 b, then b1 [a, b], and since b1 (a1, b1 ), there must be an interval
fashion, we obtain a sequence (a1, b1 ), ,(ak , bk ) from the collection I n such that
ai bi 1 bi .
Since I n is a finite collection, our process must terminate with some interval
l In l ai bi
(bk ak ) (bk 1 ak 1 ) (b1 a1 )
bk a1,
If I is any finite interval, then given 0, there is a closed interval J I such that
l J l I . Hence
l I l J m* J m*I m*I l I l I .
l I m* I l I ,
and so m* I l I .
If I is an infinite interval, then given any real number , there is a closed interval
J I with l J . Hence m* I m* J l J . Since m* I for each ,
m*I l I .
m*
An m* An . (1)
(UQ 2008)
UNIT II CHAPTER 7
138
Now the collection In, i n, i In, i i is countable, being the union of a countable
n
m*
An l I n, i l I n, i m* An 2 n
n, i n i
n
m* An .
(2.7) Proposition Given any set A and any 0, there is an open set O such that
(2.8) Problems
1. Let A be the set of rational numbers between 0 and 1, and let I n be a finite
covering A. Since A is dense in (0, 1) , I n will be a cover for (0, 1) also. Now
m* (0, 1)
A
inf
Jn
l J n ,
infimum taken over all open covering J n of (0, 1) . Since I n is a cover for
l x I n l I n . Hence
m* x A inf
x A x In
l x In A inf In l I n m* A .
3. Prove that if m* A 0 , then m* A B m* B.
3 Measurable Sets
(2.9) Definition A set E is said to be measurable if for each set A we have
m* A m* A E m* A E .
(2.10) Remarks
UNIT II CHAPTER 7
140
Since we always have m* A m* A E m* A E , we see that E is measurable
A A E, and so
m* A m* A E m* A E m* A E ,
Proof
Let A be any set. Since E2 is measurable, we have
m* A E1 m* A E1 E2 m* A E1 E2 ,
and since A E1 E2 [ A E1 ] [ A E2 E1 ], [Ref. Figure] we have
m* A E1 E2 m* ( A E1 ) m* ( A E2 E1 ).
Thus
m* A E1 E2 m* ( A E1 E2 ) m* ( A E1 ) m* ( A E2 E1 ) m* ( A E1 E2 )
m* ( A E1 ) m* ( A E1 ) m* A,
LEBESGUE MEASURE
141
measurable.
(2.13) Corollary to Lemma (2.12) The family Μ of measurable sets is an algebra of sets.
Proof
( i) E1 Μ and E2 Μ implies E1 and E2 are measurable and by Lemma (2.12)
since E1 ~ E2 E1 E2 .
(2.16) Lemma Let A be any set, and E1, , En a finite sequence of disjoint measurable
sets. Then
n n *
m A Ei m ( A Ei ).
*
i 1 i 1
Proof We prove the Lemma by induction on n. It is clearly true for n = 1, and we assume it
is true if we have n – 1 sets Ei . Since the Ei are disjoint sets, we have
n
A Ei En A En
i 1
n n1
and A Ei En A Ei .
i 1 i 1
Hence the measurability of En implies that
n n1
m* A Ei m* A En m* A Ei
i 1 i 1
n 1
m* A En m* A Ei ,
i 1
(2.17) Theorem The collection Μ of measurable sets is a -algebra; that is, the
complement of a measurable set is a measurable and the union (and intersection) of a
countable collection of measurable sets is measurable. Moreover, every set with outer
measure zero is measurable.
Proof We have already observed in Corollary (2.13) that Μ is an algebra of sets, and so we
have only to prove that if a set E is the union of a countable collection of measurable sets it
is measurable. By Proposition such an E must be union of a sequence En of pairwise
n
disjoint measurable sets. Let A be any set, and let Fn Ei . Then Fn is measurable, and
i 1
Fn E. Hence
m* A m* A Fn m* A Fn m* A Fn m* A E .
By Lemma (2.16)
n
m* A Fn m* ( A Ei ).
i 1
Thus
n
m* A m* ( A Ei ) m* ( A E ).
i 1
m* ( A E ) m* ( A E )
Proof
Take E (a, ) , then E (, a]. For any set A, we have to show that
m* A m* A E m* A E .
i.e., to show that m* A m* A (a, ) m* A (, a] .
Clearly, m* A m* A1 m* A2 .
LEBESGUE MEASURE
143
It remains to show that
m* A1 m* A2 m* A.
l ( In ) m*E .
Let I n I n (a, ), I n I n (, a]. Then I n and I n are intervals (or empty) and
Since A1 I n , we have
m* A1 m*
I n m*I n ,
m* A2 m*
I n m*I n.
Thus
m* A1 m* A2 m* I n m* I n
l ( I n ) m* A .
BOREL SET
The union of a any collection of open sets is open, the intersection of any finite
collection of open sets is open, but the intersection of a countable collection of open sets need
1 1
not be open. For example: For each n , the set a , a is open, but
n n
1 1
a , a {a} is not open.
n 1 n n
Similarly, the intersection of any collection of closed sets is closed and the union of
any finite collection of closed sets is closed, but the union of a countable collection of closed
sets need not be closed. For example:
The set of rational numbers is the union of a countable collection of closed sets each of
which contains exactly one rational number. i.e.,
UNIT II CHAPTER 7
144
a.
a
Though each a is closed, is not closed (For, we can find a sequence in which
converges to 2 . )
Thus if we are interested in -algebras of sets that contain all of the closed
sets, we must consider more general types of sets than the open and closed sets. This leads us
to the following definition:
(2.19) Definition (Borel set) The collection B of Borel sets is the smallest -algebra
which contains all of the open sets.
Such a smallest -algebra exists by Proposition (1.14).
(2.20) Remark
The collection B of Borel sets is the smallest -algebra that contains all closed sets
and the smallest -algebra that contains the open intervals.
(2.21) Definition A set which is a countable union of closed sets is called an F ( F for
(2.22) Examples/Remarks
Each open interval is in F , because any open interval (a, b) can be written as
1 1
( a, b) a n , b n .
n 1
(2.23) Definition A set is a G if it is the countable intersection of open sets ( G for open,
for durchschnitt).
(2.24) Examples/Remarks
The complement of an F is a G , and conversely.
(UQ 2006)
Proof
(a, ) is measurable by Lemma (2.18). Since Μ is a -algebra, the complement of (a, ) is
also measurable. i.e., (, a] ~ (a, ) is measurable. In particular, for each n the
1
intervals , b are measurable and hence elements in Μ . Since Μ is a -algebra,
n
1
their countable union , b is again in Μ . Since (, b) can be written as
n 1 n
1
(, b) , b ,
n 1 n
we can say that (, b) is in Μ . i.e., (, b) measurable.
An open interval (a, b) can be written as (a, b) (, b) (a, ) . By the
discussion above (, b) and (a, ) are in Μ and since Μ is an algebra their
intersection is again in Μ . Hence (a, b) is in Μ . i.e., each open interval (a, b) is
measurable.
Each open set is the union of a countable number of open intervals. By the
discussion above each open interval is in Μ and since Μ is a -algebra, the
countable union of open intervals is in Μ . Hence each open set is measurable.
Each closed set is the complement of an open set. By the discussion above each open
set is in Μ and since Μ is a -algebra, the complement of open set must be in Μ .
Hence each closed set is measurable.
Thus Μ is a -algebra containing the open sets and must therefore contain the family
B of Borel sets, since B is the smallest -algebra containing the open sets [Ref. Definition
(2.19)]
Note: The theorem also follows immediately from the fact that Μ is a -
algebra containing each interval of the form (a, ) and the fact that B is the
smallest -algebra containing all such intervals.
UNIT II CHAPTER 7
146
m
Ei mEi . (1)
m
Ei mEi . (2)
measurable sets and by Definition (3.1) m is the restriction of the set function m* to the
family Μ of measurable sets; hence (3) becomes
m
Ei mEi .
m
Ei mEi .
Case 1) If Ei is a finite sequence of disjoint measurable sets, then Lemma (2.16) with
A implies that
m
Ei mEi ,
and so
LEBESGUE MEASURE
147
n
m Ei m Ei
i 1 i 1
n
mEi , by Case 1 above.
i 1
m Ei lim mEn .
i 1 n
Proof Let E Ei , and let Fi Ei \ Ei 1. Then
i 1
E1 ~ E Fi ,
i 1
m E1 ~ E m Fi
i 1
mFi , as Fi are pairwise disjoint and by (2) of Prop(3.3)
i 1
m Ei ~ Ei 1 .
i 1
Since E Ei , E E1 and hence we can write E1 E E1 ~ E where E and
i 1
mE1 mE m E1 ~ E .
m E1 ~ E mE1 mE
n
lim mEi mEi 1
n
i 1
mE lim mEn .
n
(3.5) Definition Let A, B two sets. Then the symmetric difference of A and B is the
(3.6) Proposition (First Principle of Littlewood) Let E be a given set. Then the
following five statements are equivalent:
i. E is measurable.
ii. Given 0, there is an open set O E with m* O ~ E .
v. There is a F in F with F E, m* E ~ F 0.
m* O \ E m*O m*E .
Now we assume that E is a measurable set of infinite measure. For each n , let
En E (n, n). Then each En has finite measure and by what proved above there is an
open set, say On , On En such that m On \ En
*
. Let O On . Then O is open,
2n n 1
OE and since O~E On ~ En we get
n 1
m* O ~ E m* On ~ En m* On ~ En n . Hence (i) implies (ii) is proved.
n1 n1 2
(ii) implies (iii): E is measurable. Hence its complement E is measurable. Then by (ii),
there is an open set O such that O E with m* O ~ E . Take F E. Then F E
(ii) implies (iv): By (ii) for each n we can find an open set On E such that
1
m* On ~ E . Let G On . Then G is a G set, E G and
n n 1
1
m* G ~ E m* On ~ E .
n
This is true for each n. So m* G ~ E 0.
(i) implies (vi): Suppose E is measurable. Then by (ii), given 0, there is an open set
O E with m* O ~ E . The open set O can be considered as the disjoint union of
2
*
open intervals Ii , i 1, 2, i.e., O Ii . m O m Ii m I i l I i .
* *
Since
i 1 i 1 i 1 i 1
m O is finite, given 0, there exists n such that
*
l Ii 2 . We write U Ii .
i n 1 i 1
Then EU U ~ E E ~ U
Ii ~ E E ~ Ii
i 1 i 1
O ~ E O ~ Ii .
i 1
Hence m* E U m* O ~ E m* O ~ I i
i 1
n1
m* O ~ E m* I i
i 1
m* O ~ E l I i .
i 1
Solution
E1 E2 E1 ~ E2 E1 E2 E2 ~ E1 is a
Hence
m E1 E2 m E1 ~ E2 m E1 E2 m E2 ~ E1 (1)
mE1 m E1 ~ E2 m E1 E2 (2)
mE2 m E1 E2 m E2 ~ E1 (3)
LEBESGUE MEASURE
151
Adding (2) and (3), we have
mE1 mE2 m E1 ~ E2 m E1 E2 m E1 E2 m E2 ~ E1
implies
mE1 mE2 m E1 E2 m E1 E2 , using (1).
(3.8) Example The cantor ternary set has measure zero. (UQ 2006)
Proof
We first describe Cantor set.
Let E0 [0, 1]. Remove the segment 13 , 23 , and let E1 [0, 13 ] [ 23 , 1]. Remove the
(a) E1 E2 E3 ;
is called the Cantor set. P is clearly compact, and by the Theorem “If K is a collection of
compact subsets of a metric space X such that the intersection of every finite subcollection of
K is nonempty, then K is nonempty” P is nonempty.
P En n,
n
2
so that m P lim 0.
*
n 3
x y, if x y 1
x y
x y 1, if x y 1
(4.2) Lemma Let E [0, 1) be a measurable set. Then for each y [0, 1) the set E y is
measurable and m E y mE.
Proof
Take y [0, 1) . Let E1 E [0, 1 y) and E2 E [1 y, 1).
mE mE1 mE2 .
Now E1 y E1 y , and so m E1 y m E1 y mE1 , since m is translation invariant,
m E2 y m E2 ( y 1) mE2 , and so E2 y is also measurable.
But E y E1 y E2 y and the sets E1 y and E2 y are disjoint measurable sets,
m E y m E1 y m E2 y , since E1 y and E2 y are disjoint
mE1 mE2
mE.
LEBESGUE MEASURE
153
This completes the proof.
Step 2: Let ri i 0
be an enumeration of the rational numbers in [0, 1) with r0 0, and
define Pi P ri . Then P0 P.
Claim: Pi Pj if i j.
Since P has only one element from each equivalence class, we must have i j. This
implies that Pi Pj if i j.
UNIT II CHAPTER 7
154
i.e., Pi i 0
is a pair wise disjoint sequences of sets. On the other hand, each real number x
and will have the same measure i.e., mPi mP for all i. But if this were the case,
m[0, 1) mPi mP, (**)
i 1 i 1
and the right side is either zero or infinite, depending on whether mP is zero or positive. But
this is impossible since m[0, 1) 1, and consequently P cannot be measurable. i.e., we have
constructed a nonmeasurable set P. We arrive at the following result:
1
Axiom of choice: Let be any collection of nonempty sets. Then there is a function F
defined on which assigns to each set A an element F (A) in A.
The above equivalent to say that we have a set, say P, in which contains exactly
one element from each set A .
6 Measurable Functions
(5.1) Proposition Let f be an extended real-valued function whose domain is
measurable. Then the following statements are equivalent:
i. For each real number the set x : f ( x) is measurable.
Proof
Let the domain of f be D. Given that D is measurable.
As above, (ii) implies (iii) and (iii) implies (ii) can be proved.
1
(i) implies (ii): Note that x : f ( x) x : f ( x) .
n 1 n
1
(i) implies that x : f ( x) is measurable for any natural number n and, since
n
1
intersection of a sequence of measurable sets is measurable, we have x : f ( x) is
n 1 n
measurable. This implies that x : f ( x) is measurable. That is, (i) implies (ii) is proved.
1
(ii) implies (i): Note that x : f ( x) x : f ( x) .
n 1 n
1
(ii) implies that x : f ( x) is measurable for any natural number n and, since union
n
1
of a sequence of measurable sets is measurable, we have x : f ( x) is measurable.
n 1 n
This implies that x : f ( x) is measurable. That is, (ii) implies (i) is proved.
That we have shown that the first four statements are equivalent.
Next we have to show that first four statements imply the fifth statement:
Case 3) If :
x : f ( x) x : f ( x) n,
n 1
2, x 0
(5.3) Example Prove that f ( x) 2 is measurable. (UQ 2006)
x , x 0
Solution
y x2
2
0
Graph of f
Case 1) 0 :
x : f ( x) 0 is measurable.
Case 2) 0 2 :
x : f ( x) [0, ] is measurable.
Case 3) 2 :
x : f ( x) (, ] is measurable.
LEBESGUE MEASURE
157
The following results (6.4) to (6.6) which are needed in the coming propositions are
already known to the student and their proofs are omitted here.
(5.4) Proposition Every ordered field contains (sets isomorphic to) the natural numbers,
the integers, and the rational numbers.
(5.5) Axiom of Archimedes Given any real number x, there is an integer n such that x
x n.
(5.6) Corollary to Axiom of Archimedes Between any two real numbers is a rational;
that is, if x y, then there is a rational r with x r y.
(5.7) Proposition Let c be a constant and f and g be two measurable real valued
functions defined on the same domain. Then the functions f c, cf , f g , g f , and fg
are measurable.
Proof
(i) f and g are measurable implies their domain is measurable and it satisfies one of the first
four statements of Proposition (5.1). We use condition (iii) of Proposition (5.1). Note that
x : f c ( x) x : f ( x) c x : f ( x) c .
Since f is measurable, using condition (iii) of Proposition (5.1), we have x : f ( x) c is
measurable.
(ii)
Case 1: For c = 0, x : cf ( x) for 0 and x : cf ( x) for 0.
sets.
Case 2: For positive c
x : cf ( x) x : cf ( x) x : f ( x) c .
UNIT II CHAPTER 7
158
Since f is measurable, using condition (iii) of Proposition (5.1), we have x : f ( x) is
c
for positive c.
Case 3: for negative c
x : cf ( x) x : cf ( x) x : f ( x) c .
Since f is measurable, using condition (i) of Proposition (5.1), we have x : f ( x) is
c
for negative c.
Case 1) For 0 ; x : f 2
( x) x : f ( x) x : f ( x) is
of f is measurable.
Also note that
1
f g f 2 g2
2
fg (1)
2
In (1), RHS is measurable, as f g is measurable by (i) above and hence by the discussion
1
f g f g f 2 g 2 . Hence fg is
2 2
just above , f 2 , g 2 are measurable and so is
2
measurable.
LEBESGUE MEASURE
159
(5.8) Basic Definitions 1
Let xn is a sequence of real numbers.
The symbols lim and lim sup are both used for the limit superior.
The limit inferior is defined by
limxn supinf xk sup inf xk : k n : n .
n k n
(5.9) Remark A real number l is the limit superior of the sequence xn if and only if
(5.10) Remarks
The extended real number is the limit superior of the sequence xn if and
The extended real number is the limit superior of the sequence xn if and
only if lim xn .
limxn limxn .
sup f n ( x) sup f1 ( x), f 2 ( x), , f n ( x),
n
UNIT II CHAPTER 7
160
(5.12) Theorem Let fn be a sequence of measurable functions (with the same domain
of definition). Then the functions sup f1, , fn , inf f1, , fn , sup f n , , inf f n , ,
n n
and so h is measurable.
(v) By the discussion above, inf function and sup function are measurable. Hence
lim f n supinf f k , f k 1, , is measurable.
n k n
(5.13) Definition A property is said to hold almost everywhere (abbreviated a.e.) if the
set of points where it fails to hold is a set of measure zero.
We say that f g a.e. if f and g have the same domain and
We say that f n converges to g a.e. if there is a set E of measure zero such that
Now
x : g ( x) x : f ( x) x E : g ( x) \ x E : g ( x) .
The first set of the right is measurable, since f is a measurable function. The last two sets
on the right are measurable, since they are subsets of E and mE 0. Thus x : g ( x) is
(5.16) Definition If A is any set, we define the characteristic function A of the set A
to be the function given by
1 if x A
A ( x)
0 if x A
The function A is measurable if and only if A is measurable.
Thus the existence of a nonmeasurable set implies the existence of a nonmeasuarble function.
where Ai x : ( x) i . The sum, product, and difference of two simple functions are
simple.
2. Every (measurable) function is nearly continuous. One version of the second principle
is given by Proposition (5.15).
measurable functions defined on E. Let f be a real-valued function such that for each x in
E we have f n ( x) f ( x). Then given 0 and 0, there is a measurable set A E with
f n ( x) f ( x) .
Proof
Let
Gn x E : f n ( x) f ( x) ,
and set
En Gn x E : f n ( x) f ( x) for some n N .
n N
We have EN 1 EN , and for each x E there must be some EN to which x does not
belong, since f n ( x) f ( x). Thus EN , and so, by Proposition (3.4), lim mEN 0.
A x E : f n ( x) f ( x) for all n N .
(6.2) Remark If, as in the hypothesis of the proposition, we have f n ( x) f ( x) for each
f n ( x) f ( x) .
___________________
Chapter 8
LEBESGUE INTEGRAL
a 0 1 n b
be a subdivision (some times called partition) of [a, b] . Then for each subdivision we can
n
and s (i i 1 )mi ,
i 1
with the infimum taken over all possible subdivisions (partitions) of [a, b] . Similarly, we
(8.2) Definition By a step function we mean a function which has the form
( x) ci , i 1 x i
for some subdivision of [a, b] and some set of constant ci . Then the integral of the step
function is given by
b n
(8.3) With the above in mind we see that the upper Riemann integral of f in terms of the
step functions is
b b
f ( x)dx inf ( x)dx (8.3)
a a
0 x irrational
f ( x)
0 x rational ,
b b
then f ( x)dx b a and f ( x)dx 0.
a _a
1, a x b
[Hint: For the step functions ( x) and ( x) 0 x , we have
0, elsewhere
( x) f ( x) ( x). ]
UNIT III CHAPTER 8
166
1 xE
E ( x)
0 xE
is called the characteristic function of E.
is called a simple function if the sets Ei are measurable. This representation for is not
unique. However, we note that a function is simple if and only if it is measurable and
assumes only a finite number of values.
(8.8) Definition If is a simple function and a1, , an the set of nonzero values of ,
then
n
ai Ai ,
i 1
where Ai x : ( x) ai .
the fact that the Ai are disjoint and the ai distinct and nonzero.
( x)dx ai mAi
i 1
n
when has the canonical representation ai Ai .
i 1
(8.10) Remark Read and understand the underlined words because now the integral of the
simple function is given by means of its canonical representation (We will see in Remark
(8.13) that this is not necessary). Now, by the Definition (8.9), the integral of the simple
function cannot be determined immediately using (1) of Definition (8.7); to evaluate the
LEBESGUE INTEGRAL
167
integral we have first to write in some canonical representation as in Definition (8.8). This
will be clear to the student from the proof of the coming Lemma (8.11).
We sometimes abbreviate the expression for this integral to . If E is any
E .
E
n
(8.11) Lemma Let ai Ei , with Ei E j for i j . Suppose each set Ei is a
i 1
ai mEi .
i 1
(UQ 2006)
Proof
To determine using Definition (8.9) we have first to find the canonical representation of
n
The Venn Diagram is drawn as for x E3 , ( x) ai Ei ( x) a3 , [since
i 1
1 i3
Ei ( x) ] and assuming that a3 a . Similarly, assuming a7 a and a9 a ,
0 i3
x E4 , E6 .
a A a .
( x)dx ai mEi .
(8.12) Proposition Let and be simple functions which vanish outside a set of finite
measure. Then
(a) a b a b ,
and
(b) if a.e., then
.
Proof
n m
Let ai Ai , where Ai x : ( x) ai and bi Bi , where Bi x : ( x) bi be the
i 1 i 1
Then
N
ak Ek , with Ei E j , for i j. (4)
k 1
N
bk Ek , with Ei E j , for i j. (5)
k 1
(4) and (5) need not be the canonical representations of and . But we are now in a
ak mEk
k 1
N
and bk mEk .
k 1
Hence
N N N
a b a ak mEk b bk mEk aak mEk bbk mEk (6)
k 1 k 1 k 1
a b a b .
Proof of the second statement:
a.e. implies 0 a.e. implies is a non-
n
negative simple function. Then if the canonical representation of is ci Ci ,
i 1
ci mCi .
i 1
(8)
0. (9)
.
Hence by (9), we have
0.
i.e., .
(8.13) Remark Putting a 1, b 0 in (7) of the proof above, it follows that, if
n n
ai Ei , then ai mEi , and so the restriction of Lemma (8.11) that the sets Ei be
i 1 i 1
disjoint is unnecessary.
Let f be a bounded real valued function and E a measurable set of finite measure.
By analogy with the Riemann integral we consider for simple functions and the
numbers
inf : f (usually denoted by inf )
f
E
E
LEBESGUE INTEGRAL
171
and sup : f , (usually denoted by sup )
E
f E
and ask when these two numbers are equal. The answer is given by the following proposition:
(8.14) Proposition Let f be defined and bounded on a measurable set E with mE
finite. In order that
inf ( x) dx sup ( x)dx
f f E
E
for all simple functions and , it is necessary and sufficient that f be measurable.
Proof Let f be bounded by M and suppose that f is measurable.
or M f ( x) M x.
Then we consider the sets
kM (k 1) M
Ek x : f ( x) n k n,
n n
that are measurable, disjoint, and have union E.
Some particular sets Ek :
(n 1) (n 1)
For k n , En x : M f ( x) M ;For k n , En x : M f ( x) M
n n
Since Ek are disjoint and have union E, we have
n
mEk mE.
k n
n
M
and n ( x)
n
(k 1) Ek ( x)
k n
satisfy n ( x) f ( x) n ( x).
Thus
* * n
M
inf ( x) dx n ( x)dx
f n
kmEk
E E k n
UNIT III CHAPTER 8
172
*
The reason for the inequality “ ”: inf ( x) dx inf ( x) dx : f , is simple and
f
E E
*
n ( x)dx ( x) dx : f , is simple . The equality “ ” follows from Remark (8.13)
E
E
.
and
n
M
sup ( x)dx n ( x)dx
f E n
(k 1)mEk ,
E k n
whence
n
M M
0 inf ( x) dx sup ( x)dx
f f E n
mEk n
mE.
E k n
Hence
inf ( x) dx sup ( x)dx 0
f f E
E
implies
inf ( x) dx sup ( x)dx
f f E
E
1
Then, given n, l cannot be a lower bound implies there is a simple function n such that
n
1 1
n ( x) f ( x) and n ( x) dx l . Similarly, l cannot be an upper bound and this
E
2n n
1
implies there is a simple function n such that f ( x) n ( x) and n ( x) dx l . Now
E
2n
1 1 1
l n ( x) dx and l n ( x) dx implies n ( x)dx n ( x)dx.
2n E
2n E n E E
i.e., for given n, there are simple functions n and n such that
LEBESGUE INTEGRAL
173
n ( x ) f ( x ) n ( x )
and
1
n ( x)dx n ( x)dx n .
E E
Note that being the simple functions, n ‟s and n 's are measurable. Hence by Theorem
(5.12) of the previous chapter, we have the functions
* inf n
n
and * sup n
n
x : * ( x ) * ( x)
is the union of the sets
1
v x : * ( x) * ( x) .
v
1
But each v is contained in the set x : n ( x) n ( x) , and this latter set has measure
v
v
less than . Since n is arbitrary, mv 0, and so m 0. Thus * * except on a set of
n
measurable by Proposition (5.14) of the previous chapter, and the condition is also necessary.
i.e., f ( x)dx inf ( x)dx : is simple function and f .
E
E
UNIT III CHAPTER 8
174
b
(8.16) Notation We sometimes write the integral as f. If E [a, b], we write f
E a
for all step functions ( x) f ( x). Since every step function is also a simple function, we
b b
But, sup 1 ( x)dx inf 1 ( x)dx (8.7)
1 f a 1 f
a
b b b b
f ( x)dx sup 1 ( x)dx inf 1 ( x)dx f ( x)dx. (8.8)
1 f a 1 f
_a a a
b b
If f is a Riemann integral on [a, b], then f ( x)dx f ( x)dx, so from (8.8), we
_a a
b b
obtain sup 1 ( x)dx inf 1 ( x)dx
1 f a 1 f
a
and hence by Proposition (8.14) f is measurable. Also, using the Definition (8.15), we
have
b b
f ( x)dx f ( x)dx.
a a
i. af bg a f b g.
E E E
f g.
E E
f g.
E E
(b) Hence f f.
iv. If A f ( x) B, then
AmE f BmE.
E
f f f.
A B A B
UNIT III CHAPTER 8
176
Proof
(i) Note that if is a simple function so is a , and conversely if a 0, then a is simple.
For a 0 there is nothing to prove.
For a 0,
af inf
a a f a ( x)dx , by Definition (8.15)
E E
If a 0,
af inf
a a f a ( x)dx , using Definition (8.15)
E E
a sup ( x)dx , since a 0
f E
a inf ( x)dx , since is measurable and using Proposition (8.14)
f
E
[In the above and are used to indicate the change in the inequality. and are
used to indicate the change of inf and sup].
If 1 is a simple function f 1 , and 2 a simple function, g 2 , then 1 2 is
f g 1 2 , (2)
E E
1 2 1 2 .
E E E
f g 1 2 . (3)
E E E
f g f g. (4)
E E E
On the other hand, 1 f and 2 g imply 1 2 is a simple function not greater than
f g. Hence
f g 1 2 , (5)
E E
since f g sup
f g
.
E E
1 2 1 2 .
E E E
f g 1 2 . (6)
E E E
f g f g, (7)
E E E
f g f g. (8)
E E E
af bg af bg a f b g.
E E E E E
f g 0.
E
0,
E
whence
f g inf
f g
0.
E E
f g sup
f g
0,
E E
f g sup
f g
0, (9)
E E
f g 0
E E
i.e., f g.
E E
f f. (10)
E E
f f . (11)
E E
(iv)
A f ( x) implies, by (iii)(a), A f implies, by (i), A 1 f implies AmE f ,
E E E E E
(v) f f A B
A B A B
B are disjoint.
f A f B
A B
f A f B , using (i)
A B A B
f A f B
A B
f f.
A B
measurable functions defined on a set E of finite measure and suppose that there is a real
number M such that f n ( x) M for all n and all x. If f ( x) lim f n ( x) for each x in E,
then f lim f n .
E E
UNIT III CHAPTER 8
180
Proof
The proof of this propostion furnishes a nice illustration of the use of Littlewood‟s “three
principles”. The construction of the propostion would be trivial if fn converged to f
Propsotion in the previous chapter, which states that, given 0, there is an N and a
measurable set A E with mA such that for n N and x E \ A we have
4M
f n ( x) f ( x) .
2mE
Thus
fn f fn f
E\ A A
2mE E\ A
1 2 M 1
A
2mE
mE 2 M
4M
, since 1 m E \ A mE
E\ A
.
2 2
Since 0 is arbitrary, we have
f lim f n .
E E
Let f be a bounded function on [a, b], and let h be the upper envelope of f. Then
b b
show that f ( x)dx h. [ If f is a step function, then h except at a finite
a a
b b
number of points, and so h f ( x)dx. But there is a sequence n of step functions
a a
b b b
such that n h. By Proposition (8.19), we have h lim n f ( x)dx. ] Use this to
a a a
f sup h,
h f E
E
i. cf c f , c 0.
E E
ii. f g f g.
E E E
f g.
E E
Proof
(i)
For c 0,
that m x : ch ( x) 0
UNIT III CHAPTER 8
182
sup ch
h f E
c sup h
h f E
c f .
E
For c 0,
cf sup ch
chcf E
E
sup ch
h f E
c inf h , since c 0,
h f
E
functions g and h.
c f .
E
(ii)
If h( x) f ( x) and k ( x) g ( x), we have h( x) k ( x) f ( x) g ( x), and so
h k f g.
E E E
f g f g.
E E E
On the other hand, let l be a bounded measurable function which vanishes outside a set of
finite measure and which is not greater than f g. Then we define the functions h and k
by setting
h( x) min f ( x), l ( x)
LEBESGUE INTEGRAL
183
and k ( x) l ( x) h( x).
We have
h( x) f ( x)
and k ( x) g ( x),
while h and k are bounded by the bound for l and vanish where l vanishes. Hence
l h h f g , and so
E E E E E
f g f g.
E E E
f lim f n .
E E
Proof
Without loss of generality, we may assume that the convergence is everywhere, since integrals
over sets of measure zero are zero. Let h be a bounded measurable function which is not
greater than f and which vanishes outside a set E of finite measure. Define a function hn
by setting
hn ( x) min h( x), f n ( x)
Then hn is bounded by the bound (say M) for h and vanishes outside E . Then hn ( x) M
(Proposition (8.19)),
lim f n .
E
i.e., h lim fn .
E E
UNIT III CHAPTER 8
184
f lim f n .
E E
f lim f n .
Proof
By Fatou‟s Lemma , we have
f lim f n . (1)
lim f n f . (2)
(3) tells us that all the inequalities are equal and hence
lim f n lim f n f ,
lim f n f .
f
n 1
un .
i.e., un un .
n 1 n 1
n
Proof Take f n uk . Since each uk is nonnegative, f n is an increasing sequence of
k 1
f lim f n
n
lim uk
k 1
n
lim uk , using Proposition (8.22)
k 1
un .
n 1
f i f.
E Ei
Proof
Let ui f Ei .
Then f f E f Ei
f Ei ,
i
ui ,
and so
UNIT III CHAPTER 8
186
f ui
E E
f Ei .
i E
f.
i Ei
f .
E
f g f g.
E E E
Proof
By Proposition (8.22) in this section,
f f g g. (1)
E E E
Since the left side is finite, the terms on the right must also be finite and so g is integarble.
Also from (1) above, we have
f g f g.
E E E
(8.29) Proposition Let f be a nonnegative function which is integarble over a set E. Then
given 0 there is a 0 such that for every set A E with mA we have
f .
A
Proof
The proposition would be trivial if f were bounded.
LEBESGUE INTEGRAL
187
Set
f ( x), if f ( x) n
f n ( x)
n, otherwise
Then each f n is bounded (with a bound n). For each x as n we have f n ( x) f ( x) .
such that fN f 2 , and f fN 2 . i.e., f fN 2 . Choose
2N
. If
E E E E E
mA , we have
f f fN fN
A A A
f f N NmA
E
.
2 2
f f 0;
i.e., f is given by
f f 0;
i.e., f is given by
f f f
and f f f .
UNIT III CHAPTER 8
188
f f f .
E E E
f g f g.
E E E
f f f.
A B A B
Proof
Part (i) follows directly from the definition of the integral and Proposition (8.22). To
prove part (ii), we first note that if f1 and f 2 are nonnegative integrable functions with
f f 2 f f1 ,
and so
f f f f1 f 2 .
f g f g f g . Hence
f g f
g f g
f g f g
LEBESGUE INTEGRAL
189
f g.
Part (iii) follows from part (ii) and the fact that the integral of a nonnegative integrable
function is nonnegative. For (iv) we have
f f A B
A B
AB A B
f f .
A B
Proof
The function g f n is nonnegative, and so by Fatou‟s Lemma
g f lim g fn .
E E
g f g lim fn ,
E E E E
whence
f lim fn .
E E
f lim fn ,
E E
g lim gn ,
then
f lim f n .
Convergence in Measure
(8.36) Definition A sequence fn of measurable functions is said to converge to f in
m x : f ( x) f n ( x) .
It follows directly from this definition and Proposition (6.1) of Chapter 7 that if
fn is a sequence of measurable functions defined on a measurable set E of
such that f n ( x) does not converge for any x in [0, 1] can be constructed as
v v
1, if x [k 2 , (k 1)2 ]
f n ( x)
0, otherwise
m x : f n ( x)
2
Then ,
n
and so f n 0 in measure, although for any x in [0, 1], the sequence
f n ( x) has the value 1 for arbitrarily large values of n and so does not
converge.
LEBESGUE INTEGRAL
191
(UQ 2006)
Proof
Given v, there is an integer n, such that for all n nv we have
m x : f n ( x) f ( x) 2v 2v.
Let Ev x : f n ( x) f ( x) 2v . Then, if x Ev , we must have f nv ( x) f ( x) 2v for
vk
v k , and so f nv ( x) f ( x). Hence f nv ( x) f ( x) for any x A Ev . But
k 1 v k
mA m Ev mEv 2 k 1. Hence mA = 0.
v k v k
(8.39) Proposition Fatou‟s Lemma and the Monotone and Lebesgue Convergence
Theorems remain valid if „convergence a.e.‟ is replaced by „convergence in measure‟.
Chapter 9
(1.1) Definition Let be a collection of intervals. We say that covers a set E in the
sense of Vitali, if for each 0 and any x in E, there is an interval I such that x I
and l ( I ) . The intervals may be open, closed or half-open, but we do not allow degenerate
intervals consisting of only one point.
(1.2) Lemma (Vitali) Let E be a set of finite outer measure and a collection of
intervals that cover E in the sense of VItali. Then, given 0 , there is a finite disjoint
collection I1 , , I N of intervals in such that
N
m E ~ In .
*
n 1
Proof
It suffices to prove the lemma in the case that each interval in is closed, for
otherwise we replace each interval by its closure and observe that the set of endpoints of
I1 , , I N has measure zero.
and suppose that I1 , , In has already been chosen. Let kn be the supremum of the lengths
of the intervals of that do not meet any of the intervals I1 , , I n . Since each I is
n
contained in O, we have kn mO . Unless E Ii , we can find I n1 with
i 1
1
l I n1 kn and I n 1 disjoint from I1 , , In .
2
The lemma will be established if we can show that m* R . Let x be an arbitrary point of
N
R. Since In is a closed set not containing x, we can find an interval I which
n 1
contains x and whose length is so small that I does not meet any of the intervals I1 , , IN .
interval I must meet at least one of the intervals I n . Let n be the smallest integer such that
common with I n , it follows that the distance from x to the midpoint of I n is atmost
Hence
m* R l J n 5 l J n .
N 1 N 1
(1.3) Proposition If f is continuous on [a, b] and one of its derivates (say D ) is every
where nonnegative on [a, b] , then f is nondecreasing on [a, b] ; i.e., f ( x) f ( y) for x y.
(1.4) Theorem Let f be an increasing real-valued function on the interval [a, b] .Then f is
differentiable almost everywhere. The derivative f is measurable, and
b
Proof
Let us show that the sets where any two derivates are unequal have measure zero. We
consider only the set E where D f ( x) D f ( x), the sets arising from other combinations of
derivates being similarly handled. Now the set E is the union of the sets
Eu , v x : D f ( x) u v D f ( x)
for all rational u and v. Hence it suffices to prove that m* Eu , v 0.
f ( x) f ( x h) vh.
By Lemma (1.2) we can choose a finite collection I1 , , I N of them whose interiors cover
intervals, we have
N N
f ( xn ) f ( xn hn ) v hn
n 1 n 1
vmO
DIFFERENTIATION AND INTEGRATION
195
v(s ).
Now to each point y A is the left endpoint of an arbitrarily small interval ( y, y k ) that is
contained in some I n and for which f ( y k ) f ( y) uk. Using Lemma (1.2) again, we
can pick out a finite collection J1, , J M of such intervals such that their union contains a
subset of A of outer measure greater than s 2 . Then summing over these intervals yields
M
f ( yi ki ) f ( yi ) u ki
n 1
u(s 2 ).
Each interval J i is contained in some interval I n , and if we sum over those i for which
J i I n , we have
f ( yi ki ) f ( yi ) f ( xn ) f ( xn hn ),
since f is increasing. Thus
N M
f ( xn ) f ( xn hn ) f ( yi ki ) f ( yi ),
n 1 i 1
and so
v(s ) u(s 2 ).
Since this is true for each positive , we have vs us. But u v, and so s must be zero.
This shows that
f ( x h) f ( x )
g ( x) lim
h0 h
is defined almost everywhere and that f is differentiable whenever g is finite. Let
gn ( x) n f ( x 1n ) f ( x) ,
b 1n a 1
n
lim n f n f
b a
UNIT III CHAPTER 9
196
a 1
n
lim f (b) n f
a
f (b) f (a).
This shows that g is integarble and hence finite almost everywhere. Thus f is differentiable
a.e. and g f a.e.
r r r 5 0 5.
Let f be a real-valued function defined on the interval [a, b], and let
a x0 x1 xk b be any subdivision of [a, b].
Define
k
p f ( xi ) f ( xi 1 )
i 1
k
n f ( xi ) f ( xi 1 )
i 1
k
t n p f ( xi ) f ( xi 1 ) .
i 1
Set
P sup p,
N sup n,
DIFFERENTIATION AND INTEGRATION
197
T sup t ,
where we take the suprema over all possible subdivisions of [a, b]. We clearly have
P T P N . We call P, N, T the positive, negative, and total variations of f over [a, b].
We some times write Tab , Tab ( f ), etc., to denote the dependence on the interval [a, b] or on
the function f. If T , we say that f is of bounded variation over [a, b]. This notion
is abbreviated by writing f BV .
(2.1) Notation Pab denotes s u pp where we take the suprema over all possible
subdivisions of [a, b]. Pax denotes sup p where we take the suprema over all possible
subdivisions of [a, x]. Similarly, N ab , N ax etc denote suprema over all possible subdivisions
monotone increasing functions which are real valued, since 0 Pax Tax Tab and
UNIT III CHAPTER 9
198
3 Differentiation of an Integral
(3.1) Definition If f is an integrable function on [a, b] , we define its indefinite integral
to be the function F defined on [a, b] by
x
F ( x) f (t ) dt.
a
k k xi k xi
F ( xi ) F ( xi 1 ) f (t ) dt f (t ) dt
i 1 i 1 xi 1 i 1 xi 1
b
f (t ) dt.
a
b
Thus Tab ( F ) f (t ) dt .
a
DIFFERENTIATION AND INTEGRATION
199
(3.3) Lemma If f is integrable on [a, b] , and
x
f (t ) dt 0
a
f 0, or else
a
b
0 f f f,
a F O
and f f 0.
O F
But O is the disjoint union of a countable collection (an , bn ) of open intervals, and so by
bn
f f.
O an
f 0,
an
and so either
an
f 0,
a
or
bn
f 0.
a
UNIT III CHAPTER 9
200
In any case we see that if f is positive on a set of positive measure, then for some x [a, b]
we have
x
f 0.
a
f 0.
a
x
i.e., in any case f ( x) 0 on a set of positive measure implies f 0.
a
f (t ) dt 0 for all
†
Hence by contraposition , it follows that x [a, b], then f (t ) 0 a.e. in
a
[ a , b] .
†
Contraposition: If p and q are two statements, then p q and ~ q ~ p are logically
equivalent. Hence to show that p q it is enough to show that ~ q ~ p . In this Lemma
x
the atement p : f (t ) dt 0 for all x [a, b],
a
and so fn K.
1 ch 1
ah
lim F ( x)dx F ( x)dx
h0 h
a h a
c
F (c) F (a) f ( x)dx,
a
F ( x) f ( x) dx 0
a
is an increasing function of x, which must have a derivative almost everywhere, and this
derivative will be nonnegative. Now by Lemma (3.4)
x
d
dx a
f n f n ( x) a.e.,
and so
x
d
F ( x) Gn f n
dx a
f n ( x) a.e.
Since n is arbitrary,
F ( x) f ( x) a.e.
Consequently,
b b
and
b
F ( x) f ( x) dx 0.
a
4 Absolute Continuity
(4.1) Definition A real-valued function f defined on [a, b] is said to be absolutely
continuous on [a, b] if, given 0 , there is a 0 such that
n
f ( xi ) f ( xi )
i 1
for every finite collection ( xi , xi ) of nonoverlapping intervals with
n
xi xi .
i 1
DIFFERENTIATION AND INTEGRATION
203
(4.2) Remarks
An absolutely continuous function is continuous.
Every indefinite integral is absolutely continuous, by the Proposition : “Let f be a
nonnegative function which is integrable over a set E. Then given 0 there is a
(4.4) Corollary If f is absolutely continuous, then f has a derivative almost every where.
Proof
By Lemma (4.3), f is absolutely continuous implies f is of bounded variation and then by
Corollary (2.4), f has a derivative almost every where.
Lemma (1.2) we can find a finite collection [ xk , yk ] of nonoverlapping intervals of this sort
which cover all of E except for a set of measure less than , where is the positive
number corresponding to in the definition of the absolute continuity of f. If we label the
xk so that xk xk 1 , we have
y0 a x1 y1 x2 yn c xn1
n
and xk 1 yk .
k 0
UNIT III CHAPTER 9
204
Now
n
f ( yk ) f ( xk ) ( yk xk )
k 0
(c a)
(c a).
Since and are arbitrary positive numbers, f (c) f (a) = 0.
where the functions Fi are monotone increasing. Hence F ( x) exists almost everywhere and
Thus
(4.7) Corollary Every absolutely continuous function is the indefinite integral of its
derivative.
Proof
Proof is obvious from (1) of Theorem (4.6), for if F is absolutely continuous function then
x
F ( x) F (t )dt F (a), which says that F is the indefinite integral of its derivative F .
a
5 Convex Functions
(5.1) Definition A function defined on an open interval (a, b) is said to be convex if
for each x, y (a, b) and each , 0 1 we have
x (1 ) y ( x) (1 ) ( y).
saying that each point on the chord between x, ( x) and y, ( y) is above the graph of .
(5.2) Lemma If is convex on (a, b) and if x, y, x, y are points of (a, b) with
x x y and x y y, then the chord over ( x, y) has larger slope than the chord over
( x, y); i.e.,
( y ) ( x) ( y) ( x)
.
yx y x
(5.3) Definition If the upper and lower left-hand derivatives D f and D f of a function
f are equal and finite at a point x, we say that f is differentiable on the left at x and call
this common value the left-hand derivative at x. Similarly, we say that f is differentiable on
the right at x if D f and D f are equal there.
derivatives are monotone increasing functions, and at each point the left-hand derivative is
less than or equal to the right-hand derivative.
Proof
Let [c, d ] (a, b). Then, by Lemma (5.2), we have
(c ) ( a ) ( y ) ( x) (b) (d )
ca yx bd
there.
( x) ( x0 )
If x0 (a, b), then is an increasing function of x by Lemma (5.2), and
x x0
so the limits as x approaches x0 from the right and from the left exist and are finite. Thus
is differentiable on the right and on the left at each point, and the left-hand derivative is
less than or equal to the right-hand derivative. If x0 y0 , x y0 and x0 y , then
( x) ( x0 ) ( y) ( y0 )
,
x x0 y y0
and either derivative at x0 is less than or equal to either derivative at y0 . Consequently, each
derivative is monotone, and they are equal at a point if one of them is continuous there. Since
a monotone function can have only a countable number of discontinuities, they are equal
except on a countable set.
(5.5) Proposition If is a continuous function on (a, b) and if one derivative (say D )
of is nondecreasing, then is convex.
Proof
Given x, y with a x y b, define a function on [0, 1] by
(t ) [ty (1 t ) x] t ( y) (1 t ) ( x).
Our goal is to show that is nonpositive on [0, 1]. Now is continuous, and
(0) (1) 0. Moreover,
that is, if
( x) m( x x0 ) ( x0 ).
It follows from Lemma (5.2) that such a line is a supporting line if and only if its slope m lies
between the left- and right-hand derivatives at x0 . Thus, in particular, there is always at least
one supporting line at each point. This notion enables us to give a short proof for the
following proposition:
(5.7) Proposition (Jensen Inequality) Let be a convex function on (, ) and f
an integrable function on [0, 1] . Then
( f (t ))dt f (t ) dt .
Proof
Then
( f (t )) m f (t ) ( ).
x (1 ) y ( x) (1 ) ( y).
UNIT III CHAPTER 9
208
is convex.
(5.11) Remark The only functions that are both convex and concave are the linear
functions.
___________________
Chapter 10
1 Measure Spaces
The purpose of the present chapter is to abstract the most important properties of
Lebesgue measure and Lebesgue integration. We shall do this by giving certain axioms
which Lebesgue measure satisfies and base our integration theory on these axioms. As a
consequence our theory will be valid for every system satisfying the given axioms.
(1.2) Definition By a set function we mean a function which assigns an extended real
number to certain sets.
Ei Ei (1)
i 1 i 1
for any sequence Ei of disjoint measurable sets. By a measure space X ,B , we mean a
N N
Ei Ei , (2)
i 1 i 1
for disjoint sets Ei belong to B , since we may set Ei for i N .
209
UNIT III CHAPTER 10
210
(1.5) Examples
1. ,M , m is a measure space, where is the set of real numbers, M the
Lebesgue measure.
4. Let X be any uncountable set, B the family of those subsets which are either
countable or the complement of a countable set. Then B is a -algebra and we
can define a measure on it by setting A 0 for each countable set and B 1 for
each set whose complement is countable.
(1.6) Proposition If AB , B B and A B, then
A B.
Proof
Since A B \ A ,
B A B \ A
Ei lim En . (3)
i 1 n
Proof
Set E Ei . Then
i 1
E1 E Ei \ Ei1
i 1
Since
Ei Ei 1 Ei \ Ei 1
MEASURE AND INTEGRATION
211
is a disjoint union, we have
Ei \ Ei 1 Ei Ei 1.
Hence
E1 E Ei Ei 1
i 1
n1
E lim Ei Ei 1
n i 1
Ei Ei .
i 1 i 1
Proof
Let
n1
Gn En \ Ei .
i 1
Then Gn En and the sets Gn are disjoint. Hence
Gn En ,
while
Ei Gn En .
i 1 i 1 n 1
and X n .
(1.10) Examples
1. Lebesgue measure on [0, 1] is of finite measure.
2. Lebesgue measure on , is a - finite measure.
( i) B B0 .
( ii) E B E = 0 E.
2 Measurable Functions
The concept of a measurable function on an abstract measurable space is almost
identical with that for functions of a real variable. Consequently, those propsoitons and
theorem whose proofs are essentially the same as those in Chapter 7 Lebesgue Measure are
stated without proof:
functions, then sup f n , inf f n , lim f n , and lim f n are all measurable.
n n
defined on a -finite measure space, then we may choose the functions n so that each
vanishes outside a set of finite measure.
. The following lemma states that, given a collection B of measurable sets that increase
with , we can find a measurable function f which nearly has these for ordinate sets in the
sense that
x : f ( x) B x : f ( x) .
(2.6) Lemma Suppose that to each in a dense set D of real numbers there is assigned a
set B B such that B B for . Then there is a unique measurable extended real-
Proof
For each x X define
f ( x) inf D : x B
D : x B D : g ( x).
Since g ( x) implies that x B we have
MEASURE AND INTEGRATION
215
D : g ( x) D : x B .
Because of the density of D we have
g ( x) inf D : g ( x)
inf D : g ( x)
inf D : x B f ( x).
(2.7) Proposition Suppose that for each in a dense set D of real numbers there is
assigned a set B B such that B \ B 0 for . Then there is a measurable
. Then N is the countable union of sets of measure zero and so itself a set of measure
zero. Let B B N .. For and in C with we have
B \ B B N \ B N B \ B \ N , as N B \ B .
Thus B B . By Lemma (2.6) there is a measurable function f such that f on B
and f on B .
B \ Bn B \ B n N B \ B n .
Thus P B \ B is a countable union of null sets and so a null set.
n
Let A Bn .
n
for each C. Then g on B and g a.e. on B except for x in a null set Q .
3 Integration
Many definitions and proofs of Chapter 8 Lebesgue Integral depend on only those properties
of Lebesgue measure which are also true for an arbitrary measure in an abstract measure
space and carry over to this case.
(3.1) Definition (Integral of a nonnegative simple function) If E is a measurable set and
a nonnegative simple function, we define
n
d ci Ei E ,
E i 1
where
n
( x) ci Ei ( x).
i 1
It is easily seen that the value of this integral is independent of the representation of
which we use. If a and b are positive numbers and and nonnegative simple
functions, then
a b a b .
i.e., f d 0
inf d
f
f lim f n .
E E
Proof
Without loss of generality, we may assume that f n ( x) f ( x) for each x E. From the
f , then lim fn .
E E
A. Set
An x E : f k ( x) a k n.
An x E : f k ( x) (1 ) ( x) k n.
kn
fk f k (1 )
E Ak Ak
(1 )
E A \ Ak
M .
E E
UNIT III CHAPTER 10
218
Hence
lim f n M .
E E E
Since is arbitrary,
lim f n ,
E E
f lim f n .
Proof
By Fatou’s Lemma , we have
f lim f n . (1)
lim f n f . (2)
(3) tell us that lim f n lim f n f , and hence lim f n exists and
lim f n f .
We have
f 0
af bg lim an b n
lim a n b n
a f b g.
1 1
Clearly f 0. If f 0, let An x : f ( x) n . Then we have f n An , and so
An An 0. Since the set where f 0 is the union of the sets An , it has measure zero.
f d .
(3.9) Definition An arbitrary function f is said to be integrable if both f and f are
integrable. In this case we define
f f f .
E E E
(3.10) Proposition If f and g are integrable functions and E is a measurable set, then
( i) c1 f c2 g c1 f c2 g.
E E E
f n ( x) g ( x)
f lim f n .
E E
Proof
Apply Fatou’s Lemma to sequences g f n and g f n .
Proof
Setwise convergence of n to implies that
d lim d n .
for any simple function . From the definition of f d it suffices to prove that
k E \ Ek for k n. Thus
fk d k f k d k (1 ) d k
Ek Ek
(1 ) d k d k
E E \ Ek
(1 ) d k M ,
E
lim f k d k d M d .
E
Since was arbitrary,
lim f k d k d .
E
i.e., d lim f k d k .
E
lim gn d n g d .
Then
lim f n d n f d .
Proof
Apply Proposition (4.1) to sequences gn f n and gn f n .
5 Signed Measures
(5.1) Definition By a signed measure on the measurable space X ,B we mean an
extended real-valued set function v defined for the sets of B and satisfying the following
conditions:
MEASURE AND INTEGRATION
223
( i) v assumes at most one of the values + , .
( ii) v() 0.
( iii) v Ei vEi for any sequence Ei of disjoint measurable sets, the equality
i 1 i 1
taken to mean that the series on the right converges absolutely if v Ei is finite
i 1
and that is properly diverges otherwise.
(5.2) Definition We say that a set A is a positive set with respect to a signed measure v if
A is measurable and for every measurable subset E of A we have vE 0.
Every measurable subset of a positive set is again positive, and if we take the
restriction of v to a positive set we obtain a measure.
(5.3) Definition We say that a set A is a negative set with respect to a signed measure v if
A is measurable and for every measurable subset E of A we have vE 0.
(5.4) Definition A set that is both positive and negative with respect to v is called a null
set.
A measurable set is a null set if and only if every measurable subset of it has v
measure zero.
(5.5) Lemma Every measurable subset of a positive set is itself positive. The union of a
countable collection of positive sets is positive. (UQ 2008)
Proof
The first statement is trivially true by the definition of a positive set. To prove the second
statement, let A be the union of a sequence An of positive sets. If E is any measurable
subset of A, set
En E An An1 A1.
Then En is a measurable subset of An and so vEn 0. Since the En are disjoint and
E En , we have
vE vEn 0.
n 1
be the smallest positive integer such that there is a measurable set E1 E with
1
vE1 .
n1
k 1
Proceeding inductively, if E \ Ej is not already a positive set, let nk be the smallest
j 1
k 1
Ek E \ E j
j 1
and
1
vEk .
nk
If we set
A E\ Ek ,
k 1
then
E A Ek .
k 1
Since this is a disjoint union, we have
vE vA vEk
k 1
1
with the series on the right absolutely convergent, since vE is finite. Thus converges,
nk
A E \ Ej ,
j 1
MEASURE AND INTEGRATION
225
1
A can contain no measurable sets with measure less than nk 1 , which is greater than
. Thus A contains no measurable sets of measure less than . Since is an arbitrary
positive number, it follows that A can contain no sets of negative measure and so must be a
positive set.
(5.7) Proposition (Han Decomposition Theorem) Let v be a signed measure on the
measurable space X ,B . Then there is a positive set A and a negative set B such that
X A B and A B .
Proof
Without loss of generality we may assume that is the infinite value omitted by v. Let
be the supremum of vA over all sets A that are positive with respect to v. Since the empty
set is positive, 0. Let Ai be a sequence of positive sets such that
lim vAi ,
i
and set
A Ai .
i 1
By Lemma (5.5) the set A is itself a positive set, and so vA. But A \ Ai A and so
v A \ Ai 0. Thus
vA vAi v A \ Ai vAi .
symbols v1 v2 ) if there are disjoint measurable sets A and B with X A B such that
v1 A v2 B 0.
X A B and A B .
We define two measures v and v on X ,B with v v v by setting
v ( E ) v( E A)
and
v ( E ) v( E B).
and v must be finite. If they are both finite, we call v a finite signed measure.
The measure v defined by
v E v E v E
defined on X ,B , we say that and are mutually singular (and write ) if there are
if .
Whenever we are dealing with more than one measure, we must specify almost
everywhere with respect to the given measure, say and it is abbreviated as
a.e. .
vE f d .
E
vE f d .
E
UNIT III CHAPTER 10
228
The function f is unique in the sense that if g is any measurable function with this property
then g = f a.e. .
Proof
The extension from the finite to the -finite case is not difficult and is left to the student.
Thus we shall assume that is finite. Then is a signed measure for each rational
B \ B 0.
If , these imply B \ B 0, and so by Proposition (2.7)
there is a measurable function f such that for each rational we have f a.e. on A and
Ek E Bk 1 \ B k ,
N N
E E \ Bk .
N
Then E E Ek , and this union is disjoint modulo null sets. Thus
k 0
vE vE vEk .
k 0
k 1
Since Ek Bk 1 A k , we have k
N
f N
on Ek , and so
N N
k 1
k
N
Ek f d N
Ek . (1)
Ek
k 1
Since k
N
Ek Ek N
Ek ,
we have
1 k 1 1
Ek Ek N
Ek Ek k
N
Ek f d k
N
Ek 1
N
Ek Ek 1
N
Ek
N N Ek
1 1
i.e., Ek Ek f d Ek Ek .
N Ek N
MEASURE AND INTEGRATION
229
On E we have f a.e. If E 0, we must have E , since E is
E f d .
E
1 1
E E f d E E.
N E N
E f d .
E
d
Nidkodym derivative of v with respect to . It is denoted by .
d
space [Ref. Definition (1.11)] and v a -finite measure defined on B . Then we can find a
Proof
We prove the existence of 0 and 1 , leaving the uniqueness part to the exercise.
Since and v are -finite measures, so is the measure . Since both and
v are absolutely continuous with respect to , the Radon-Nidkodym Theorem asserts the
E f d , E g d .
E E
B 0. If we define 0 by
0 E E B ,
UNIT III CHAPTER 10
230
we have 0 ( A) 0 and so 0 . Let
1E E A g d .
E A
Then 0 1, and we have only to show that 1 . Let E be a set of measure zero.
Then
0 E f d ,
E
A E 0, and so 1 E A E 0.
___________________
UNIVERSITY QUESTION PAPER
231
M.Sc. (PREVIOUS) DEGREE EXAMINATION, MAY 2008
Mathematics
(ii) Let Y be the unit circle and let f :[0, 2) Y be defined by f (t ) (cos t , sin t ).
Verify that f is one-to-one and onto.
(iii) Let f be defined on [a, b] with m f ( x) M for all x. With the usual notations
prove that m(b a) L( P, f ) U ( P, f ) M (b a),
(6 4 = 24 marks)
Part B
UNIT I
2. (a) Define neighborhood of a point in a metric space. Show that every neighborhood is
an open set.
(b) Show that if p is a limit point of a set E then every neighborhood of p contains
infinitely many points of E.
UNIVERSITY QUESTION PAPER
232
3. (a) Let X, Y, Z be metric spaces, f : X Y and g : Y Z . Show that if f is
continuous at p and g is continuous at f ( p) then h( x) f ( g ( x)) is continuous at
p.
(b) Let f be continuous on [a, b] and differentiable on (a, b). Show that there exists
x (a, b) such that f (b) f (a) (b a) f ( x).
UNIT II
5. (a) Let be increasing on [a, b] . Show that f () on [a, b] if and only if for
every 0 there exists a partition P such that U ( P, f , ) L( P, f , ) .
(b) Show that if f is continuous on [a, b] and is increasing on [a, b] then f ()
on [a, b] .
7. (a) Let An be a sequence of sets of real numbers and m* be the Lebesgue outer
UNIT III
10. (a) Define positive set with respect to a signed measure . Show that if E is
measurable and 0 E , then E contains a positive set A with E 0.
(b) Prove that the union of a countable collection of positive sets is positive.
(4 24 = 96 marks)
_______________________
x y f x f y
f for all x, y (a, b). Prove that f is convex.
2 2
5
(iii) Evaluate x d x x where x denotes the largest integer not greater than x.
0
n
set of finite measure. Show that ai mEi .
i 1
2, x 0
(vi) Prove that f ( x) 2 is measurable.
x , x 0
(6 4 = 24 marks)
Part B
UNIT I
2. (a) For every real x > 0 and every integer n > 0 prove that there is one and only one
real y such that y n x . (8 marks)
(b) If a1, , an and b1, , bn are complex numbers, then show that
2
n n 2 n 2
a j bj a j bj . (8 marks)
j 1 j 1 j 1
(c) Suppose a k
, b k
. Find c k
and r 0 such that x a 2 x b if
3. (a) Let f be a continuous mapping of a compact metric space X into a metric space Y.
Show that f is uniformly continuous on X. (8 marks)
(b) Let f be monotonically increasing on (a, b). Show that f ( x) and f ( x) exist
at every point x (a, b). Further show that
(c) Let f be monotonic on (a, b). Then the set of points of (a, b) at which f is
discontinuous is at most countable. (4 marks)
1
4. (a) State and prove Taylor’s theorem in . (8 marks)
k
(b) Suppose f is a continuous mapping of [a, b] into and f is differentiable in
(a, b). Then there exists x (a, b) such that f (b) f (a) (b a) f ( x) .
UNIVERSITY QUESTION PAPER
235
(8 marks)
(c) Suppose f is defined in a neighborhood of x, and suppose f ( x) exists. Show
f ( x h) f ( x h ) 2 f ( x )
that lim f ( x). Show by an example that the limit
h0 h2
may exist even if f ( x) does not. (8 marks)
UNIT II
5. (a) Show that f () on [a, b] if and only if for every 0 there exists a
partition P such that U ( P, f , ) L( P, f , ) . (12 marks)
(b) Suppose fn is a sequence of functions, differentiable on [a, b] and such that
( i) f n is uniformly bounded on K.
UNIT III
8. (a) State and prove Lebesgue (dominated) convergence theorem. Is the condition
“dominated” necessary. Justify your answer. (12 marks)
9. (a) Let f be an increasing real-valued function on the interval [a, b] .Prove that f
is differentiable almost everywhere and the derivative f is measurable, and
b
(12 marks)
x
10. (a) If f is bounded and measurable on [a, b] and F ( x) f (t ) dt F (a), then
a
(12 marks)
_______________________