Differenzierbare Mannigfaltigkeit/Differenzierbare Abbildungen/Differenzierbar homotop/Definition

Differenzierbar homotope Abbildungen

Es seien ${}M$ und ${}N$ ${}C^{\infty }$-reelle Mannigfaltigkeiten. Man nennt differenzierbare Abbildungen ${}f,g\colon M\rightarrow N$ differenzierbar homotop, wenn es eine differenzierbare Abbildung ${}H\colon [0,1]\times M\rightarrow N$ mit ${}H(0,-)=f(-)$ und ${}H(1,-)=g(-)$.