Mannigfaltigkeit mit Rand


Mannigfaltigkeit mit Rand
Auf der linken Seite sind topologische Mannigfaltigkeiten ohne Rand und auf der rechten Seite sind solche mit Rand abgebildet.

Eine Mannigfaltigkeit mit Rand ist mathematisches Objekt aus der Differentialgeometrie. Es handelt sich hierbei nicht um einen Spezialfall einer Mannigfaltigkeit, sondern ganz im Gegenteil um eine Verallgemeinerung. Viele Strukturen, welche man auf einer Mannigfaltigkeit definieren kann, lassen sich auf Mannigfaltigkeiten mit Rand übertragen.

Inhaltsverzeichnis

Definitionen

Ein endlich langer Zylinder ist eine Mannigfaltigkeit mit Rand.

Mannigfaltigkeit mit Rand

Eine n-dimensionale topologische Mannigfaltigkeit mit Rand ist ein Hausdorff-Raum, welcher dem zweiten Abzählbarkeitsaxiom genügt und in dem jeder Punkt eine Umgebung besitzt, die zu einer Teilmenge der abgeschlossenen oberen Halbebene V \subset \mathbb{H}^n homöomorph ist. Die obere Halbebene ist mit der Teilraumtopologie von \R^n ausgestattet. Insbesondere ist also \mathbb{H}^n als ganzes sowohl eine offene also auch eine abgeschlossene Menge.

Verallgemeinerte Karte

Eine offene Teilmenge U \subset M zusammen mit einem Homöomorphismus \phi \colon U \to V \subset \mathbb{H}^n, wobei V offen in \mathbb{H}^n ist, wird verallgemeinerte Karte genannt.

Rand

Der Rand von \mathbb{H}^n in \R^n ist die Menge der Punkte mit xn = 0. Ist M eine berandete Mannigfaltigkeit so nennt man die Punkte, welche von einer beziehungsweise jeder Kartenabbildung auf einen Punkt von \partial \mathbb{H}^n abgebildet werden, einen Randpunkt von M. Die Menge aller Randpunkte wird mit \partial M bezeichnet.

Strukturen

Differenzierbare Struktur

Ähnlich wie auf einer unberandeten Mannigfaltigkeit kann man auch auf einer Mannigfaltigkeit mit Rand eine differenzierbare Struktur definieren. Diese besteht aus einer Überdeckung mit verallgemeinerten Karten. Wobei für alle Paare solcher Karten (U,ϕ) und (V,ψ) die Abbildung

\phi \circ \psi^{-1}|_{\phi(U \cap V)} \colon \phi(U \cap V) \to \psi(U \cap V)

ein Diffeomorphismus sein muss. Falls die Definitionsmenge \phi(U \cap V) von \phi \circ \psi^{-1} noch Randpunkte von \mathbb{H}^n enthält, so muss man eine offene Menge aus \R^n, welche \phi(U \cap V) enthält aber nicht mehr in \mathbb{H}^n liegt, wählen, um \phi \circ \psi^{-1} auf Differenzierbarkeit zu untersuchen. Es ist natürlich auch nicht möglich für jeder Mannigfaltigkeit mit Rand eine differenzierbare Struktur zu definieren. Mannigfaltigkeiten mit Rand wie normale Mannigfaltigkeiten auch mehrere, unterschiedliche differenzierbare Strukturen haben.

Orientierung

Bei einer berandeten (differentierbaren) Mannigfaltigkeit M ist der Rand \partial M eine Untermannigfaltigkeit von M. Weiterhin wird vorausgesetzt, dass M orientierbar ist, dann ist auch der Rand \partial M orientierbar. Dies ist nicht selbstverständlich, da es Untermannigfaltigkeiten gibt, die nicht orientierbar sind.

Satz von Stokes

Mithilfe berandeter Mannigfaltigkeiten kann man den stokesschen Integralsatz prägnant und elegant formulieren. Sei M eine orientierte, n-dimensionale, differenzierbare Mannigfaltigkeit mit Rand und sei ω eine Differentialform vom Grad n − 1, welche kompakten Träger hat, dann gilt

\int_M \mathrm{d} \omega = \int_{\partial M} \omega.

Hat M keinen Rand, so ist das rechte Integral null und ist M eine ein-dimensionalle Mannigfaltigkeit so ist das rechte Integral eine endliche Summe.

Mannigfaltigkeit mit Ecken

Definition

Ein Würfel ist eine Mannigfaltigkeit mit Ecken

Sei \overline{\R_+^n} die Teilmenge von \R^n, bei der alle Koordinaten positiv sind. Es gilt also

\overline{\R_+^n} = \{(x^1, \ldots x^n) \in \R^n: x^1 \geq 0, \ldots , x^n\geq 0\}.

Diese Teilmenge ist homöomorph zu \mathbb{H}^n jedoch nicht diffeomorph. Sei M eine (topologische) Mannigfaltigkeit mit Rand. Eine Mannigfaltigkeit mit Ecken ist eine Mannigfaltigkeit, welche lokal diffeomorph zu \overline{\R^n_+} ist. In diesem Fall heißen die Karten von M Karten mit Ecken. Eine Karte mit Ecken ist also ein Paar (U,φ), wobei U \subset M eine offene Teilmenge von M und \phi : U \to \tilde{U} \subset \overline{\R_+^n} ein Homöomorphismus ist. Zwei Karten mit Ecken (U,ϕ) und (V,ψ) heißen verträglich, falls \phi \circ \psi^{-1} : \psi(U \cap V) \to \phi(U \cap V) glatt ist.

Ein glatte Struktur mit Ecken auf einer topologischen Mannigfaltigkeit mit Rand ist die maximale Menge aller verträglichen Karten mit Ecken, welche M überdecken. Eine topologische Mannigfaltigkeit mit Rand zusammen mit einer glatten Struktur mit Ecken heißt Mannigfaltigkeit mit Ecken.

Anmerkungen

Da \overline{\R_+^n} homöomorph zu \mathbb{H}^n ist sind Mannigfaltigkeiten mit Rand und Mannigfaltigkeiten mit Ecken topologisch nicht zu unterscheiden. Aus diesem Grund macht es auch keinen Sinn eine Mannigfaltigkeit mit Ecken ohne differenzierbare Struktur zu definieren. Ein Beispiel für eine Mannigfaltigkeit mit Ecken ist die Menge der Rechtecke.

Literatur

  • John M. Lee: Introduction to Smooth Manifolds, Springer-Verlag, 2. Aufl. New York, 2003, ISBN 0-387-95448-1

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Mannigfaltigkeit — Die Sphäre kann mit mehreren Abbildungen „plattgedrückt“ werden. Entsprechend kann man die Erde in einem Atlas darstellen. Unter einer Mannigfaltigkeit versteht man in der Mathematik einen topologischen Raum, der lokal dem euklidischen Raum… …   Deutsch Wikipedia

  • N-Mannigfaltigkeit — topologische Mannigfaltigkeit berührt die Spezialgebiete Mathematik Topologie Differentialgeometrie Physik Klassische Mechanik Grenzflächen, Membrane Allgemeine Relativitätstheorie …   Deutsch Wikipedia

  • Semi-Riemannsche Mannigfaltigkeit — topologische Mannigfaltigkeit berührt die Spezialgebiete Mathematik Topologie Differentialgeometrie Physik Klassische Mechanik Grenzflächen, Membrane Allgemeine Relativitätstheorie …   Deutsch Wikipedia

  • Topologische Mannigfaltigkeit — berührt die Spezialgebiete Mathematik Topologie Differentialgeometrie Physik Klassische Mechanik Grenzflächen, Membrane Allgemeine Relativitätstheorie …   Deutsch Wikipedia

  • Geschlossene Mannigfaltigkeit — Eine geschlossene Mannigfaltigkeit ist eine kompakte topologische Mannigfaltigkeit ohne Rand. Falls im Kontext eine Mannigfaltigkeit ohne Rand vorgegeben ist, so ist eine kompakte Mannigfaltigkeit automatisch eine geschlossene. Das einfachste… …   Deutsch Wikipedia

  • 2-Mannigfaltigkeit — Als Fläche bezeichnet man in den mathematischen Teilgebieten der Differentialgeometrie und Topologie eine 2 dimensionale Mannigfaltigkeit. Beispiele im 3 dimensionalen Raum gewinnt man, wenn man die Oberflächen von Vollkörpern betrachtet.… …   Deutsch Wikipedia

  • Floer-Homologie — Floer Homologien (FH) bezeichnet in der Topologie und Differentialgeometrie eine Gruppe ähnlich konstruierter Homologie Invarianten. Sie haben ihren Ursprung im Werk von Andreas Floer und sind seitdem ständig weiterentwickelt worden. Floer… …   Deutsch Wikipedia

  • Floerhomologie — Floer Homologien (FH) bezeichnet in der Topologie und Differentialgeometrie eine Gruppe ähnlich konstruierter Homologie Invarianten. Sie haben ihren Ursprung im Werk von Andreas Floer und sind seitdem ständig weiterentwickelt worden. Floer… …   Deutsch Wikipedia

  • Symplektische Feldtheorie — Floer Homologien (FH) bezeichnet in der Topologie und Differentialgeometrie eine Gruppe ähnlich konstruierter Homologie Invarianten. Sie haben ihren Ursprung im Werk von Andreas Floer und sind seitdem ständig weiterentwickelt worden. Floer… …   Deutsch Wikipedia

  • Gauss-Bonnet — Der Satz von Gauß Bonnet (nach Carl Friedrich Gauß und Pierre Ossian Bonnet) ist eine wichtige Aussage über Flächen, die ihre Geometrie mit ihrer Topologie verbindet, indem eine Beziehung zwischen Krümmung und Euler Charakteristik hergestellt… …   Deutsch Wikipedia