Paquete

Un paquete  es un triple , donde  hay un espacio topológico , llamado el espacio del paquete (así como un espacio total o de fibra ),  hay otro espacio, llamado la base del paquete,  es un mapeo sobreyectivo continuo ( proyección del paquete ) del espacio en el espacio . A menudo, un paquete se denomina mapeo o espacio en sí mismo .

Para cada elemento , la capa sobre este elemento se define como un subconjunto de todas las preimágenes del elemento , es decir, . En consecuencia, un haz es una unión de capas parametrizadas por la base y pegadas entre sí por la topología del espacio .

Una asignación en la que es idéntica la asignación se denomina sección del paquete ,

Tipos de paquetes

Por lo general, se estudian tipos específicos de paquetes, como paquetes suaves o paquetes localmente triviales .

Un paquete se llama trivial (parece un producto directo) si su espacio es homeomorfo a un producto directo y la proyección se da de forma canónica:

En consecuencia, un paquete que localmente (en algunas vecindades de elementos) parece un producto directo se llama paquete localmente trivial .

Se dice que un paquete localmente trivial es suave si las funciones de transición son suaves .

Un paquete vectorial  es una aplicación de una familia de espacios vectoriales en otro espacio (espacio topológico, variedad, etc.) de tal manera que cada punto del espacio está asociado con un espacio vectorial cuya unión forma un espacio del mismo tipo . como _ La familia de espacios vectoriales así formada se denomina espacio del haz vectorial sobre .

El paquete tangente de una variedad (suave) es un paquete vectorial suave, donde la unión de espacios tangentes  actúa como la familia de espacios vectoriales (el espacio del paquete vectorial) , y la variedad misma actúa como la base del paquete.

Algunos otros tipos especiales de fibraciones: fibración de Gurevich , fibración de Seifert, fibración de Serre , fibración de Hopf .

Literatura