Endomorfismo.....

kioccolatino90
Salve a tutti, volevo fare un apiccola domanda sull'endomofismo... Data, ad esempio la matrice $A=((3,-1,1),(0,2,0),(1,-1,3))$, l'endomorfismo lo posso anche rappresentare in questo modo: $phi(x,y,z)=(3x-y+z, 2y, x-y+3z)$???

Risposte
MrMojito
se è la matrice associata rispetto alla base canonica di $R^3$ allora si
( se l'endomorfismo è $phi: R^3 -> R^3$ )

kioccolatino90
non saprei dice l'esercizio calcolare il nucleo e l'immagine dell'endomorfismo rappresentato (rispetto alle basi canoniche) della matrice A stessa... io ora nons o come cominciare...

MrMojito
Per trovare il nucleo, visto che sai che la matrice associata è rispetto alle basi canoniche, ti basta impostare un sistema di questo genere:
${(3x-y+z=0),(2y=0),(x-y+3z=0):}$
che piu formalmente è il prodotto righe per colonne $Ax=0$ dove A è la matrice associata e x è $((x),(y),(z))$
Risolvendo il sistema sarai in grado di determinare la dimensione del nucleo e la sua base, e di conseguenza per il Teorema della nullità e del rango, la dimensione dell'immagine e la sua rispettiva base

Prova da solo/a, se serve ancora aiuto fammi sapere.

kioccolatino90
allora risolvendo il sitema mi viene che $(x,y,z)=(0,0,0)$ dunque il nucleo ha dimensione pari a zero....

ora dato che i tre vettori sono linearmente indipendenti abbiamo che l'immagine ha dimensione pari a tre e la sua base è rappresentata da $B_(Im)={(3,0,1),(-1,2,1),(1,0,3)}$?????

MrMojito
se i calcoli son giusti si :)

kioccolatino90
la base dell'immagine è data dalle colonne della matrice $A$?

melli13
si...:)!

kioccolatino90
ok, capito, grazie...Ma per vedere se A è diagonalizzabile devo fare $A=((3-lambda,-1,1),(0,2-lambda,0),(1,-1,3-lambda))$ ora applico laplace alla seconda colonna e ottengo il polinomio caratteristico $(2-lambda)(3-lambda)^2$ dunque l'endomorfismo ha gli autovalori $lambda_1=2$ e $lambda_2=3$

ora $m_a(2)+m_a(3)=1+2=3$

ora devo verificare che la molteplicità geometrica coincide con quella algebrica:

per $lambda=2$

$A-2I=((3-2, -1, 1),(0, 2-2, 0),(1, -1, 3-2))rarr ((1,-1,1),(0,0,0),(1,-1,1))$ il rango è $1$ e la molteplicità geometrica è data da $mg(2)=3-rg(A-2I)=2$

per $lambda=3$

$A-3I=((3-3, -1, 1),(0, 2-3, 0),(1, -1, 3-3))rarr ((0,-1,1),(0,-1,0),(1,-1,0))$ applico laplace alla terza colonna e ottengo che il rango è $3$ la molteplità geometrica è $mg(3)=3-rg(A-3I)=0$

e infine abbiamo che $mg(2)+mg(3)=2-0=2$ e non coicide con la somma delle molteplicità algebriche quindi non diagonalizzabile..ho fatto bene?

MrMojito
è esatto

kioccolatino90
Ma se ad esempio avevamo tre autovalori distinti con molteplicità algebrica pari a uno allora potevo dire, senza andare a calcolare le moltplicità geometriche, che per il teorema Spettrale $phi$ è diagonalizzabile?

MrMojito
si

kioccolatino90
ma la dimensione e la base di ciascun autospazio come si calcola? cioè ad esempio la matrice è $((3-lambda,0,0),(3,-1-lambda,0),(2,2,2-lambda))$ calcolo il polinomio caratteristico con Laplace (applicato alla prima riga):

$(3-lambda)(-1-lambda)(2-lambda)$ dunque gli autovalori sono $lambda=3$, $lambda=-1$ e $lambda=2$ ora

per $lambda=3$ abbiamo:

$((0,0,0),(3,-4,0),(2,2,-1))$ la dimensione è 2 e la base è $B={(3,-4,0),(2,2,-1)}$??? e ho trovato la dimensione e la base del primo autospazio?

^Tipper^1
$dimV_lambda=dimV-rg(A-lambdaI)$

Quindi:

$dimV_3=3-rg((0,0,0),(3,-4,0),(2,2,-1))$

kioccolatino90
ho capito quindi la dimensione è $1$ la base è giusta invece?

^Tipper^1
Se non sbaglio dovrebbe essere $(4,3,14)$

kioccolatino90
ma come è uscito questo vettore?

^Tipper^1
$((0,0,0),(3,-4,0),(2,2,-1))$

Devi risolvere $\{(3x-4y=0),(2x+2y-z=0):}$

kioccolatino90
ma come mai mi esce che la dimensione per $lambda=2$ è zero?.. è impossibile la dimensione dell'autosoazio non è sempre $>=1$????

i conti sembra che tornano: $dimV_2=2-rg((3-2,0,0),(3,-1-2,0),(2,2,2-2))= 2-rg((1,0,0),(3,-3,0),(2,2,0))$ ora dato che la matrice ha una colonna nulla allora il determinante di ordine tre è 0 dunque il rango è due:

$dimV_2=2-2=0$; dove ho sbagliato?

^Tipper^1
La dimensione dell'ambiente è $3$, quindi devi scrivere $dimV_2=3-rg((3-2,0,0),(3,-1-2,0),(2,2,2-2))$

kioccolatino90
l'ambiente stà per i tre autovalori????

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.