Niezmiennik

Niezmiennik (inwariant) – cecha lub właściwość, która jest stała (nie zmienia się) w trakcie przekształceń, procesów przemiany, itp.

Bardziej formalnie, jeśli klasa obiektów $\mathfrak{M}$ wyposażona jest w relację równoważności ρ, a $\mathcal{N}$ jest dowolnym zbiorem, to niezmiennikiem (relacji równoważności ρ) nazywamy dowolną funkcję $\phi: \mathfrak{M} \rightarrow \mathcal{N}$ stałą na klasach równoważności relacji ρ.

Pojęcie to jest używane w różnych kontekstach:

• niezmiennik metryczny
• niezmiennik topologiczny
• niezmiennik relatywistyczny
• niezmiennik pętli
• niezmiennik przekształcenia
• całka ruchu