Se dit d’une propriété ou d’un ensemble qui est conservé sous l’effet d’une relation.
Un ensemble E est globalement invariant par une relation ℜ si ℜ(E) = E.
Exemples
Ensemble invariant :
- Dans une réflexion, l’axe de la réflexion est une droite invariante (droite fixe) pour cette transformation.
- Dans une rotation, le centre de rotation est un point invariant (point fixe) pour cette transformation.
- Un cercle est globalement invariant par une symétrie centrale dont le centre de symétrie est le centre du cercle.
Propriété invariante :
- Le parallélisme des droites du plan est conservé par une translation du plan.