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.