Paquete suave

Un paquete suave  es un paquete localmente trivial con funciones de transición suaves.

Definición

Dejar y ser variedades  suaves . Un epimorfismo de variedades se llama paquete suave si existen: una cubierta abierta de la variedad , una variedad y una familia de difeomorfismos relacionados por funciones de transición suave con .

Un paquete suave es un paquete localmente trivial con espacio de paquete , base , fibra genérica y atlas de paquete . Una subvariedad cerrada se denomina fibra típica de un haz liso en un punto .

Ejemplos

Propiedades

Variaciones y generalizaciones

Literatura