Finsler-Mannigfaltigkeit

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Die Druckversion wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

In der Geometrie sind Finsler-Mannigfaltigkeiten eine Verallgemeinerung riemannscher Mannigfaltigkeiten.

Sie sind nach Paul Finsler benannt.

Definition

Eine Finsler-Mannigfaltigkeit ist eine differenzierbare Mannigfaltigkeit M {\displaystyle M} {\displaystyle M} mit einer außerhalb des Nullschnitts glatten Funktion F : T M R {\displaystyle F:TM\rightarrow \mathbb {R} } {\displaystyle F:TM\rightarrow \mathbb {R} } so dass für alle v , w T x M , x M {\displaystyle v,w\in T_{x}M,x\in M} {\displaystyle v,w\in T_{x}M,x\in M} gilt:

  • F ( v ) 0 {\displaystyle F(v)\geq 0} {\displaystyle F(v)\geq 0} mit Gleichheit nur für v = 0 {\displaystyle v=0} {\displaystyle v=0}
  • F ( λ v ) = λ F ( v ) {\displaystyle F(\lambda v)=\lambda F(v)} {\displaystyle F(\lambda v)=\lambda F(v)} für alle λ 0 {\displaystyle \lambda \geq 0} {\displaystyle \lambda \geq 0}
  • F ( v + w ) F ( v ) + F ( w ) {\displaystyle F(v+w)\leq F(v)+F(w)} {\displaystyle F(v+w)\leq F(v)+F(w)}.

Hierbei bezeichnet T x M {\displaystyle T_{x}M} {\displaystyle T_{x}M} den Tangentialraum der Mannigfaltigkeit M {\displaystyle M} {\displaystyle M} im Punkt x M {\displaystyle x\in M} {\displaystyle x\in M} und T M {\displaystyle TM} {\displaystyle TM} das Tangentialbündel von M , {\displaystyle M,} {\displaystyle M,} also die disjunkte Vereinigung aller Tangentialräume.

Die Finsler-Mannigfaltigkeit heißt symmetrisch falls F ( v ) = F ( v ) {\displaystyle F(-v)=F(v)} {\displaystyle F(-v)=F(v)} für alle v T x M , x M {\displaystyle v\in T_{x}M,x\in M} {\displaystyle v\in T_{x}M,x\in M} gilt.

Beispiele

  • Normierte Vektorräume, wenn die Norm außerhalb des Nullvektors glatt ist.
  • Riemannsche Mannigfaltigkeiten ( M , g ) {\displaystyle (M,g)} {\displaystyle (M,g)}: setze F ( v ) = g ( v , v ) {\displaystyle F(v)={\sqrt {g(v,v)}}} {\displaystyle F(v)={\sqrt {g(v,v)}}}.
  • Konvexe Mengen Ω R n {\displaystyle \Omega \subset \mathbb {R} ^{n}} {\displaystyle \Omega \subset \mathbb {R} ^{n}} mit der Hilbert-Metrik d Ω {\displaystyle d_{\Omega }} {\displaystyle d_{\Omega }}: setze F ( v ) = d d t t = 0 d Ω ( x , x + t v ) {\displaystyle F(v)={\frac {d}{dt}}\mid _{t=0}d_{\Omega }(x,x+tv)} {\displaystyle F(v)={\frac {d}{dt}}\mid _{t=0}d_{\Omega }(x,x+tv)} für v T x Ω , x Ω {\displaystyle v\in T_{x}\Omega ,x\in \Omega } {\displaystyle v\in T_{x}\Omega ,x\in \Omega }.

Länge und Volumen

Die Länge einer stetig differenzierbaren Kurve γ : [ a , b ] M {\displaystyle \gamma :\left[a,b\right]\rightarrow M} {\displaystyle \gamma :\left[a,b\right]\rightarrow M} ist definiert durch

L ( γ ) = a b F ( γ ( t ) ) d t {\displaystyle L(\gamma )=\int _{a}^{b}F(\gamma ^{\prime }(t))dt} {\displaystyle L(\gamma )=\int _{a}^{b}F(\gamma ^{\prime }(t))dt}.

Die Volumenform einer n {\displaystyle n} {\displaystyle n}-dimensionalen Finsler-Mannigfaltigkeit ist wie folgt definiert. Sei x M {\displaystyle x\in M} {\displaystyle x\in M}, e 1 , , e n {\displaystyle e_{1},\ldots ,e_{n}} {\displaystyle e_{1},\ldots ,e_{n}} eine Basis von T x M {\displaystyle T_{x}M} {\displaystyle T_{x}M}, η 1 , , η n {\displaystyle \eta _{1},\ldots ,\eta _{n}} {\displaystyle \eta _{1},\ldots ,\eta _{n}} die duale Basis. Sei V ( x ) {\displaystyle V(x)} {\displaystyle V(x)} das euklidische Volumen von D ( x ) = { y R n : F ( i = 1 n y i e i ) 1 } {\displaystyle D(x)=\left\{y\in \mathbb {R} ^{n}:F(\sum _{i=1}^{n}y_{i}e_{i})\leq 1\right\}} {\displaystyle D(x)=\left\{y\in \mathbb {R} ^{n}:F(\sum _{i=1}^{n}y_{i}e_{i})\leq 1\right\}}. Die Volumenform ist dann gegeben durch

B F ( x ) = C ( n ) V ( x ) η 1 η n {\displaystyle B_{F}(x)={\frac {C(n)}{V(x)}}\eta _{1}\wedge \ldots \wedge \eta _{n}} {\displaystyle B_{F}(x)={\frac {C(n)}{V(x)}}\eta _{1}\wedge \ldots \wedge \eta _{n}},

wobei C ( n ) {\displaystyle C(n)} {\displaystyle C(n)} das euklidische Volumen der Einheitskugel im R n {\displaystyle \mathbb {R} ^{n}} {\displaystyle \mathbb {R} ^{n}} bezeichnet. Das Busemann-Volumen einer messbaren Menge A M {\displaystyle A\subset M} {\displaystyle A\subset M} ist definiert durch vol ( A ) = A B F ( x ) {\displaystyle \operatorname {vol} (A)=\int _{A}B_{F}(x)} {\displaystyle \operatorname {vol} (A)=\int _{A}B_{F}(x)}.

Literatur

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Finsler-Mannigfaltigkeit&oldid=222761177"