Invariant (original) (raw)

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 wyposażona jest w relację równoważności ρ, a jest dowolnym zbiorem, to niezmiennikiem (relacji równoważności ρ) nazywamy dowolną funkcję stałą na klasach abstrakcji relacji ρ. Nieco ściślej możemy wtedy mówić o niezmienniku relacji równoważności ρ. Jeśli to często się mówi, że jest niezmiennikiem obiektu . Termin „niezmiennik” został wprowadzony przez amerykańskiego matematyka Jamesa Josepha Sylvestra w roku 1851.