Halbebene

In der euklidischen Geometrie zerlegt eine Gerade eine Ebene in zwei Halbebenen. Nimmt man die Gerade zu einer der Halbebenen dazu, so spricht man von einer abgeschlossenen Halbebene, eine Halbebene ohne die Gerade wird offene Halbebene genannt.

Obere Halbebene

obere Halbebene

Die Ebene der komplexen Zahlen $\mathbb {C}$ (und ebenso $\mathbb {R} ^{2}$ ) wird durch jede beliebige Gerade in zwei Halbebenen geteilt. Ist diese Gerade mit den reellen Zahlen identisch (bzw. mit der x-Achse), nennt man aus der Anschauung heraus die Menge der komplexen Zahlen mit positivem Imaginärteil die obere Halbebene und bezeichnet sie innerhalb der Funktionentheorie als $\mathbb H$ (was in anderen Zusammenhängen oft für Quaternionen steht).

${\mathbb H}=\{x+iy\in {\mathbb C}\mid y>0\}$ .

Sie ist Definitionsbereich mehrerer interessanter Funktionen wie z. B. der Dedekindsche η-Funktion und spielt unter anderem bei Modulformen und elliptischen Kurven über den komplexen Zahlen eine wichtige Rolle. Die Menge der auf der oberen Halbebene holomorphen Funktionen, die geeignet beschränkt sind, bilden einen Hardy-Raum. $\mathbb H$ ist ein unbeschränktes, einfach zusammenhängendes Gebiet, das biholomorph auf die Einheitskreisscheibe abgebildet werden kann (siehe auch Riemannscher Abbildungssatz). Analog könnte auch die untere Halbebene betrachtet werden, da sie die gleichen Eigenschaften hat.

Verallgemeinerungen

Generell ist die Halbebene ein spezieller Halbraum. In der synthetischen Geometrie werden Halbebenen und Halbräume durch eine Seiteneinteilungsfunktion definiert, wobei anstelle der reellen Zahlen auch allgemeinere Koordinatenbereiche zugrundegelegt werden können.

Eine wichtige Verallgemeinerung ist der Siegelsche Halbraum.

Basierend auf einem Artikel in:

Wikipedia.de