Niezmiennik topologiczny to wielkość występująca w topologii i fizyce teoretycznej, liczba charakteryzująca rozmaitości topologiczne. Jest to wielkość, która pozostaje stała przy wszystkich dopuszczalnych topologicznie, a więc ciągłych, przekształceniach. Na przykład, jeśli rozważamy odwzorowanie okręgu w okrąg (czyli okręgu w samego siebie, porównaj homeomorfizm) to okazuje się, że wszystkie możliwe odwzorowania można zaklasyfikować ze względu na tak zwana liczbę nawinięć. Jest to liczbę mówiąca ile razy należy obiec okrąg będący obrazem przekształcenia przy pojedynczym obiegu okręgu wyjściowego. Liczba ta jest stała i składając badane przekształcenie z dowolnym innym ciągłym przekształceniem nie można jej zmienić. Tym samym zbiór wszystkich ciągłych przekształceń okręgu rozpada się na rozłączne klasy przekształceń, które nawijają okrąg na siebie raz, dwa razy, trzy razy, itd. Struktura tego zbioru odpowiada zatem zbiorowi liczb naturalnych (porównaj homotopia, klasy homotopii).

Butelka Kleina – jednostronna powierzchnia (nieorientowalna rozmaitość dwuwymiarowa) bez brzegu. Opisana w 1882 przez niemieckiego matematyka Felixa Kleina.