Selected answers to Bartle's questions in the Measure Theory book.

© All Rights Reserved

Als PDF, TXT **herunterladen** oder online auf Scribd lesen

1,9K Aufrufe

Selected answers to Bartle's questions in the Measure Theory book.

© All Rights Reserved

Als PDF, TXT **herunterladen** oder online auf Scribd lesen

- solution manuals introduction to real analysis( Bartle and Sherbert)
- Homework 4 Solutions
- Homework 1 Solutions
- Problemas Bartle
- bartle-sherbert-real-analysis-solution-manual.pdf
- Bartle, Robert - The Elements of Real Analysis
- Bartle
- R. Bartle-The Elements of Integration and Lebesgue Measure-Wiley (1996).pdf
- Exercisse 2.2 Analisis riil Bartle
- Bartle 8 Beta
- Bartle Introduction to Real Analysis solutions
- Bartle Elements of Integration and Lebesgue Measure
- 284185717-Munkres-Solucionario.pdf
- Bartle - A Modern Theory of Integration
- Introduction to Real Analysis-Bartle & Sherbert 2nd Edition
- Introduction to Real Analysis
- Bartle Introduction to Real Analysis
- R. Bartle, D. Sherbert Instructors Manual - Introduction to Real Analysis
- Doc3
- 104150981 Solution Functional Analysis Kreyszig

Sie sind auf Seite 1von 22

WARNING:

them would be acceptable if you encountered similar problems in another (more advanced)

course but for this course YOUR solutions should be more detailed. If you are using these

to prepare for the test it would be a good idea to check that you can supply all the tiny

details which I did not spell out here. Solutions below is a Guide, not a Bible.

Homework 10

This is the last homework in the course and it contains miscellanious exercises referring to

what you should already know as well as to the material I will be covering in the remaining

6 lectures. This homework is harder than most of the ones you had before, hence, the

deadline is extended until the end of Saturday, 4/22. I will leave an envelope on my office

door where it should be put.

Problems for all.

1. Consider f : R R defined by f (x) = x1/2 (0,1)(x). Let {rn }

n=1 be a fixed

enumeration of the rationals Q and

F (x) =

2n f (x rn ).

n=1

Prove that F is integrable, hence the series defining F converges for almost every

x R. Show that, nevertheless, any F such that F = F a.e. is unbounded in any

interval.

Solution. By Monotone Convergence Theorem

Z

F dx =

Z

X

n=1

f (x rn )dx =

Z

X

n=1

f (x)dx =

X

n=1

1

0

dx

= 2.

x

M > 0 we have ({x I : F (x) > M }) ({x I : f (x rn ) > 2n M }) > 0.

2. Let f, g be integrable functions on Rd . Prove that f (x y)g(y) is measurable and

integrable on R2d.

Solution. By 10.H, F (x, y) = f (x y) is measurable. The function G(x, y) = g(y) is

measurable, becuase measurability of E R implies measurability of R E R2d.

Hence, H(x, y) = f (x y)g(y) is measurable (see p.13 in Bartle). By Tonelli,

Z

Z

Z

|f (x y)g(y)|d(x, y) = |g(y)|

|f (x y)|dx dy = ||f ||1||g||1.

3. Let F (x) = x2 sin(1/x2), x 6= 0, and F (0) = 0. Show that F 0 (x) exists for every x R

but F 0 is not integrable on [1, 1].

Solution. Direct computation shows that

1

cos( x12 ), x 6= 0;

2x sin( x12 ) 2x

0

F (x) =

0,

x = 0.

One way to show that F 0 is not integrable is to prove that F does not have bounded

variation. Alternatively, since the measure of the set {x (0, ) : | cos( x12 )| > 12 } is

R1

R 1

bigger than 3 for every > 0 we have that 1 |F 0 (x)|dx 0 2x

| cos( x12 )|dx = +.

D+ (F )(x) = lim sup

h0+

F (x + h) F (x)

F (x + t) F (x)

= lim sup

+

h

t

h0 t(0,h]

is measurable. Why can one restrict to countably many h in the lim sup above?

Solution. Since F is continuous,

lim

h0+

F (x + t) F (x)

F (x + t) F (x)

sup

=

lim

.

+

t

t

h0 , hQ t(0,h]

t(0,h)

sup

{x (a, b) : D+ (F )(x) > } =

\

hQ+

F (x + t) F (x)

> } =

t

t(0,h]

{x (a, b) : sup

hQ+

hQ+

This set is G , i.e., a countable intersection of open sets, and, hence, it is measurable.

The sets in the curly brackets are open because whenever x is in such a set there will

be an interval around it contained in that set.

5. Give an example of an absolutely continuous strictly increasing function F : [a, b] R

such that F 0 (x) = 0 on a set of positive measure. You will need a fat Cantor set

for that.

Solution. Let C be a fat Cantor set (see one of the extra problems before)

R x and K

be the complement of C in [a, b]. Define F : [a, b] R by F (x) = a K (t)dt.

F is absolutely continuous (as an integral) and, if x > y, then F (x) F (y) =

RClearly,

x

(t)dt

> 0 because K is open and C contains no intervals. On the other hand,

K

y

0

F = K vanishes on a set of positive measure.

Homework 9

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 10.

Problems for all.

Fill in all the details in the proof of Lemma 10.2 and solve problems (10.)H, O, K, S

from Bartles book.

Solutions.

10.2 First, solve 10.D. This follows from

(A1 B1 ) (A2 B2 ) = ((A1 A2 ) (A1 \A2)) ((B1 B2 ) (B1 \B2 ))

((A1 A2 ) (A2\A1 )) ((B1 B2 ) (B2 \B1 )) = (A1 A2 ) (B1 B2 )

(A1 A2 ) (B1 \B2 ) (A1\A2 ) (B1 B2 ) (A1\A2 ) (B1 \B2 )

(A1 A2 ) (B2 \B1 ) (A2\A1 ) (B1 B2 ) (A2\A1 ) (B2 \B1 ) .

Next, prove the first equality in 10.E. This follows from

(A1 B1 )\(A2 B2 ) = ((A1 A2 ) (A1 \A2)) ((B1 B2 ) (B1 \B2 )) \

n

((A1 A2 ) (A2 \A1)) ((B1 B2 ) (B2 \B1 )) = (A1 A2 ) (B1 B2 )

o

(A1 A2 ) (B1 \B2 ) (A1 \A2) (B1 B2 ) (A1 \A2) (B1 \B2 ) \

n

(A1 A2) (B1 B2 ) (A1 A2 ) (B2 \B1 ) (A2 \A1) (B1 B2 )

o

(A2\A1 ) (B2 \B1 ) = (A1 A2 ) (B1 \B2 ) (A1 \A2) B1 .

Finally, apply De Morgans laws in an obvious way and supply the necessary words

which would make the exposition self-contained.

10.H Follows immediately from 2.R (for the first part, you take = E and f (x, y) = xy).

10.K Since D (x, y) = {0} (x y), D B B. Since the Borel -algebra is certainly

smaller than the -algebra in question, we have that D is measurable. Since (Dx ) 1

and (Dy ) 0, we have

Z

Z

1 = (Dx)d 6= (Dy )d = 0.

10.O After correcting the obvious typo, (amn ) form an infinite matrix with +1 on the main

diagonal and 1 on the diagonal above. Therefore, every row in the matrix and every

column but first sum to 0. The sum of the elements in the first column is 1. This

implies the two equalities in 10.O. The integrability condition in this case would be

the absolute convergence of the double sum, which obviously fails.

10.S Here you were supposed to figure out that (E) = 0 if and only if E is contained in

a countable union of lines parallel to coordinate axes, while (E) = 0 if and only if E

is contained in a countable union of lines parallel either to one of the coordinate axes

or the line x + y = 0. As soon as you get this picture all the verifications are trivial.

Extra problems.

10* In the above exercises you have seen a few instances when Tonelli/Fubini fails. Come

up with two more, this time on a compact set in R2 with the usual Lebesgue mesure.

The first example should feature a function such that the double integral is infinite

but both iterated integrals are finite and equal. In the second example both iterated

integrals should be finite but not equal.

Solution. For the first case, we define f : E = [1, 1]2 R by

f (x, y) =

xy

,

(x2 + y 2 )2

in which case

Z

1

Z

Z 1 Z 2

Z 1

| cos sin |

dr

|f (x, y)|dA

d dr = 2

= +.

r

E

0

0

0 r

For the second case, we define f : E = [0, 1]2 R by

f (x, y) =

2n

n=0

n=1

Z 1 Z 1

f (x, y)dx dy = 0, but

0

1 Z 1

Z

0

Homework 8

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 9.

Problems for all.

Solve problems (9.)C, I, M, K, S on pp. 108112 of Bartles book.

Solutions.

9.C. For every M > 0, we have (a, a + M ]

l((an, bn]) M,

n=1

9.I. In this exercise, I really wanted you to also solve the previous two as well. So I provide

the solution of all three.

First, let l(A) < + and En = [an , bn), n N be such that

l(A)

n=1

(an , bn + 2n2 ) to

n=1

()

m

which together with A G1/m , m N, implies the first of the equalities in 9.I.

Next, let Bn = In \An and Kn = In \G , where In = [n, n + 1] and An = A In . Then

Kn Bn implies l(Kn ) l (Bn ) and

l(Bn ) = 1 l (An ) 1 l (G) l(Kn )

proves 9.H. Taking = 2|n| /m, m N, we get

()

l(A) = lim

m

X

n

l (K1/m

).

n=m

Since a finite union of compact sets is compact we get the second equality in 9.I.

Now, observe that if l(A) = + there is almost nothing to prove. The only thing

left is to find a compact subset of A of arbitrarily big measure. This is easily done by

taking a sequence of sets of finite measure increasing to A and using what we already

proved.

9.K. The first assertion follows immediately from (*) and by taking B =

second assertion follows immediately from (**) and by taking C =

G1/m . The

m=1

m,n=1

n .

K1/m

9.M. (i) follows since any nonempty open set contains an interval; (ii) follows since any

compact set in R is contained in a finite union of intervals of finite length; (iii) is

obviously valid for intrervals and extends to B via, say, the first equality in 9.I.

9.S. Follow carefully the proof of lemma 9.3. You will have to use right continuity of g in

the end.

Extra problems.

9*

f () = {x X : |f (x)| > }

Show that

||f ||pp

pp1 f ()d.

0

Z

p

0

p1

f ()d =

+

0

p

X

p1

E dd =

Z Z

X

|f (x)|

because it paves way to the study of weak Lp spaces (see, e.g., Follands book).

Homework 7

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 7 and 8.

Problems for all.

Solve problems (7.)N, Q on p. 78 and (8.)M, N, V on pp. 9495 of Bartles book.

Solutions.

7.N. As I indicated in my e-mail, you are supposed to do the following. Let (fn ) be a sequence of functions in M + that converges in measure to f M + (which means among

other things that these

R functions areR essentially real valued rather than extended real

valued). Show that f d lim inf fn d.

The following is a WRONG proof, but it will do you good to find an error. Clearly,

it is enough to show that f = lim inf fn and apply the usual Fatous lemma. Let fnk

be a subsequence of the original sequence such that lim fnk (x) = lim inf fn (x) a.e. We

still have that fnk converges to f in measure. Therefore, there is a subsequence of fnk

which converges a.e. to f . But the a.e. limit is a.e. unique. Therefore we must have

f = lim inf fn a.e. Let

And now the proof that is supposed

to be correct.

R

R Let fnk be a subsequence of the

original sequence such that lim fnk d = lim inf fn d. Let fnkj be a subsequence of

the sequence fnk which converges to f a.e. (Theorem 7.6) Applying the usual Fatous

lemma we get

Z

Z

Z

Z

Z

f d = lim fnkj d lim inf fnkj d = lim fnk d = lim inf fn d.

7.Q. As usually, let En = {x X : |fn (x) f (x)| }, > 0, n N. Observe that for

x En

1.

1+

1 + |fn (x) f (x)|

This implies that

(En ) =

d

En

1+

Z

En

|fn f |

1+

d

r(fn f ),

1 + |fn f |

which, in turn, yields the first of the required implications. Notice that for this

direction you do not need that (X) < +. The opposite implication follows from

the following inequalities:

Z

Z

|fn f |

|fn f |

r(fn f ) =

d +

d

1 + |fn f |

c

En 1 + |fn f |

En

Z

d +

En

Z

c

En

d (En ) + (X).

1+

with respect to because (E) = 0 implies

R

P

E = . R Again in both cases E f d =

xE f (x). In particular, if we assume

(E) = f d, we get 0 = ({x}) = f (x) which yields = 0. This, clearly, is a

contradiction. The problem is that is not a -finite measure.

8.N. By Radon-Nikodym Theorem,

(E) =

By linearity of an integral we have

Z

E d =

d =

E f d.

f d

for all simple functions . It remains to apply the monotone convergence theorem.

8.V. There are a few little details to check here. First of all, G(f + g) = G(f ) + G(f )

by linearity of the integral. Secondly, G(f ) = 0 iff f = 0 a.e. and, hence, ||G|| > 0.

Next, G is positive by definition and

Z

Z

Z

1/2

Z

2

f d |f |d |f |d

|f | d

((X))1/2

implies ||G|| < +. By the baby RRT, there exists g L2 () such that

Z

Z

f d = f gd, f L2 ().

R

RHence, forR f = E , E measurable, (E) = E gd implies g 0. Hence, (E) =

E gd + E gd and, taking E = {x : g(x) 1} or E = {x : g(x) = 1}, we get g 1

-a.e. and {x : g(x) = 1} = 0. Hence, for nonnegative h L2 () we have

Z

Z

Z

Z

G(h) = hd = hgd = hgd + hgd

and, consequently,

h(1 g)d =

hgd.

Since all simple functions are in L2 we get that the above equality for all h M + due

to Monotone Convergence Theorem. The rest is in the text.

Extra problems.

8*

A function f : [0, 1] R is called absolutely continuous if for every > 0 there exists

> 0 such that any finite collection of mutually disjoint subintervals (ak , bk ) [0, 1],

k = 1, 2, . . ., n, for which

n

X

(bk ak ) < ,

k=1

satisfies

n

X

k=1

a uniformly continuous function which is not absolutely continuous.

Comment I will probably find time to do this in class.

Homework 6

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 5 and 6.

The due time for this homework is 11.30 am, March 2 sharp. No exclusions

will be made.

Problems for all.

Solve problems (5.)I, O, R on pp. 4950 and (6.)J, O on pp. 6263 of Bartles book.

Solutions.

5.I. If f is integrable,

then the real and imaginary parts, <f and =f , are also integrable.

p

Since |f | = (<f )2 + (=f )2 2 max{|<f |, |=f |}, |f | is measurable (as a composition

of a continuous and measurable functions) and integrable by Corollary (5.4).

Assume now that |f | is integrable. Since f is measurable by assumption, so are <f

and =f . Also |<f | |f | and |=f | |f | imply that <f and =f are integrable and,

hence, f is.

R

Let f d = rei with r, R, r 0. Then

Z

Z

Z

Z

i

r = f d = e f d = (<f cos + =f sin ) d |f |d,

where we used the following simple relations:

|f |2 (<f cos + =f sin )2 = (<f sin =f cos )2 0.

5.O. Let sm =

m

P

n=1

|fn |. By MCT,

n=1

sd = lim

m

sm d = lim

m

m Z

X

|fn |d =

n=1

Z

X

|fn |d < .

n=1

Hence, s is integrable and can attain infinite value only on a set of measure 0. This

m

P

implies that

fn s converges a.e. and applying LDCT we obtain the desired

n=1

which we will learn in full generality towards the end of the course.

5.R. (sketch) First,

|f (x, t1)| |f (x, t0)| + g(x)|t1 t0 |

implies that f (x, t1 ) is integrable on X. Second,

|f (x, t)| |f (x, t1)| + g(x)|t1 t|

implies that f (x, t) is integrable on X for every t [a, b]. Let F (t) =

The final step is exactly the same as in the proof of Corollary 5.9.

f (x, t)d(x).

10

E1

X

X

1X

+

nEn

(n 1)En |f |

nEn .

2

n=2

n=1

n=1

2p

np (En ) + (E1 )

|f |pd

n=2

np (En ).

n=1

6.O. It is easily seen that g0 is measurable and straightforward computation shows that

Z

Z

q

p

|g0| d = cq |f |(p1)q d = ||f ||p

p ||f ||p = 1 and

Z

Z

p

q

f g0 d = c|f |pd = ||f ||p

= ||f ||p.

p

Extra problems.

7*

Let (X, X, ) be a measure space with (X) = 1 and : R R be a convex function.

Then for every integrable function f M + (X, X, )

Z

Z

( f d) ( f )d.

Solution. By monotone Convergence theorem, its enough to restrict our attantion to

P

step functions. Let =

ciEi be a step function in standard representation. Using

Jensens inequality for sums (see, e.g. http://mathcircle.berkeley.edu/trig/node2.html)

we get

Z

Z

X

X

d =

ci (Ei )

(ci)(Ei ) = ( )d.

R

(b) Let f Lp (Rn ), 1 p , g L1(Rn ), and h(x) = f g(x) = f (x y)g(y)dy

be the convolution of f and g. Use Jensens inequality to show that ||h||p ||f ||p||g||1.

Solution. For p = the proof is obvious. WLOG kgk1 = 1. Then, for 1 p <

the function = xp is convex on [0, ) and we can use Jensens inequality with

d = |g(y)|dy:

p

p

Z Z

Z Z

f (x y)g(y)dy dx

|f (x y)g(y)|dy dx

ZZ

|f (x y)|p |g(y)|dydx =

Z Z

11

Homework 5

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 4.

Problems for all.

Solve problems (4.)J, K, L, O, R on pp. 3739 of Bartles book.

Solutions.

4.J. (a) Let fn = n1 [0,n] . For every > 0 and x R there exists N > 1 such that

|fn (x)| < for every n > N . Hence, fn converges to f = 0 uniformly. However,

Z

Z

0 = f d 6= lim fn d = 1.

The MCT does not apply because the sequence is not monotone increasing. Fatous

lemma obviously applies.

(b) Let gn = n[ 1 , 2 ] , g = 0. Again,

n n

0=

gd 6= lim

gn d = 1.

However, this time convergence is not uniform (apply the definition). The MCT still

does not apply because the sequence is not monotone increasing and Fatous lemma

does apply.

4.K. f M + by Corollary 2.10 and the usual properties of the limit. Moreover, for a given

> 0 let N N be such that sup |f (x) fn (x)| < for all n > N . Then

Z

Z

Z

f d fn d d = (X)

implies the desired equality.

4.L. See Prof. Wilsons handout.

4.O. Apply Fatous lemma to fn + h.

4.R. Let n be an increasing sequence of real-valued step functions that converges to f

kn

P

pointwise. Let n =

j,n Ej,n be the canonical representation of n . Clearly,

j=1

[

N=

{x X : n (x) > 0} =

nN

Extra problems.

kn

[ [

nN j=1

Ej,n

For f M + and E = {x X : f (x) },

(E)

f d.

Z

Z

Z

1

1

1

f d

d = (E).

f d

E

E

12

13

Homework 4

Again, although, I want you to submit only the problems below (+ the extra, if you

want), I strongly recommend to you to look at ALL the problems after chapter 3.

Problems for all.

Solve problems (3.)C, J, M, Q on pp. 2326 of Bartles book and the following problem

3.W.

3.W. Show that a -a.e. limit of a sequence of functions is not necessarily unique or

measurable.

Solutions.

3.C. This is a standard way of constructing a new measure (metric, norm...) from a

P

n

sequence of existing ones. Clearly, (E) 0 and (X) =

1 = 1. The

n=1 2

countable additivity follows from

(

Em ) =

m=1

2n n (

n=1

Em ) =

m=1

X

X

X

X

2n n (Em ) =

n=1 m=1

2n n (Em ) =

m=1 n=1

(Em).

m=1

The interchange of the order of summation is permitted because the double series

converges absolutely.

T

S

T

3.J. Recall that lim sup En =

En :=

Fm . Since Fm is a decreasing family of

m=1 n=m

m=1

(lim sup En ) = (

m

m=1

[

n=m

m nm

If (Fm ) = for all m, the counterexample provided in class still works: for (R, 2R, )

where is the counting measure, and En = [ n1 , n1 ] we have

lim sup (En ) =

but

(lim sup En ) = 1.

3.M. This is a preview of the difference between Borel measurability and Lebesgue measurability, since Lebesgue -algebra (measure) is, indeed, the completion of Borel

-algebra (measure).

Let (X, X, ) be a measure space, Z = {F X : (F ) = 0}, and X0 = {E Z, E

+ defined

X, Z F Z} be the completion of X. We need to show that 0 : X R

0

0

by (E Z) = (E) is a measure on (X, X ). Below are the steps we need to verify:

0 is well-defined, i.e., if E Z = E 0 Z 0 then (E) = (E 0).

0 is countably additive, i.e.,

0

[

n=1

(En Zn )

X

n=1

0 (En Zn ).

14

and E E 0 F 0 , which implies (E 0) (E) + (F ) and (E) (E 0) + (F 0 ).

Since F, F 0 Z, we clearly have (E) = (E 0).

The second one is equally easy:

(En Zn )

= 0

n=1

En

n=1

En

n=1

(En ) =

n=1

Zn

!!

n=1

0 (En Zn ),

n=1

where we used the fact that a countable union of measure-zero sets also has measure

zero.

3.Q. This is one of the first steps on the road leading to the decomposition of charges or

functions with bounded variation. I am not sure how much of this road we will be

able to cover but it is worth knowing that it exists.

Clearly, theSonly property to be verified is countable additivity of .

S

N

n=1 En =

j=1 Aj . Then sub-additivity follows easily from

En

= sup

n=1

N

X

j=1

N

X

|(Aj )| = sup

j=1

[

n=1

Let E =

!

(Aj En ) =

N X

X

X

X

X

sup

(A

E

)

sup

|(A

E

)|

=

(Aj En ).

j

n

j

n

j=1 n=1

n=1

j=1

n=1

Again, change of the order of summation is permissible because the definition of the

charge implies that the series converges unconditionally and, hence, absolutely.

The reverse inequality is trickier. Consider a sequence (aj ) of real numbers such that

aj <S(Ej ). By the definition

P of , for each j N, there

S exists a finite partition

E = Ai,j such that aj

|(Ai,j )|. Observe that E = Ai,j implies that

i

X

j

aj

X

i,j

i,j

|(Ai,j )| = sup

i,j

|(Ai,j )| (E).

finite

Finally, taking the sup over all such sequences (aj ) we obtain the desired inequality.

3.W. Follows immediately from an example in 3.V.

Extra problems.

4* Solve problem 3.U. on p. 26 of Bartles book.

Solution. See, for example, http://classes.yale.edu/fractals/Labs/PaperFoldingLab/FatCantorSet.html

15

5* Give an example of an additive but not -additive measure, i.e., a function which

satisfies Definition 3.1 on p.19 except that formula (3.1) remains true for finite unions

and sums but fails for a countable union.

Sketch. Let X = [0, 1] Q, and X be the restriction of the Borel -algebra to X.

For a, b X, define ((a, b) X) = b a. Its not too hard to see that extends

additively but

X

1 = (X) 6=

({r}) = 0.

rQ

16

Homework 3

This set is the first from the Bartles book. Although, I want you to submit only the

5 problems below (+ the extra, if you want), I strongly recommend to you to look at ALL

the problems after chapter 2.

Problems for all.

Solve problems (2.)B, H, K, O, P on pp. 1417 of Bartles book.

Solutions.

2.B. Follows from the fact that

(a, b) =

(a, b

1

] and

n

"

n=1

2.H. By definition,

A = lim inf An =

[

m=1

An

and

n=m

B = lim sup An =

\

m=1

"

An .

n=m

S

We have (x A) ((m N)((n m)(x An ))) ((m N)(x

n=m An )).

Hence, A B. The sequence An = N\{n} is a non-monotonic example of A = B = N.

The sequence An = 2N if n is even and An = 2N 1 if n is odd gives A = and

B = N = X.

2.K. We need to calculate the inverse images A = {x X : fA (x) > }. We have

< A;

X,

1

A =

f ((, +)), A < A;

,

A .

Clearly, these sets are measurable.

2.O. We first solve the preceding exercise. Let Y = {E Y : f 1 (E) X}. Since

f 1 () = and f 1 (Y

c ) = X, we have that both and Y are in Y. Next,

Sif E Y,

1

c

1

1

f (E ) = f (E) X. Finally, if En Y, n N , we have f ( n=1 En ) =

S 1

(En ) X. This implies that Y is a -algebra. Now F is in the smallest

n=1 f

-algebra that contains A. Therefore, F Y and the statement follows.

2.P. Follows immediately from 2.B and 2.O.

Extra problems.

3* Solve problem 2.W. on p. 18 of Bartles book.

Solution. Let A consist of An = [n, +). Then A 6= M because =

and M 6= S because Acn

/ M for any n N.

n=1

An

/A

17

Homework 2

Problems for all.

This set seems to be easier than the first one but contains many facts and examples

that I feel necessary for you to know. In the last 3 problems do not forget to prove that the

examples you provide work.

1. Solve problem 17 on p.133 of Rosenlichts book. You only need to add a few words to

the proof you shoud have had in a calculus course.

Solution. Since u0 and v 0 are continuous, the integrals on both sides make sence and

d

the FTC applies to the function f (x) = u(x)v 0(x) + v(x)u0(x) = dx

(u(x)v(x)):

Z

f (x)dx =

b

0

u(x)v (x)dx +

a

a

oportunities in this course to explore geometric applications of integral calculus - so

let us seize one when it presents itself.

Solution. By definition, the length `(f ) of the curve defined by the vector function f

is

v

N uX

N

X

X

u n

t (fj (xi ) fj (xi1 ))2 =

`(f ) = sup

d(f (xi1), f (xi)) = lim

P

xi 0

i=1

i=1

j=1

v

v

N uX

N uX

X

X

u n

u n 0

0

2

t

t (f (xi ) + o(1))2xi =

lim

((fj (xij ))xi) = lim

j

xi 0

i=1

xi 0

j=1

i=1

j=1

uX

Z

N

X

u n 0

t (f (xi ))2 + o(1) xi =

lim

j

xi 0

i=1

j=1

n

bu

uX

a

(fj0 (x))2dx,

j=1

where we used the triangle inequality to replace the sup with the lim, the celebrated Mean Value Theorem, and, finally, boundedness and the uniform(!) continuity

of the integrand to justify our manipulations with o(1).

3. Solve problem 21(a) on p.134 of Rosenlichts book. Hint: express the sum as a Riemann sum of a certain integral.

Solution. The sum in the limit is precisely the upper DArboux sum for the function

f : [0, 1] R, f (x) = xk associated with the uniform n-element partition of [0, 1].

Hence,

Z 1

n

1k + 2 k + + n k

1X j k

1

lim

= lim

=

xk dx =

.

k+1

n

n n

n

n

k+1

0

j=1

1

lim lim fn (x) = 1 6= 0 = lim lim fn (x).

x0 n

n x0

18

Solution. Consider the sequence of hat functions defined on p. 138 of Rosenlichts

book

1

0 x 2n

;

4n2 x,

1

2

fn =

4n 4n x, 2n < x n1 ;

1

0,

n < x 1.

R

and let gn = nfn . Clearly, gn 0 pointwise but gn = n.

6. Solve problem 5 on p.161 of Rosenlichts book. This might be tricky but not too much

so.

Solution. Let f : [0, 1] R be the Riemann function defined on p.90, Problem 1(d), of

1

Rosenlichts book (see also the previous homework set). Define the sequence fn = f n .

These functions are all integrable (see the proposition about composite functions that

we proved in class). However the pointwise limit is the Dirichlet function which is

discontinuous at every point and, therefore, not (Riemann) integrable.

Extra problems.

Lets see if you are up to Bartles hope (see p.2).

nx

2* Let fn = ex . Show that fn 0 pointwise but not uniformly on (0, +). Show that,

R

nevertheless, In 0, where In = 0 fn (x)dx.

Sketch. The convergence fn 0 is, indeed, not uniform because

lim fn (x) =

x0+

for all n N. Therefore, for every N N there exists x (0, ) such that fN (x) > 1.

This, obviously, contrudicts the definition of uniform convergence. However, using the

change of variable formula, we get

Z 1

Z

Z y

Z

e

1

1

1

1

y

In =

fn (x)dx =

e dy = (2+e1 ) 0.

dy

dy +

n 0

y

n

y

n

0

0

1

19

Homework 1

Problems for all. Last time the first homework was a warm-up. This one is a bucket

of cold water.:) Unlike the exam situation, however, I promise to help.

1. Let f be (Riemann) integrable and concave on [a, b]. Show that

Z b

f (a) + f (b)

a+b

(b a)

f (x)dx (b a)f

.

2

2

a

Solution. Let us first prove the inequality

(b a)

f (a) + f (b)

Z

b

a

f (x)dx.

a

f (b)f (a)

(x

ba

f (a) + f (b)

(x)dx = (b a)

f (x)dx.

a

To prove the second inequality we use a different method (there might be easier ones

but I thought it would be useful for you to see the one below).

Since f is concave and integrable, we can use a specific sequence of Riemann sums to

obtain

Z b

2n

X

1 ba ba

f (x)dx = lim

f a + (k )

=

n

2 2n

2n

a

k=1

n

1 ba

ba X

1 ba

lim

f a + (k )

+ f a + (2n k + )

n 2n

2 2n

2 2n

k=1

ba X

lim

2f

n 2n

k=1

a+b

2

= (b a)f

a+b

2

The points in the Riemann sum are computed as midpoints of subintervals of length

ba

2n that partition [a, b].

2. This one is in a sense a preview of one of the main theorems on Riemann integrability

that will be covered in class. If the theorem is covered before this homework is due,

do not just quote it. Prove the statement below with bare hands.

Let f be the Riemann function defined on p.90, Problem 1(d), of Rosenlichts book.

Show that f is integrable on any finite interval. Can you compute the integral? (You

can assume that the set Q is countable.)

Solution. From the solution of the cited problem (see last semesters homework), we

know that the set of discontinuities of f is precisely Q. Since the set of rationals is

countable, it has measure 0. This implies integrability of f . To see this directly, we

will show that for any fixed > 0 there exists a partition of [0, 1] such that U (P, f ) <

(WLOG, we can assume [a, b] = [0, 1]). Since L(P, f ) = 0 for all P , this would imply

integrability of f .

20

From the definition of f we see that there are only finitely many points yi , i = 1, . . . , N ,

for which f (yi ) > 2 . Let these points be centers of the intervals Ii = (yi 2i2 , yi

2i2 ) and P be a partition containing the end points of these intervals. Then

N

U (P, f )

X i1

2

< .

+

2

i=1

3. Solve problem 8 on p.133 of Rosenlichts book. This may help you to solve the extra

problem.

Solution. First of all observe that since f is defined and monotonic on the closed

interval [a, b], it is bounded. Again WLOG [a, b] = [0, 1] and f is increasing. For each

n N let us choose a uniform partition Pn = {xj = nj , j = 0, . . ., n}. Then

n

1X

U (Pn , f ) =

f (xj )

n

1X

L(Pn , f ) =

f (xj1 ).

n

and

j=1

j=1

U (Pn , f ) L(Pn , f ) =

f (xn ) f (x0)

2M

.

n

n

4. Solve problem 13 on p.133 of Rosenlichts book. You may want to look at problem

12 to get some ideas. Some of you may notice some connection with the Gelfands

spectral radius formula (dont worry, if youve never heard about it before).

Solution. Above I mentioned the spectral radius formula, but a more significant reason

to look at this formula is the fact (probably, known to some of you) that the integrals

on the left hand side of the formula gives rise to norms in Lp spaces for p = n N,

while the formula on the right hind side is essentially the L norm. We will learn

quite a bit about these spaces later in this course.

First observe that

Z

n1

b

n

(f (x)) dx

Z

n1

1

max (f (y)) dx

= (b a) n max (f (x))

n

a y[a,b]

x[a,b]

implies LHS RHS. On the other hand, for a given > 0 let [c, d] [a, b] be such

that

max (f (y)) f (x)

y[a,b]

Z

(f (x)) dx

n1

Z

(f (x)) dx

n1

(d c) n ( max f (y) )

y[a,b]

21

attempts to make you comfortable with abstract material. To me, this is the easiest

problem in this set.

Solution. We need to show that

> 0 such that whenever

R for any >R 0 there exists

b

b

||f g||C([a,b]) < we have a f (x)dx a g(x)dx < . Since ||f g||C([a,b]) =

R

R

b

b

max |f g|(x) and a (f (x) g(x)) a |f g|(x)dx, the result follows.

x[a,b]

Extra problems.

This time, a relatively easy one.

1* Solve problem 1 without assuming integrability of f .

Comment. Its enough to observe that [a, b] can be decomposed on at most two

intervals on each of which f is monotonic.

- solution manuals introduction to real analysis( Bartle and Sherbert)Hochgeladen vonSanjeev Shukla
- Homework 4 SolutionsHochgeladen vonstett
- Homework 1 SolutionsHochgeladen vonEbjd Jjbdksbf
- Problemas BartleHochgeladen vonLucius Adonai
- bartle-sherbert-real-analysis-solution-manual.pdfHochgeladen vonchuptong
- Bartle, Robert - The Elements of Real AnalysisHochgeladen vonMsappropriate
- BartleHochgeladen vonLucius Adonai
- R. Bartle-The Elements of Integration and Lebesgue Measure-Wiley (1996).pdfHochgeladen vonLidija Slovic
- Exercisse 2.2 Analisis riil BartleHochgeladen vonRifda Kharisma Putri
- Bartle 8 BetaHochgeladen vonalfred2569
- Bartle Introduction to Real Analysis solutionsHochgeladen vonAlexandre St-Pierre
- Bartle Elements of Integration and Lebesgue MeasureHochgeladen vonpaimfp
- 284185717-Munkres-Solucionario.pdfHochgeladen vonJhonatan Orlando
- Bartle - A Modern Theory of IntegrationHochgeladen vonsaradha_ramachandran
- Introduction to Real Analysis-Bartle & Sherbert 2nd EditionHochgeladen vonRyan Hui
- Introduction to Real AnalysisHochgeladen vonbkjr2008
- Bartle Introduction to Real AnalysisHochgeladen vonCherre Renee Jefferson
- R. Bartle, D. Sherbert Instructors Manual - Introduction to Real AnalysisHochgeladen vonAnonymous dkML2wzU
- Doc3Hochgeladen vonSanjeev Shukla
- 104150981 Solution Functional Analysis KreyszigHochgeladen vonrossane_g
- Analysis Book BSc(HONS) MATHEMATICS DELHIUNIVERSITY.Hochgeladen vonSanjeev Shukla
- Real Analysis Rudin Solution Manual(1-8)(10-13)Hochgeladen vonGiorgos Markou
- solution_manual_elias_m-_stein_rami_shakarchi-real_analysis.pdfHochgeladen vonspaul4u
- Solutions : Stein and Shakarchi, Complex AnalysisHochgeladen vonNicolas Bourbaki
- Problems-and-Solutions-For-Complex-AnalysisHochgeladen vonMete Torun

- Chôros Typico - H. Villa-LobosHochgeladen vonstett
- Isac Saleh - Vampire Killer - Guitar ArrangementHochgeladen vonstett
- Dark world.pdfHochgeladen vonstett
- Star EyesHochgeladen vonstett
- Foggy Dew BouzoukiHochgeladen vonstett
- 09 Monopoly, Oligopoly and Monopolistic CompetitionHochgeladen vonstett
- Poriv - TablatureHochgeladen vonstett
- 14280051 Bakunin 1873 Statism and AnarchyHochgeladen vondynamoid
- Efficiency and ExchangeHochgeladen vonstett
- 08 the Invisible Hand in ActionHochgeladen vonstett
- Manfredo Do Carmo - Differential Geometry of Curves and Surfaces (1976)Hochgeladen vonMatthew Billy Shears Myrah
- 06 Perfectly Competitive SupplyHochgeladen vonstett
- Chapter ReviewsHochgeladen vonstett
- Short Math Guide for LaTeXHochgeladen vonJeff Pratt
- Bartle Elements of IntegrationHochgeladen vonAaron Aragon Maroja
- Transcription -Evan Marien ; Havona (Arrangement)Hochgeladen vonstett
- ElasticityHochgeladen vonstett
- Comparative AdvantageHochgeladen vonstett

- sample1.pdfHochgeladen vonSara Afify
- Math 132 Master SyllabusHochgeladen vonhassaniqbal84
- Chapter 2 OdeHochgeladen vonclaire
- 84-AbsoluteandConditionalConvergenceHochgeladen vonapi-3738981
- Applied Mathematics -II (Cc)Hochgeladen vonZain Ulabideen
- mws_gen_pde_txt_parabolic.docHochgeladen vonJoan Mary
- Syllabus b.sc MathsHochgeladen vonAaditya Kiran
- Area Under GZ Curve - Boat Design ForumsHochgeladen vonMuhammad Anis Basiran
- 14 - Fourier SeriesHochgeladen vonAriana Ribeiro Lameirinhas
- 04-Panel Methods(Theory and Method)Hochgeladen vonlarasmoyo
- 50g Symbolic DifferentiationHochgeladen vonAlex Ancajima
- Control - Dr.refky Slides 5Hochgeladen vonAbdelrahman ElNaggar
- Rap God Presentation.docxHochgeladen vonQuinn Mattison
- MA1506 Tutorial 7 SolutionsHochgeladen vonJim Hippie
- Chapter 3 Laplace Transform W8Hochgeladen vonMohamad Shahrom
- ODE Lecture 1Hochgeladen vonpet
- KawasakiHochgeladen vonhanungmat
- Analysis IIIHochgeladen vonSanjeev Shukla
- Cálculo de ObservacionesHochgeladen vonrikabe70
- Chap 2 SolutionsHochgeladen vonOm Pal
- 1 Laplace Transforms - Notes.pdfHochgeladen vonSbo
- __Wiki-Complex Analysis - Wikipedia, The Free EncyclopediaHochgeladen vonsiriusgr
- Ubc Math 200 Summer Midterm 1dHochgeladen vonSamantha
- Chapter 4Hochgeladen vonmorry123
- PHY103_Lec_19Hochgeladen vonShreya
- Differential Equations Midterm 1 v1 SolutionsHochgeladen vonRodney Hughes
- MTH 205 Spring 2015 Syllabus (1)Hochgeladen vonKashif Ahmed
- DOLFIN for Solving PDE With FEHochgeladen vonJohn Vardakis
- The Laplace Integral OperatorsHochgeladen vonrodwellhead
- Business MathematicsHochgeladen vonSunil Shekhar Nayak