Satz vom regulären Wert

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Satz vom regulären Wert ist ein Resultat aus der Differentialgeometrie. Auf Englisch heißt dieser Satz Submersion Theorem. Mit Hilfe des Satzes ist es möglich, konstruktiv Untermannigfaltigkeiten zu einer differenzierbaren Mannigfaltigkeit zu finden.

Satz[Bearbeiten]

Es seien M und N differenzierbare Mannigfaltigkeiten und es sei  f: M \to N eine differenzierbare Abbildung. Außerdem sei n ein regulärer Wert von f. Dann ist die Menge

 U := f^{-1}(n) = \{ m \in M | f(m) = n \}

eine abgeschlossene, differenzierbare Untermannigfaltigkeit von M. Für den Tangentialraum gilt dann

T_mU = \operatorname{Kern}\,\,(Df(m))

wobei Df(m) das Differential von f im Punkt m bezeichne.

Falls N endlichdimensional ist, so gilt für die Kodimension von U

\operatorname{codim}(U) = \dim (N).

Dies folgt aus der Aussage über den Tangentialraum. Falls M noch zusätzlich endlichdimensional ist, kann man die Dimension von M mit Hilfe der Formel

 \operatorname{codim}(U) = \dim(M) - \dim(U)

berechnen.

Beispiel[Bearbeiten]

Mit Hilfe des Satzes kann man zeigen, dass die n-dimensionale Einheitssphäre \mathbb{S}^n eine Untermannigfaltigkeit des \R^{n+1} ist. Es sei

f : \R^{n+1} \rightarrow \R definiert durch f(x) = \|x\|^2 = \sum_{i=1}^{n+1}x_i^2.

Dann gilt \mathbb{S}^n = f^{-1}(1). Es muss nur noch gezeigt werden, dass 1 ein regulärer Wert ist. Dies sieht man durch

D f(x) = D \|x\|^2 = 2 x^t .

Der Operator (.)^t steht für die Matrixtransposition. Nur für x=0 wird der Term 2 x^t null. Für alle anderen x \in \R^{n+1} gilt für den Rang

\operatorname{Rg} (2 x^t) = 1.

Also ist insbesondere das Differential für \|x\|=1 surjektiv und damit ist \mathbb{S}^n eine reelle Untermannigfaltigkeit.

Literatur[Bearbeiten]

  • Konrad Königsberger: Analysis. Band 2. 3. überarbeitete Auflage. Springer, Berlin u. a. 2000, ISBN 3-540-66902-7, S. 118f.
  • R. Abraham, J. E. Marsden, T. Ratiu: Manifolds, Tensor Analysis and Applications (= Applied Mathematical Sciences 75). Springer, New York NY 1988, ISBN 0-387-96790-7.