| Attributes | Values |
|---|
| rdfs:label
| - Invariants de similitude (fr)
|
| rdfs:comment
| - 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. Des exemples d'invariants de similitude sont la taille de la matrice, sa trace, son déterminant, son polynôme caractéristique (dont on peut déduire les trois invariants précédents), ou encore son polynôme minimal. Du fait de cette invariance, une telle quantité peut aussi être associée à tout endomorphisme d'un espace vectoriel de dimension finie, en utilisant sa matrice dans une base quelconque de l'espace. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:titre
| - Théorème et définition (fr)
|
| prop-fr:énoncé
| - Soient E un espace vectoriel de dimension finie non nulle sur un corps commutatif K, soit u un endomorphisme de E. Il existe un entier r ≥ 1, des sous-espaces E1, ..., Er de E et des polynômes unitaires P1, ..., Pr dans K[X] tels que
:# les Ei sont non nuls, u-monogènes et E est la somme directe des Ei ;
:# pour 1 ≤ i ≤ r, Pi est le polynôme minimal de u ;
:# pour 1 ≤ i ≤ r-1, Pi divise Pi+1.
La suite est déterminée de façon unique. Pr est le polynôme minimal de u et P1 ... Pr est le polynôme caractéristique de u. On dit que P1, ..., Pr sont les invariants de similitude de u. (fr)
|
| foaf:isPrimaryTopicOf
| |
| has abstract
| - 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. Des exemples d'invariants de similitude sont la taille de la matrice, sa trace, son déterminant, son polynôme caractéristique (dont on peut déduire les trois invariants précédents), ou encore son polynôme minimal. Du fait de cette invariance, une telle quantité peut aussi être associée à tout endomorphisme d'un espace vectoriel de dimension finie, en utilisant sa matrice dans une base quelconque de l'espace. Un ensemble d'invariants de similitude est appelé un système complet si pour deux matrices non semblables, au moins un des invariants prend des valeurs distinctes sur les deux matrices. Les invariants mentionnés ci-dessus ne forment pas un système complet. Mais un système complet est connu : ces invariants sont classiquement appelés les invariants de similitude d'une matrice. Ces invariants consistent en une suite finie de polynômes unitaires, dont chacun divise son successeur, dont le dernier élément est le polynôme minimal, et dont le produit donne le polynôme caractéristique. On peut montrer que, si A est une matrice carrée de taille n à coefficients dans le corps K, alors il existe une matrice B semblable à A, diagonale par blocs, et dont les blocs diagonaux sont les matrices compagnons de ces invariants de similitude. L'existence d'une telle matrice B repose sur la décomposition de Frobenius (en sous-modules cycliques) de l'espace vectoriel Kn, vu comme K[X]-module (de type fini) où X agit comme l'application linéaire définie par A. Cette décomposition est l'objet, dans un cadre plus général, du théorème des facteurs invariants. Les invariants de similitude se trouvent être les facteurs invariants de ce K[X]-module. Le calcul de ces invariants de similitude est effectif (il ne demande pas la factorisation d'un polynôme, comme c'est le cas pour la recherche de valeurs propres), et repose sur des algorithmes du type pivot de Gauss. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)