Una propiedad de un espacio topológico que se conserva bajo homeomorfismos; se usa para distinguir espacios que no son homeomorfos.

Principio

Los invariantes topológicos se definen en términos de abiertos y aplicaciones continuas y permanecen inalterados por homeomorfismos; organizan la clasificación proporcionando condiciones necesarias (no siempre suficientes) para la equivalencia de espacios.

Demostración

Conexidad: el intervalo [0,1] es conexo mientras que un espacio discreto de dos puntos no lo es; el grupo fundamental π1(S1) ≅ Z distingue el círculo S1 del disco D2 cuyo π1 es trivial.

Aplicación incorrecta

Tratar como invariante una propiedad que solo se conserva bajo una relación más débil (por ejemplo, equivalencia por homotopía), o asumir que la igualdad de un invariante (como los grupos de homología) implica un homeomorfismo.

Consecuencia

Bien identificados, los invariantes topológicos proporcionan obstrucciones a la existencia de homeomorfismos, reducen problemas de clasificación a cálculos algebraicos y orientan la construcción de contraejemplos.

Inversión

La inversión destaca cantidades que no se conservan por homeomorfismos (distancias métricas, ángulos, curvatura riemanniana): son dependientes de estructuras adicionales, no topológicas.

Límite

Se aplica solo a propiedades topológicas puras o construcciones definidas a partir de abiertos; excluye estructuras métricas, diferenciables o medibles salvo que se olviden o se demuestre su invariancia.

Tensión semántica

A menudo se confunde con invariantes de homotopía u homología; el término ‘invariante’ puede referirse a distintas relaciones de equivalencia (homeomorfismo vs homotopía vs isotopía), lo que genera ambigüedad sobre lo que se clasifica.

Síntesis

Un invariante topológico es una propiedad determinada por la topología que permanece fija bajo homeomorfismos y sirve como prueba necesaria u obstrucción para decidir si dos espacios son topológicamente idénticos.