Innere Metrik

In der Mathematik misst die innere Metrik oder Längenmetrik die Längen minimaler Verbindungswege zwischen Punkten.

Definition

Es sei ( X , d ) {\displaystyle (X,d)} ein metrischer Raum. Die zu d {\displaystyle d} assoziierte innere Metrik (oder Längenmetrik) d i {\displaystyle d_{i}} ist definiert als

d i ( x , y ) = inf L ( σ ) {\displaystyle d_{i}(x,y)=\inf L(\sigma )}

für x , y X {\displaystyle x,y\in X} , wobei das Infimum über alle rektifizierbaren Kurven σ : [ 0 , 1 ] X {\displaystyle \sigma \colon \left[0,1\right]\to X} mit σ ( 0 ) = x , σ ( 1 ) = y {\displaystyle \sigma (0)=x,\sigma (1)=y} genommen wird und L ( σ ) {\displaystyle L(\sigma )} die durch

L ( σ ) = sup { i = 1 r d ( σ ( t i 1 ) , σ ( t i ) ) | 0 = t 0 < t 1 < < t r = 1 , r N } {\displaystyle L(\sigma )=\sup \left\{\left.\sum _{i=1}^{r}d{\big (}\sigma (t_{i-1}),\sigma (t_{i}){\big )}\,\right|\,0=t_{0}<t_{1}<\cdots <t_{r}=1,r\in \mathbb {N} \right\}}

definierte Länge der Kurve σ {\displaystyle \sigma } ist.

Geodätische metrische Räume

Ein metrischer Raum heißt geodätischer metrischer Raum (auch Längenraum oder innerer metrischer Raum), wenn d = d i {\displaystyle d=d_{i}} ist, also wenn die innere Metrik mit der Metrik d {\displaystyle d} übereinstimmt.

Beispiele

  • Es sei ( M , g ) {\displaystyle (M,g)} eine Riemannsche Mannigfaltigkeit und d {\displaystyle d} die durch
d ( x , y ) := inf { L ( γ ) γ : [ 0 , 1 ] M , γ ( 0 ) = x , γ ( 1 ) = y } {\displaystyle d(x,y):=\inf\{L(\gamma )\mid \gamma \colon [0,1]\to M,\gamma (0)=x,\gamma (1)=y\}}
für x , y M {\displaystyle x,y\in M} definierte Metrik. Wenn ( M , g ) {\displaystyle (M,g)} geodätisch vollständig ist, dann ist d i = d {\displaystyle d_{i}=d} . (Siehe Satz von Hopf-Rinow.)
  • Es sei X = R n {\displaystyle X=\mathbb {R} ^{n}} , d ( x , y ) = | x y | {\displaystyle d(x,y)=|x-y|} für x , y R n {\displaystyle x,y\in \mathbb {R} ^{n}} und S n 1 = { x R n : d ( x , 0 ) = 1 } {\displaystyle S^{n-1}=\left\{x\in \mathbb {R} ^{n}\colon d(x,0)=1\right\}} . Die Einschränkung von d {\displaystyle d} auf S n 1 {\displaystyle S^{n-1}} definiert einen metrischen Raum ( S n 1 , d | S n 1 ) {\displaystyle (S^{n-1},d{\big |}_{S^{n-1}})} . Die assoziierte innere Metrik auf S n 1 {\displaystyle S^{n-1}} ist
d i ( x , y ) = arccos ( x , y ) > d ( x , y )   x y {\displaystyle d_{i}(x,y)=\arccos(\langle x,y\rangle )>d(x,y)\ \forall x\not =y} .

Literatur

  • Bridson, Martin R.; Haefliger, André: Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften, 319. Springer-Verlag, Berlin, 1999. ISBN 3-540-64324-9
  • A. Papadopoulos, Metric Spaces, Convexity and Nonpositive Curvature, IRMA Lectures in Mathematics and Theoretical Physics 6, European Mathematical Society 2005, 2nd ed. 2014.
  • Herbert Busemann, Selected Works, (Athanase Papadopoulos, ed.) Volume I, 908 p., Springer International Publishing, 2018.
  • Herbert Busemann, Selected Works, (Athanase Papadopoulos, ed.) Volume II, 842 p., Springer International Publishing, 2018.
  • Urs Lang: Length spaces.