Invariant de similitude

Invariant de similitude

Invariants de similitude

En algèbre linéaire, un système complet d'invariants pour la relation de similitude entre les matrices carrées de même taille à coefficients dans un corps est connu : ces invariants sont classiquement appelés invariants de similitude. Ils consistent en une suite finie de polynômes totalement ordonnée pour la relation de divisibilité, dont les deux extrêmes sont le polynôme caractéristique et le polynôme minimal.

On peut montrer que, si A est une matrice carrée de taille n à coefficients dans le corps \mathbb{K}, alors il existe une matrice diagonale par blocs B de même taille qui soit semblable à A, et dont les blocs diagonaux soient les matrices compagnons de certains polynômes de \mathbb{K}[X], totalement ordonnés par la divisibilité, et que la suite de ces polynômes, à multiplication par des inverses près, caractérise entièrement la classe de similitude de A : ce sont les invariants de similitude. L'existence d'une telle matrice B repose sur la structure de \mathbb{K}[X]-module de type fini, induite sur l'espace vectoriel \mathbb{K}^n par la multiplication à gauche par les polynômes en A, et l'application à cette structure du théorème des facteurs invariants : les invariants de similitude se trouvent être les facteurs invariants de cette structure de \mathbb{K}[X]-module.

Le calcul de ces invariants de similitude est effectif par des algorithmes du type pivot de Gauss.

Voir aussi

Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs Colinéarité • Indépendance linéaire • Famille libre • Rang • Famille génératrice • Base • Théorème de la base incomplète Mathématiques
Sous-espace Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension d'un espace vectoriel • Codimension • Droite • Plan • Hyperplan
Morphisme et notions relatives Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Endomorphisme nilpotent
En dimension finie Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford
Enrichissements de structure Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel
Développements Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Invariants de similitude ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Invariant de similitude de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • 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 1 Invariant d une transformation 2… …   Wikipédia en Français

  • Invariants de similitude — En algèbre linéaire, un invariant de similitude est une quantité qu on peut associer à toute matrice carrée (à coefficients dans un corps commutatif fixé K), telle que pour deux matrices semblables cette quantité soit toujours la même. Exemples d …   Wikipédia en Français

  • Scale-invariant feature transform — Exemple de résultat de la comparaison de deux images par la méthode SIFT (Fantasia ou Jeu de la poudre, devant la porte d’entrée de la ville de Méquinez, par Eug …   Wikipédia en Français

  • Facteur invariant — Théorème des facteurs invariants En mathématiques, le théorème des facteurs invariants porte sur les modules de type fini sur les anneaux principaux. Les facteurs invariants sont des obstructions à l inversibilité des matrices qui n apparaissent… …   Wikipédia en Français

  • Matrices semblables — Article détaillé : réduction d endomorphisme. En mathématiques, deux matrices carrées A et B sont dites semblables s il existe une matrice inversible P telle que : A = PBP − 1. Il s agit d une relation d équivalence. Deux matrices sont… …   Wikipédia en Français

  • Trace (algèbre) — Pour les articles homonymes, voir Trace. En algèbre linéaire, la trace d une matrice carrée A est définie comme la somme de ses coefficients diagonaux et notée Tr(A). La trace peut être vue comme une forme linéaire sur l espace vectoriel des… …   Wikipédia en Français

  • Trace (algebre) — Trace (algèbre) Pour les articles homonymes, voir Trace. En algèbre linéaire, la trace d une matrice carrée est définie comme la somme de ses éléments diagonaux ; la trace est une forme linéaire sur l ensemble des matrices. Il est également… …   Wikipédia en Français

  • Trace (matrice) — Trace (algèbre) Pour les articles homonymes, voir Trace. En algèbre linéaire, la trace d une matrice carrée est définie comme la somme de ses éléments diagonaux ; la trace est une forme linéaire sur l ensemble des matrices. Il est également… …   Wikipédia en Français

  • Matrice Semblable — Article détaillé : réduction d endomorphisme. En mathématiques, deux matrices carrées A et B sont dites semblables s il existe une matrice inversible P telle que : A = PBP − 1. Il s agit d une relation d équivalence. Deux matrices sont… …   Wikipédia en Français

  • Matrice semblable — Article détaillé : réduction d endomorphisme. En mathématiques, deux matrices carrées A et B sont dites semblables s il existe une matrice inversible P telle que : A = PBP − 1. Il s agit d une relation d équivalence. Deux matrices sont… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”