Réduction
Réponses
-
Bonjour, Badrino,
construis un morphisme simple de l'un des noyaux vers l'autre et vérifie (si tu l'as bien choisi ; il ne faut pas prendre $0$ par exemple) que c'est un isomorphisme. -
John_john:
J'ai trouvé ce morphisme mais il est un isomorphisme que si A est inversible. -
Badrino : je ne suis pas sûr que $A^kX$ appartienne au second sev ; en revanche $BX$ s'y trouve peut-être ;-).
Après cela, on pourra utiliser l'hypothèse $\lambda\neq0$ et cela reste valable en dimension infinie. -
John_john:
Pourquoi BX va se trouver dans le second sev? -
par exemple, pour $k=2$, si $ABABX-2\lambda ABX+\lambda^2X=0$ alors $BABA\cdot BX-2\lambda BA\cdot BX+\lambda^2BX=0$.
-
John_john.
J'ai démontré le cas général par récurrence. Comment tu as choisi BX ?
Pour l'application je pense qu'il faut que B soit inversible pour qu'elle soit un isomorphisme. -
Comment penser à $BX$ ?? Je connaissais depuis toujours le cas où $k=1$ (multiplier à gauche par quelque chose fait partie des tentatives habituelles : $ABX=\lambda X$ implique $B\cdot ABX=\lambda BX$ mais c'est aussi $BA\cdot BX=\lambda BX$) ; il était dès lors naturel d'espérer que la méthode se généralise...
-
John_john, tu as vraiment l'esprit (groupes) quantique(s) !
-
Ah ! tu penses à cet exo sur $BA=qAB$ ; c'est vrai, mais il faut dire que la littérature regorge d'exos dans lesquels il s'agit de comparer $AB$ et $BA$ dans une algèbre non commutative. Si $A$ et $B$ sont des matrices $(p,q)$ et $(q,p)$ respectivement, alors $I_q-BA$ et $I_p-AB$ ont même déterminant.
-
John_john:
Je pense qu'il y a un résultat plus général concernant la relation entre le polynôme caractéristique de AB et celui de BA lorsqu'ils sont de taille (p, q) et (q, p) c'est presque la même démonstration. -
Oui : c'est $X^p\chi_{_{BA}}=X^q\chi_{_{AB}}$ (et, si $p\neq q$, cela ne permet pas de montrer que $0$ est valeur propre de l'une ssi c'est une valeur propre de l'autre... pas étonnant, puisque c'est faux:-)).
-
John_john:
Pourquoi si p différent de q on n'aura pas forcément 0 une racine de l'un des deux polynômes caractéristiques. -
Oui, bien sûr, $0$ est forcément. v.p. de l'une des deux, mais j'ai seulement dit que c'est le si et seulement si qui est faux. Par exemple, $A=\begin{pmatrix}1&0\end{pmatrix}$ et $B={}^t\!A$, alors $AB$ est inversible mais l'autre non.
-
John_john:
Merci beaucoup. -
De rien, Badrino !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres