Diferencia entre revisiones de «Fibrado»

Un '''fibrado''' consiste en una cuaterna <math>(E,B,\pi,F) \,</math>, donde <math>E \,</math>, <math>B \,</math> y <math>F \,</math> son espacios topológicos y <math>\pi: E \longrightarrow B</math> es una [[función continua|aplicación continua]] y [[función sobreyectiva|sobreyectiva]], de manera que para cualquier <math>x\in B \,</math> existe un entorno <math>U \,</math> de <math> x </math> en <math> B \, </math>, y un homeomorfismo <math>\phi:\pi^{-1}(U)\longrightarrow U\times F \,</math> tal que <math>\pi = \phi\circ \mbox{proj}_1 \circ\phi\,</math>, con <math>\mbox{proj}_1:U\times F\longrightarrow U </math>, <math>\mbox{proj}_1(x,y)=x \,</math>. Equivalentemente, para todo punto de B existe un entorno <math>U</math> y un homeomorfismo <math>\phi</math> tal que el siguiente diagrama conmuta: