06.01.2015 Views

The Real And Complex Number Systems

The Real And Complex Number Systems

The Real And Complex Number Systems

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3. Here is another proof on (b).<br />

Proof: Given any point x S, and thus consider f n x S. <strong>The</strong>n there is a<br />

convergent subsequence f nk x, say its limit p, sinceS is compact. Consider<br />

dfp, p d f limf nk x , limf nk x<br />

k k<br />

and<br />

Note that<br />

d limff nk x, limf nk x by continuity of f at p<br />

k k<br />

limdf nk1 x, f nk x 1<br />

k<br />

df nk1 x, f nk x ... df 2 f nk1 x, ff nk1 x. 2<br />

limdf 2 f nk1 x, ff nk1 x<br />

k<br />

d limf 2 f nk1 x, limff nk1 x<br />

k k<br />

d f 2 limf nk1 x , f limf nk1 x by continuity of f 2 and f at p<br />

k k<br />

df 2 p, fp. 3<br />

So, by (1)-(3), we know that<br />

fp, fp df 2 p, fp p fp<br />

by hypothesis<br />

dfx, fy dx, y<br />

where x y. Hence, f has a unique fixed point p by (a) in Exercise.<br />

Note. 1.Ifx n x, andy n y, then dx n , y n dx, y. Thatis,<br />

lim n<br />

dx n , y n d lim n<br />

x n , lim n<br />

y n .<br />

Proof: Consider<br />

dx n , y n dx n , x dx, y dy, y n and<br />

dx, y dx, x n dx n , y n dy n , y,<br />

then<br />

|dx n , y n dx, y| dx, x n dy, y n 0.<br />

So,wehaveproveit.<br />

2. <strong>The</strong> reader should compare the method with Exercise 4.72.<br />

4.72 Assume that f satisfies the condition in Exercise 4.71. If x S, letp 0 x,<br />

p n1 fp n ,andc n dp n , p n1 for n 0.<br />

(a) Prove that c n is a decreasing sequence, and let c limc n .<br />

Proof: Consider<br />

c n1 c n dp n1 , p n2 dp n , p n1 <br />

dfp n , fp n1 dp n , p n1 <br />

dp n , p n1 dp n , p n1 <br />

0,<br />

so c n is a decreasing sequence. <strong>And</strong> c n has a lower bound 0, by Completeness of R,<br />

we know that c n is a convergent sequence, say c limc n .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!