A Proof Sketch
Given and, we want to construct a function which maps to the unit disk and to . For this sketch, we will assume that is bounded and its boundary is smooth, much like Riemann did. Write
where is some (to be determined) holomorphic function with real part and imaginary part . It is then clear that z0 is the only zero of f. We require for on the boundary of, so we need
on the boundary. Since is the real part of a holomorphic function, we know that is necessarily a harmonic function; i.e., it satisfies Laplace's equation.
The question then becomes: does a real-valued harmonic function exist that is defined on all of and has the given boundary condition? The positive answer is provided by the Dirichlet principle. Once the existence of u has been established, the Cauchy-Riemann equations for the holomorphic function allow us to find (this argument depends on the assumption that be simply connected). Once and have been constructed, one has to check that the resulting function does indeed have all the required properties.
Read more about this topic: Riemann Mapping Theorem
Famous quotes containing the words proof and/or sketch:
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“the vagabond began
To sketch a face that well might buy the soul of any man.
Then, as he placed another lock upon the shapely head,
With a fearful shriek, he leaped and fell across the
picture—dead.”
—Hugh Antoine D’Arcy (1843–1925)