Kattaa homotopian

Peittävä homotopia tietylle kartoitukselle on homotoopia , joka on sellainen, että . Tässä tapauksessa, jos kartoituksen peittokuvaus on määritetty etukäteen, jatkuu . $F_{t}:Z\-Y$ $p:X\Y:lle$ $G_{t}:Z\-X$ $p\circ G_{t}=F_{t}$ $G_{0}$ $F_{0}$ $G_{t}$ $G_{0}$

Aiheeseen liittyvät määritelmät

Jos tietylle kartoitukselle ja mille tahansa homotopialle parakompaktilla ja sellaisella , jossa on laajennus peittävälle homotopialle , sitä kutsutaan Gurevichin fibraatioksi . $p:X\Y:lle$ $F_{t}:Z\-Y$ $Z$ $G_{0}$ $p\circ G_{0}=F_{0}$ $G_{0}$ $G_{t}$

Jos tämä määritelmä vaatii vain, että se on äärellinen monitahoinen, niin sitä kutsutaan Serren fibraatioksi . $Z$ $s$

Ominaisuudet

Gurevich-fibroinnin erikoistapaus on paikallisesti triviaali fibrointi .
Serren fibraatioille voidaan rakentaa fibroinnin tarkka homotoopiasekvenssi .