## [Forme Canonique Rationnelle](/fr/node/61191) Définition Forme matricielle canonique sur un corps qui exprime un opérateur linéaire comme une matrice en blocs diagonaux composée de matrices compagnon déterminées par ses facteurs invariants ; elle classe les classes de similarité sur le corps de base sans exiger la clôture algébrique. ## Principe Principe Transposer le théorème de structure pour modules finis sur un anneau principal en algèbre linéaire : l'espace vectoriel vu comme module sur l'anneau des polynômes se décompose en somme directe de modules cycliques dont les matrices compagnon forment les blocs de la forme canonique rationnelle. ## Démonstration Démonstration Étant donné un endomorphisme dont le polynôme caractéristique se décompose en facteurs invariants m1(x) | m2(x) | …, construire les matrices compagnon pour chaque facteur invariant et les assembler en blocs diagonaux pour obtenir la forme canonique rationnelle, unique à l'ordre des blocs près. ## Mauvaise application Mauvaise application Employer la forme canonique rationnelle comme si elle fournissait automatiquement valeurs propres ou vecteurs propres sur une extension du corps ; bien qu'elle caractérise la similarité sur le corps de base, elle ne remplace pas la forme de Jordan lorsque l'on souhaite des bases d'autovecteurs explicites sur une clôture algébrique. ## Conséquence Conséquence Fournit un invariant complet indépendant du corps pour la similarité des matrices, permettant la classification des opérateurs linéaires sur des corps arbitraires et donnant des procédures algorithmiques pour calculer blocs canoniques et polynômes minimaux. ## Inversion Inversion À comparer avec la forme de Jordan, qui décompose en blocs de Jordan après passage à une clôture algébrique et met en évidence les vecteurs propres généralisés ; la forme de Jordan est plus fine sur un corps algébriquement clos mais n'est pas définie sur tout corps de base sans extension. ## Limite Limite S'applique aux endomorphismes linéaires d'espaces vectoriels de dimension finie sur un corps ; elle suppose la structure de module sur l'anneau des polynômes et ne traite pas directement d'opérateurs de dimension infinie ni d'objets hors du cadre algébro-linéaire sur corps. ## Tension sémantique Tension sémantique La tension apparaît entre la forme canonique rationnelle et la forme de Jordan : la FCR est canonique sur le corps de base et utilise des blocs compagnon issus des facteurs invariants, tandis que la forme de Jordan donne la structure nilpotente explicite et des bases d'autovecteurs sur les clôtures algébriques lorsque celles-ci existent. ## Synthèse Synthèse La forme canonique rationnelle assemble la décomposition en facteurs invariants d'un opérateur linéaire en une matrice diagonale par blocs de compagnons, fournissant un représentant canonique de la classe de similarité indépendant du corps et encodant les données des polynômes minimal et caractéristique.