Cubriendo la homotopía

Una homotopía de cobertura para una homotopía para un mapeo dado es una homotopía tal que . En este caso, si el mapeo de cobertura para el mapeo se especificó de antemano, entonces continúa . $F_{t}:Z\a Y$ $p:X\a Y$ $G_{t}:Z\a X$ $p\circ G_{t}=F_{t}$ $G_{0}$ $F_{0}$ $G_{t}$ $G_{0}$

Definiciones relacionadas

Si para un mapeo dado y cualquier homotopía con paracompacto y cualquiera tal que haya una extensión a una homotopía de cobertura , entonces se llama fibración de Gurevich . $p:X\a Y$ $F_{t}:Z\a Y$ $Z$ $G_{0}$ $p\circ G_{0}=F_{0}$ $G_{0}$ $G_{t}$

Si esta definición requiere solo que sea un poliedro finito, entonces se llama fibración de Serre . $Z$ $pags$

Propiedades

Un caso especial de la fibración de Gurevich es la fibración localmente trivial .
Para las fibraciones de Serre, se puede construir una secuencia de homotopía exacta de la fibración .