Glatte Mannigfaltigkeit


Glatte Mannigfaltigkeit

In der Mathematik sind differenzierbare Mannigfaltigkeiten ein Oberbegriff für Kurven, Flächen und andere geometrische Objekte. Im Unterschied zu topologischen Mannigfaltigkeiten ist es auf differenzierbaren Mannigfaltigkeiten möglich, über Ableitungen und verwandte Konzepte zu sprechen. Differenzierbare Mannigfaltigkeiten sind Hauptgegenstand der Differentialgeometrie.

Differenzierbare Mannigfaltigkeiten spielen eine zentrale Rolle in der theoretischen Physik, insbesondere in der klassischen Mechanik bei Systemen, die Zwangsbedingungen unterliegen, und bei der Beschreibung der Raumzeit in der allgemeinen Relativitätstheorie.

Es gibt zwei Herangehensweisen an differenzierbare Mannigfaltigkeiten: einerseits als Teilmengen eines höherdimensionalen euklidischen Raumes, die entweder durch Gleichungen oder durch Parametrisierungen beschrieben sind, andererseits als abstrakte Mannigfaltigkeiten, deren differenzierbare Struktur durch einen Atlas gegeben ist. Die Äquivalenz der beiden Sichtweisen wird durch den Einbettungssatz von Whitney sichergestellt.

Inhaltsverzeichnis

Untermannigfaltigkeiten des euklidischen Raumes

Zuerst sollen Untermannigfaltigkeiten des \mathbb{R}^n beschrieben werden, da diese häufig in Anwendungen auftreten und eine besonders einfache Struktur besitzen.

Ausgewählte Beispiele in denen Untermannigfaltigkeiten des \mathbb{R}^n eine Rolle spielen sind:

  • Optimierung unter Nebenbedingungen
  • Mechanische Systeme mit Zwangsbedingungen
  • Algebro-Differentialgleichungssysteme bei der numerischen Netzwerkanalyse in der Elektrotechnik

In all diesen Anwendungen wird die Menge der betrachteten Punkte von vornherein auf eine Teilmenge M des \mathbb{R}^n eingeschränkt, die sich lokal durch Diffeomorphismen auf Gebiete eines \mathbb{R}^m mit 0\leq m \leq n abbilden lässt. Diese Teilmenge M wird als m-dimensionale Untermannigfaltigkeit des \mathbb{R}^n bezeichnet. Mit Hilfe der Diffeomorphismen kann man auf der Untermannigfaltigkeit im differentialgeometrischen Sinne genauso rechnen, wie in Gebieten des \mathbb{R}^m.

Meistens wird die Menge M durch Nebenbedingungen beschrieben. Das heißt, M enthält gerade diejenigen Punkte x, die mit einer vorgegeben stetig differenzierbaren Funktion f:\mathbb{R}^n\rightarrow\mathbb{R}^{n-m} mit 0 < m < n die Gleichung

f(x) = 0

erfüllen. Außerdem wird noch gefordert, dass 0 ein regulärer Wert von f ist, also die Jacobi-Matrix Df(x) von f für alle Punkte x\in M den Maximalrang \left.n-m\right. hat.

Die letzte Bedingung sichert die Anwendbarkeit des Satzes über implizite Funktionen. Dieser besagt, dass es zu jedem Punkt \bar{x}\in M eine \mathbb{R}^n-Umgebung U_{\bar{x}} von \bar{x} gibt, in der die Punkte x\in U_{\bar{x}}\cap M schon eindeutig durch m Koordinaten parametrisiert sind. Die Abbildung, die x\in U_{\bar{x}}\cap M auf die zur Parametrisierung benötigten Koordinaten projiziert, ist ein Beispiel für eine Kartenabbildungen und U_{\bar{x}}\cap M ist das zugehörige Kartengebiet. Da es zu jedem Punkt \bar{x}\in M eine Kartenabbildung gibt, kann man ganz M mit den zugehörigen Kartengebieten überdecken. Eine Menge solcher Karten, mit deren Kartengebieten man M überdecken kann, ist ein Beispiel für einen Atlas.

Mit Hilfe der Kartenabbildungen kann man auf M lokal wie im \mathbb{R}^m rechnen. Das motiviert, dass die natürliche Zahl m Dimension von M genannt wird und M als m-dimensionale Untermannigfaltigkeit des \mathbb{R}^n bezeichnet wird.

Beispiel

Kartengebiete und Projektionen als Kartenabbildungen für die eindim. Einheitssphäre

Die Einheitssphäre im \mathbb{R}^n wird mit der stetig differenzierbaren Funktion f(x):=\|x\|^2-1 durch die Gleichung f(x) = 0 beschrieben. Die Jacobi-Matrix Df(x) = 2xT hat für x\in\mathbb{R}^n mit \|x\|=1 ihren Maximalrang eins. Also ist M:=\{x\in\mathbb{R}^n\mid \|x\|^2-1=0\} eine \left.(n-1)\right.-dimensionale Untermannigfaltigkeit des \mathbb{R}^n. In jedem Punkt \bar{x}\in M ist mindestens eine Koordinate \bar{x}_k ungleich null. Für \bar{x}_k&amp;amp;gt;0 kann man mit U_{\bar{x}}=\{x\in\mathbb{R}^n\mid x_k &amp;amp;gt;0\} die Menge M\cap U_{\bar{x}}=\{x\in\mathbb{R}^n\mid \|x\|=1,\,x_k &amp;amp;gt;0\} als Kartengebiet nutzen und für \bar{x}_k&amp;amp;lt;0 mit U_{\bar{x}}=\{x\in\mathbb{R}^n\mid x_k &amp;amp;lt;0\} die Menge M\cap U_{\bar{x}}=\{x\in\mathbb{R}^n\mid \|x\|=1,\,x_k &amp;amp;lt;0\}. Die Abbildung \phi(x)=(x_1,\ldots,x_{k-1},x_k\pm\sqrt{1-x_1^2-\ldots-x_{k-1}^2-x_{k+1}^2-\ldots-x_n^2},x_{k+1},\ldots,x_{n}) eignet sich dann für den ersten Fall mit dem Minus vor der Wurzel und im zweiten Fall mit dem Plus vor der Wurzel als lokaler Flachmacher.

Am einfachsten zu veranschaulichen ist dieses Vorgehen für die eindimensionale Einheitssphäre im \mathbb{R}^2. Im nebenstehenden Bild sind die vier Kartengebiete als dick durchgezogene Linien eingezeichnet. Die Vereinigung der Kartengebiete überdeckt die gesamte Einheitssphäre, also bilden diese Karten zusammen einen Atlas. Die jeweils zu den Kartengebieten gehörigen Flachmacher sind durch einen kleinen Pfeil angedeutet. Die Bilder der Kartengebiete sind dick gestrichelt.

Für die zweidimensionale Einheitssphäre im \mathbb{R}^3 benötigt man schon zwei Koordinaten zur eindeutigen Parametrisierung der Punkte in den Kartengebieten. Zum Beispiel wählt man für \bar{x}_1&amp;amp;gt;0 die Menge  U_{\bar{x}} := \{ x\in\mathbb{R}^3\mid x_1&amp;amp;gt;0 \}, und als Kartenabbildung φ(x) = (x2,x3).


Auch das Möbiusband hat lokal Eigenschaften wie ein Gebiet des \mathbb{R}^2 und soll deshalb auch als zweidimensionale differenzierbare Untermannigfaltigkeit des \mathbb{R}^2 bezeichnet werden können. Wäre das Möbiusband als Urbild eines regulären Wertes einer stetig differenzierbaren Funktion f:\mathbb{R}^3\rightarrow\mathbb{R} darstellbar, so müsste der senkrecht auf M stehende stetige Gradient dieser Funktion überall in eine Richtung zeigen (als z.B. von der Vorderseite wegzeigen). Das geht jedoch nicht, da das Möbiusband keine Vorder- oder Rückseite hat. Deshalb muss die Definition der differenzierbaren Untermannigfaltigkeit des \mathbb{R}^n etwas allgemeiner gefasst werden.

Allgemeine Definition [Untermannigfaltigkeit des Rn]

Eine Menge M\subset\mathbb{R}^n ist eine m-dimensionale k-mal stetig differenzierbare Untermannigfaltigkeit des \mathbb{R}^n, wenn es zu jedem Punkt \bar{x}\in M eine \mathbb{R}^n-Umgebung U_{\bar{x}} und eine k-mal stetig differenzierbare Funktion f_{\bar{x}}:U_{\bar{x}}\rightarrow\mathbb{R}^{n-m} mit regulärem Wert 0 gibt, so dass f^{-1}(\{0\})=M\cap U_{\bar{x}} gilt.

Wichtige Aussagen

Äquivalent dazu ist: Eine Menge M\subset\mathbb{R}^n ist genau dann eine k-mal stetig differenzierbare Untermannigfaltigkeit des \mathbb{R}^n, wenn es zu jedem Punkt \bar{x}\in M einen lokalen Flachmacher gibt, d.h., zu \bar{x} existieren eine \mathbb{R}^n-Umgebung U_{\bar{x}} und ein Ck Diffeomorphismus f:U_{\bar{x}}\rightarrow f(U_{\bar{x}})\subset\mathbb{R}^n mit f_{m+1}(x)=\ldots=f_{n}(x)=0 für alle x\in M\cap U_{\bar{x}}.

Eine reguläre Parameterdarstellung ist eine stetig differenzierbare Funktion g, die ein Gebiet Ω des \mathbb{R}^m in den \mathbb{R}^n (n,m\in\mathbb{N}, m&amp;amp;lt;n) abbildet und deren Jacobi-Matrix Dg(p) für jeden Parameter p\in\Omega den Maximalrang m hat.

Ist f_{\bar{x}}:U_{\bar{x}}\rightarrow f(U_{\bar{x}}) ein lokaler Flachmacher einer Mannigfaltigkeit M, so ist 
g:=\Big( \mathrm{pr}_{1:m} f_{\bar{x}}|(U_{\bar{x}}\cap M) \Big)^{-1}
eine reguläre Parameterdarstellung, die zumindest den Teil U_{\bar{x}}\cap M von M parametrisiert. Dabei projiziert \mathrm{pr}_{1:m}:\mathbb{R}^n\rightarrow\mathbb{R}^m mit \mathrm{pr}_{1:m}(x)=(x_1,\ldots,x_m) auf die wesentlichen Komponenten des lokalen Flachmachers.

Beispiel für eine Immersion, deren volles Bild keine Untermannigfaltigkeit des \mathbb{R}^n ist

Lokal kann man durch reguläre Parameterdarstellungen auch Mannigfaltigkeiten definieren: Ist g:\Omega\rightarrow\mathbb{R}^n eine reguläre Parameterdarstellung und p\in\Omega beliebig, so existiert eine Umgebung U_p\subset\Omega von p, so dass das Bild g(U_p)\subset\mathbb{R}^n von Up unter g eine differenzierbare Untermannigfaltigkeit des \mathbb{R}^n darstellt.

Beispiel

Die rechts veranschaulichte Immersion g:(-\pi/2,3\pi/2)\rightarrow\mathbb{R}^2 mit g(p):=\big(2\cos(p),\sin(2p)\big) ist ein Beispiel dafür, dass die vorstehende Aussage nicht notwendigerweise auf das volle Bild einer Immersion verallgemeinerbar ist (sogar dann nicht, wenn, wie in diesem Beispiel, die Immersion injektiv ist). Die Menge M:=g\big((-\pi/2,3\pi/2)\big) ist lokal um den Punkt (0,0) nicht diffeomorph zu einem Intervall der reellen Achse und stellt somit keine eindimensionale Untermannigfaltigkeit des \mathbb{R}^n dar.

Tangentialvektoren/Tangentialraum/Tangentialbündel

Tangentialvektor an M in x \in M definiert als Geschwindigkeitsvektor einer Kurve γ durch x sowie Tangentialraum an den Punkt x

Sei M eine m-dimensionale differenzierbare Untermannigfaltigkeit des \mathbb{R}^n und x\in M. Ein Vektor v\in\mathbb{R}^n heißt Tangentialvektor an M im Punkt x, falls es eine differenzierbare Kurve \gamma:(-\epsilon,\epsilon)\rightarrow M mit \left.\gamma(0)=x\right. und \dot\gamma(0)=v gibt.

Betrachtet man t\in(-\epsilon,\epsilon)\mapsto\gamma(t) als Bahnkurve eines sich auf der Untermannigfaltigkeit M bewegenden Teilchens, so passiert dieses Teilchen zur Zeit t = 0 den interessierenden Punkt x gerade mit der Geschwindigkeit v.

Die Menge TxM aller Tangentialvektoren an M im Punkt x\in M ist ein m-dimensionaler linearer Raum und wird als Tangentialraum an M im Punkt x bezeichnet.

Definitionsgemäß lässt sich die Untermannigfaltigkeit in einer Umgebung U_{\bar{x}} des Punktes \bar{x}\in M als reguläre Nullstelle einer Funktion f:U_{\bar{x}}\rightarrow \mathbb{R}^{n-m} darstellen. Sei \gamma:(-\epsilon,\epsilon)\rightarrow U_{\bar{x}}\cap M eine beliebige stetig differenzierbare Kurve mit \gamma(0)=\bar{x}. Da diese auf der Mannigfaltigkeit verläuft, erfüllt sie die Gleichung f(γ(t)) = 0. Ableiten nach t an der Stelle t = 0 ergibt D f(\gamma(t))\dot\gamma(t)|_{t=0}=0, woraus folgt:

Der Tangentialraum TxM ergibt sich gerade als Kern der zu f gehörigen Jacobi-Matrix D f(\bar{x}), das heißt, es gilt T_{\bar{x}} M=\{v\in\mathbb{R}^n\mid D f(\bar{x}) v = 0\}.

Hat man eine (lokale) reguläre Parameterdarstellung g:\Omega\subset\mathbb{R}^m\rightarrow M gegeben, die einen Parameterpunkt p\in\Omega in x\in M abbildet, so lässt sich der Tangentialraum an M in x auch als volles Bild der zugehörigen Jacobi-Matrix Dg(p) darstellen:

T_x M = \{
Dg(p)u
 \mid
u\in\mathbb{R}^m
\}.

Die Relation T M := \{ (x,v)\in M\times \mathbb{R}^n\mid v\in T_x M \}, die jedem Punkt x\in M alle Tangentialvektoren an M in diesem Punkt zuordnet, heißt Tangentialbündel von M.

Sei M eine mindestens zweimal stetig differenzierbare Untermannigfaltigkeit des \mathbb{R}^n und \bar{x}\in M beliebig. Aus einer lokalen Darstellung M\cap U_{\bar{x}} = \{ x\in U_{\bar{x}}\mid f(x) = 0 \} von M in einer Umgebung U_{\bar{x}} von \bar{x} lässt sich eine lokale Darstellung von TM konstruieren:

 TM \cap (U_{\bar{x}}\times\mathbb{R}^n) = \{
(x,v)\in U_{\bar{x}}\times\mathbb{R}^n
\mid
f(x)=0 \mbox{ und }
Df(x)v = 0
\}.

Damit ist TM eine 2m-dimensionale (mindestens einmal) stetig differenzierbare Untermannigfaltigkeit des \mathbb{R}^{2n} (im Sinne der üblichen Identifikation des \mathbb{R}^n \times \mathbb{R}^n mit dem \mathbb{R}^{2n}).

Abstrakte Mannigfaltigkeiten

Eine n-dimensionale abstrakte Mannigfaltigkeit besteht aus einem topologischen Raum M zusammen mit einem differenzierbaren Atlas, also einem System von Karten, die die lokale Struktur der Mannigfaltigkeit bestimmen.

  • Eine Karte ist ein Paar (U,φ) bestehend aus einer (in M) offenen Teilmenge U\subseteq M und einem Homöomorphismus \phi\colon U\to\phi(U)\subseteq\R^n. U heißt Kartengebiet.
  • Ein Atlas für M ist ein System (Uii)i von Karten, für das die Mengen Ui ganz M überdecken.
  • Ein Atlas heißt Ck-Atlas (k=1,2,\ldots,\infty,\omega), wenn die Kartenwechselabbildungen
\phi_i\circ\phi_j^{-1}\colon\phi_j(U_i\cap U_j)\to\phi_i(U_i\cap U_j)
für alle i,j sogar Ck-Diffeomorphismen sind.

Glatte Mannigfaltigkeit

Eine glatte Mannigfaltigkeit ist eine (abstrakte) Mannigfaltigkeit, deren Kartenwechsel beliebig oft differenzierbar sind.

Auf diesen Mannigfaltigkeiten kann man also Funktionen auf Glattheit untersuchen, was natürlich bei k-mal differenzierbaren Mannigfaltigkeiten nicht geht, da dort eben der Kartenwechsel nur k-mal differenzierbar ist und man deshalb jede Funktion auf der Mannigfaltigkeit nur höchstens k-mal differenzieren kann. Oftmals betrachten Differentialgeometer nur die glatten Mannigfaltigkeiten, da man für diese etwa dieselben Resultate erhält wie für die k-mal differenzierbaren. Jedoch muss man bei den glatten Mannigfaltigkeiten den Wert, wie oft man die Kartenwechsel noch differenzieren darf, nicht verwalten. Komplexe Mannigfaltigkeiten sind auch glatte Mannigfaltigkeiten, jedoch muss man hier aufpassen, diese müssen immer glatt sein auf Grund der konformen Kartenwechsel. Diese haben ein stärkere Struktur als nur die Glattheit.

Einbettungssatz von Whitney

Der Einbettungssatz von Whitney besagt, dass es zu jeder n-dimensionalen abstrakten differenzierbaren Mannigfaltigkeit M eine Einbettung M\to\R^{2n} gibt, die M mit einer abgeschlossenen Untermannigfaltigkeit des \R^{2n} identifiziert. Die beiden Konzepte sind also äquivalent.


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

  • 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… …   Deutsch Wikipedia

  • Glatte Struktur — Eine differenzierbare Struktur (auch Differentialstruktur) beschreibt wichtige Eigenschaften einer Mannigfaltigkeit, die zwischen denen der Topologie und Geometrie liegen. Eine Mannigfaltigkeit wird dabei durch Karten beschrieben, d.h. durch… …   Deutsch Wikipedia

  • Differenzierbare Mannigfaltigkeit — In der Mathematik sind differenzierbare Mannigfaltigkeiten ein Oberbegriff für Kurven, Flächen und andere geometrische Objekte, die – aus der Sicht der Analysis – lokal aussehen wie ein euklidischer Raum. Im Unterschied zu topologischen… …   Deutsch Wikipedia

  • Komplexe Mannigfaltigkeit — Komplexe Mannigfaltigkeiten sind topologische Mannigfaltigkeiten, deren Kartenwechselhomöomorphismen sogar konform sind. Diese Objekte werden in der Differentialgeometrie und der Funktionentheorie untersucht. Ihre Definition ist analog zu der… …   Deutsch Wikipedia

  • Kähler-Mannigfaltigkeit — In der Mathematik bezeichnet man mit Kählermannigfaltigkeit (nach Erich Kähler) eine glatte Mannigfaltigkeit M zusammen mit einer komplexen Struktur J und einer Riemannschen Metrik (im Sinne einer riemannschen Mannigfaltigkeit) g, die mit… …   Deutsch Wikipedia

  • Immersierte Mannigfaltigkeit — Eine immersierte Mannigfaltigkeit oder immersierte Untermannigfaltigkeit ist ein Objekte aus dem mathematischen Teilgebiet der Differentialtopologie. Seltener wird dieses Objekt auch immergierte Mannigfaltigkeit[1] genannt, im Englischen spricht… …   Deutsch Wikipedia

  • Symplektische Mannigfaltigkeit — Die symplektische Mannigfaltigkeit ist das zentrale Objekt der symplektischen Geometrie einem Teilgebiet der Differentialgeometrie. Die symplektischen Mannigfaltigkeiten haben eine sehr starke Beziehung zur Theoretischen Physik.… …   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