¿Es posible construir un haz de fibras cuyas fibras sean diferentes? (¿O no deberíamos llamarlo haz de fibras?)

Supongamos que hay un haz de fibras mi . El espacio base es METRO de modo que π : mi METRO es la proyección. Por definición, el haz tiene una fibra típica F tal que la trivialización local sobre un subconjunto abierto tu i de METRO se define de esta manera ϕ i : tu i × F π 1 ( tu i ) . Entonces podemos averiguar que no importa qué conjunto abierto tu i elegimos, elegimos siempre la misma fibra tipica F . Supongo que esto se debe a que queremos tener una estructura fluida. Si en diferentes puntos de METRO , elegimos diferentes fibras, por ejemplo, en el punto pag METRO adjuntamos un espacio vectorial tridimensional, mientras que en el punto q METRO adjuntamos un espacio vectorial de 2 dimensiones y así sucesivamente, entonces no vamos a tener una estructura uniforme.

Entonces mi pregunta es: ¿podemos unir diferentes fibras a diferentes puntos de una variedad base? Si insistimos en hacerlo, ¿esta estructura sigue siendo suave? ¿Todavía se le llama haz de fibras?

Seguro. La base podría estar desconectada. (Si la base está conectada, entonces no: es un buen ejercicio para mostrar que un haz de fibras sobre una base conectada tiene fibras homeomórficas y, de manera similar, un haz de fibras liso sobre una base conectada tiene fibras difeomorfas).

Respuestas (2)

Ver la noción de fibración :

Una fibración es como un haz de fibras, excepto que las fibras no necesitan estar en el mismo espacio, sino que son simplemente equivalentes homotópicos.

la proyección R 3 { 0 } R : ( X , y , z ) X es una inmersión suave entre múltiples suaves conectados y todas sus fibras están conectadas.
Sin embargo, las fibras no son difeomorfas: la fibra de 0 R es difeomorfo a R 2 { 0 } mientras que todas las demás fibras son difeomorfas a R 2 .

Correcto, pero esto no es un paquete de fibra.
@Qiaochu: por supuesto que no es un paquete de fibra local, pero estaba respondiendo a la pregunta "¿podemos unir diferentes fibras a diferentes puntos del colector?" y quería dar un ejemplo de una situación más general (que también es un contraejemplo al teorema de Ehresmann para aplicaciones no propias).