27.08.2014 Views

Real and Complex Analysis (Rudin)

Real and Complex Analysis (Rudin)

Real and Complex Analysis (Rudin)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

290 REAL AND COMPLEX ANALYSIS<br />

Suppose (a) is false. Then there is a sequence {lXn} in 0 such that IXn -+ p,<br />

f(1X2n)-+ W1' f(1X 2n + 1)-+ W2' <strong>and</strong> W1 "# W2. Choose Y as in Definition 14.16,<br />

<strong>and</strong> put r(t) = f(y(t», for 0 ~ t < 1. Put Kr = g(i5(O; r», for 0 < r < 1. Then<br />

Kr is a compact subset of O. Since y(t)-+ P as t-+ 1, there exists a t* < 1<br />

(depending on r) such that y(t) ¢ Kr if t* < t < 1. Thus 1 r(t) 1 > r if<br />

t* < t < 1. This says that 1 r(t) 1-+ 1 as t-+ 1. Since r(t2n)-+ W1 <strong>and</strong><br />

r(t2n+ 1)-+ W2' we also have 1 W1 1 = 1 w21 = 1.<br />

It now follows that one of the two open arcs J whose union is<br />

T - ({wd u {W2}) has the property that every radius of U which ends at a<br />

point of J intersects the range of r in a set which has a limit point on T.<br />

Note that g(r(t» = y(t) for 0 ~ t < 1 <strong>and</strong> that 9 has radial limits a.e. on T,<br />

since 9 E H oo • Hence<br />

lim g(reil) = P (a.e. on J), (1)<br />

r-1<br />

since g(r(t»-+ pas t-+ 1. By Theorem 11.32, applied to 9 -<br />

p, (1) shows that<br />

9 is constant. But 9 is one-to-one in U, <strong>and</strong> we have a contradiction. Thus<br />

W1 = W2' <strong>and</strong> (a) is proved.<br />

Suppose (b) is false. If we multiply f by a suitable constant of absolute<br />

value 1, we then have P1 "# P2 butf(P1) =f(P2) = 1.<br />

Since P1 <strong>and</strong> P2 are simple boundary points of 0, there are curves Yi with<br />

parameter interval [0, 1] such that Yi([O, 1» c 0 for i = 1 <strong>and</strong> 2 <strong>and</strong> Yi(l) =<br />

Pi' Put ri(t) =f(Yi(t». Then ri([O, 1» c U, <strong>and</strong> r 1(1) = r 2(1) = 1. Since<br />

g(ri(t» = Yi(t) on [0, 1), we have<br />

lim g(ri(t» = Pi (i = 1,2). (2)<br />

1-1<br />

Theorem 12.10 implies therefore that the radial limit of gat 1 is P1 as well as<br />

P2' This is impossible if P1 "# P2'<br />

IIII<br />

14.19 Theorem If 0 is a bounded simply connected region in the plane <strong>and</strong> if<br />

every boundary point of 0 is simple, then every conformal mapping of 0 onto U<br />

extends to a homeomorphism offi onto U.<br />

PROOF Suppose f E H(O), f(O) = U, <strong>and</strong> f is one-to-one. By Theorem 14.18<br />

we can extendfto a mapping offi into U such thatf(lXn)-+f(z) whenever<br />

{lXn} is a sequence in 0 which converges to z. If {zn} is a sequence in fi which<br />

converges to z, there exist points IXn E 0 such that IlXn - Zn 1 < lin <strong>and</strong><br />

1 f(lXn) - f(zn) 1 < lin. Thus IXn-+ Z, hence f(lXn)-+ f(z), <strong>and</strong> this shows that<br />

f(zn)-+ f(z).<br />

We have now proved that our extension off is continuous on fi. Also<br />

U cf(fi) c U. The compactness of U implies that f(fi) is compact. Hence<br />

f(fi) = U.

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

Saved successfully!

Ooh no, something went wrong!