En el campo matemático de la topología , una sección (o sección transversal ) [1] de un haz de fibras es una inversa continua a la derecha de la función de proyección. En otras palabras, sies un haz de fibras sobre un espacio base ,:
entonces una sección de ese haz de fibras es un mapa continuo ,
tal que
- para todos .
Una sección es una caracterización abstracta de lo que significa ser un gráfico . La gráfica de una funciónse puede identificar con una función tomando sus valores en el producto cartesiano , de y :
Dejar sea la proyección sobre el primer factor: . Entonces una gráfica es cualquier función para cual .
El lenguaje de los haces de fibras permite generalizar esta noción de sección al caso cuando no es necesariamente un producto cartesiano. Si es un haz de fibras, entonces una sección es una opción de punto en cada una de las fibras. La condición simplemente significa que la sección en un punto debe recostarse . (Ver imagen.)
Por ejemplo, cuando es un paquete de vectores una sección de es un elemento del espacio vectorial acostado sobre cada punto . En particular, un campo vectorial en una variedad suave es una elección de vector tangente en cada punto de: esta es una sección del paquete tangente de. Del mismo modo, una forma 1 enes una sección del paquete cotangente .
Las secciones, particularmente de paquetes principales y paquetes vectoriales, también son herramientas muy importantes en geometría diferencial . En este entorno, el espacio basees un colector suave , y se supone que es un haz de fibras lisas sobre (es decir, es un colector suave y es un mapa suave ). En este caso, se considera el espacio de secciones lisas de sobre un set abierto , denotado . También es útil en análisis geométrico considerar espacios de secciones con regularidad intermedia (p. Ej.,secciones, o secciones con regularidad en el sentido de condiciones de Hölder o espacios de Sobolev ).
Secciones locales y globales
En general, los haces de fibras no tienen tales secciones globales (considérese, por ejemplo, el haz de fibras sobre con fibra obtenido tomando el paquete de Möbius y eliminando la sección cero), por lo que también es útil definir secciones solo localmente. Una sección local de un haz de fibras es un mapa continuo. dónde es un set abierto en y para todos en . Sies una trivialización local de, dónde es un homeomorfismo de a (dónde es la fibra ), entonces las secciones locales siempre existen sobre en correspondencia biyectiva con mapas continuos de a . Las secciones (locales) forman un haz sobrellamado el haz de secciones de.
El espacio de las secciones continuas de un haz de fibras. encima a veces se denota , mientras que el espacio de las secciones globales de a menudo se denota o .
Extendiéndose a secciones globales
Las secciones se estudian en teoría de homotopía y topología algebraica , donde uno de los principales objetivos es dar cuenta de la existencia o no existencia de secciones globales . Una obstrucción niega la existencia de secciones globales ya que el espacio está demasiado "retorcido". Más precisamente, las obstrucciones "obstruyen" la posibilidad de extender una sección local a una sección global debido a la "torsión" del espacio. Las obstrucciones se indican mediante clases de características particulares , que son clases cohomológicas. Por ejemplo, un paquete principal tiene una sección global si y solo si es trivial . Por otro lado, un paquete de vectores siempre tiene una sección global, es decir, la sección cero . Sin embargo, solo admite una sección que desaparece en ninguna parte si su clase de Euler es cero.
Generalizaciones
Las obstrucciones para extender las secciones locales pueden generalizarse de la siguiente manera: tomar un espacio topológico y formar una categoría cuyos objetos son subconjuntos abiertos y los morfismos son inclusiones. Por tanto, utilizamos una categoría para generalizar un espacio topológico. Generalizamos la noción de una "sección local" utilizando haces de grupos abelianos , que asigna a cada objeto un grupo abeliano (análogo a las secciones locales).
Aquí hay una distinción importante: intuitivamente, las secciones locales son como "campos vectoriales" en un subconjunto abierto de un espacio topológico. Entonces, en cada punto, se asigna un elemento de un espacio vectorial fijo . Sin embargo, las poleas pueden "cambiar continuamente" el espacio vectorial (o más generalmente un grupo abeliano).
Todo este proceso es realmente el functor de sección global , que asigna a cada gavilla su sección global. Entonces, la cohomología de la gavilla nos permite considerar un problema de extensión similar mientras "varía continuamente" el grupo abeliano. La teoría de clases características generaliza la idea de obstrucciones a nuestras extensiones.
Ver también
- Fibracion
- Teoría del calibre
- Paquete principal
- Paquete de retroceso
- Paquete de vectores
Notas
- ^ Husemöller, Dale (1994), Paquetes de fibra , Springer Verlag, p. 12, ISBN 0-387-94087-1
Referencias
- Norman Steenrod , The Topology of Fiber Bundles , Princeton University Press (1951). ISBN 0-691-00548-6 .
- David Bleecker, Teoría del calibre y principios de variación , publicación de Addison-Wesley, Reading, Mass (1981). ISBN 0-201-10096-7 .
- Husemöller, Dale (1994), paquetes de fibra , Springer Verlag, ISBN 0-387-94087-1
enlaces externos
- Paquete de fibra , PlanetMath
- Weisstein, Eric W. "Paquete de fibra" . MathWorld .