Fläche (Topologie)

In mathematischen Teilgebieten wie der Topologie, der Differentialtopologie, der riemannschen Geometrie oder der Funktionentheorie betrachtet man Flächen nicht mehr als Objekte, die in den dreidimensionalen Raum eingebettet sind, vielmehr verzichtet man auf den umgebenden Raum und betrachtet nur die Fläche für sich. Man spricht von abstrakten Flächen oder von 2-Mannigfaltigkeiten.

Motivation

Sei $U \subseteq ℝ^{2}$ eine offene Teilmenge und $ϕ : U \to ℝ^{3}$ eine reguläre Parametrisierung eines Flächenstücks $S = ϕ (U)$ . Man kann sich nun fragen, welche Daten man auf $U$ vorgeben muss, um Aussagen über $S$ zu treffen. Nach Definition ist für $u \in U$ die Ableitung $d ϕ (u)$ ein Isomorphismus $ℝ^{2} \to T_{ϕ (u)} S$ . Die Länge von Tangentialvektoren kann man also in eine Bilinearform

g_{u} : ℝ^{2} \times ℝ^{2} \to ℝ, (v_{1}, v_{2}) \mapsto ⟨ d ϕ (u) v_{1}, d ϕ (u) v_{2} ⟩

übersetzen, die hier erste Fundamentalform, im allgemeinen Kontext aber riemannsche Metrik genannt wird. Die gramsche Determinante für $ϕ$ ist gleich der Determinante der Darstellungsmatrix von $g$ , also enthält die riemannsche Metrik bereits die Information über Flächeninhalte und Integrale auf $S$ . Die zweite Fundamentalform und damit die Hauptkrümmungen kann man jedoch nicht alleine an $g$ ablesen, wie das folgende Beispiel eines Zylinderstücks zeigt:

ϕ : U = (- π, π) \times ℝ \to ℝ^{3}, (u_{1}, u_{2}) \mapsto (\cos u_{1}, \sin u_{1}, u_{2})

Für jedes $u \in U$ ist $g_{u}$ das Standardskalarprodukt, also kann die riemannsche Metrik nicht zwischen einem Zylinder und einer Ebene unterscheiden. Aber: Das Theorema egregium von Carl Friedrich Gauß besagt, dass die gaußsche Krümmung nur von der riemannschen Metrik abhängt.

Damit lässt sich der gaußsche Krümmungsbegriff auf Flächen übertragen, für die keine Einbettung in den euklidischen Raum bekannt ist oder auch nur existiert. Ein Beispiel ist die hyperbolische Ebene, die über eine naheliegende riemannsche Metrik verfügt, mit der sie konstante negative Krümmung hat, aber nach einem Satz von David Hilbert keine isometrische Einbettung in den euklidischen Raum besitzt.^[1] (Isometrisch bedeutet hier, dass die Einbettung die vorgegebene Metrik induziert.)

Ein anderes Phänomen sind Flächen wie die reelle projektive Ebene, die überhaupt keine Einbettung in den euklidischen Raum erlauben, sondern lediglich Immersionen (z. B. als Boysche Fläche). Man kann sie zwar in höherdimensionale Räume einbetten, aber da man letztlich in Eigenschaften interessiert ist, die unabhängig von der Einbettung sind, ist es vorteilhaft, eine Sprache zu entwickeln, in der keine Einbettungen mehr vorkommen.

Definition

Im Bereich der Topologie wird der Begriff Fläche als Synonym für 2-dimensionale Mannigfaltigkeit verwendet. Das heißt, eine Fläche ist ein besonderer topologischer Raum, eine zweidimensionale topologische Mannigfaltigkeit. Das ist per Definition ein Hausdorff-Raum, der lokal homöomorph zu $ℝ^{2}$ ist. Die lokalen Homöomorphismen werden Kartengenannt, ihre Gesamtheit bildet einen Atlas. Da die Fläche lokal homöomorph zum zweidimensionalen Raum $ℝ^{2}$ ist, definiert man, dass die Dimension der Fläche gerade zwei ist. Beispielsweise ist eine Kugeloberfläche eine Fläche in Sinne der Topologie.

Eine kompakte Fläche wird auch geschlossen genannt, wenn betont werden soll, dass es sich um eine Fläche ohne Rand handelt. Flächen mit Rand als spezielle Mannigfaltigkeiten mit Rand werden im Abschnitt Verallgemeinerungen definiert.

Beispiele

Die einfachsten kompakten Flächen sind

die 2-dimensionale Sphäre
der 2-dimensionale Torus.

Weitere kompakte, orientierbare Flächen erhält man als zusammenhängende Summe von g Tori. (Die zusammenhängende Summe zweier Flächen wird gebildet, indem man aus beiden Flächen jeweils einen 2-Ball herausschneidet und die beiden 1-dimensionalen Randsphären verklebt.) Die Zahl g heißt das Geschlecht der Fläche.

Eine explizite Beschreibung der Fläche vom Geschlecht g (als glatte algebraische Varietät und insbesondere 2-dimensionale Mannigfaltigkeit) ist zum Beispiel

S_{g} = {(w, z) \in ℂ^{2} : w^{2} = (z - g) \dots (z - 1) z (z + 1) \dots (z + g)}

.

Die Euler-Charakteristik der Fläche vom Geschlecht g ist 2 − 2g.

Die Sphäre trägt eine sphärische Metrik, der Torus flache Metriken, die Flächen vom Geschlecht mindestens 2 tragen hyperbolische Metriken. Der Modulraum hyperbolischer Metriken auf einer gegebenen Fläche heißt Teichmüller-Raumder Fläche.

Flächen mit zusätzlichen Strukturen

Die zuvor angeführten Flächen in der Topologie sind das Grundgerüst für die spezielleren Flächen, die in der Differentialtopologie, der riemannschen Geometrie oder der Funktionentheorie untersucht werden. In diesen mathematischen Teilgebieten wird die Fläche noch mit einer zusätzlichen Struktur ausgestattet.

Im Bereich der Differentialtopologie stattet man die topologische Fläche noch zusätzlich mit einer differenzierbaren Struktur aus, um Funktionen, die auf der Fläche definiert sind, differenzieren und um die Tangentialebene definieren zu können. Da die Fläche ja ohne umgebenden Raum definiert wurde, kann im Gegensatz zum vorigen Abschnitt die Orientierbarkeit der Fläche nicht mit Hilfe eines Normalenvektors definiert werden. Aus diesem Grund wird eine (äquivalente) Definition mittels Karten und Tangentialebene gewählt. Die Eigenschaft der Orientierbarkeit einer Fläche hängt also nicht vom umgebenden Raum ab.

In der Funktionentheorie ergänzt man die Fläche nicht um eine differenzierbare Struktur, sondern um eine komplexe Struktur. Solche Flächen werden riemannsche Flächen genannt, und die komplexe Struktur ermöglicht es auf ihnen den Begriff der holomorphen Funktion zu definieren. Im Bereich der riemannschen Flächen gibt zwei unterschiedliche Dimensionsbegriffe. Zum einen ist sie wieder ein Spezialfall der topologischen Fläche und hat damit die Dimension zwei, zum anderen betrachtet man in der Funktionentheorie meistens die komplexe Zahlenebene $ℂ ≅ ℝ^{2}$ und versteht die riemannschen Flächen als eine Verallgemeinerung dieser. In diesem Kontext hat die riemannsche Fläche die (komplexe) Dimension eins und wird daher auch als „komplexe Kurve“ interpretiert. Kompakte riemannsche Flächen sind projektive algebraische Kurven, das heißt, sie lassen sich in einen komplexen projektiven Raum einbetten, so dass das Bild durch Polynomgleichungen beschrieben wird.

Auf einer differenzierbaren Fläche kann auch eine riemannsche Metrik gegeben sein, das ist ein Skalarprodukt auf jeder Tangentialebene, das differenzierbar vom Basispunkt abhängt. Jede reguläre Fläche im $ℝ^{3}$ erhält über die Einschränkung des Standardskalarprodukts eine riemannsche Metrik. Eine riemannsche Metrik induziert auf orientierbaren Flächen eine konforme Struktur, in der die Längenmessung verlorengeht, aber die Information über Winkel erhalten bleibt. Die 90°-Drehung auf den Tangentialräumen ist eine fastkomplexe Struktur, und im Fall von Flächen ist jede fastkomplexe Struktur eine komplexe Struktur, das heißt jede Fläche mit einer riemannschen Metrik ist auf kanonische Weise eine riemannsche Fläche.

Klassifikation

Der Klassifikationssatz gibt eine Liste von Flächen an, so dass jede geschlossene Fläche zu genau einer von ihnen homöomorph ist.

Eine orientierbare Fläche ist homöomorph zur verbundenen Summe von $g \geq 0$ Tori. Für $g = 0$ handelt es sich um die Sphäre, für $g = 1$ um den Torus. Die Zahl $g$ ist das Geschlecht der Fläche.
Eine nicht orientierbare Fläche ist homöomorph zu einer verbundenen Summe von projektiven Ebenen.

Für geschlossene differenzierbare Flächen ergibt sich dieselbe Klassifikation: jede Fläche ist diffeomorph zu genau einer der Flächen aus der Liste. Allgemein stimmen für geschlossene Flächen die Klassifikationen nach Homotopieäquivalenz, Homöomorphie, PL-Äquivalenz und Diffeomorphie alle überein.

Für riemannsche Flächen überträgt sich die Klassifikation nicht: Jede riemannsche Fläche ist orientierbar und eine orientierbare geschlossene Fläche kann wesentlich verschiedene komplexe Strukturen tragen.

Für Geschlecht 0 gibt es nur eine riemannsche Fläche, die projektive Gerade oder riemannsche Zahlenkugel.
Für Geschlecht 1 sind die riemannschen Flächen (bis auf die Wahl eines Basispunkts) elliptische Kurven und durch ihre j-Invariante klassifiziert.
Für Geschlecht $g > 1$ werden die riemannschen Flächen durch den Teichmüller-Raum parametrisiert, der selbst eine $(3 g - 3)$ -dimensionale komplexe Mannigfaltigkeit ist.

Der Uniformisierungssatz besagt, dass es für die (nicht notwendigerweise kompakte) universelle Überlagerung einer riemannschen Fläche nur drei Möglichkeiten gibt (entsprechend der Unterscheidung $g = 0, g = 1, g > 1$ ):

die riemannsche Zahlenkugel
die komplexe Zahlenebene
die obere Halbebene

Geschlossene Flächen mit riemannscher Metrik sind für eine Klassifikation zu kompliziert. Einfach zusammenhängendeFlächen mit konstanter Krümmung, die nicht notwendigerweise kompakt, aber vollständig sind, sind jedoch klassifizierbar: Durch Skalierung kann man sich auf die Krümmungen $+ 1, 0, - 1$ beschränken. Dann gibt jeweils bis auf Isometrie jeweils nur eine derartige Fläche:

$+ 1$ : die Einheitssphäre
$0$ : die euklidische Ebene
$- 1$ : die hyperbolische Ebene

Diese Aussage gilt analog für beliebige Dimensionen. Nach einem Satz von Jacques Hadamard ist auch jede einfach zusammenhängende vollständige Fläche nicht notwendigerweise konstanter, aber überall nichtpositiver Krümmung diffeomorph zur Ebene.

↑ David Hilbert, Über Flächen von constanter Gaußscher Krümmung, Transactions of the American Mathematical Society, Vol. 2, No. 1 (Jan., 1901), pp. 87–99

[1] David Hilbert, Über Flächen von constanter Gaußscher Krümmung, Transactions of the American Mathematical Society, Vol. 2, No. 1 (Jan., 1901), pp. 87–99

[1]