iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://fr.wikipedia.org/wiki/Invariant
Invariant — Wikipédia Aller au contenu

Invariant

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le mot invariant possède suivant le contexte différentes significations. Par exemple, le seul nombre égal à son triple est zéro, le seul élément invariant d’une fonction qui multiplie par trois n’importe quel nombre, réel ou entier. Les notions d’invariance interviennent aussi bien en géométrie et en topologie qu’en analyse et en algèbre.

Invariant d'une transformation

[modifier | modifier le code]

Si g : EE 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.

Propriété invariante

[modifier | modifier le code]

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.

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

[modifier | modifier le code]

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.

Généralisation

[modifier | modifier le code]

Dans la résolution de problèmes, le principe d'invariant peut être généralisé à celui de variant. Savoir comment une certaine quantité varie peut permettre de progresser dans une démonstration.

Un cas particulier de variant est le monovariant, qui varie de manière monotone à chaque étape. Cette nouvelle contrainte peut par exemple montrer qu'un algorithme se termine toujours.

Les invariants sont des cas particuliers de variants et de monovariants.

Bibliographie

[modifier | modifier le code]

Articles connexes

[modifier | modifier le code]