Suponga $(E, e_0)$ $(B, b_0)$ se basan en los espacios con la indicada en los puntos de base.
Dada una base de fibration $p: E \rightarrow B$. Tenemos los respectivos homotopy: fibra \begin{equation} Fp= \{(e,\beta) | \beta(1)=p(e)\} \subset E \times F(I,B) \end{equation} Escribí $F(I,B)$ como la ruta de espacio para $B$ o en el espacio de la base de los mapas de la unidad de intervalo de a $B$ que envían $0$$b_0$.
Pregunta: La fibra de $F=p^{-1}(b_0)$ tiene una inclusión mapa de $\phi: F \rightarrow Fp$ donde $e \mapsto (e, c_{b_0})$ es un homotopy de equivalencia.
Lo que he pensado hasta ahora: La ruta de la asignación de espacio $Np=\{(e, \beta)| \beta(1)=p(e)\}\subset E \times F(I_{+}, B)$. $I_{+}$ es la unión de la unidad de intervalo y arbitraria en el distinto punto de base.
Podemos reemplazar $p: E \rightarrow B$ con la composición de $\nu:E \rightarrow Np$ con $ \rho: Np \rightarrow B$. $\nu$ enviará $e \mapsto (e, c_{p(e)})$ $\rho$ le enviará $(e,\beta) \mapsto \beta(1)$.
El mapa de $\nu$ es un homotopy de equivalencia ya que puede deformar $Np$ $\nu(E)$el uso de la homotopy que envía a $(e, \beta(t), s)$$(e, \beta((1-s)t)$. También tenemos que $\rho^{-1}(b_0)$ es el homotopy fibra $Fp$.
Es difícil sacar una deformación similar si es que hay uno. Aquí es donde actualmente estoy atascado y consejos sobre el asunto va a ser útil.