Fibrado

En topología, un fibrado (o haz fibrado) es una función continua

suprayectiva π, de un espacio topológico E en otro espacio topológico B,
satisfaciendo otra condición que lo hace de una forma particularmente simple
localmente. Introduciendo otro espacio topológico F, utilizamos la función de
proyección de B x F → B como modelo. Por ejemplo en el caso de un fibrado
vectorial, F es un espacio vectorial.

Un cepillo cilíndrico puede dar una

Índice idea intuitiva de un fibrado vectorial.
Definición El cepillo es como un fibrado
vectorial en que el espacio base es
Ejemplos
el cilindro donde están clavadas las
Morfismos fibras, mientras que las fibras
Operaciones cerdas son segmentos
Propiedades homotópicas interpretables como la fibra
matemática unida a cada punto. La
Secciones
aplicación π:E→B tomaría un punto
Grupo estructural situado bajo una cerda y aplicaría
Aplicaciones toda la fibra en la raíz de dicha
cerda ubicada sobre el cilindro.
Referencias
Véase también
Enlaces externos

Definición
Un fibrado consiste en una cuaterna , donde , y son espacios topológicos y es una
aplicación continua y sobreyectiva, de manera que para cualquier existe un entorno de en , y un
homeomorfismo tal que , con , .
Equivalentemente, para todo punto de B existe un entorno y un homeomorfismo tal que el siguiente diagrama
conmuta:

La aplicación es abierta por ser una proyección en un producto cartesiano y B tiene la

topología cociente. El espacio se llama el espacio de base del fibrado, el espacio
total, para cualquier , se llama la fibra en y la función se llama la
proyección. Se denota y se dice que es localmente trivial y el par es
una trivialización local. Es habitual escribir en vez de si y se pueden
entender por contexto y decir que E es un fibrado sobre B.

Condición de ser
Ejemplos localmente trivial

El primer ejemplo es el fibrado producto o fibrado trivial dado por .

Un ejemplo de fibrado no (globalmente) trivial es la Banda de Möbius como espacio total E, base un círculo y fibra
F=(0,1) un segmento de línea. La rotación de los segmentos F a lo largo de la cinta es apreciable sólo globalmente ya que
localmente la estructura de la banda es homeomorfa a un producto . Una descripción analítica explícita es

y la aplicación es la proyección en la primera coordenada.

Un fibrado vectorial es en particular un fibrado. El fibrado vectorial se llama real o complejo si la fibra F es un
espacio vectorial real o complejo respectivamente. El fibrado tangente y el fibrado cotangente son ejemplos de fibrados
vectoriales.

Un espacio recubridor o cubierta es un fibrado, aquí la F es un conjunto discreto.

Existen en la literatura una amplia cantidad de ejemplos con variedades específicas o fibras prescritas. Un par de ejemplos
recurrentes en topología algebraica son la fibración de Hopf de sobre con fibra y la fibración del espacio de
caminos de un espacio topológico con punto base , con fibra isomorfa al espacio de lazos de .

Morfismos
Un morfismo entre dos fibrados y consiste en un par de aplicaciones continuas ,
y , tales que . Nótese que la aplicación determina la aplicación . Para cada
punto se induce una aplicación .

Los morfismos entre fibrados se puede componer mediante . En particular tenemos la

noción de isomorfismo de fibrados: un morfismo entre dos fibrados y es un
isomorfismo si existe un morfismo entre y tal que y
. Observemos que una condición necesaria para que los fibrados sean isomorfos es que las
fibras sean isomorfas.

Un morfismo vertical en un fibrado es un morfismo con . Un primer paso en la clasificación de

fibrados es fijar el espacio base B y clasificar los fibrados con base B salvo isomorfismo.

Operaciones
En esta sección introducimos posibles operaciones en la categoría de fibrados en espacios topológicos. Para fibrados
particulares es posible desarrollar operaciones específicas, por ejemplo las operaciones de álgebra lineal como el espacio
dual, el determinante, el producto tensorial y el producto exterior extienden a las correspondientes nociones para fibrados
vectoriales. Las operaciones aquí descritas son generales.

El pull-back de fibrados es una de las operaciones de cambio de base. Sea un fibrado y una
aplicación continua. El fibrado pull-back de E a través de f tiene por espacio total

con aplicación proyección , . Entonces es sencillo demostrar que es un

fibrado. Nótese que las fibras de y son isomorfas y que existe un morfismo natural de y . Esta operación es
functorial contravariante con respecto a la composición de morfismos, es decir, y . El
fibrado pull-back depende en general de E y de la aplicación f pero si E es un fibrado trivial también.
La restricción de fibrados. Sea un subespacio, la inclusión y E un fibrado sobre B. El fibrado
restricción de E al subespacio A es el fibrado .

El producto (cartesiano) de dos fibrados y es el fibrado .

Si E y E' son fibrados sobre la misma base B, el producto fibrado sobre B se define como

Las fibras son por tanto isomorfas a . Nótese que el fibrado no es más que la restricción del fibrado
producto cartesiano a la diagonal con la identificación .

Propiedades homotópicas
En esta sección se mencionan propiedades de los fibrados en relación a las homotopías. Las demostraciones son ejercicios y
se pueden encontrar en cualquier texto de referencia.

El resultado fundamental para entender el comportamiento de los fibrados por homotopía es el siguiente: Sea
un fibrado y la proyección al primer factor, entonces . En

particular .

Del enunciado anterior se siguen dos corolarios:

(1) Sean aplicaciones continuas y homotópicas y E un fibrado sobre B. Entonces

(2) Sea un retracto de deformación y E un fibrado sobre B. Entonces,

Se deduce del segundo resultado que si el espacio base B es contráctil cualquier fibrado es isomorfo al fibrado
trivial .

Secciones
Una sección de un fibrado es una función continua, f: B → E tal que π(f(x))=x, para x en B. En general un fibrado no tiene
secciones, uno de los propósitos de la teoría es explicar la existencia de estas así como su cuantificación. Nótese que los
fibrados vectoriales siempre tienen una sección, la sección cero.

La obstrucción a la existencia de una sección se puede codificar en elementos de una teoría de cohomología de la base; en el
caso de que el espacio base sea un CW-complejo, hallar obstrucciones en la cohomología celular conduce a la teoría de las
clases características en topología algebraica. Una aplicación sencilla de esta teoría es demostrar que las esferas de
dimensión par no tienen campos tangentes no nulos, luego no son paralelizables.

Grupo estructural
Existe, a veces, un grupo topológico G de transformaciones de E, tal que si ρ denota la acción, π(ρ(g)[e])= π(e) para g en G y
e en E. La condición indica que cada G-órbita reside dentro de una sola fibra. En ese caso, G se llama grupo estructural del
fibrado. Para calificar como G-fibrado, las condiciones que emparejan entre las vecindades trivializable locales tendrían que
ser los intertwiners de G-acciones también.
Si, además, actúa G libremente, transitivamente y continuamente sobre cada fibra, entonces llamamos al fibrado fibrado
principal. Un ejemplo de un fibrado principal que ocurre naturalmente en geometría es el fibrado de todas las bases de los
espacios tangentes a una variedad, con G grupo general lineal; la restricción en geometría de Riemann a las bases
ortonormales, limitaría G al grupo ortogonal. Vea vierbein para más detalles.

Hacer G explícito es esencial para las operaciones de crear un fibrado asociado, y hacer precisa la reducción del grupo
estructural de un fibrado.

Aplicaciones
El lenguaje de la teoría de fibrados permite la expresión de situaciones físicas en términos matemáticos. Una instancia de
ello son las teorías gauge donde los fibrados principales codifican las nociones físicas de simetrías, potenciales y fuerza en
términos del grupo de estructura, las conexiones y la curvatura.

Referencias
Steenrod, Norman (1951), The Topology of Fibre Bundles, Princeton University Press, ISBN 0-691-00548-6.
Bleecker, David (1981), Gauge Theory and Variational Principles, Reading, Mass: Addison-Wesley publishing, ISBN 0-
201-10096-7.
Ehresmann, C. «Les connexions infinitésimales dans un espace fibré différentiable». Colloque de Topologie (Espaces
fibrés), Bruxelles, 1950. Georges Thone, Liège; Masson et Cie., Paris, 1951. pp. 29-55.
Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, ISBN 0-387-94087-1
Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, Vol. 93, Providence:
American Mathematical Society (to appear).
Voitsekhovskii, M.I. (2001), «Fibre space» (http://www.encyclopediaofmath.org/index.php?title=Fibre_space&oldid=183
48), en Hazewinkel, Michiel, Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104

Véase también
Fibración
Variedad
Fibrado de Seifert

Enlaces externos
PlanetMath: Fiber Bundle (https://web.archive.org/web/20040808115056/http://planetmath.org/encyclopedia/FiberBund
le.html)
Weisstein, Eric W. «Fiber Bundle» (http://mathworld.wolfram.com/FiberBundle.html). En Weisstein, Eric W. MathWorld
(en inglés). Wolfram Research.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Fibrado&oldid=109062600»

Esta página se editó por última vez el 2 jul 2018 a las 14:02.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.