Una propiedad o cantidad asociada a un espacio topológico que se conserva bajo homeomorfismos (biyectividad continua con inversa continua), utilizada para distinguir espacios hasta deformaciones continuas.

Principio

Asignar características a los espacios que permanecen inalteradas por deformaciones continuas; las invariantes pueden ser numéricas, algebraicas o categóricas y se calculan a partir de la topología del espacio, no de una métrica.

Demostración

El género cuenta el número de 'asas' de una superficie compacta orientable: la esfera tiene género 0, el toro género 1; el género es invariante frente a deformaciones continuas y distingue topológicamente estas superficies.

Aplicación incorrecta

Usar una invariante topológica que ignora ciertas estructuras (p. ej. el género no detecta enredos en tres dimensiones) para afirmar que dos espacios son equivalentes sin verificar el poder discriminatorio de la invariante.

Consecuencia

Proporciona herramientas para clasificar espacios, demostrar la no equivalencia y guiar construcciones (p. ej. teoría de obstrucciones); si dos espacios tienen valores distintos para una invariante dada, no pueden ser homeomorfos.

Inversión

Las invariantes geométricas dependen de estructuras adicionales como una métrica; invertir el enfoque destaca cantidades (longitudes, ángulos, curvatura) que cambian bajo deformaciones continuas generales, mientras que las invariantes topológicas no lo hacen.

Límite

Se refiere a propiedades invariantes por homeomorfismo o por relaciones más débiles especificadas (homotopía); excluye métricas, estructuras suaves e invariantes que requieren datos geométricos o analíticos adicionales.

Tensión semántica

A menudo se confunde con invariantes de homotopía o suaves; las invariantes topológicas requieren solo equivalencia topológica, mientras que las variantes de homotopía o suaves pueden ser más groseras o más finas según el contexto.

Síntesis

Una invariante topológica es una cantidad o estructura derivada de la topología de un espacio que permanece fija bajo biyectividades continuas con inversa continua y sirve para clasificar y distinguir espacios hasta deformación.