Invariant

En mathématiques, le mot invariant possède suivant le contexte différentes significations (non équivalentes).
Il est utilisé aussi bien en géométrie et en topologie qu'en analyse et en algèbre.

Sommaire
Invariant d'une transformation
Propriété invariante
Au sens de la théorie des catégories
En théorie des graphes
Articles connexes

Invariant d'une transformation

Si g : E→E est une application, un invariant de g est un point fixe, c'est-à-dire un élément x de E qui est sa
propre image par g :

Pour une telle application g, une partie P de E est dite :

invariante point par point si tous ses éléments sont des points fixes ;
globalement invariante par g, ou stable par g, si , c'est-à-dire :
(cette propriété est moins forte que la précédente).

Ces notions interviennent souvent en systèmes dynamiques, pour les transformations géométriques et pour les
actions de groupe. En effet, les invariants d'une application peuvent apporter des informations à son sujet.

En géométrie euclidienne, l'unique point invariant d'une similitude directe (qui n'est pas une
translation) du plan euclidien sera son centre.
En réduction des endomorphismes, un sous-espace vectoriel F de E est dit invariant par une
application linéaire g lorsqu'il est globalement invariant par g.
Pour une action (à gauche) d'un groupe G sur un ensemble X, un point x est dit invariant
lorsque pour tout élément g de G on a : g.x = x.

Propriété invariante
Une propriété est dite invariante lorsqu'un procédé ne la modifie pas. Une propriété concerne un objet ou un
ensemble d'objets donné. Différentes constructions peuvent être menées pour construire des objets de nature
similaire : partie, complémentaire, somme, produits, quotient, recollement, extension…

L'invariance d'une propriété caractérise sa stabilité sous ces constructions.

Au sens de la théorie des catégories
Pour une catégorie donnée, un invariant est une quantité ou un objet associé(e) à chaque objet de la catégorie,
et qui ne dépend que de la classe d'isomorphisme de l'objet, éventuellement à isomorphisme près.

Le langage des invariants est particulièrement adapté à la topologie algébrique.

En théorie des graphes

On dit qu'un nombre associé à un graphe est un invariant (de graphe), s'il n'est pas modifié par un
isomorphisme de graphes. Par exemple, le nombre chromatique est un invariant de graphe.

Articles connexes
Invariant topologique
Système invariant
Théorème des facteurs invariants
Théorie des invariants

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Invariant&oldid=164632455 ».

La dernière modification de cette page a été faite le 18 novembre 2019 à 18:59.

Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mêmes
conditions ; d’autres conditions peuvent s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que les
crédits graphiques. En cas de réutilisation des textes de cette page, voyez comment citer les auteurs et mentionner la
licence.
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le
paragraphe 501(c)(3) du code fiscal des États-Unis.