Stetige Wege/Relative Homotopie/Definition

Aus Wikiversity
Relative Homotopie von Wegen

Es sei und seien stetige Wege in einen topologischen Raum mit der Eigenschaft, dass und gilt. Eine Homotopie relativ zu zwischen und ist eine stetige Abbildung

die die folgenden Eigenschaften erfüllt.

  1. für alle .
  2. für alle .
  3. für alle .
  4. für alle .