The geodetic metric space is a term from mathematics. It describes spaces in which one can find a shortest connecting curve for every two points. The term generalizes the concept of complete Riemannian manifolds to general metric spaces. The terms length space or inner metric space can also be found in the literature .
Geodesics in metric spaces
Be a metric space . A path is a continuous map with a closed interval im . The length of the image curve is defined as
(
X
,
d
)
{\ displaystyle (X, d)}
γ
:
[
a
,
b
]
→
X
{\ displaystyle \ gamma: \ left [a, b \ right] \ rightarrow X}
[
a
,
b
]
{\ displaystyle \ left [a, b \ right]}
R.
1
{\ displaystyle \ mathbb {R} ^ {1}}
L.
(
γ
)
=
sup
{
∑
i
=
1
r
d
(
γ
(
t
i
-
1
)
,
γ
(
t
i
)
)
|
a
=
t
0
<
t
1
<
⋯
<
t
r
=
b
,
r
∈
N
}
{\ displaystyle L (\ gamma) = \ sup \ left \ {\ left. \ sum _ {i = 1} ^ {r} d {\ big (} \ gamma (t_ {i-1}), \ gamma ( t_ {i}) {\ big)} \ right | a = t_ {0} <t_ {1} <\ cdots <t_ {r} = b, r \ in \ mathbb {N} \ right \}}
.
The inequality follows from the triangle inequality . The way is called minimizing geodesic if equality
L.
(
γ
)
≥
d
(
γ
(
a
)
,
γ
(
b
)
)
{\ displaystyle L (\ gamma) \ geq d (\ gamma (a), \ gamma (b))}
γ
:
[
a
,
b
]
→
X
{\ displaystyle \ gamma: \ left [a, b \ right] \ rightarrow X}
L.
(
γ
)
=
d
(
γ
(
a
)
,
γ
(
b
)
)
{\ displaystyle L (\ gamma) = d (\ gamma (a), \ gamma (b))}
applies.
definition
A metric space is geodesic if every two points a minimizing geodesic with
(
X
,
d
)
{\ displaystyle (X, d)}
x
,
y
∈
X
{\ displaystyle x, y \ in X}
γ
:
[
a
,
b
]
→
X
{\ displaystyle \ gamma: \ left [a, b \ right] \ rightarrow X}
γ
(
a
)
=
x
,
γ
(
b
)
=
y
{\ displaystyle \ gamma (a) = x, \ gamma (b) = y}
gives.
Examples of non-geodetic metric spaces
Be
X
=
C.
∗
=
C.
-
{
0
}
{\ displaystyle X = \ mathbb {C} ^ {*} = \ mathbb {C} - \ left \ {0 \ right \}}
the dotted complex plane with the metric
d
(
x
,
y
)
=
|
x
-
y
|
{\ displaystyle d (x, y) = | xy |}
for . This space is connected to the path , so two points can be connected by at least one curve.
x
,
y
∈
X
{\ displaystyle x, y \ in X}
Then for example or , in both cases the pairs of points cannot be connected by curves of length 2.
d
(
1
,
-
1
)
=
2
{\ displaystyle d (1, -1) = 2}
d
(
i
,
-
i
)
=
2
{\ displaystyle d (i, -i) = 2}
More generally, it follows from Hopf-Rinow's theorem that a connected Riemannian manifold is a geodetic metric space if and only if all geodesics can be completely continued.
R.
{\ displaystyle \ mathbb {R}}
Hopf-Rinow's theorem
A metric is defined for a Riemann manifold by
(
M.
,
G
)
{\ displaystyle (M, g)}
d
:
M.
×
M.
→
R.
{\ displaystyle d: M \ times M \ rightarrow \ mathbb {R}}
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 . It runs through all the piece-wise differentiable paths that connect and , and denotes the Riemann length of , according to
x
,
y
∈
M.
{\ displaystyle x, y \ in M}
γ
{\ displaystyle \ gamma}
x
{\ displaystyle x}
y
{\ displaystyle y}
L.
(
γ
)
{\ displaystyle L (\ gamma)}
γ
{\ displaystyle \ gamma}
L.
(
γ
)
=
∫
0
1
G
γ
(
t
)
(
γ
˙
(
t
)
,
γ
˙
(
t
)
)
d
t
{\ displaystyle L (\ gamma) = \ int _ {0} ^ {1} \! {\ sqrt {g _ {\ gamma (t)} ({\ dot {\ gamma}} (t), {\ dot { \ gamma}} (t))}} \, \ mathrm {d} t}
is defined. The Riemann manifold thus becomes a metric space .
(
M.
,
d
)
{\ displaystyle (M, d)}
From the Hopf-Rinow theorem it follows:
(
M.
,
d
)
{\ displaystyle (M, d)}
is a geodetic metric space
if and only if one of the following equivalent conditions is met:
the Riemannian manifold is geodetically complete ,
(
M.
,
G
)
{\ displaystyle (M, g)}
there exists such that the exponential mapping is defined for all ,
p
∈
M.
,
{\ displaystyle p \ in M,}
exp
p
{\ displaystyle \ exp _ {p}}
v
∈
T
p
M.
{\ displaystyle v \ in T_ {p} M}
the metric space is complete as metric space .
(
M.
,
d
)
{\ displaystyle (M, d)}
literature
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">