Cezar Lupu wrote:Fie \( A\in M_{n}(\mathbb{C}) \) cu \( tr(A)=0 \). Vom arata, prin inductie, ca exista o matrice nesingulara \( S\in M_{n}(\mathbb{C}) \) astfel incat matricea \( S^{-1}AS \) are elementele de pe diagonala principala nule.
Ideea este de a aduce (prin transformari elementare) elementele nenule de pe diagonala principala pe pozitia
\( (1,1) \). Mai concret:
Presupunem ca exista
\( i \) astfel incit
\( a_{ii}\neq 0 \). Atunci va mai exista un indice
\( j\neq i \) cu
\( a_{jj}\neq 0 \). Daca se considera in locul lui A matricea
\( P_{2j}(P_{1i}AP_{1i})P_{2j} \) (urma matricei nu se schimba prin asemanare), putem presupune ca
\( i=1 \) si
\( j=2 \), adica
\( a_{11}\neq 0 \) si
\( a_{22}\neq 0 \). Este evident ca nu este posibil ca toate elementele nenule de pe diagonala principala a matricei sa fie egale, deci putem presupune ca
\( a_{11}\neq a_{22} \). Daca pe prima linie si pe prima coloana toate elementele, cu exceptia lui
\( a_{11} \), sunt nule, consideram matricea
\( T_{12}(1)AT_{12}(-1) \) care va avea pe pozitia
\( (1,2) \) elementul
\( a_{22}-a_{11}\neq 0 \), deci putem presupune ca matricea A are un element nenul pe prima linie sau pe prima coloana, de fapt chiar intr-una din pozitiile
\( (1,2) \) sau
\( (2,1) \). Sa-i zicem
\( a \) acestui element. Matricea
\( T_{21}(-a^{-1}a_{22})AT_{21}(a^{-1}a_{22}) \) va avea
\( a_{11}+a_{22} \) pe pozitia
\( (1,1) \) si
\( 0 \) pe pozitia
\( (2,2) \). Aplicam acum ipoteza de inductie.
(Solutia este prelucrata dupa cartea D. Fadeev, I. Sominski - Recueil d'exercices d'algebre superieure, Mir, Moscou 1977, si este evident ca merge mai general, pentru matrice cu elemente intr-un corp de caracteristica 0.)
Notatii
1. Pentru
\( i\neq j \),
\( P_{ij} \) este matricea obtinuta din
\( I_n \) prin schimbarea liniilor i si j intre ele. Aceasta matrice este inversabila si inversa ei este tot
\( P_{ij} \).
2. Pentru
\( i\neq j \),
\( T_{ij}(a) \) este matricea obtinuta din
\( I_n \) prin adunarea la linia i a liniei j inmultita cu elementul a. Si aceasta este o matrice inversabila iar inversa ei este
\( T_{ij}(-a) \).
(Aceste matrice se numesc
matrice elementare si sunt foarte utile in algebra liniara.)