Este documento define y explica los conceptos básicos de los fibrados en topología. Un fibrado consiste en una función continua y sobreyectiva de un espacio topológico total a otro espacio base, de tal forma que localmente se comporta como un producto cartesiano. Se definen también las fibras, la proyección, morfismos y operaciones como el pull-back. Los fibrados tienen aplicaciones en física, como en las teorías gauge.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
0 calificaciones0% encontró este documento útil (0 votos)
150 vistas5 páginas
Este documento define y explica los conceptos básicos de los fibrados en topología. Un fibrado consiste en una función continua y sobreyectiva de un espacio topológico total a otro espacio base, de tal forma que localmente se comporta como un producto cartesiano. Se definen también las fibras, la proyección, morfismos y operaciones como el pull-back. Los fibrados tienen aplicaciones en física, como en las teorías gauge.
Este documento define y explica los conceptos básicos de los fibrados en topología. Un fibrado consiste en una función continua y sobreyectiva de un espacio topológico total a otro espacio base, de tal forma que localmente se comporta como un producto cartesiano. Se definen también las fibras, la proyección, morfismos y operaciones como el pull-back. Los fibrados tienen aplicaciones en física, como en las teorías gauge.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
0 calificaciones0% encontró este documento útil (0 votos)
Este documento define y explica los conceptos básicos de los fibrados en topología. Un fibrado consiste en una función continua y sobreyectiva de un espacio topológico total a otro espacio base, de tal forma que localmente se comporta como un producto cartesiano. Se definen también las fibras, la proyección, morfismos y operaciones como el pull-back. Los fibrados tienen aplicaciones en física, como en las teorías gauge.
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 5
Fibrado
Fibrado En topologa, un fibrado (o haz fibrado) es una funcin continua sobreyectiva , de un espacio topolgico E a otro espacio topolgico B, satisfaciendo otra condicin que lo hace de una forma particularmente simple localmente. Introduciendo otro espacio topolgico F, utilizamos la funcin de proyeccin de B x F B como modelo. Por ejemplo en el caso de un fibrado vectorial, F es un espacio vectorial.
Definicin Un fibrado consiste en una cuaterna de en , y un homeomorfismo , homeomorfismo , donde , y son espacios topolgicos y existe un entorno , con y un es una aplicacin continua y sobreyectiva, de manera que para cualquier tal que
. Equivalentemente, para todo punto de B existe un entorno
tal que el siguiente diagrama conmuta:
La aplicacin es abierta por ser una proyeccin en un producto cartesiano y B tiene la topologa cociente. El espacio se llama el espacio de base del fibrado, el espacio total, para cualquier , se llama la fibra en y la funcin se llama la proyeccin. Se denota en vez de y se dice que si es localmente y se
trivial y el par
es una trivializacin local. Es habitual escribir
pueden entender por contexto y decir que E es un fibrado sobre B.
Ejemplos El primer ejemplo es el fibrado producto o fibrado trivial dado por . un Un ejemplo de fibrado no (globalmente) trivial es la Banda de Mbius como espacio total E, base
crculo y fibra F=(0,1) un segmento de lnea. La rotacin de los segmentos F a lo largo de la cinta es apreciable slo globalmente ya que localmente la estructura de la banda es homeomorfa a un producto . Una descripcin analtica explcita es
y la aplicacin
es la proyeccin en la primera coordenada. es en particular un fibrado. El fibrado vectorial se llama real o complejo si la
Un fibrado vectorial
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 especficas o fibras prescritas. Un par de ejemplos recurrentes en topologa algebraica son la fibracin de Hopf de sobre con fibra y la fibracin del espacio de caminos de un espacio topolgico con punto base isomorfa al espacio de lazos de . , con fibra
Fibrado
Morfismos Un morfismo entre dos fibrados y consiste en un par de aplicaciones contnuas , . Para cada punto se y , tales que . Ntese que la aplicacin determina la aplicacin
induce una aplicacin . Los morfismos entre fibrados se puede componer mediante . En particular tenemos la nocin 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 condicin 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 clasificacin de fibrados es fijar el espacio base B y clasificar los fibrados con base B salvo isomorfismo.
Operaciones En esta seccin introducimos posibles operaciones en la categora de fibrados en espacios topolgicos. Para fibrados particulares es posible desarrollar operaciones especficas, 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 aplicacin contnua. El fibrado pull-back de E a travs de f tiene por espacio total con aplicacin proyeccin natural de decir, pero si E es un fibrado trivial La restriccin de fibrados. Sea El producto (cartesiano) y , y . Entonces es sencillo demostrar que son isomorfas y que existe un morfismo
es un fibrado. Ntese que las fibras de y
. Esta operacin es functorial contravariante con respecto a la composicin de morfismos, es . El fibrado pull-back depende en general de E y de la aplicacin f tambin. un subespacio, . y es el fibrado de dos fibrados la inclusin y E un fibrado sobre B. El
fibrado restriccin de E al subespacio A 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 fibrado producto cartesiano a la diagonal
. Ntese que el fibrado con la identificacin
no es ms que la restriccin del .
Propiedades homotpicas En esta seccin se mencionan propiedades de los fibrados en relacin a las homotopas. Las demostraciones son ejercicios y se pueden encontrar en cualquier texto de referencia. El resultado fundamental para entender el compartamiento de los fibrados por homotopa es el siguiente: Sea un fibrado y la proyeccin al primer factor, entonces . En . Del enunciado anterior se siguen dos corolarios: particular
Fibrado (1) Sean (2) Sea aplicaciones contnuas y homotpicas y E un fibrado sobre B. Entonces un retracto de deformacin y E un fibrado sobre B. Entonces, es isomorfo
Se deduce del segundo resultado que si el espacio base B es contrctil cualquier fibrado al fibrado trivial .
Secciones Una seccin de un fibrado es una funcin continua, f: B E tal que (f(x))=x, para x en B. En general un fibrado no tiene secciones, uno de los propsitos de la teora es explicar la existencia de estas as como su cuantificacin. Ntese que los fibrados vectoriales siempre tienen una secci, la seccin cero. La obstruccin a la existencia de una seccin se puede codificar en elementos de una teora de cohomologa de la base; en el caso de que el espacio base sea un CW-complejo, hallar obstrucciones en la cohomologa celular conduce a la teora de las clases caractersticas en topologa algebraica. Una aplicacin sencilla de esta teora es demostrar que las esferas de dimensin par no tienen campos tangentes no nulos, luego no son paralelizables.
Grupo estructural Existe, a veces, un grupo topolgico G de transformaciones de E, tal que si denota la accin, ((g)[e])= (e) para g en G y e en E. La condicin 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 tendran que ser los intertwiners de G-acciones tambin. Si, adems, acta G libremente, transitivamente y continuamente sobre cada fibra, entonces llamamos al fibrado fibrado principal. Un ejemplo de un fibrado principal que ocurre naturalmente en geometra es el fibrado de todas las bases de los espacios tangentes a una variedad, con G grupo general lineal; la restriccin en geometra de Riemann a las bases ortonormales, limitara G al grupo ortogonal. Vea vierbein para ms detalles. Hacer G explcito es esencial para las operaciones de crear un fibrado asociado, y hacer precisa la reduccin del grupo estructural de un fibrado.
Aplicaciones El lenguaje de la teora de fibrados permite la expresin de situaciones fsicas en trminos matemticos. Una instancia de ello son las teoras gauge donde los fibrados principales codifican las nociones fsicas de simetras, potenciales y fuerza en trminos del grupo de estructura, las conexiones y la curvatura.
References 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 infinitsimales dans un espace fibr diffrentiable. Colloque de Topologie (Espaces fibrs), Bruxelles, 1950. Georges Thone, Lige; Masson et Cie., Paris, 1951. pp.2955. Husemller, 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 [1], en Hazewinkel, Michiel (en ingls), Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104
Fibrado
Enlaces externos PlanetMath: Fiber Bundle [2] MathWorld: Fiber Bundle [3]
