In mathematics , the inner metric or length metric measures the lengths of minimal connecting paths between points.
definition
It is a metric space . The inner metric (or length metric ) to be associated is defined as
(
X
,
d
)
{\ displaystyle (X, d)}
d
{\ displaystyle d}
d
i
{\ displaystyle d_ {i}}
d
i
(
x
,
y
)
=
inf
L.
(
σ
)
{\ displaystyle d_ {i} (x, y) = \ inf L (\ sigma)}
for , the infimum over all rectifiable curves with is taken and represented by
x
,
y
∈
X
{\ displaystyle x, y \ in X}
σ
:
[
0
,
1
]
→
X
{\ displaystyle \ sigma \ colon \ left [0,1 \ right] \ to X}
σ
(
0
)
=
x
,
σ
(
1
)
=
y
{\ displaystyle \ sigma (0) = x, \ sigma (1) = y}
L.
(
σ
)
{\ displaystyle L (\ sigma)}
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 \ }}
defined length of the curve .
σ
{\ displaystyle \ sigma}
Geodetic metric spaces
A metric space is called a geodetic metric space (also length space or inner metric space ) if is, i.e. if the inner metric matches the metric .
d
=
d
i
{\ displaystyle d = d_ {i}}
d
{\ displaystyle d}
Examples
Let it be a Riemannian manifold and the through
(
M.
,
G
)
{\ displaystyle (M, g)}
d
{\ displaystyle d}
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 \}}
for defined metric. If geodetically complete , then is . (See Hopf-Rinow's theorem .)
x
,
y
∈
M.
{\ displaystyle x, y \ in M}
(
M.
,
G
)
{\ displaystyle (M, g)}
d
i
=
d
{\ displaystyle d_ {i} = d}
It be , for and . The restriction of to defines a metric space . The associated inner metric is
X
=
R.
n
{\ displaystyle X = \ mathbb {R} ^ {n}}
d
(
x
,
y
)
=
|
x
-
y
|
{\ displaystyle d (x, y) = | xy |}
x
,
y
∈
R.
n
{\ displaystyle x, y \ in \ mathbb {R} ^ {n}}
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 \}}
d
{\ displaystyle d}
S.
n
-
1
{\ displaystyle S ^ {n-1}}
(
S.
n
-
1
,
d
|
S.
n
-
1
)
{\ displaystyle (S ^ {n-1}, d {\ big |} _ {S ^ {n-1}})}
S.
n
-
1
{\ displaystyle S ^ {n-1}}
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}
.
literature
Bridson, Martin R .; Haefliger, André: Metric spaces of non-positive curvature. Basic Teachings of Mathematical Sciences, 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.
Web links
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">