Topología diferencial

A₁ abierto de 0 admite suplementario topológico afirmaciones son equivalentes aplicación continua aplicación de clase aplicación lineal aplicaciones diferenciables axioma de numerabilidad Banach real carta clase p y Cº(X codimensión compacto conjunto considera la aplicación CP(X cuadrante Definición DEMOSTRACIÓN denso difeomorfismo de clase diferenciable de clase dimensión finita Entonces existe entorno abierto espacio de Baire espacio de Banach espacio de Hilbert espacio topológico estructura diferenciable f una aplicación Fredholm homeomorfismo lineal inmersión difeomórfica inyectiva lema Lindelöf linealmente independiente localmente finita medida nula métrica nula en R paracompacta paracompactas y T2 Proposición pura de dimensión relación de equivalencia segundo axioma siguientes afirmaciones subconjunto subespacio lineal subinmersión subvariedad de clase sumersión de clase Supongamos suprayectiva topología Tw(p transversal Tw(r U₁ V₁ variedad diferenciable variedades Veamos verifica