Relative Homotopie von Wegen
Es sei
I
=
[
0
,
1
]
{\displaystyle {}I=[0,1]}
und seien
γ
1
,
γ
2
:
I
→
X
{\displaystyle {}\gamma _{1},\gamma _{2}\colon I\rightarrow X}
stetige Wege
in einen
topologischen Raum
X
{\displaystyle {}X}
mit der Eigenschaft, dass
γ
1
(
0
)
=
γ
2
(
0
)
{\displaystyle {}\gamma _{1}(0)=\gamma _{2}(0)}
und
γ
1
(
1
)
=
γ
2
(
1
)
{\displaystyle {}\gamma _{1}(1)=\gamma _{2}(1)}
gilt. Eine Homotopie relativ zu
{
0
,
1
}
{\displaystyle {}\{0,1\}}
zwischen
γ
1
{\displaystyle {}\gamma _{1}}
und
γ
2
{\displaystyle {}\gamma _{2}}
ist eine stetige Abbildung
H
:
I
×
I
⟶
X
,
{\displaystyle H\colon I\times I\longrightarrow X,}
die die folgenden Eigenschaften erfüllt.
H
(
s
,
0
)
=
γ
1
(
s
)
{\displaystyle {}H(s,0)=\gamma _{1}(s)}
für alle
s
∈
I
{\displaystyle {}s\in I}
.
H
(
s
,
1
)
=
γ
2
(
s
)
{\displaystyle {}H(s,1)=\gamma _{2}(s)}
für alle
s
∈
I
{\displaystyle {}s\in I}
.
H
(
0
,
t
)
=
γ
1
(
0
)
{\displaystyle {}H(0,t)=\gamma _{1}(0)}
für alle
t
∈
I
{\displaystyle {}t\in I}
.
H
(
1
,
t
)
=
γ
1
(
1
)
{\displaystyle {}H(1,t)=\gamma _{1}(1)}
für alle
t
∈
I
{\displaystyle {}t\in I}
.