Własność podnoszenia homotopii

Własność podnoszenia homotopii – pojęcie używane w topologii algebraicznej.

Definicja

Mówimy, że odwzorowanie ciągłe ma $p:E\to B$ ma własność podnoszenia homotopii ze względu na przestrzeń $X,$ jeżeli dla każdego odwzorowania ciągłego $f^{'}:X\to E$ oraz homotopii $X\times I\to B$ takie, że $F(x,0)=pf^{'}(x)$ dla $x\in X,$ istnieje homotopia $F^{'}:X\times I\to E$ taka, że $F^{'}(x,o)=f^{'}(x)$ oraz $pF^{'}=F$ dla $x\in X.$ Jeżeli traktować $f^{'}$ jako odwzorowanie $X\times \{0\}\to E,$ to istnienie homotopii $F^{'}$ jest równoważne istnieniu takiego odwzorowania, oznaczonego przerywaną strzałką, że poniższy diagram jest przemienny.