Takaró homotópia

Egy adott leképezés homotópiájának fedőhomotópiája olyan homotópia , amely . Ebben az esetben, ha a leképezés fedőleképezése előre meg lett adva, akkor folytatódik . $F_{t}:Z\-ig$ $p:X\-ig$ $G_{t}:Z\-X$ $p\circ G_{t}=F_{t}$ $G_{0}$ $F_{0}$ $G_{t}$ $G_{0}$

Kapcsolódó definíciók

Ha egy adott leképezéshez és bármely parakompakt homotópiához és minden olyanhoz , amely kiterjed a fedőhomotópiára , akkor azt Gurevich fibrációnak nevezzük . $p:X\-ig$ $F_{t}:Z\-ig$ $Z$ $G_{0}$ $p\circ G_{0}=F_{0}$ $G_{0}$ $G_{t}$

Ha ez a definíció csak azt követeli meg, hogy véges poliéder legyen, akkor Serre-szálnak nevezzük . $Z$ $p$

Tulajdonságok

A Gurevich-fibráció speciális esete a lokálisan triviális fibráció .
A Serre-szálak esetében a fibráció pontos homotópiás szekvenciája megszerkeszthető .