Paquete de esferas

En el campo matemático de la topología , un fibrado esférico es un fibrado de fibras en el que las fibras son esferas de alguna dimensión n . ^[1] De manera similar, en un fibrado de discos, las fibras son discos . Desde una perspectiva topológica, no hay diferencia entre fibrados esféricos y fibrados de discos: esto es una consecuencia del truco de Alexander , que implica $Estilo de visualización Sn$ $Estilo de visualización D^{n}}$ $\operatorname {BTop} (D^{n+1})\simeq \operatorname {BTop} (S^{n}).$

Un ejemplo de un haz de esferas es el toro, que es orientable y tiene fibras sobre un espacio base. La botella de Klein no orientable también tiene fibras sobre un espacio base, pero tiene una torsión que produce una inversión de orientación a medida que se sigue el bucle alrededor del espacio base. ^[1] $Estilo de visualización S1$ $Estilo de visualización S1$ $Estilo de visualización S1$ $Estilo de visualización S1$

Un haz circular es un caso especial de un haz esférico.

Orientación de un haz de esferas

Un fibrado de esferas que es un espacio producto es orientable, como lo es cualquier fibrado de esferas sobre un espacio simplemente conexo. ^[1]

Si E es un fibrado vectorial real en un espacio X y si a E se le da una orientación , entonces un fibrado esférico formado a partir de E , Sph( E ), hereda la orientación de E .

Fibración esférica

Una fibración esférica , una generalización del concepto de fibrado de esferas, es una fibración cuyas fibras son homotópicamente equivalentes a esferas. Por ejemplo, la fibración

\nombreoperador {BTop} (\mathbb {R} ^{n})\to \nombreoperador {BTop} (S^{n})

tiene fibras homotópicas equivalentes a S ⁿ . ^[2]

Véase también

Conjetura de Smale

Notas

^ abc Hatcher, Allen (2002). Topología algebraica. Cambridge University Press. pág. 442. ISBN 9780521795401. Recuperado el 28 de febrero de 2018 .
^ Dado que, escribiendo para la compactificación de un punto de , la fibra de homotopía de es . ${\estilo de visualización X^{+}}$ ${\estilo de visualización X}$ $\nombreoperador {BTop} (X)\to \nombreoperador {BTop} (X^{+})$ $\operatorname {Top} (X^{+})/\operatorname {Top} (X)\simeq X^{+}$