Zweite Fundamentalform

Die zweite Fundamentalform ist in der Mathematik eine Funktion aus der Differentialgeometrie. Definiert wurde die zweite Fundamentalform zunächst in der Theorie der Flächen im dreidimensionalen Raum, einem Teilgebiet der klassischen Differentialgeometrie. Heute gibt es auch eine verallgemeinerte Definition in der riemannschen Geometrie.

Während die erste Fundamentalform die innere Geometrie einer Fläche beschreibt (also Eigenschaften, die sich durch Längenmessungen innerhalb der Fläche ermitteln lassen), hängt die zweite Fundamentalform von der Lage der Fläche im umgebenden Raum ab. Sie wird für Krümmungsberechnungen benötigt und kommt beispielsweise in den Mainardi-Codazzi-Gleichungen vor. Mit ihrer Hilfe und mit Hilfe der ersten Fundamentalform werden die Hauptkrümmungen, die mittlere Krümmung und die Gaußsche Krümmung der Fläche definiert.

Klassische Differentialgeometrie

Definition

Eine Fläche sei durch eine auf einer offenen Teilmenge <math>U \subset \R^2</math> definierte Abbildung

<math>X \colon U \to \R^3, \quad (u,v) \mapsto X (u,v) </math>

gegeben, also durch <math>u</math> und <math>v</math> parametrisiert. Ist die Fläche regulär, also die erste Fundamentalform der Fläche positiv-definit, so kann man der Fläche einen Einheitsnormalenvektor <math>\nu(u,v)</math> zuordnen. Für den durch die Parameterwerte <math>u</math> und <math>v</math> bestimmten Punkt der Fläche ist dieser durch das Vektorprodukt

<math>\nu(u,v) = \frac{X_u(u,v)\times X_v(u,v)}{|X_u(u,v)\times X_v(u,v)|}</math>

gegeben. Die Koeffizienten der zweiten Fundamentalform in diesem Punkt sind wie folgt definiert:

definiert. Hierbei sind <math>X_{uu} (u,v)</math>, <math>X_{uv} (u,v)</math> und <math>X_{vv} (u,v)</math> die zweiten partiellen Ableitungen nach den Parametern. Die Malpunkte drücken Skalarprodukte von Vektoren aus. Zur Vereinfachung der Schreibweise lässt man häufig die Argumente weg und schreibt nur <math>L</math>, <math>M</math> und <math>N</math>. Manche Autoren verwenden die Bezeichnungen <math>e</math>, <math>f</math> und <math>g</math>.

Die zweite Fundamentalform ist dann die quadratische Form

<math>\mathit{II}\colon \R^2 \to \R, \ (w_1,w_2) \mapsto L\, w_1^2 + 2 M \, w_1 w_2 + N \, w_2^2</math>

Gelegentlich wird auch die Schreibweise mit Differentialen verwendet:

<math>d\sigma^2 = L \, du^2 + 2 M \, du \, dv + N \, dv^2</math>

Eine weitere (modernere) Schreibweise ist:

<math>h_{11} = L; \quad h_{12} = h_{21} = M; \quad h_{22} = N</math>,

die zweite Fundamentalform hat also die Matrixdarstellung

<math>(h_{ij}) = \begin{pmatrix} L & M \\ M & N \end{pmatrix}.</math>

Häufig bezeichnet man als zweite Fundamentalform auch die durch diese Matrix dargestellte Bilinearform <math>h</math>.

Eigenschaften

Die Diskriminante <math>LN-M^2</math> (also die Determinante der Darstellungsmatrix) der zweiten Fundamentalform liefert Auskunft darüber, wie die gegebene Fläche an der betrachteten Stelle gekrümmt ist. Drei Fälle sind zu unterscheiden:

Für <math>LN-M^2 > 0</math> liegt elliptische Krümmung vor. (Beispiel: Oberfläche eines Ellipsoids oder einer Kugel)

<math>LN-M^2 = 0</math> bedeutet parabolische Krümmung. (Beispiel: Oberfläche eines geraden Kreiszylinders)

Falls <math>LN-M^2 < 0</math> gilt, spricht man von hyperbolischer Krümmung. (Beispiel: Einschaliges Hyperboloid)

Beispiel Kugeloberfläche

Dem Beispiel aus dem Artikel der ersten Fundamentalform folgend, wird wieder die Oberfläche einer Kugel vom Radius <math>r>0</math> betrachtet. Diese Fläche wird wieder durch

<math>X(u,v) = \begin{pmatrix}r \sin u \cos v\\r \sin u \sin v\\r \cos u\end{pmatrix}</math>

parametrisiert. Das Einheitsnormalenfeld kann dann durch

beschrieben werden. Die zweiten partiellen Ableitungen von <math>X</math> lauten

<math> X_{uu} = -X \,</math> sowie <math> X_{uv} = \left( \begin{smallmatrix}-r \cos u \sin v\\r \cos u \cos v\\0\end{smallmatrix}\right) \, </math> und <math> X_{vv} = \left(\begin{smallmatrix}-r \sin u \cos v\\ -r \sin u \sin v\\0\end{smallmatrix}\right)</math>.

Daher erhält man die Koeffizienten <math>L = -r</math>, <math>M = 0</math> und <math>N = -r \sin^2(u)</math>. Die Darstellung der zweiten Fundamentalform der Kugeloberfläche mit Hilfe von Differentialen lautet dann

<math>d\sigma^2 = -r \,du^2 - r \sin^2(u)\,dv^2.</math>

Spezialfall Graph einer Fläche

Ist die Fläche der Graph einer Funktion <math>f</math> über dem Parameterbereich <math>U</math>, also <math>X(u,v) = (u,v,f(u,v))</math> für alle <math>(u,v) \in U</math>, so gilt:<ref>{{#if:2017-05-17|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:A. Hartmann|A. Hartmann: }}{{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C{{#if:Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1=https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium}}]{{#if:PDF| (PDF)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium}}}}|[{{#invoke:URLutil|getNormalized|1=http://www.uni-math.gwdg.de/pape/1.pdf#page=6}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium}}}}]}}{{#if:PDF| (PDF{{#if:ja2011-04-12https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}%7C%7C URL ungültig}}}}{{#if:Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium|{{#if:{{#invoke:WLink|isValidLinktext|1=Flächen, Gauß-Krümmung, erste und zweite Fundamentalform, theorema egregium|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: 2011-04-12https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C,%7C{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2011-04-12| {{#if:{{#invoke:DateTime|format|2011-04-12|noerror=1}}
            |{{#invoke:DateTime|format|2011-04-12|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2011-04-12|class=Zitationswartung}} }}{{#if: https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C,%7C{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C,%7C{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7C+{{#if:2011-04-12%7C{{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7Carchiviert%7Cehemals}}%7C{{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7CArchiviert%7CEhemals}}}}+{{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7Cvom%7Cim}}+Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|ja}}| (nicht mehr online verfügbar)}}{{#if: 2017-05-17| am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|2017-05-17{{#if:706257||(?)}}}}}}{{#if: 2016-09-29|;}}}}{{#if: 2016-09-29| {{#if:2011-04-12https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7Cabgerufen%7CAbgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2016-09-29 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2016-09-29|class=Zitationswartung}} }} {{#invoke:DateTime|format|2016-09-29|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:ja2011-04-12https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2011-04-12https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6{{#if: 2016-09-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|ja}}|{{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7C%7C{{#ifeq: ja | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.uni-math.gwdg.de/pape/1.pdf#page=6 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.uni-math.gwdg.de/pape/1.pdf#page=6 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.uni-math.gwdg.de/pape/1.pdf#page=6 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.uni-math.gwdg.de/pape/1.pdf#page=6
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.uni-math.gwdg.de/pape/1.pdf#page=6}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.uni-math.gwdg.de/pape/1.pdf#page=6 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:https://web.archive.org/web/20170517071625/http://www.uni-math.gwdg.de/pape/1.pdf#page=6%7CVorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }} Seite 6, Beweis zu Satz 3.4.</ref>

<math>\nu = \frac{1}{\sqrt{1 + f_u^2 +f_v^2}}\begin{pmatrix} -f_u \\ -f_v\\ 1\end{pmatrix}</math>

und

<math>L = \frac{f_{uu}}{\sqrt{1 + f_u^2 +f_v^2}},\quad

      M = \frac{f_{uv}}{\sqrt{1 + f_u^2 +f_v^2}}, \quad
      N = \frac{f_{vv}}{\sqrt{1 + f_u^2 +f_v^2}}.</math>

Hierbei bezeichnen <math>f_u</math> und <math>f_v</math> die ersten und <math>f_{uu}</math>, <math>f_{uv}</math> und <math>f_{vv}</math> die zweiten partiellen Ableitungen von <math>f</math>.

Riemannsche Geometrie

Im Gegensatz zur ersten Fundamentalform, welche in der riemannschen Geometrie durch anschaulichere Konstruktionen ersetzt wurde, hat die zweite Fundamentalform auch in der riemannschen Geometrie eine wichtige Bedeutung und eine verallgemeinerte Definition.

Definition

Sei <math>M</math> eine Untermannigfaltigkeit der riemannschen Mannigfaltigkeit <math>\tilde{M}.</math> Ausgangspunkt für die Definition der zweiten Fundamentalform ist die orthogonale Zerlegung von Vektorfeldern in <math>T\tilde{M}|_M</math> in tangentiale und normale Anteile. Sind <math>X, Y \in \Gamma^\infty(TM)</math> Vektorfelder auf <math>M</math>, so kann man diese zu Vektorfeldern auf <math>\tilde{M}</math> fortsetzen. Ist <math>\tilde{\nabla}</math> der Levi-Civita-Zusammenhang auf <math>\tilde{M}</math>, dann erhält man die Zerlegung

<math>\tilde{\nabla}_X Y = (\tilde{\nabla}_XY)^\top + (\tilde{\nabla}_XY)^\bot.</math>

Die zweite Fundamentalform ist eine Abbildung

<math>\mathit{II} \colon \Gamma(TM) \times \Gamma(TM) \to \Gamma(NM),</math>

welche durch

<math>\mathit{II}(X,Y) := (\tilde{\nabla}_XY)^\bot</math>

definiert ist. Dabei bezeichnet <math>NM</math> das Normalenbündel von <math>M</math>, welches analog zum Tangentialbündel definiert ist, und <math>^\bot \colon T\tilde{M} \to NM</math> ist die orthogonale Projektion auf das Normalenbündel.

Eigenschaften

Die zweite Fundamentalform ist

unabhängig von der Fortsetzung der Vektorfelder <math>X</math> und <math>Y</math>.
bilinear über <math>C^\infty(M).</math>
symmetrisch in <math>X</math> und <math>Y.</math>

Skalare zweite Fundamentalform

Sei <math>\tilde{M}</math> eine <math>n</math>-dimensionale riemannsche Mannigfaltigkeit mit riemannscher Metrik <math>g</math> und sei <math>M</math> eine <math>(n-1)</math>-dimensionale Untermannigfaltigkeit von <math>\tilde{M}</math>. So eine Untermannigfaltigkeit der Kodimension 1 heißt auch Hyperfläche. In diesem Fall ist der Normalenraum <math>NM_p</math> in jedem Punkt <math>p</math> von <math>M</math> eindimensional und es gibt genau zwei Einheitsnormalenvektoren, die jeweils <math>NM_p</math> aufspannen. Diese unterscheiden sich nur durch das Vorzeichen.

Ist ein Einheitsnormalenvektorfeld <math>N \in \Gamma(NM)</math> fest gewählt, so definiert man die zugehörige skalare zweite Fundamentalform <math>h</math> durch

<math>h(X,Y) = g(\mathit{II}(X,Y),N)</math> für alle <math>X , Y \in \Gamma(TM).</math>

Die skalare zweite Fundamentalform hängt bis auf das Vorzeichen nicht von der Wahl des Einheitsnormalenvektorfelds ab: Nimmt man statt <math>N</math> das entgegengesetzt orientierte zweite Einheitsnormalenvektorfeld, so ändert sich bei der skalaren zweiten Fundamentalform nur das Vorzeichen. Aus den Eigenschaften der zweiten Fundamentalform folgt, dass die skalare zweite Fundamentalform ebenfalls symmetrisch und <math>C^\infty(M)</math>-linear in jedem Argument ist, also ein symmetrisches (0,2)-Tensorfeld auf <math>M</math>.

Total geodätische Untermannigfaltigkeiten

{{#if: Total geodätische Untermannigfaltigkeit|{{#ifexist:Total geodätische Untermannigfaltigkeit|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Eine Untermannigfaltigkeit <math>N\subset M</math> ist genau dann total geodätisch (d. h. Geodäten in <math>N</math> sind auch Geodäten in <math>M</math>), wenn ihre zweite Fundamentalform identisch verschwindet.

Siehe auch

Weingartenabbildung

Einzelnachweise

Literatur

Manfredo Perdigão do Carmo: Differential Geometry of Curves and Surfaces, Prentice-Hall, Inc., New Jersey, 1976, ISBN 0-13-212589-7
Manfredo Perdigão do Carmo: Riemannian Geometry, Birkhäuser, Boston 1992, ISBN 0-8176-3490-8
John M. Lee: Riemannian Manifolds. An Introduction to Curvature. Springer, New York 1997, ISBN 0-387-98322-8.