Un invariante topologico è una proprietà di uno spazio topologico che vale per tutti gli spazi topologici omeomorfi ad esso.
Per dimostrare che due spazi topologici non sono tra loro omeomorfi è sufficiente trovare un invariante topologico che non è condiviso da entrambi gli spazi.