MATH502_HW7 - Serge Ballif MATH 502 Homework 7 March 21,...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Serge Ballif MATH 502 Homework 7 March 21, 2008 (1) (The inverse function theorem) Let U and V be open subsets of C and let f : U V be a holomorphic bijection. Show that f is a homeomorphism (that is, show that the inverse function f - 1 is continuous; use the open mapping theorem). Show further that f is a biholomorphic equivalence (that is, show that f - 1 is differentiable). Since f is a bijection, the inverse function f - 1 : V U exists and is also a bijection. For simplicity of notation, rename f - 1 = g . Claim 1. g is continuous. Proof. Since f is a bijection, each subset of U can be written in the form g ( W ) for some unique subset W V . Note that f is a nonconstant holomorphic map on an open set. Thus, f is an open map (by the open mapping theorem). Therefore, if g ( W ) is an open subset of U , g - 1 ( g ( W )) = f ( g ( W )) = W is an open subset of V . Therefore, g is a continuous function. Claim 2. g is differentiable. Proof. At each w U , f has some power series representation f ( z ) = f ( w ) + c 1 ( z - w ) + c 2 ( z - w ) 2 + ··· because f is holomorphic on U . Some algebraic manipulation yields the equation f ( z ) - f ( w ) z - w = h ( z ) ( * ) for some power series h
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/01/2008 for the course MATH 502 taught by Professor Johnridener during the Summer '08 term at Pennsylvania State University, University Park.

Page1 / 3

MATH502_HW7 - Serge Ballif MATH 502 Homework 7 March 21,...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online