Applicazioni lineari tra spazi euclidei

Prodotto matrice per vettore[modifica | modifica wikitesto]

Sia la base canonica di . Siano elementi di , della forma . Sia l'unica applicazione lineare t.c. . Esplicitamente,

Scritto come un unico vettore:

Definizione 10.1

Sia una matrice e sia un vettore colonna in . Il prodotto matrice per vettore ha come risultato il seguente vettore colonna:

 
Quindi possiamo riscrivere lineare come , con (vettore colonna) dove e' la matrice che ha per colonne .
Definizione 10.2

Lo spazio delle matrici a coefficienti in si indica con la notazione .

 

Corrispondenza biunivoca tra applicazioni lineari e matrici[modifica | modifica wikitesto]

Le applicazioni lineari sono tutte e sole quelle della forma: per qualche matrice .

In particolare data una qualsiasi in l'applicazione lineare corrispondente che porta in nel prodotto e' l'unica applicazione che porta un vettore della base canonica nella corrispondente colonna della matrice. E' l'unica tale che dove gli costituiscono la base canonica di .

C'e' una corrispondenza biunivoca tra le applicazioni lineari e lo spazio .

Nucleo immagine e controimmagine[modifica | modifica wikitesto]

Osservazione 10.1 (spazio immagine)

Se sta in e e' la corrispondente applicazione lineare tale che , allora lo spazio immagine di e' dove e' la prima colonna di e così via. In altre parole lo spazio immagine e' lo span delle colonne della matrice.

 

Ricaviamo che il rango di e' la dimensione dello span delle colonne, e quindi è il rango della matrice associata.

Osservazione 10.2 (nucleo)

Il nucleo di e'

Quindi e' precisamente lo spazio delle soluzioni del sistema lineare omogeneo di equazioni in incognite:

 
Il teorema del rango si puo' riesprimere in questo caso: la dimensione dello spazio delle soluzioni del sistema lineare omogeneo definito da sommato al rango per colonne di e' uguale a (numero delle colonne) se e' una matrice .
Osservazione 10.3 (controimmagine)

Se prendo , la controimmagine di e' il vuoto se non appartiene allo span delle colonne di . Se appartiene allo span delle colonne di , allora la controimmagine di e' l'insieme di cioè tali che , quindi e' l'insieme

La controimmagine di e' lo spazio delle soluzioni del sistema lineare non omogeneo di equazioni in incognite.

Ricaviamo che dato un sistema lineare di equazioni in incognite della forma
il sistema e' compatibile (ammette soluzioni) se e solo se il vettore appartiene allo span delle colonne della matrice che definisce il sistema.
e in tal caso Lo spazio delle soluzioni e' un traslato dello spazio delle soluzioni del sistema lineare omogeneo (con per ogni ), che e' il nucleo dell'applicazione lineare.

La soluzione generale del sistema non omogeneo e' la soluzione particolare sommata alla soluzione generale del sistema lineare omogeneo.

 
Successivo