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.

CONFORMAL MAPPING 283<br />

Under these conditions, the inverse of cP is hoi om orphic in Q 2 (Theorem 10.33)<br />

<strong>and</strong> hence is a conformal mapping of Q 2 onto Ql.<br />

lt follows that conformally equivalent regions are homeomorphic. But there<br />

is a much more important relation between conform ally equivalent regions: If cP<br />

is as above,f--4 f 0 cP is a one-to-one mapping of H(Q 2) onto H(Q 1 ) which preserves<br />

sums <strong>and</strong> products, i.e., which is a ring isomorphism of H(Q2) onto H(Q 1 ).<br />

If Q 1 has a simple structure, problems about H(Q 2 ) can be transferred to problems<br />

in H(Q 1 ) <strong>and</strong> the solutions can be carried back to H(Q 2) with the aid of the<br />

mapping function cpo The most important case of this is based on the Riemann<br />

mapping theorem (where Q 2 is the unit disc U), which reduces the study of H(Q)<br />

to the study of H(U), for any simply connected proper subregion of the plane. Of<br />

course, for explicit solutions of problems, it may be necessary to have rather<br />

precise information about the mapping function.<br />

14.8 Theorem Every simply connected region Q in the plane (other than the<br />

plane itself) is conformally equivalent to the open unit disc U.<br />

Note: The case of the plane clearly has to be excluded, by Liouville's<br />

theorem. Thus the plane is not conformally equivalent to U, although the two<br />

regions are homeomorphic.<br />

The only property of simply connected regions which will be used in the<br />

proof is that every holomorphic function which has no zero in such a region has<br />

a holomorphic square root there. This will furnish the conclusion" U) implies (a)"<br />

in Theorem 13.11 <strong>and</strong> will thus complete the proof of that theorem.<br />

PROOF Suppose Q is a simply connected region in the plane <strong>and</strong> let Wo be a<br />

complex number, Wo ¢ Q. Let 1: be the class of all rjJ E H(Q) which are oneto-one<br />

in Q <strong>and</strong> which map Q into U. We have to prove that some rjJ E 1:<br />

maps Q onto U.<br />

We first prove that 1: is not empty. Since Q is simply connected, there<br />

exists a cp E H(Q) so that cp2(Z) = Z - Wo in Q. If cp(Z 1) = CP(Z2), then also<br />

cp2(ZI) = cp2(Z2)' hence ZI = Z2; thus cp is one-to-one. The same argument<br />

shows that there are no two distinct points ZI <strong>and</strong> Z2 in Q such that CP(Zl) =<br />

-CP(Z2). Since cp is an open mapping, cp(Q) contains a disc D(a; r), with<br />

o < r < 1 a I. The disc D( - a; r) therefore fails to intersect cp(Q), <strong>and</strong> if we<br />

define rjJ = r/(cp + a), we see that rjJ E 1:.<br />

The next step consists in showing that if rjJ E 1:, if rjJ(Q) does not cover all<br />

of U, <strong>and</strong> if Zo E Q, then there exists a rjJ 1 E 1: with<br />

It will be convenient to use the functions CPa defined by<br />

Z-Q(<br />

CPa(Z) = -1 --•<br />

- Q(Z

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

Saved successfully!

Ooh no, something went wrong!