+ All Categories
Home > Documents > Alcuni Teoremi fondamentali di Algebra Lineare per il corso di Ingegneria

Alcuni Teoremi fondamentali di Algebra Lineare per il corso di Ingegneria

Date post: 05-May-2023
Category:
Upload: unico
View: 0 times
Download: 0 times
Share this document with a friend
11
A\B Aโ€™\Bโ€™ Teoremi di Algebra Lineare Teorema di Laplace 2 La somma dei prodotti degli elementi di una riga/colonna per i complementi algebrici di unโ€™altra riga/colonna รจ pari a zero. Teorema Dato = , con Aฯต , (m-equazioni in n-incognite). Consideriamo la matrice completa A\B; riducendola otterremo il sistema ridotto โ€ฒ = โ€ฒ il quale ha le stesse soluzioni del sistema iniziale = . DIM. = โ‡” { 11 1 + 12 2 +โ‹ฏ+ 1 = 1 21 1 + 22 2 +โ‹ฏ+ 2 = 2 โ€ฆ 1 1 + 2 2 +โ‹ฏ+ = โ‡” โ‡” ( 11 โ€ฆ 1 21 โ‹ฏ 2 โ‹ฎ โ‹ฑ โ‹ฎ 1 โ‹ฏ | 1 2 โ‹ฎ ) โž 2 = 2 + 1 โ†’ ( 11 โ€ฆ 1 21 + 11 โ‹ฏ 2 + 1 โ‹ฎ โ‹ฑ โ‹ฎ 1 โ‹ฏ | 1 2 + 1 โ‹ฎ ) โž โ‡” โ‡” { 1 = 11 1 + 12 2 +โ‹ฏ+ 1 โˆ’ 1 =0 2 = ( 21 1 + 11 ) + ( 22 2 + 12 ) + โ‹ฏ + ( 2 + 1 ) โˆ’ ( 2 + 1 )=0 โ€ฆ = 1 1 + 2 2 +โ‹ฏ+ โˆ’ =0 โ‡’ { 1 =0 2 =0 โ‹ฎ =0 โ†’ { 1 =0 2 + 1 =0 โ‹ฎ =0 Quindi hanno le stesse soluzioni. Teorema Data una matrice , . Allora si ha: A invertibile se e solo se || โ‰  0 e in tal caso โˆ’1 = 1 || t A g DIM. IP A invertibile TS || โ‰  0 Per ipotesi โˆ’1 = allora | โˆ’1 | = | | Dunque, per il teorema di Binet: ||| โˆ’1 | = 1 โ‡’ || 0 IP || โ‰  0 TS A invertibile Per provare che A รจ invertibile devo verificare che il prodotto di A per 1 || t A g sia uguale alla matrice identitร , , per cui si ha:
Transcript

A\B Aโ€™\Bโ€™

Teoremi di Algebra Lineare

Teorema di Laplace 2

La somma dei prodotti degli elementi di una riga/colonna per i complementi algebrici di

unโ€™altra riga/colonna รจ pari a zero.

Teorema

Dato ๐ด๐‘‹ = ๐ต, con Aฯต๐พ๐‘š,๐‘› (m-equazioni in n-incognite). Consideriamo la matrice completa

A\B; riducendola otterremo il sistema ridotto ๐ดโ€ฒ๐‘‹ = ๐ตโ€ฒ il quale ha le stesse soluzioni del

sistema iniziale ๐ด๐‘‹ = ๐ต.

DIM.

๐ด๐‘‹ = ๐ต๐‘‘๐‘’๐‘“โ‡” {

๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2 +โ‹ฏ+ ๐‘Ž1๐‘›๐‘ฅ๐‘› = ๐‘1๐‘Ž21๐‘ฅ1 + ๐‘Ž22๐‘ฅ2 +โ‹ฏ+ ๐‘Ž2๐‘›๐‘ฅ๐‘› = ๐‘2

โ€ฆ๐‘Ž๐‘š1๐‘ฅ1 + ๐‘Ž๐‘š2๐‘ฅ2 +โ‹ฏ+ ๐‘Ž๐‘š๐‘›๐‘ฅ๐‘› = ๐‘๐‘š

๐‘‘๐‘’๐‘“โ‡”

๐‘‘๐‘’๐‘“โ‡” (

๐‘Ž11 โ€ฆ ๐‘Ž1๐‘›๐‘Ž21 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘š1 โ‹ฏ ๐‘Ž๐‘š๐‘›

|

๐‘1๐‘2โ‹ฎ๐‘๐‘š

)

โž

๐‘…2= ๐‘…2+๐‘Ž๐‘…1โ†’ (

๐‘Ž11 โ€ฆ ๐‘Ž1๐‘›๐‘Ž21 + ๐‘Ž๐‘Ž11 โ‹ฏ ๐‘Ž2๐‘› + ๐‘Ž๐‘Ž1๐‘›

โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘š1 โ‹ฏ ๐‘Ž๐‘š๐‘›

|

๐‘1๐‘2 + ๐‘Ž๐‘1

โ‹ฎ๐‘๐‘š

)

โž

๐‘‘๐‘’๐‘“โ‡”

๐‘‘๐‘’๐‘“โ‡” {

๐‘“1 = ๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2 +โ‹ฏ+ ๐‘Ž1๐‘›๐‘ฅ๐‘› โˆ’ ๐‘1 = 0๐‘“2 = (๐‘Ž21๐‘ฅ1 + ๐‘Ž๐‘Ž11) + (๐‘Ž22๐‘ฅ2 + ๐‘Ž๐‘Ž12) + โ‹ฏ+ (๐‘Ž2๐‘›๐‘ฅ๐‘› + ๐‘Ž๐‘Ž1๐‘›) โˆ’ (๐‘2 + ๐‘Ž๐‘1) = 0

โ€ฆ๐‘“๐‘š = ๐‘Ž๐‘š1๐‘ฅ1 + ๐‘Ž๐‘š2๐‘ฅ2 +โ‹ฏ+ ๐‘Ž๐‘š๐‘›๐‘ฅ๐‘› โˆ’ ๐‘๐‘š = 0

๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ {

๐‘“1 = 0๐‘“2 = 0โ‹ฎ

๐‘“๐‘š = 0

๐‘…๐‘–๐‘‘๐‘ข๐‘๐‘’๐‘›๐‘‘๐‘œโ†’ {

๐‘“1 = 0๐‘“2 + ๐‘Ž๐‘“1 = 0

โ‹ฎ๐‘“๐‘š = 0

Quindi hanno le stesse soluzioni.

Teorema

Data una matrice ๐ด๐œ–๐พ๐‘š,๐‘›. Allora si ha: A invertibile se e solo se |๐ด| โ‰  0 e in tal caso

๐ดโˆ’1 =1

|๐ด| tAg

DIM.

IP A invertibile TS |๐ด| โ‰  0

Per ipotesi ๐ด๐ดโˆ’1 = ๐ผ๐‘› allora |๐ด๐ดโˆ’1| = |๐ผ๐‘›|

Dunque, per il teorema di Binet:

|๐ด||๐ดโˆ’1| = 1 โ‡’ |๐ด| 0

IP |๐ด| โ‰  0 TS A invertibile

Per provare che A รจ invertibile devo verificare che il prodotto di A per 1

|๐ด| tAg sia uguale

alla matrice identitร , ๐ผ๐‘› , per cui si ha:

(

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

)1

|๐ด|(

๐ด11 โ‹ฏ ๐ด๐‘›1๐ด12 โ‹ฏ ๐ด๐‘›2โ‹ฎ โ‹ฑ โ‹ฎ๐ด1๐‘› โ‹ฏ ๐ด๐‘›๐‘›

) =1

|๐ด|(

|๐ด| 0 โ‹ฏ 00 |๐ด| โ‹ฏ 0โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ0 0 โ‹ฏ |๐ด|

) = ๐ผ๐‘›

Ciรฒ prova che 1

|๐ด| tAg รจ lโ€™inversa di A, dunque A รจ invertibile, cioรจ la tesi.

Metodo di Cramer

Dato un sistema lineare in n-incognite ed n-equazioni, cioรจ ๐ด๐‘‹ = ๐ต, ๐ด๐œ–๐พ๐‘›,๐‘›. Sia ฯ(A) = n.

Allora |๐ด| โ‰  0 ed il sistema ammette una sola soluzione (โˆ1, โˆ2, ..., โˆ๐‘›), con โˆ๐‘–=|๐ด๐‘–|

|๐ด| โˆ€๐‘– =

1, 2, . . , ๐‘› dove ๐ด๐‘– รจ la matrice ottenuta da A sostituendo alla ๐‘–-esima colonna la colonna dei

termini noti.

DIM.

๐ด๐‘‹ = ๐ต๐‘‘๐‘’๐‘“โ‡” {

๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2 +โ‹ฏ+ ๐‘Ž1๐‘›๐‘ฅ๐‘› = ๐‘1๐‘Ž21๐‘ฅ1 + ๐‘Ž22๐‘ฅ2 +โ‹ฏ+ ๐‘Ž2๐‘›๐‘ฅ๐‘› = ๐‘2

โ€ฆ๐‘Ž๐‘š1๐‘ฅ1 + ๐‘Ž๐‘š2๐‘ฅ2 +โ‹ฏ+ ๐‘Ž๐‘š๐‘›๐‘ฅ๐‘› = ๐‘๐‘š

.

Poichรฉ |๐ด| โ‰  0 allora โˆƒ๐ดโˆ’1, per cui

๐ดโˆ’1(๐ด๐‘‹) = ๐ดโˆ’1๐ต

๐‘๐‘Ÿ๐‘œ๐‘. ๐‘Ž๐‘ ๐‘ ๐‘œ๐‘๐‘–๐‘Ž๐‘ก๐‘–๐‘ฃ๐‘Žโ†” (๐ดโˆ’1๐ด)๐‘‹ = ๐ดโˆ’1๐ต

๐ดโˆ’1๐ด=๐ผ๐‘›โ‡’ ๐ผ๐‘›๐‘‹ = ๐ด

โˆ’1๐ต๐ผ๐‘›๐‘‹=๐‘‹โ‡’ ๐‘‹ = ๐ดโˆ’1๐ต

Ovvero, sapendo che ๐‘‹ = (

๐‘ฅ1๐‘ฅ2โ‹ฎ๐‘ฅ๐‘›

) , ๐ดโˆ’1 = (

๐ด11 ๐ด21 โ‹ฏ ๐ด๐‘›1๐ด21 ๐ด22 โ‹ฏ ๐ด๐‘›2โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐ด1๐‘› ๐ด2๐‘› โ‹ฏ ๐ด๐‘›๐‘›

)1

|๐ด| , ๐ต = (

๐‘1๐‘2โ‹ฎ๐‘๐‘›

) , quanto

detto sopra diviene:

(

๐‘ฅ1๐‘ฅ2โ‹ฎ๐‘ฅ๐‘›

) = (

๐ด11 ๐ด21 โ‹ฏ ๐ด๐‘›1๐ด21 ๐ด22 โ‹ฏ ๐ด๐‘›2โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐ด1๐‘› ๐ด2๐‘› โ‹ฏ ๐ด๐‘›๐‘›

)1

|๐ด|(

๐‘1๐‘2โ‹ฎ๐‘๐‘›

)

Cioรจ:

(๐‘ฅ1 =๐‘1๐ด11+๐‘2๐ด21+โ‹ฏ+๐‘๐‘›๐ด๐‘›1

|๐ด| , ๐‘ฅ2 =

๐‘1๐ด12+๐‘2๐ด22+โ‹ฏ+๐‘๐‘›๐ด๐‘›2|๐ด|

, โ€ฆ , ๐‘ฅ๐‘› =๐‘1๐ด1๐‘›+๐‘2๐ด2๐‘›+โ‹ฏ+๐‘๐‘›๐ด๐‘›๐‘›

|๐ด|).

Risulta, dunque, dimostrato il teorema.

Metodo risolutivo per sistemi (๐’ โˆ’ ๐Ÿ) ๐’™ ๐’

Dato il sistema lineare ๐ด๐‘‹ = ๐ต, ๐ด๐œ–๐พ๐‘›โˆ’1,๐‘› e sia ๐œŒ(๐ด) = ๐‘› โˆ’ 1. Il sistema ammette โˆž1

soluzioni proporzionali e una soluzione (๐ด1, ๐ด2, โ€ฆ , ๐ด๐‘›) dove ๐ด๐‘– รจ pari al determinante della

matrice ottenuta da A eliminando la ๐‘–-esima colonna e cambiato di segno nel caso in cui ๐‘– รจ

dispari.

DIM.

Sia ๐ด = (

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

) . Devo dimostrare che (๐ด1, ๐ด2, โ€ฆ , ๐ด๐‘›) รจ soluzione. Per cui

๐ดโ€ฒ = (

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

)(

๐ด1๐ด2โ‹ฎ๐ด๐‘›

)๐ฟ๐‘Ž๐‘๐‘™๐‘Ž๐‘๐‘’ 2โ‡’ |๐ดโ€ฒ| = 0

Dunque (๐ด1, ๐ด2, โ€ฆ , ๐ด๐‘›) รจ soluzione del sistema.

Proposizione

Dato il K-spazio vettoriale V e siano ๐‘Š โŠ‚ ๐‘‰, ๐‘ โŠ‚ ๐‘‰ due sottospazi di V. Allora

(1) ๐‘Š โˆฉ ๐‘ รจ un sottospazio di V

(2) ๐‘Š โˆช ๐‘ non รจ un sottospazio di V

DIM.

(1) Devo provare che:

0๐‘‰๐œ–๐‘Š โˆฉ ๐‘

Verifica:

Ciรฒ รจ vero perchรฉ W e Z sono sottospazi di V.

โˆ€ ๐‘ฃ1, ๐‘ฃ2๐œ–๐‘Š โˆฉ ๐‘๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ ๐‘ฃ1 + ๐‘ฃ2๐œ–๐‘Š โˆฉ ๐‘

Verifica:

Poichรฉ ๐‘ฃ1, ๐‘ฃ2๐œ–๐‘Š โˆฉ ๐‘ si avrร  (per definizione di intersezione) che

{๐‘ฃ1, ๐‘ฃ2 ๐œ– ๐‘Š๐‘ฃ1, ๐‘ฃ2 ๐œ– ๐‘

โ‡’ {๐‘ฃ1 + ๐‘ฃ2 ๐œ– ๐‘Š๐‘ฃ1 + ๐‘ฃ2 ๐œ– ๐‘

โ‡’ ๐‘ฃ1 + ๐‘ฃ2 ๐œ– ๐‘Š โˆฉ ๐‘.

โˆ€๐‘Ž๐œ–๐พ, โˆ€๐‘ฃ๐œ–๐‘Š โˆฉ ๐‘ ๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ ๐‘Ž๐‘ฃ๐œ–๐‘Š โˆฉ ๐‘

Verifica:

Poichรฉ ๐‘ฃ๐œ–๐‘Š โˆฉ ๐‘ allora {๐‘ฃ ๐œ– ๐‘Š๐‘ฃ ๐œ– ๐‘

โ‡” {๐‘Ž๐‘ฃ ๐œ– ๐‘Š๐‘Ž๐‘ฃ ๐œ– ๐‘

, dunque ๐‘Ž๐‘ฃ๐œ–๐‘Š โˆฉ ๐‘ โˆ€๐‘Ž๐œ–๐พ e

โˆ€๐‘ฃ๐œ–๐‘‰ โˆฉ ๐‘.

(2) Devo provare che:

0๐‘‰๐œ–๐‘Š โˆช ๐‘

Verifica:

Ciรฒ รจ vero perchรฉ W e Z sono sottospazi di V.

โˆ€ ๐‘ค, ๐‘ง๐œ–๐‘Š โˆช ๐‘๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ ๐‘ค + ๐‘ง๐œ–๐‘Š โˆช ๐‘

Verifica:

Non รจ sempre verificata. Infatti si ha che โˆƒ๐‘ค๐œ–๐‘Š\๐‘ ed โˆƒ๐‘ง๐œ–๐‘\๐‘Š, ma poichรฉ

๐‘ค, ๐‘ง๐œ–๐‘Š โˆช ๐‘ (supposto per assurdo che ๐‘Š โˆช ๐‘ รจ sottospazio) allora

๐‘ค + ๐‘ง๐œ–๐‘Š โˆช ๐‘, quindi {๐‘ค + ๐‘ง๐œ–๐‘Š๐‘œ๐‘๐‘๐‘ข๐‘Ÿ๐‘’๐‘ค + ๐‘ง๐œ–๐‘

โ‡’ {๐‘ง = ๐‘ค + ๐‘ง โˆ’ ๐‘ค ๐œ–๐‘Š

๐‘œ๐‘๐‘๐‘ข๐‘Ÿ๐‘’๐‘ค = ๐‘ค + ๐‘ง โˆ’ ๐‘ง ๐œ–๐‘

che รจ assurdo.

โˆ€๐‘Ž๐œ–๐พ, โˆ€๐‘ฃ๐œ–๐‘Š โˆช ๐‘๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ ๐‘Ž๐‘ฃ๐œ–๐‘Š โˆช ๐‘

Verifica:

Poichรฉ ๐‘ฃ๐œ–๐‘Š โˆช ๐‘ allora {๐‘ฃ๐œ–๐‘Š๐‘œ๐‘๐‘๐‘ข๐‘Ÿ๐‘’๐‘ฃ๐œ–๐‘

๐‘๐‘–๐‘œรจโˆ€๐‘Ž๐œ–๐พ โ‡” {

๐‘Ž๐‘ฃ๐œ–๐‘Š๐‘œ๐‘๐‘๐‘ข๐‘Ÿ๐‘’๐‘Ž๐‘ฃ๐œ–๐‘

. Dunque ๐‘Ž๐‘ฃ๐œ–๐‘Š โˆช ๐‘.

Teorema

Dati due sottospazi ๐‘Š,๐‘ di V, allora ๐‘ŠโŠ•๐‘๐‘‘๐‘’๐‘“โ‡” ๐‘Š โˆฉ ๐‘ = โˆ…

Teorema di Rochรฉ-Capelli

Sia ๐ด๐‘‹ = ๐ต un sistema lineare. Allora il sistema รจ possibile se e solo se ๐œŒ(๐ด) = ๐œŒ(๐ด\๐ต).

PREMESSA

Ricordiamo che

๐ด๐‘‹ = ๐ต๐‘‘๐‘’๐‘“โ‡” {

๐‘Ž11๐‘ฅ1 + ๐‘Ž12๐‘ฅ2 +โ‹ฏ+ ๐‘Ž1๐‘›๐‘ฅ๐‘› = ๐‘1๐‘Ž21๐‘ฅ1 + ๐‘Ž22๐‘ฅ2 +โ‹ฏ+ ๐‘Ž2๐‘›๐‘ฅ๐‘› = ๐‘2

โ€ฆ๐‘Ž๐‘š1๐‘ฅ1 + ๐‘Ž๐‘š2๐‘ฅ2 +โ‹ฏ+ ๐‘Ž๐‘š๐‘›๐‘ฅ๐‘› = ๐‘๐‘š

, ๐ด = (

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

) e che

๐ด\๐ต = (

๐‘Ž11 โ€ฆ ๐‘Ž1๐‘›๐‘Ž21 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘š1 โ‹ฏ ๐‘Ž๐‘š๐‘›

|

๐‘1๐‘2โ‹ฎ๐‘๐‘š

).

Siano ๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘› le colonne di A, con ๐ถ1 = (

๐‘Ž11๐‘Ž21โ‹ฎ๐‘Ž๐‘š1

) , ๐ถ2 = (

๐‘Ž12๐‘Ž22โ‹ฎ๐‘Ž๐‘š2

) , โ€ฆ , ๐ถ๐‘› = (

๐‘Ž1๐‘›๐‘Ž2๐‘›โ‹ฎ๐‘Ž๐‘š๐‘›

) .

Allora possiamo scrivere il sistema nella forma

๐ถ1๐‘ฅ1 + ๐ถ2๐‘ฅ2 +โ‹ฏ+ ๐ถ๐‘›๐‘ฅ๐‘› = ๐ต

Fatto questo, possiamo dimostrare adesso il teorema

DIM.

IP ๐ด๐‘‹ = ๐ต possibile TS ๐œŒ(๐ด) = ๐œŒ(๐ด\๐ต)

Sia (โˆ1, โˆ2, ..., โˆ๐‘›) una soluzione del sistema (esiste per ipotesi).

Sapendo che il sistema รจ ๐ถ1๐‘ฅ1 + ๐ถ2๐‘ฅ2 +โ‹ฏ+ ๐ถ๐‘›๐‘ฅ๐‘› = ๐ต , segue che (essendo

(โˆ1, โˆ2, ..., โˆ๐‘›) una soluzione):

๐ถ1๐›ผ1 + ๐ถ2๐›ผ2 +โ‹ฏ+ ๐ถ๐‘›๐›ผ๐‘› = ๐ต โ‡’๐ต๐œ–L(๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘›) = ๐‘‰

Allora ๐‘Š = L(๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘›, ๐ต) โŠ† ๐‘‰ ma ๐‘‰ โŠ† ๐‘Š โ‡’ ๐‘‰ = ๐‘Š quindi ๐‘‘๐‘–๐‘š๐‘‰ = ๐‘‘๐‘–๐‘š๐‘Š,

ovvero ๐œŒ(๐ด) = ๐œŒ(๐ด\๐ต).

IP ๐œŒ(๐ด) = ๐œŒ(๐ด\๐ต) TS ๐ด๐‘‹ = ๐ต possibile

Per ipotesi ๐œŒ(๐ด) = ๐œŒ(๐ด\๐ต)๐‘‘๐‘’๐‘“โ‡’ ๐‘‘๐‘–๐‘š๐‘‰ = ๐‘‘๐‘–๐‘š๐‘Š, ma ๐‘‰ โŠ† ๐‘Š

๐‘ ๐‘’๐‘”๐‘ข๐‘’โ‡’ ๐‘‰ = ๐‘Š.

Poichรฉ ๐‘‰ = L(๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘›) e ๐‘Š = L(๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘›, ๐ต) โ‡’ ๐ต๐œ–L(๐ถ1, ๐ถ2, โ€ฆ , ๐ถ๐‘›) , ovvero:

๐ต = ๐ถ1๐‘ฅ1 + ๐ถ2๐‘ฅ2 +โ‹ฏ+ ๐ถ๐‘›๐‘ฅ๐‘› per qualche (โˆ1, โˆ2, ..., โˆ๐‘›)๐œ–๐พ.

Concludo, dunque, che (โˆ1, โˆ2, ..., โˆ๐‘›) รจ soluzione del sistema, ovvero il sistema

๐ด๐‘‹ = ๐ต รจ possibile.

Teorema

Lโ€™insieme S delle soluzioni di un sistema lineare omogeneo ๐ด๐‘‹ = 0 , di tipo ๐‘š ร— ๐‘› , รจ un

sottospazio di ๐พ๐‘› di dimensione ๐‘› โˆ’ ๐œŒ(๐ด).

DIM.

Si parte dalla definizione di sottospazio:

(0, 0, โ€ฆ , 0)๐œ–๐‘†

Verifica:

Ciรฒ รจ verificato perchรฉ il sistema รจ omogeneo, quindi ammette la soluzione

nulla.

โˆ€๐‘‹1, ๐‘‹2๐œ–๐‘†?โ‡’๐‘‹1 + ๐‘‹2๐œ–๐‘†

Verifica:

Supponiamo, allora, che ๐‘‹1, ๐‘‹2๐œ–๐‘†, allora segue subito che ๐ด๐‘‹1 = 0 e che

๐ด๐‘‹2 = 0 . Dunque ๐ด(๐‘‹1 + ๐‘‹2) = ๐ด๐‘‹1 + ๐ด๐‘‹2 = 0 + 0 = 0 , cioรจ ๐‘‹1 + ๐‘‹2 รจ

soluzione del sistema lineare omogeneo, ovvero ๐‘‹1 + ๐‘‹2๐œ–๐‘†.

โˆ€๐‘‹๐œ–๐‘†, โˆ€๐‘Ž๐œ–๐พ?โ‡’ ๐‘Ž๐‘‹๐œ–๐‘†

Verifica:

Poichรฉ ๐‘‹๐œ–๐‘† โ‡’ ๐ด๐‘‹ = 0 โ‡’ ๐ด(๐‘Ž๐‘‹) = ๐‘Ž(๐ด๐‘‹) = ๐‘Ž0 = 0 , quindi ๐‘Ž๐‘‹๐œ–๐‘†.

Dunque S รจ un sottospazio di ๐พ๐‘›.

Per il secondo teorema di Rouchรจ-Capelli, il sistema ha ๐‘› โˆ’ ๐œŒ(๐ด) incognite libere, cioรจ il

generico elemento di S si esprime mediante ๐‘› โˆ’ ๐œŒ(๐ด) incognite. Allora, assegnando alle

๐‘› โˆ’ ๐œŒ(๐ด) incognite libere i valori [(1, 0, โ€ฆ , 0), (0, 1, โ€ฆ , 0), โ€ฆ , (0, 0, โ€ฆ , 1)] ottengo ๐‘› โˆ’ ๐‘Ÿ

soluzioni che costituiscono una base si S.

Applicazione lineare

Dati due K-spazi vettoriali ๐‘‰,๐‘Š. Definiamo lโ€™applicazione lineare ๐‘“: ๐‘‰ โ†’ ๐‘Š la quale tiene

conto della struttura di ๐‘‰,๐‘Š. Quindi valgono le seguenti:

โˆ€๐‘ฃ1, ๐‘ฃ2๐œ–๐‘‰ โ‡’ ๐‘“(๐‘ฃ1 + ๐‘ฃ2) = ๐‘“(๐‘ฃ1) + ๐‘“(๐‘ฃ2)

โˆ€๐‘Ž๐œ–๐พ, โˆ€๐‘ฃ๐œ–๐‘‰ โ‡’ ๐‘“(๐‘Ž๐‘ฃ) = ๐‘Ž๐‘“(๐‘ฃ)

0๐‘‰ ๐œ– ๐‘‰, 0๐‘Š ๐œ– ๐‘Š โ‡’ ๐‘“(0๐‘‰) = 0๐‘Š

Verifica:

Fissato 0๐‘‰ = 0๐พ0๐‘Š โ‡’ ๐‘“(0๐‘‰) = ๐‘“(0๐พ0๐‘Š) = 0๐พ๐‘“(0๐‘‰) = 0๐‘Š

Sia ๐‘ฃ = ๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘› โ‡’ ๐‘“(๐‘ฃ) = ๐‘Ž1๐‘“(๐‘ฃ1) + ๐‘Ž2๐‘“(๐‘ฃ2) + โ‹ฏ+

๐‘Ž๐‘›๐‘“(๐‘ฃ๐‘›)

Verifica:

Partendo da ๐‘ฃ = ๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘› segue che ๐‘“(๐‘ฃ) = ๐‘“(๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +

โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘›) , da cui, applicando ripetutamente le prime due proprietร  sopra

elencate: ๐‘“(๐‘ฃ) = ๐‘“(๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘›) โ‡’ ๐‘“(๐‘ฃ) = ๐‘“(๐‘Ž1๐‘ฃ1) + ๐‘“(๐‘Ž2๐‘ฃ2) +

โ‹ฏ+ ๐‘“(๐‘Ž๐‘›๐‘ฃ๐‘›) โ‡’ ๐‘“(๐‘ฃ) = ๐‘Ž1๐‘“(๐‘ฃ1) + ๐‘Ž2๐‘“(๐‘ฃ2) + โ‹ฏ+ ๐‘Ž๐‘›๐‘“(๐‘ฃ๐‘›).

Teorema

Dati due K-spazi vettoriali ๐‘‰,๐‘Š e data lโ€™applicazione lineare ๐‘“: ๐‘‰ โ†’ ๐‘Š. Allora:

๐พ๐‘’๐‘Ÿ๐‘“ = {0๐‘‰} โ‡” ๐‘“ ๐‘–๐‘›๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž

DIM.

IP ๐‘“ ๐‘–๐‘›๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž TS ๐พ๐‘’๐‘Ÿ๐‘“ = {0๐‘‰}

Supponiamo per assurdo che โˆƒ๐‘ฃ โ‰  0๐‘‰: ๐‘ฃ๐œ–๐พ๐‘’๐‘Ÿ๐‘“ cioรจ ๐‘“(๐‘ฃ) = 0๐‘Š ma 0๐‘Š = ๐‘“(0๐‘‰),

quindi ho trovato elementi diversi che hanno la stessa immagine, il che รจ contro

lโ€™ipotesi, dunque assurdo.

IP ๐พ๐‘’๐‘Ÿ๐‘“ = {0๐‘‰} TS ๐‘“ ๐‘–๐‘›๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž

Prendiamo ๐‘ฃ1, ๐‘ฃ2๐œ–๐‘‰: ๐‘“(๐‘ฃ1) = ๐‘“(๐‘ฃ2), allora segue:

๐‘“(๐‘ฃ1) = ๐‘“(๐‘ฃ2) โ‡’ ๐‘“(๐‘ฃ1) โˆ’ ๐‘“(๐‘ฃ2) = 0๐‘Š โ‡’ ๐‘“(๐‘ฃ1 โˆ’ ๐‘ฃ2) = 0๐‘Š

e poichรฉ (๐‘ฃ1 โˆ’ ๐‘ฃ2)๐œ–๐‘‰ allora ๐‘ฃ1 โˆ’ ๐‘ฃ2๐œ–๐พ๐‘’๐‘Ÿ๐‘“, ma per ipotesi ๐พ๐‘’๐‘Ÿ๐‘“ = {0๐‘‰} allora

๐‘ฃ1 โˆ’ ๐‘ฃ2 = 0๐‘‰ โ‡’ ๐‘ฃ1 = ๐‘ฃ2 ovvero ๐‘“ รจ iniettiva.

Teorema

Siano ๐‘‰,๐‘Š due K-spazi vettoriali e ๐‘“: ๐‘‰ โ†’ ๐‘Š. Sia, inoltre, (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›)๐œ–๐‘‰. Allora

1 Se ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) sono l. i.โ‡’(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) sono l. i.

2 Se ๐‘“ ๐‘–๐‘›๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž e (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) sono l. i.โ‡’๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) sono l. i.

3 Se ๐‘‰ = ๐ฟ(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) โ‡’ ๐ผ๐‘š๐‘“ = ๐ฟ(๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›))

4 Se ๐‘“ ๐‘ ๐‘ข๐‘Ÿ๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž e ๐‘‰ = ๐ฟ(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) โ‡’ ๐‘Š = ๐ฟ(๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›))

DIM.

1 IP ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) l. i. TS (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) sono l. i.

Devo dimostrare che ogni combinazione lineare di (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) รจ nulla solo se i

suoi coefficienti (๐‘Ž1, ๐‘Ž2, โ€ฆ , ๐‘Ž๐‘›) sono nulli, ovvero:

๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘› = 0๐‘‰ โ‡” ๐‘Ž1 = ๐‘Ž2 = โ‹ฏ = ๐‘Ž๐‘› = 0๐พ

Si ha che:

๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘› = 0๐‘‰๐‘“โ†’ ๐‘Ž1๐‘“(๐‘ฃ1) + ๐‘Ž2๐‘“(๐‘ฃ2) + โ‹ฏ+ ๐‘Ž๐‘›๐‘“(๐‘ฃ๐‘›) = 0๐‘Š

ma per ipotesi ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) sono l. i. quindi ๐‘Ž1 = ๐‘Ž2 = โ‹ฏ = ๐‘Ž๐‘› = 0๐พ , da

cui segue che (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) sono l. i.

2 IP ๐‘“ ๐‘–๐‘›๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž ๐‘’ (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) l. i. TS ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) l. i.

Utilizziamo la definizione di indipendenza lineare e supponiamo di avere una

combinazione nulla dei vettori ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›), cioรจ

๐‘Ž1๐‘“(๐‘ฃ1) + ๐‘Ž2๐‘“(๐‘ฃ2) + โ‹ฏ+ ๐‘Ž๐‘›๐‘“(๐‘ฃ๐‘›) = 0๐‘ค๐‘™๐‘–๐‘›๐‘’๐‘Ž๐‘Ÿ๐‘–๐‘กร โ†’ ๐‘“(๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘›) = 0๐‘Š

da cui segue che ๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘›๐œ–๐พ๐‘’๐‘Ÿ๐‘“ . Poichรฉ ๐‘“ รจ iniettiva, ๐พ๐‘’๐‘Ÿ๐‘“ = {0๐‘‰}

quindi avremo

๐‘Ž1๐‘ฃ1 + ๐‘Ž2๐‘ฃ2 +โ‹ฏ+ ๐‘Ž๐‘›๐‘ฃ๐‘› = 0๐‘‰๐‘–๐‘๐‘œ๐‘ก๐‘’๐‘ ๐‘–โ‡” ๐‘Ž1 = ๐‘Ž2 = โ‹ฏ = ๐‘Ž๐‘› = 0๐พ

Dunque anche ๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›) sono l. i.

3 IP ๐‘‰ = ๐ฟ(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) TS ๐ผ๐‘š๐‘“ = ๐ฟ(๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›))

Per quanto detto prima, segue subito che

๐‘‰ = ๐ฟ(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) โ‡’ ๐ผ๐‘š๐‘“ = ๐ฟ(๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›))

per definizione di applicazione lineare.

4 IPOTESI ๐‘“ ๐‘ ๐‘ข๐‘Ÿ๐‘–๐‘’๐‘ก๐‘ก๐‘–๐‘ฃ๐‘Ž e ๐‘‰ = ๐ฟ(๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) TESI ๐‘Š = ๐ฟ(๐‘“(๐‘ฃ1), ๐‘“(๐‘ฃ2), โ€ฆ , ๐‘“(๐‘ฃ๐‘›))

Si dimostra come il punto 3.

Matrice associata ad una applicazione

Se ๐‘“ รจ assegnata tramite legge allora si seguono i seguenti tre passi:

1 BASI: Scegliere una base per il dominio ed una base per il codominio

2 IMMAGINI: Prendo i vettori che formano una base del dominio e calcolo le loro

immagini

3 MATRICE: riferire, se necessario, le immagini trovate rispetto alla base del codominio

e, infine, mettiamo queste ultime in colonna la cui matrice รจ detta matrice associata

allโ€™applicazione e si indica con ๐‘€๐›ข,๐›ฃ(๐‘“) con ๐›ข = ๐‘๐‘Ž๐‘ ๐‘’ ๐‘‘๐‘’๐‘™ ๐‘‘๐‘œ๐‘š๐‘–๐‘›๐‘–๐‘œ, ๐›ฃ =

๐‘๐‘Ž๐‘ ๐‘’ ๐‘‘๐‘’๐‘™ ๐‘๐‘œ๐‘‘๐‘œ๐‘š๐‘–๐‘›๐‘–๐‘œ.

NOTA: vi รจ corrispondenza tra ๐‘€๐›ข,๐›ฃ(๐‘“) e ๐‘“

Teorema sulle dimensioni

Sia ๐‘“: ๐‘‰ โ†’ ๐‘‰ unโ€™applicazione lineare e siano ๐‘‘๐‘–๐‘š๐‘‰ = ๐‘› e ๐‘‘๐‘–๐‘š๐พ๐‘’๐‘Ÿ๐‘“ = ๐‘Ÿ. Allora

๐‘‘๐‘–๐‘š๐ผ๐‘š๐‘“ = ๐‘› โˆ’ ๐‘Ÿ

DIM.

Supponiamo di prendere una base di ๐พ๐‘’๐‘Ÿ๐‘“ formata da ๐‘Ÿ vettori, cioรจ

๐ต๐พ๐‘’๐‘Ÿ๐‘“ = [(๐‘ฃ 1, ๐‘ฃ 2, โ€ฆ , ๐‘ฃ ๐‘Ÿ)]

Prendo ora come base di V il complemento a base rispetto a ๐ต๐พ๐‘’๐‘Ÿ๐‘“ , cioรจ

๐ต๐‘‰ = [(๐‘ฃ 1, ๐‘ฃ 2, โ€ฆ , ๐‘ฃ ๐‘Ÿ, ๐‘ฃ ๐‘Ÿ+1, โ€ฆ , ๐‘ฃ ๐‘›)

Eโ€™ noto che ๐ผ๐‘š๐‘“ = ๐ฟ(๐‘“(๐‘ฃ 1), ๐‘“(๐‘ฃ 2), โ€ฆ , ๐‘“(๐‘ฃ ๐‘Ÿ), ๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘›)) .

Poichรฉ ๐‘ฃ 1, ๐‘ฃ 2, โ€ฆ , ๐‘ฃ ๐‘Ÿ๐œ–๐พ๐‘’๐‘Ÿ๐‘“ allora le loro immagini sono nulle per definizione di nucleo.

Rimangono perciรฒ ๐ผ๐‘š๐‘“ = ๐ฟ(๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘›)) . Dobbiamo dimostrare che i vettori

๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘›) sono l. i. cioรจ

๐‘Ž๐‘Ÿ+1๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘Ž๐‘›๐‘“(๐‘ฃ ๐‘›) = 0?โ‡’ ๐‘Ž๐‘Ÿ+1 = โ‹ฏ = ๐‘Ž๐‘› = 0

Si ha

๐‘“(๐‘Ž๐‘Ÿ+1๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘Ž๐‘›๐‘ฃ ๐‘›) = 0 โ‡” ๐‘Ž๐‘Ÿ+1๐‘ฃ ๐‘Ÿ+1, โ€ฆ , ๐‘Ž๐‘›๐‘ฃ ๐‘›๐œ–๐พ๐‘’๐‘Ÿ๐‘“ โ‡’

โ‡’ ๐‘Ž๐‘Ÿ+1๐‘ฃ ๐‘Ÿ+1, โ€ฆ , ๐‘Ž๐‘›๐‘ฃ ๐‘› = ๐‘Ž1๐‘ฃ 1, โ€ฆ , ๐‘Ž๐‘Ÿ๐‘ฃ ๐‘Ÿ โ‡’ ๐‘Ž1๐‘ฃ 1, โ€ฆ , ๐‘Ž๐‘Ÿ๐‘ฃ ๐‘Ÿ โˆ’ ๐‘Ž๐‘Ÿ+1๐‘ฃ ๐‘Ÿ+1 โˆ’โ‹ฏโˆ’ ๐‘Ž๐‘›๐‘ฃ ๐‘› = 0

Questa รจ una combinazione lineare nulla di vettori della base di V, quindi deve accadere che

๐‘Ž1 = ๐‘Ž2 = ๐‘Ž๐‘Ÿ = ๐‘Ž๐‘Ÿ+1โ€ฆ = ๐‘Ž๐‘› = 0 โ‡’ ๐‘“(๐‘ฃ 1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘Ÿ), ๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘›) sono l. i.

In particolare ๐‘“(๐‘ฃ ๐‘Ÿ+1), โ€ฆ , ๐‘“(๐‘ฃ ๐‘›) sono l. i. dunque formano una base per ๐ผ๐‘š๐‘“.

Eโ€™ ovvio allora che ๐‘‘๐‘–๐‘š๐ผ๐‘š๐‘“ = ๐‘› โˆ’ ๐‘Ÿ

Studio di unโ€™applicazione lineare

Studiare unโ€™applicazione lineare significa trovare ๐‘‘๐‘–๐‘š๐ผ๐‘š๐‘“, una base di ๐ผ๐‘š๐‘“, ๐‘‘๐‘–๐‘š๐พ๐‘’๐‘Ÿ๐‘“, una

base di ๐พ๐‘’๐‘Ÿ๐‘“ sapendo che:

1. ๐‘‘๐‘–๐‘š๐ผ๐‘š๐‘“ = ๐œŒ(๐‘€๐›ข,๐›ฃ(๐‘“))

2. ๐ต๐ผ๐‘š๐‘“ = {๐‘›๐‘ข๐‘š๐‘’๐‘Ÿ๐‘œ ๐‘‘๐‘– ๐‘๐‘œ๐‘™๐‘œ๐‘›๐‘›๐‘’ ๐‘‘๐‘– ๐‘€๐›ข,๐›ฃ(๐‘“) ๐‘™. ๐‘–. = ๐œŒ}

3. ๐‘‘๐‘–๐‘š๐พ๐‘’๐‘Ÿ๐‘“ = ๐‘‘๐‘–๐‘š๐‘‰ โˆ’ ๐‘‘๐‘–๐‘š๐ผ๐‘š๐‘“ = ๐‘› โˆ’ ๐œŒ

4. ๐ต๐พ๐‘’๐‘Ÿ๐‘“ โ‰ ๐‘€๐›ข,๐›ฃ(๐‘“)๐‘ฅ = 0

Teorema

Dati i due ๐พ-spazi vettoriali ๐‘‰,๐‘Š e ๐‘“: ๐‘‰ โ†’ ๐‘Š. Siano ๐ด = ๐‘€๐‘“๐ธ,๐น, ๐ด1 = ๐‘€๐‘“

๐ธ1, ๐น1 , e siano

๐‘ƒ ๐‘’ ๐‘„ le matrici di cambio base operanti nel seguente modo:

๐ธ๐‘ƒโˆ’1

โ†’ ๐ธ1 ๐ธ1๐‘ƒโ†’๐ธ ๐น

๐‘„โ†’๐น1 ๐น1

๐‘„โˆ’1

โ†’ ๐น

Allora ๐ด1 = ๐‘„โˆ’1๐ด๐‘ƒ

DIM.

๐‘„โˆ’1๐ด๐‘ƒ = ๐‘€๐‘–๐‘Š๐น,๐น1๐‘€๐‘“

๐ธ,๐น๐‘€๐‘–๐‘‰๐ธ1,๐ธ = ๐‘€๐‘–๐‘Š

๐น,๐น1๐‘€๐‘“โ—‹๐‘–๐‘‰๐ธ1,๐น = ๐‘€๐‘–๐‘Šโ—‹๐‘“โ—‹๐‘–๐‘‰

๐ธ1,๐น1 = ๐‘€๐‘“๐ธ1,๐น1 = ๐ด1.

Teorema

Matrici associate allo stesso endomorfismo rispetto a basi diverse sono simili e viceversa.

DIM.

Per ipotesi si hanno ๐‘“: ๐‘‰ โ†’ ๐‘‰, ๐ด = ๐‘€๐‘“๐ธ,๐ธ, ๐ต = ๐‘€๐‘“

๐น,๐น e la matrice ๐‘ƒ, cioรจ la matrice cambio

base da ๐ธ๐‘ƒโ†’๐น. Allora, per quanto detto nel precedente teorema, segue che ๐ต = ๐‘ƒโˆ’1๐ด๐‘ƒ ,

cioรจ le due matrici ๐ด, ๐ต sono simili.

Calcolo degli autovalori, autovettori e autospazi

Sia ๐‘“: ๐‘‰ โ†’ ๐‘Š fissata una base di ๐‘‰,๐‘Š , ๐ธ = (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›), scrivo la matrice associata

allโ€™applicazione ๐‘“, cioรจ ๐‘€๐ธ,๐ธ(๐‘“) = (

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

) la quale ha per colonne le

componenti dellโ€™immagine rispetto alla base ๐ธ. Definisco allora il polinomio caratteristico il

seguente determinante:

|๐‘€๐ธ,๐ธ(๐‘“) โˆ’ ๐‘‡๐ผ๐‘›| = |(

๐‘Ž11 ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘›

)โˆ’ ๐‘‡(

1 0 โ‹ฏ 00 1 โ‹ฏ 0โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ0 0 โ‹ฏ 1

)| =

= |

๐‘Ž11 โˆ’ ๐‘‡ ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โˆ’ ๐‘‡ โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘› โˆ’ ๐‘‡

|

Caratteristico perchรฉ per ogni base che fisso questo determinante non varia. Le radici o

soluzioni del polinomio caratteristico sono gli autovalori di ๐‘“, con ๐œ† detto autovalore. Il

numero di volte per cui un autovalore risulta essere soluzione del polinomio caratteristico si

dirร  molteplicitร  algebrica dellโ€™autovalore, ๐‘š๐œ†. Per trovare lโ€™autospazio ๐‘‰๐œ† devo risolvere il

sistema (๐‘€๐ธ,๐ธ(๐‘“) โˆ’ ๐œ†๐ผ๐‘›)๐‘‹ = 0 , ovvero

(

๐‘Ž11 โˆ’ ๐œ† ๐‘Ž12 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž21 ๐‘Ž22 โˆ’ ๐œ† โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ๐‘Ž๐‘›1 ๐‘Ž๐‘›2 โ‹ฏ ๐‘Ž๐‘›๐‘› โˆ’ ๐œ†

)(

๐‘ฅ1๐‘ฅ2โ‹ฎ๐‘ฅ๐‘›

) = (

00โ‹ฎ0

)

la cui soluzione generale รจ data dalle componenti rispetto alla base ๐ธ degli associati a ๐œ†.

Dunque ๐‘‰๐œ† = {๐‘ฃ๐‘’๐‘ก๐‘ก๐‘œ๐‘Ÿ๐‘– ๐‘œ๐‘ก๐‘ก๐‘’๐‘›๐‘ข๐‘ก๐‘– ๐‘๐‘œ๐‘š๐‘๐‘œ๐‘›๐‘’๐‘›๐‘‘๐‘œ ๐‘™๐‘’ ๐‘ ๐‘œ๐‘™๐‘ข๐‘ง๐‘–๐‘œ๐‘›๐‘– ๐‘‘๐‘’๐‘™ ๐‘ ๐‘–๐‘ ๐‘ก๐‘’๐‘š๐‘Ž ๐‘๐‘œ๐‘› ๐‘™๐‘Ž ๐‘๐‘Ž๐‘ ๐‘’ ๐ธ}.

Teorema

Siano ๐‘‰ un ๐พ-spazio vettoriale, lโ€™endomorfismo ๐‘“: ๐‘‰ โ†’ ๐‘‰, con ๐‘‘๐‘–๐‘š๐‘‰ = ๐‘›, e sia ๐ด = ๐‘€๐ธ,๐ธ(๐‘“)

la matrice associata allโ€™endomorfismo ๐‘“. Allora ๐œ† รจ autovalore se e solo se ๐‘ƒ = 0 con

๐‘ƒ = |๐ด โˆ’ ๐œ†๐ผ๐‘›|

DIM.

๐œ† autovettore โ‡” โˆƒ๐‘ฃ๐œ–๐‘‰, ๐‘ฃ โ‰  0๐‘‰ โˆถ ๐‘“(๐‘ฃ) = ๐œ†๐‘ฃ โ‡” โˆƒ๐‘ฃ๐œ–๐‘‰, ๐‘ฃ โ‰  0๐‘‰ โˆถ ๐‘“(๐‘ฃ) โˆ’ ๐œ†๐‘ฃ = 0 โ‡”

๐‘๐‘‚๐‘‡๐ดโ‡” โˆƒ๐‘ฃ๐œ–๐‘‰, ๐‘ฃ โ‰  0๐‘‰ โˆถ ๐‘“๐œ†(๐‘ฃ) = 0 โ‡” โˆƒ๐‘ฃ๐œ–๐‘‰, ๐‘ฃ โ‰  0๐‘‰ โˆถ ๐‘ฃ๐œ–๐พ๐‘’๐‘Ÿ๐‘“ โ‡’ ๐‘“๐œ† non รจ iniettiva

per cui

๐พ๐‘’๐‘Ÿ๐‘“๐œ† = ๐‘‰๐œ†โ‡”๐œŒ(๐‘€๐ธ,๐ธ(๐‘“๐œ†)) < ๐‘› โ‡” |๐‘€๐ธ,๐ธ(๐‘“๐œ†)| = 0 โ‡”

โ‡” |๐‘€๐ธ,๐ธ(๐‘“ โˆ’ ๐œ†๐‘–๐‘‰)| = 0๐‘™๐‘–๐‘›๐‘’๐‘Ž๐‘Ÿ๐‘–๐‘กร โ†’ |๐‘€๐ธ,๐ธ(๐‘“) โˆ’ ๐‘€๐ธ,๐ธ(๐œ†๐‘–๐‘‰)| = 0 โ‡” |๐ด โˆ’ ๐œ†๐‘€๐ธ,๐ธ(๐‘–๐‘‰)| = 0 โ‡”

โ‡” |๐ด โˆ’ ๐œ†๐ผ๐‘›| = 0

NOTA

Secondo le ipotesi ๐‘“: ๐‘‰ โ†’ ๐‘‰ รจ endomorfismo,

allora โˆ€๐‘Ž๐œ–๐พindico con ๐‘“๐‘Ž: ๐‘‰ โ†’ ๐‘‰

lโ€™endomorfismo tale che ๐‘“๐‘Ž(๐‘ฃ) = ๐‘“(๐‘ฃ) โˆ’ ๐‘Ž๐‘ฃ

ovvero ๐‘“๐‘Ž = ๐‘“ โˆ’ ๐‘Ž๐‘–๐‘‰ la quale risulta lineare in

quanto differenza di applicazioni lineari.

Se ๐‘Ž รจ autovalore allora ๐‘“ รจ iniettiva

Teorema sullโ€™invarianza del polinomio caratteristico

Siano ๐‘‰ un ๐พ-spazio vettoriale, lโ€™endomorfismo ๐‘“: ๐‘‰ โ†’ ๐‘‰, ๐ด = ๐‘€๐ธ,๐ธ(๐‘“) e

๐ธ = (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘›) una base di ๐‘‰. Assegno ๐น = (๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค๐‘›) come base di ๐‘‰ e

๐ต = ๐‘€๐น,๐น(๐‘“) ovvero ๐ด e ๐ต sono matrici associate allo stesso endomorfismo rispetto a basi

diverse. Allora |๐ต โˆ’ ๐‘‡๐ผ๐‘›| = |๐ด โˆ’ ๐‘‡๐ผ๐‘›|

DIM.

Poichรฉ ๐ด e ๐ตsono simili |๐ต โˆ’ ๐‘‡๐ผ๐‘›| = |๐‘ƒโˆ’1๐ด๐‘ƒ โˆ’ ๐‘‡๐ผ๐‘›| ma essendo ๐‘‡๐ผ๐‘› una matrice diagonale

๐‘‡๐ผ๐‘› = ๐‘‡(๐‘ƒโˆ’1๐‘ƒ)๐ผ๐‘› = ๐‘‡๐‘ƒ

โˆ’1(๐ผ๐‘›)๐‘ƒ = ๐‘ƒโˆ’1(๐‘‡๐ผ๐‘›)๐‘ƒ . Segue allora

|๐‘ƒโˆ’1๐ด๐‘ƒ โˆ’ ๐‘‡๐ผ๐‘›| = |๐‘ƒโˆ’1๐ด๐‘ƒ โˆ’ ๐‘ƒโˆ’1(๐‘‡๐ผ๐‘›)๐‘ƒ|

che per la proprietร  distributiva delle matrici diventa

|๐‘ƒโˆ’1๐ด๐‘ƒ โˆ’ ๐‘ƒโˆ’1(๐‘‡๐ผ๐‘›)๐‘ƒ| = |๐‘ƒโˆ’1(๐ด๐‘ƒ โˆ’ ๐‘‡๐ผ๐‘›)๐‘ƒ|

๐ต๐‘–๐‘›๐‘’๐‘กโ‡’ |๐‘ƒโˆ’1||๐ด๐‘ƒ โˆ’ ๐‘‡๐ผ๐‘›||๐‘ƒ| = |๐ด๐‘ƒ โˆ’ ๐‘‡๐ผ๐‘›|

Teorema sullโ€™indipendenza lineare degli autovalori

Autovettori associati ad autovalori distinti sono l. i.

Ovvero, dati: ๐‘‰- ๐พ-spazio vettoriale, ๐‘“: ๐‘‰ โ†’ ๐‘‰, ๐œ†1, ๐œ†2, โ€ฆ , ๐œ†๐‘Ÿ autovalori distinti allora, essendo

che ogni autovalore ha un proprio autospazio ๐‘‰1, ๐‘‰2, โ€ฆ , ๐‘‰๐‘Ÿ , presi ๐‘ฃ1๐œ–๐‘‰1, ๐‘ฃ2๐œ–๐‘‰2, โ€ฆ , ๐‘ฃ๐‘Ÿ๐œ–๐‘‰๐‘Ÿ si

ha che ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘Ÿ sono l. i .

DIM.

Dimostreremo che ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘Ÿ sono l. i . attraverso il criterio di indipendenza lineare.

Supponiamo per assurdo che ci sia qualcuno tra ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘–, โ€ฆ , ๐‘ฃ๐‘Ÿ che sia combinazione

lineare dei precedenti; ciรฒ comporta che fino a questo elemento ๐‘ฃ๐‘– (che รจ combinazione

lineare di ๐‘ฃ๐‘– = ๐‘Ž1๐‘ฃ1, ๐‘Ž2๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1๐‘ฃ๐‘–โˆ’1 ) gli elementi sono tra loro l. i. allora scrivo:

๐‘ฃ๐‘– = ๐‘Ž1๐‘ฃ1, ๐‘Ž2๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1๐‘ฃ๐‘–โˆ’1 โ‡’ ๐‘“(๐‘ฃ๐‘–) = ๐‘Ž1๐‘“(๐‘ฃ1), ๐‘Ž2๐‘“(๐‘ฃ2), โ€ฆ , ๐‘Ž๐‘–โˆ’1๐‘“(๐‘ฃ๐‘–โˆ’1)

Essendo questi elementi ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘– , โ€ฆ , ๐‘ฃ๐‘Ÿ associati agli autospazi corrispettivi, segue

๐œ†๐‘–๐‘ฃ๐‘– = ๐‘Ž1๐œ†1๐‘ฃ1, ๐‘Ž2๐œ†2๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1๐œ†๐‘–โˆ’1๐‘ฃ๐‘–โˆ’1

da cui, sostituendo a ๐‘ฃ๐‘– la sua combinazione lineare:

๐œ†๐‘–(๐‘Ž1๐‘ฃ1, ๐‘Ž2๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1๐‘ฃ๐‘–โˆ’1) = ๐‘Ž1๐œ†1๐‘ฃ1, ๐‘Ž2๐œ†2๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1๐œ†๐‘–โˆ’1๐‘ฃ๐‘–โˆ’1 โ‡’

โ‡’ ๐‘Ž1(๐œ†๐‘– โˆ’ ๐œ†1)๐‘ฃ1, ๐‘Ž2(๐œ†๐‘– โˆ’ ๐œ†2)๐‘ฃ2, โ€ฆ , ๐‘Ž๐‘–โˆ’1(๐œ†๐‘– โˆ’ ๐œ†๐‘–โˆ’1)๐‘ฃ๐‘–โˆ’1 = 0

Questa รจ una combinazione lineare di ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘–โˆ’1 , allora, ricordando che questi ultimi

sono l. i. , deve essere:

{

๐‘Ž1(๐œ†๐‘– โˆ’ ๐œ†1) = 0

๐‘Ž2(๐œ†๐‘– โˆ’ ๐œ†2) = 0โ‹ฎ

๐‘Ž๐‘–โˆ’1(๐œ†๐‘– โˆ’ ๐œ†๐‘–โˆ’1) = 0

โ‡’ ๐‘Ž1 = ๐‘Ž2 = โ‹ฏ = ๐‘Ž๐‘–โˆ’1 = 0

Questo accade perchรฉ ๐œ†1, ๐œ†2, โ€ฆ , ๐œ†๐‘Ÿ sono autovalori distinti per ipotesi. Quindi ๐‘ฃ๐‘– risulta

essere l. i. che รจ assurdo.

Teorema sulla dimensione degli autospazi

Dato ๐‘‰- ๐พ-spazio vettoriale, ๐‘“: ๐‘‰ โ†’ ๐‘‰ e siano ฮป autovalore con molteplicitร  ๐‘š๐œ† e con

๐‘‘๐‘–๐‘š๐‘‰๐œ† = ๐‘”๐œ† detta molteplicitร  geometrica. Allora 1 โ‰ค ๐‘‘๐‘–๐‘š๐‘‰๐œ† โ‰ค ๐‘š๐œ†

DIM.

Poniamo ๐‘‘๐‘–๐‘š๐‘‰๐œ† = ๐‘Ÿ < ๐‘› e sia ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘Ÿ una base di autovettori di ๐‘‰๐œ†. Completo a base di

๐‘‰, cioรจ sia ๐น = (๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ๐‘Ÿ, ๐‘ฃ๐‘Ÿ+1, โ€ฆ , ๐‘ฃ๐‘›). Segua, allora

๐‘€๐น,๐น(๐‘“) =

(

๐œ† 0 โ€ฆ 0 0 ๐œ† โ€ฆ 0โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ0 โ‹ฏ 0 ๐œ†โ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ0 0 โ€ฆ 0

๐‘Ž1 ๐‘Ÿ+1 ๐‘Ž1 ๐‘Ÿ+2 โ‹ฏ ๐‘Ž1๐‘›๐‘Ž2 ๐‘Ÿ+1 ๐‘Ž2 ๐‘Ÿ+2 โ‹ฏ ๐‘Ž2๐‘›โ‹ฎ โ‹ฎ โ‹ฎ โ‹ฎโ‹ฎ โ‹ฎ โ‹ฎ โ‹ฎโ‹ฎ โ‹ฎ โ‹ฑ โ‹ฎ

๐‘Ž๐‘› ๐‘Ÿ+1 ๐‘Ž๐‘› ๐‘Ÿ+2 โ‹ฏ ๐‘Ž๐‘›๐‘›)

dove le colonne di ๐‘€๐น,๐น(๐‘“) sono date da:

{

[๐‘“(๐‘ฃ1)]๐น = [๐œ†๐‘ฃ1]๐น = (๐œ†, 0,โ€ฆ , 0)[๐‘“(๐‘ฃ2)]๐น = [๐œ†๐‘ฃ2]๐น = (0, ๐œ†, โ€ฆ , 0)

โ‹ฎ[๐‘“(๐‘ฃ๐‘Ÿ)]๐น = [๐œ†๐‘ฃ๐‘Ÿ]๐น = (0, 0, โ€ฆ , ๐œ†, โ€ฆ ,0)

[๐‘“(๐‘ฃ๐‘Ÿ+1)]๐น = ๐‘Ž1 ๐‘Ÿ+1[๐‘“(๐‘ฃ๐‘Ÿ+2)]๐น = ๐‘Ž1 ๐‘Ÿ+2

โ‹ฎ[๐‘“(๐‘ฃ๐‘›)]๐น = ๐‘Ž๐‘›๐‘›

Dunque si avrร  che |๐‘€๐น,๐น(๐‘“) โˆ’ ๐‘‡๐ผ๐‘›| = (๐œ† โˆ’ ๐‘‡)๐‘Ÿ๐‘ž(๐‘ก) .

Quindi:

Se ๐‘‡ = ๐œ† per ๐‘Ÿ volte e ๐‘ž(๐‘ก) = 0 โ‡” ๐‘‡ = ๐œ† si ha ๐‘š๐œ† โ‰ฅ ๐‘Ÿ

Se ๐‘‡ = ๐œ† per ๐‘Ÿ volte e ๐‘ž(๐‘ก) โ‰  0 allora ๐‘š๐œ† = ๐‘Ÿ

Teorema

Sia ๐‘‰ un ๐พ-spazio vettoriale e sia ๐‘“: ๐‘‰ โ†’ ๐‘‰ un endomorfismo i cui autovalori distinti siano

๐œ†1, ๐œ†2, โ€ฆ , ๐œ†๐‘Ÿ . Allora i seguenti fatti sono equivalenti:

1. ๐‘“ semplice

2. dim๐‘‰ = dim๐‘‰๐œ†1 + dim๐‘‰๐œ†2 +โ‹ฏ+ dim๐‘‰๐œ†๐‘Ÿ

3. โˆ€๐‘– = 1, 2,โ€ฆ , ๐‘Ÿ โ‡’ ๐œ†๐‘–๐œ–๐พ ๐‘’ ๐‘‘๐‘–๐‘š๐‘‰๐œ†๐‘– = ๐‘š๐œ†๐‘–

Teorema

Una matrice ๐ด๐œ–๐พ๐‘›,๐‘› รจ diagonalizzabile se e solo se lโ€™endomorfismo associato, ๐œ™:๐พ๐‘› โ†’ ๐พ๐‘›,

tale che ๐‘€๐ธ(๐œ™) = ๐ด risulta essere semplice.

Inoltre, detta ๐น una base di ๐พ๐‘› formata da autovettori di ๐œ™, la matrice associata del cambio

di base, ๐‘ƒ = ๐‘ƒ๐ธ,๐น, permette la diagonalizzazione di ๐ด, ovvero ๐‘ƒโˆ’1๐ด๐‘ƒ รจ una matrice

diagonale che ha come elementi sulla diagonale gli autovalori di ๐œ™.

DIM.

โ‡’ IP ๐ด diagonalizzabile TS ๐œ™ semplice

Per definizione ๐ด diagonalizzabile ๐‘‘๐‘’๐‘“โ‡” โˆƒ๐‘ƒ๐œ–๐พ๐‘›,๐‘› invertibile tale che ๐‘ƒโˆ’1๐ด๐‘ƒ รจ diagonale.

Sempre per definizione ๐‘ƒ invertibile ๐‘‘๐‘’๐‘“โ‡” le sue ๐‘›-colonne sono l. i. dunque formano una

base, ๐น, di ๐พ๐‘›.

Segue, allora, che ๐‘ƒ = ๐‘ƒ๐ธ,๐น รจ la matrice di cambio base, per cui

๐‘ƒโˆ’1๐ด๐‘ƒ = (๐‘ƒ๐ธ,๐น)โˆ’1๐‘€๐ธ(๐œ™)๐‘ƒ๐ธ,๐น โ‰ ๐‘€๐น(๐œ™)

Allora anche questโ€™ultima matrice ๐‘€๐น(๐œ™) รจ diagonale, per cui ๐น รจ una base di autovettori.

Da quanto detto si deduce, per la stessa definizione di semplicitร , che ๐œ™ รจ semplice.

โ‡’ IPOTESI ๐œ™ semplice TESI ๐ด diagonalizzabile

Per definizione ๐œ™ semplice โ‡” โˆƒ๐น base di ๐พ๐‘› formata da autovettori. Allora la matrice

๐‘€๐น(๐œ™) รจ diagonale, ma ๐‘€๐น(๐œ™) โ‰ (๐‘ƒ๐ธ,๐น)โˆ’1๐‘€๐ธ(๐œ™)๐‘ƒ๐ธ,๐น allora, posta ๐‘ƒ = ๐‘ƒ๐ธ,๐น la matrice di

cambio base, si ha (๐‘ƒ๐ธ,๐น)โˆ’1๐‘€๐ธ(๐œ™)๐‘ƒ๐ธ,๐น = ๐‘ƒโˆ’1๐ด๐‘ƒ che risulta essere diagonale. Dunque ๐ด รจ

una matrice diagonalizzabile.


Recommended