Ivan Shishkin, Rye (1878)

Discussions

Un résultat renversant

0 messages

Solution

Solution by budleya · FR

⇒\boxed{\Rightarrow} Supposons AA diagonalisable (dans R\R) : il existe P∈GLn(R)P\in GL_{n}(\R) inversible et D∈Mn(R)D\in M_{n}(\R) diagonale telles que P−1AP=DP^{-1}AP=D. Alors DD est inversible et P−1A−1P=D−1P^{-1}A^{-1}P=D^{-1} est aussi diagonale. Il en résulte en développant que P−1(A−A−1)P=D−D−1P^{-1}(A-A^{-1})P=D-D^{-1} qui est diagonale donc A−A−1A-A^{-1} est diagonalisable.

⇐\boxed{\Leftarrow} Avant de commencer, rappelons le résultat classique sur les polynômes de matrices : Quand U,VU,V sont deux polynômes premiers entre eux, on a ker⁡UV(A)=ker⁡U(A)⊕ker⁡V(A)\ker UV(A)=\ker U(A)\oplus \ker V(A)

Preuve si besoin

(exploiter à fond l’existence de deux polynômes u,vu,v tels que uU+vV=1uU+vV=1 en instanciant en AA).
Voir p.ex. Arnaudiès et Frayssé, Cours de mathématiques -1, page 638 (Dunod)

Supposons B=A−A−1B=A-A^{-1} diagonalisable et travaillons sur une valeur propre (réelle) μ\mu de BB.
L’équation en xx : x−1/x=μx-1/x=\mu est trinômiable à discriminant μ2+4\mu^{2}+4 strictement positif, elle a donc deux racines réelles distinctes λ,λ′\lambda,\lambda' de produit -1 (donc non nulles et λ′=−1/λ\lambda'=-1/\lambda) et de somme μ=λ+λ′\mu=\lambda+\lambda'.
On peut factoriser de deux façons AB−μAAB-\mu A :

  1. AB−μA=A(B−μIn)AB-\mu A=A(B-\mu I_{n}), ce qui donne ker⁡(AB−μA)=Eμ(B)\ker (AB-\mu A)=E_{\mu}(B) car AA est inversible,
  2. AB−μA=A2−In−(λ+λ′)A=(A−λIn)(A−λ′In)AB-\mu A=A^{2}-I_{n}-(\lambda +\lambda')A=(A-\lambda I_{n})(A-\lambda' I_{n})
    En rapprochant les deux et en invoquant le résultat classique (X−λX-\lambda et X−λ′X-\lambda' sont premiers entre eux car λ≠λ′\lambda\neq\lambda'), il vient
    Eμ(B)=Eλ(A)⊕Eλ′(A)E_{\mu}(B)=E_{\lambda}(A)\oplus E_{\lambda'}(A)et Rn\R^{n} étant somme directe des Eμ(B)E_{\mu}(B) pour μ∈Sp(B)\mu\in Sp(B) car BB est diagonalisable, il est aussi somme directe de sous-espaces propres de AA, donc AA est diagonalisable.
Solution edit history

The latest 50 recorded edits.

  1. · budleya

    Edit without a summary.

  2. · budleya

    Edit without a summary.

  3. · budleya

    Edit without a summary.

No messages yet.