Teorema di diagonalizzibilita'

Messaggioda ludovica_97 » 11/07/2018, 10:13

Devo dimostrare il seguente teorema:
"Un endomorfismo f e' diagonalizzabile se e solo se molteplicita' algebrica e geometrica coincidono"
purtroppo non ho nulla su questa dimostrazione, ho provato a cercarla sul web ma con scarsi risultati, quindi chiedo aiuto qui.
Suppongo che le proposizioni che mi servono sono:
"Dati n autovalori distinti, gli autovettori corrispondenti sono linearmente indipendenti"
"La somma degli autospazi relativi ad autovalori diversi e' diretta"
(che poi sono due proposizioni equivalenti)
Il problema e' che mi trovo in difficolta' per tutte e due le implicazioni, qualcuno che puo' darmi qualche suggerimento?
ludovica_97
Junior Member
Junior Member
 
Messaggio: 212 di 245
Iscritto il: 18/02/2017, 16:53

Re: Teorema di diagonalizzibilita'

Messaggioda cooper » 11/07/2018, 12:09

ludovica_97 ha scritto:ho provato a cercarla sul web ma con scarsi risultati,

ecco. ho risposto allo stesso dubbio proprio oggi :wink:
cooper
Advanced Member
Advanced Member
 
Messaggio: 1763 di 2301
Iscritto il: 25/07/2014, 09:19

Re: Teorema di diagonalizzibilita'

Messaggioda ludovica_97 » 11/07/2018, 14:28

Si, avevo gia' letto quella discussione ma avevo qualche dubbio
Nella prima implicazione si dice che $(dim(E_1) - a_1)+...+ (dim(E_h)-a_n)=0$ implica che queste, essendo quantita' positive non nulle siano uguali a coppie, quindi $dim(E_1)=a_1$ e cosi via...
Ma per quale motivo? Non e' possibile che ad esempio questo sia vero per h-2 coppie e due si invertano cioe' $dim(E_1)=a_3$ e $dim(E_3)=a_1$? Forse c'e' qualcosa con l'ipotesi che sia diagonalizzabile che mi sfugge
ludovica_97
Junior Member
Junior Member
 
Messaggio: 213 di 245
Iscritto il: 18/02/2017, 16:53

Re: Teorema di diagonalizzibilita'

Messaggioda cooper » 11/07/2018, 18:13

in effetti non saprei dare una risposta. provo con questa dimostrazione.
siano $V_(lambda_i)$ gli autospazi e $e_i$ con $i in [1,n]$ una base di V costituita da autovettori. li si raggruppino in modo che la matrice sia a blocchi quadrati di dimensione $gamma_i$ (una scacchiera con quadrati di quella dimensione) con sulla diagonale principale gli autovalori e zero altrove. noto che $1 <= gamma_i <= gamma_(lambda_i)$.
dunque $chi_T(x)=(-)^n (x-lambda_1)^(gamma_1) *** (x-lambda_k)^(gamma_k)$.
ma per il teorema di Ruffini e per la decomposizione in polinomi irriducibili vale:
$chi_T(x)=(-)^n (x-lambda_1)^(alpha_(lambda_1) *** (x-lambda_k)^(alpha_(lambda_k) Pi _(t=1)^(s) g_t(x)$
$g_t$ diversi da $x-lambda_i$. per l'unicità della decomposizione la produttoria non c'è (vale 1) e poichè $gamma_i <= gamma_(lambda_i)<= alpha_(lambda_i)$ se ne deduce, notando dal confronto tra le espressioni del polinomio caratteristico $alpha_(lambda_i)=gamma_i$, che le molteplicità coincidono $AA i$.
cooper
Advanced Member
Advanced Member
 
Messaggio: 1770 di 2301
Iscritto il: 25/07/2014, 09:19

Re: Teorema di diagonalizzibilita'

Messaggioda ludovica_97 » 12/07/2018, 07:59

Mmmm.... Non ho ben capito quando utilizzi $x_t(x)$.... Ma l'unica dimostrazione che esiste di questo teorema e' quella li su? Non sai dirmi dove posso trovarne altre?
ludovica_97
Junior Member
Junior Member
 
Messaggio: 214 di 245
Iscritto il: 18/02/2017, 16:53

Re: Teorema di diagonalizzibilita'

Messaggioda cooper » 13/07/2018, 15:57

non saprei magari su internet su qualche dispensa trovi qualcosa. io l'ho fatta a mio tempo come ti ho scritto ed ho trovato quella che invece ti ho linkato.
prova magari a cercare "dimostrazione teorema di diagonizzabilità", magari anche in inglese.
cooper
Advanced Member
Advanced Member
 
Messaggio: 1778 di 2301
Iscritto il: 25/07/2014, 09:19


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Camillo e 7 ospiti