invariant.

invariant. n.m. et adj. MATHÉMATIQUES : soit f une application d'un ensemble E dans lui-même. Un élément x de E est dit invariant, ou fixe, par f si f (x) = x . P ar exemple, une rotation autre que l'application identique admet un point invariant et un seul, à savoir son centre. On dit qu'une partie P de E est globalement invariante par f si f ( P) = P ; par exemple, une droite est globalement invariante dans une translation de vecteur parallèle à cette droite. Les bijections de E sur lui-même qui laissent invariante une partie donnée P constituent un sous-groupe du groupe des bijections de E sur lui-même. La notion d'invariant est fondamentale dans la conception actuelle de la géométrie.