Équations matrices
Réponses
-
Erreur d'énoncé : le produit $ABC$ n'existe pas. Je suppose que tu voulais dire $ACB=BCA$ ?
-
Je me dépêche d'écrire ma première idée, même si elle ne finit pas l'exercice, avant qu'on me vole la primeur.
En multipliant l'égalité par $C$, on obtient : $(AC)(BC)=xAC+yBC$ c'est-à-dire $(AC-yI_m)(BC-xI_m)=xyI_m$.Comme $xy\neq 0$, on en déduit que $\frac{1}{y}AC-I_m$ et $\frac{1}{x}BC-I_m$ sont inversibles et inverses l'une de l'autre et par conséquent, on a également : $(BC-xI_m)(AC-yI_m)=xyI_m$, c'est-à-dire $(BC)(AC)=xAC+yBC$. En particulier $AC$ et $BC$ commutent.De la même façon, en multipliant par $C$ de l'autre côté, on arrive à prouver que $(CB)(CA)=xCA+yCB=(CA)(CB)$.Mais après... -
Densité ? (si $m=n$ ).
-
Si $C$ est de rang $n$, on peut le simplifier à droite, tandis que s'il est de rang $m$, on peut le simplifier à gauche.On obtient donc le résultat voulu à partir de l'une ou l'autre des relations obtenues plus haut lorsque $C$ est de rang maximal, c'est-à-dire de rang égal à $\min(n,m)$.Mais il reste les autres rangs...Cela me donne une nouvelle idée !Il existe deux matrices $P\in GL_n(\C)$ et $Q\in GL_m(\C)$ telles que $C=PJ_rQ$ où $r=\mathrm{rg}(C)$ et $J_r=\sum_{i=1}^r E_{i,i}$ si l'on note $E_{i,j}$ les matrices élémentaires de $M_{n,m}(\C)$.Alors la relation devient $APJ_rQB=xA+yB$ et en multipliant à gauche par $Q$ et à droite par $P$, on obtient : $(QAP)J_r(QBP)=x(QAP)+y(QBP)$.En posant $A'=QAP$ et $B'=QBP$, on est donc ramené au cas où $C$ est une matrice $J_r$ (avec $0\leq r \leq \min(n,m)$).Ce sera sans doute plus facile à étudier dans cette situation.
-
Soit $X\in\ker(CB-xI_n)$.
Alors $ACBX=xAX=xAX+yBX$ donc $BX=0$ et $CBX=xX=0$ donc $X=0$.
Donc $CB-xI_n$ est inversible et $A=yB(CB-xI_n)^{-1}$.
Soit $X\in\C^n$. Il existe $Y\in\C^n$ tel que $X=(CB-xI_n)Y$ soit $CBY=X+xY$. On a alors $$(BC-xI_m)AX=y(BC-xI_m)BY=y(BCBY-xBY)=y(BX+xBY-xBY)=yBX.$$
D'où $BCA=xA+yB=ACB$.
-
Bon j'arrive en retard mais je propose quand même ma résolution : de $ACB=xA+yB$ découle que
1) $\ker(B)\subset \ker(A)$
2) $Im(B)\subset Im(A)$
Avec le théorème du rang il s'ensuit que $\dim \ker(B)= \dim \ker(A)$ et $\dim Im(B)= \dim Im(A)$ et pour finir $\ker(B)=\ker(A)$ et $Im(B)=Im(A)$.
Donc pour tout $w\in \C^m$ il existe $v\in \C^m$ tel que $Aw=Bv$. On a alors $ACBv=xAv+yBv=A(xv+yw)$ et donc $A(CBv-xv-yw)=0$. Par suite $B(CBv-xv-yw)=0$ et donc $BCBv=xBv+yBw$, donc $BCAw=xAw+yBw$. Ce qui prouve que $ACB=BCA$.
Edit : remplacer $m$ par $n$. Merci @gai requin
-
-
-
@gai requin j'ai dû griffonner quelques calculs intermédiaires mais c'est compréhensible.
-
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 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
- 65 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres