Rama de la topología que se ocupa de la clasificación y propiedades de espacios y variedades modelados sobre espacios de Banach, Hilbert o Fréchet de dimensión infinita, incluyendo reconocimiento de variedades, fenómenos de absorción y cuestiones de homogeneidad ausentes en dimensiones finitas.

Principio

Localidad por modelo y absorción: las cartas locales imitan un modelo lineal infinito-dimensional y muchos espacios absorben modelos estándar bajo producto o suma (por ejemplo, una variedad puede caracterizarse por una homeomorfía local a un espacio lineal separable), con técnicas que explotan la flexibilidad infinito-dimensional y la ausencia de compacidad local.

Demostración

Estudiar una variedad metrizable localmente homeomorfa a un modelo de espacio de Hilbert separable; demostrar que bajo supuestos de separabilidad y contractibilidad local la variedad admite una estructura que reduce la clasificación al reconocimiento de propiedades de absorción y descomposiciones en uniones numerables.

Aplicación incorrecta

Transferir literalmente invariantes y técnicas de dimensión finita al contexto infinito-dimensional —como apoyarse en argumentos homológicos basados en la compacidad o en teoremas de transversalidad de dimensión finita— puede ser inválido porque faltan hipótesis de compacidad local y finitud.

Consecuencia

La topología infinito-dimensional produce teoremas de clasificación (reconocimiento de estructuras de variedades), resultados universales de absorción para ciertos espacios modelo y ejemplos de fenómenos como grupos de homeomorfismos con propiedades topológicas inusuales que no aparecen en dimensión finita.

Inversión

Restringir la atención a variedades de dimensión finita elimina los fenómenos de absorción y restituye invariantes clásicos como el grado y obstrucciones basadas en homología; muchas simplificaciones del ámbito infinito-dimensional desaparecen en la inversión.

Límite

Se centra en modelos metrizable y separables construidos a partir de espacios de Banach, Hilbert o Fréchet y en categorías donde las cartas locales y las operaciones numerables tienen sentido; excluye objetos puramente algebraicos de dimensión infinita y situaciones que dependen de la compacidad local.

Tensión semántica

Existe tensión entre diferentes categorías de modelos (Banach frente a Fréchet frente a Hilbert) porque la clasificación y las técnicas pueden depender de forma sensible del modelo local elegido y de la categoría suave frente a la topológica.

Síntesis

La Topología Infinita-Dimensional estudia espacios localmente modelados sobre espacios lineales infinitos, explotando la absorción y la flexibilidad mientras respeta los límites impuestos por la ausencia de compacidad local, dando lugar a resultados de clasificación y reconocimiento distintos de los de la dimensión finita.