• Aucun résultat trouvé

December2 ,2020andDecember4 ,2020 THERIEMANNMAPPINGTHEOREM ComplexVariables

N/A
N/A
Protected

Academic year: 2022

Partager "December2 ,2020andDecember4 ,2020 THERIEMANNMAPPINGTHEOREM ComplexVariables"

Copied!
13
0
0

Texte intégral

(1)

MAT334H1-F – LEC0101

Complex Variables

THE RIEMANN MAPPING THEOREM

(2)

The Riemann mapping theorem – 1

The Riemann mapping theorem

Let𝑈 ⊊ ℂbe a simply connected open subset which is notℂ.

Then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0)(i.e.𝑓 is holomorphic, bijective and𝑓−1is holomorphic).

We say that𝑈 and𝐷1(0)areconformally equivalent.

Remark

Note that if𝑓 ∶ 𝑈 → 𝑉 is bijective and holomorphic then𝑓−1is holomorphic too.

Indeed, we proved that if𝑓 is injective and holomorphic then𝑓never vanishes (Nov 30). Then we can conclude using the inverse function theorem.

Note that this result is false forℝ-differentiability:

Define𝑓 ∶ ℝ → ℝby𝑓 (𝑥) = 𝑥3then𝑓(0) = 0and𝑓−1(𝑥) =√𝑥3 is not differentiable at0.

Remark

The theorem is false if𝑈 = ℂ. Indeed, by Liouville’s theorem, if𝑓 ∶ ℂ → 𝐷1(0)is holomorphic then it is constant (as a bounded entire function), so it can’t be bijective.

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 2 / 7

(3)

The Riemann mapping theorem – 1

The Riemann mapping theorem

Let𝑈 ⊊ ℂbe a simply connected open subset which is notℂ.

Then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0)(i.e.𝑓 is holomorphic, bijective and𝑓−1is holomorphic).

We say that𝑈 and𝐷1(0)areconformally equivalent.

Remark

Note that if𝑓 ∶ 𝑈 → 𝑉 is bijective and holomorphic then𝑓−1 is holomorphic too.

Indeed, we proved that if𝑓 is injective and holomorphic then𝑓never vanishes (Nov 30).

Then we can conclude using the inverse function theorem.

Note that this result is false forℝ-differentiability:

Define𝑓 ∶ ℝ → ℝby𝑓 (𝑥) = 𝑥3then𝑓(0) = 0and𝑓−1(𝑥) =√𝑥3 is not differentiable at0.

Remark

The theorem is false if𝑈 = ℂ. Indeed, by Liouville’s theorem, if𝑓 ∶ ℂ → 𝐷1(0)is holomorphic then it is constant (as a bounded entire function), so it can’t be bijective.

(4)

The Riemann mapping theorem – 1

The Riemann mapping theorem

Let𝑈 ⊊ ℂbe a simply connected open subset which is notℂ.

Then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0)(i.e.𝑓 is holomorphic, bijective and𝑓−1is holomorphic).

We say that𝑈 and𝐷1(0)areconformally equivalent.

Remark

Note that if𝑓 ∶ 𝑈 → 𝑉 is bijective and holomorphic then𝑓−1 is holomorphic too.

Indeed, we proved that if𝑓 is injective and holomorphic then𝑓never vanishes (Nov 30).

Then we can conclude using the inverse function theorem.

Note that this result is false forℝ-differentiability:

Define𝑓 ∶ ℝ → ℝby𝑓 (𝑥) = 𝑥3then𝑓(0) = 0and𝑓−1(𝑥) =√𝑥3 is not differentiable at0.

Remark

The theorem is false if𝑈 = ℂ. Indeed, by Liouville’s theorem, if𝑓 ∶ ℂ → 𝐷1(0)is holomorphic then it is constant (as a bounded entire function), so it can’t be bijective.

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 2 / 7

(5)

The Riemann mapping theorem – 2

This theorem states that up to biholomorphic transformations, the unit disk is a model for open simply connected sets which are notℂ.

Otherwise stated, up to a biholomorphic transformation, there are only two open simply connected sets: 𝐷1(0)andℂ. Formally:

Corollary

Let𝑈 , 𝑉 ⊊ ℂbe two simply connected open subsets, none of which isℂ.

Then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝑉 (i.e.𝑓 is holomorphic, bijective and𝑓−1is holomorphic).

Proof.By the Riemann mapping theorem, there exists biholomorphisms𝜑 ∶ 𝑈 → 𝐷1(0)and 𝜓 ∶ 𝑉 → 𝐷1(0). Then we can simply take𝑓 = 𝜓−1∘ 𝜑.

𝜑 𝜓

𝑓

𝑈 𝑉

𝐷1(0) ■

(6)

The Riemann mapping theorem – 2

This theorem states that up to biholomorphic transformations, the unit disk is a model for open simply connected sets which are notℂ.

Otherwise stated, up to a biholomorphic transformation, there are only two open simply connected sets: 𝐷1(0)andℂ. Formally:

Corollary

Let𝑈 , 𝑉 ⊊ ℂbe two simply connected open subsets, none of which isℂ.

Then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝑉 (i.e.𝑓 is holomorphic, bijective and𝑓−1is holomorphic).

Proof.By the Riemann mapping theorem, there exists biholomorphisms𝜑 ∶ 𝑈 → 𝐷1(0)and 𝜓 ∶ 𝑉 → 𝐷1(0). Then we can simply take𝑓 = 𝜓−1∘ 𝜑.

𝜑 𝜓

𝑓

𝑈 𝑉

𝐷1(0) ■

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 3 / 7

(7)

The Riemann mapping theorem – 3

Corollary

Let𝑈 ⊂ ℂbe an open subset.

Then𝑈 is simply connected if and only if it is homeomorphic to𝐷1(0).

Proof.

⇒Assume that𝑈 ⊊ ℂis simply connected then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0). Particularly𝑓 is a homeomorphism.

Note thatℂis also homeomorphic to𝐷1(0).

⇐Assume that there exists a homeomorphism𝑓 ∶ 𝑉 → 𝑈 where𝑉 = 𝐷1(0).

Since𝑉 is simply connected, we get that𝑈 is too since simple connectedness is preserved by

homeomorphisms. ■

Remark

Careful: the continuous image of a simply connected set may not be simply connected. For instanceexp(ℂ) = ℂ ⧵ {0}.

(8)

The Riemann mapping theorem – 3

Corollary

Let𝑈 ⊂ ℂbe an open subset.

Then𝑈 is simply connected if and only if it is homeomorphic to𝐷1(0).

Proof.

⇒Assume that𝑈 ⊊ ℂis simply connected then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0).

Particularly𝑓 is a homeomorphism.

Note thatℂis also homeomorphic to𝐷1(0).

⇐Assume that there exists a homeomorphism𝑓 ∶ 𝑉 → 𝑈 where𝑉 = 𝐷1(0).

Since𝑉 is simply connected, we get that𝑈 is too since simple connectedness is preserved by

homeomorphisms. ■

Remark

Careful: the continuous image of a simply connected set may not be simply connected. For instanceexp(ℂ) = ℂ ⧵ {0}.

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 4 / 7

(9)

The Riemann mapping theorem – 3

Corollary

Let𝑈 ⊂ ℂbe an open subset.

Then𝑈 is simply connected if and only if it is homeomorphic to𝐷1(0).

Proof.

⇒Assume that𝑈 ⊊ ℂis simply connected then there exists a biholomorphism𝑓 ∶ 𝑈 → 𝐷1(0).

Particularly𝑓 is a homeomorphism.

Note thatℂis also homeomorphic to𝐷1(0).

⇐Assume that there exists a homeomorphism𝑓 ∶ 𝑉 → 𝑈 where𝑉 = 𝐷1(0).

Since𝑉 is simply connected, we get that𝑈 is too since simple connectedness is preserved by

homeomorphisms. ■

Remark

(10)

Example 1: the Poincaré half-plane

We define the Poincaré half-plane byℍ = {𝑧 ∈ ℂ ∶ ℑ(𝑧) > 0}.

The mapping𝜑 ∶ ℍ → 𝐷1(0)defined by𝜑(𝑧) =𝑧 − 𝑖

𝑧 + 𝑖 is biholomorphic.

First check that𝜑is well-defined:∀𝑧 ∈ ℍ, 𝑧 ≠ −𝑖and𝜑(𝑧) ∈ 𝐷1(0).

Then note that𝜑is the restriction of a Möbius transformation𝜑 ∶ ̂̂ ℂ → ̂ℂ.

It is not too difficult to check that𝜑(ℝ ∪ {∞}) = 𝑆̂ 1(≔ {𝑧 ∈ ℂ ∶ |𝑧| = 1}).

The complement ofℝ ∪ {∞}inℂ̂has two connected components which areℍand−ℍ.

Andℂ ⧵ 𝑆̂ 1has two connected components:𝐷1(0)and{𝑧 ∈ ℂ ∶ |𝑧| > 1} ∪ {∞}.

Since𝜑(𝑖) = 0 ∈ 𝐷1(0), we deduce that𝜑(ℍ) = 𝐷1(0).

ℜ ℑ

𝑖

Note that𝜑maps right angles to right angles!

𝜑

0

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 5 / 7

(11)

Example 2: a horizontal band

We set

ℬ ≔ {𝑧 ∈ ℂ ∶ 0 < ℑ(𝑧) < 𝑎} , 𝑎 > 0 We know that𝜓 ∶ ℬ → ℍdefined by𝜓(𝑧) = 𝑒𝜋𝑎𝑧is biholomorphic.

Hence𝑓 = 𝜑 ∘ 𝜓 ∶ ℬ → 𝐷1(0)is biholomorphic, where𝜑was defined in the previous slide, i.e.

𝑓 (𝑧) = 𝑒𝜋𝑎𝑧− 𝑖 𝑒𝜋𝑎𝑧+ 𝑖 ℑ

ℑ(𝑧) = 𝑎 𝑓

0 1

(12)

Example 3

In practice the biholomorphism𝜑between𝑈 and𝐷1(0)may be difficult to express explicitely.

For instance, the following set is simply connected 𝑈 = ((0, 1) × (0, 1)) ⧵(⋃𝑛≥2{1

𝑛 }× (0,1 2 ))

but the behavior of𝜑around the boundary of𝐷1(0)is going to be quite complicated!

Even worse, we can take𝑈to be the interior of the Koch snowflake.

Jean-Baptiste Campesato MAT334H1-F – LEC0101 – Dec 2, 2020 and Dec 4, 2020 7 / 7

(13)

Example 3

In practice the biholomorphism𝜑between𝑈 and𝐷1(0)may be difficult to express explicitely.

For instance, the following set is simply connected 𝑈 = ((0, 1) × (0, 1)) ⧵(⋃𝑛≥2{1

𝑛 }× (0,1 2 ))

but the behavior of𝜑around the boundary of𝐷1(0)is going to be quite complicated!

Références

Documents relatifs

Then we use the

[r]

U V;^' is the decomposition of F into irreductible branches at p^ and the sets R(Vf 1 ) of regular points of V^ are connected manifolds which are dense in V^... The dimension of such

Heatmaps of (guess vs. slip) LL of 4 sample real GLOP datasets and the corresponding two simulated datasets that were generated with the best fitting

Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale.. Toute copie ou impression de ce fichier doit conte- nir la présente mention

In § 1 we’ll use an elementary argument to establish the Hilbert compo- nents induced by a bounded normalized Reinhardt domain D.. The argu- ment is motivated in part by

If I could have raised my hand despite the fact that determinism is true and I did not raise it, then indeed it is true both in the weak sense and in the strong sense that I

The Committee also asked Lord Patten, the Chairman of the BBC Trust, to appear before it, which for some time he refused to do, giving rise to a correspondence (increasingly testy