Dimensione e base di nucleo e immagine

Lo studio di dimensione e base del nucleo e dell'immagine di un'applicazione lineare fornisce la quasi totalità delle informazioni che caratterizzano la trasformazione considerata, motivo per cui riveste un ruolo chiave nella teoria delle applicazioni lineari.

Questa lezione intende fornire un metodo di risoluzione degli esercizi in cui viene richiesto di calcolare la dimensione e una base del nucleo e dell'immagine di una trasformazione lineare qualsiasi. A tal proposito enunceremo anche il teorema delle dimensioni (o teorema della nullità più rango), che mette in relazione le dimensioni di nucleo e immagine e che, spesso, permette di velocizzare la risoluzione degli esercizi.

Se non l'avete già fatto, prima di procedere è bene dare un'occhiata alle pagine dedicate al nucleo e all'immagine di un'applicazione lineare, dove oltre alle definizioni abbiamo riportato una serie di risultati teorici che è importante sapere.

Come trovare la dimensione e una base del nucleo

Siano e due spazi vettoriali su un medesimo campo , rispettivamente di dimensioni e , e sia un'applicazione lineare.

Sappiamo che il nucleo di è il sottospazio vettoriale dei vettori del dominio che hanno come immagine lo zero del codominio, ossia

Per calcolare la dimensione e una base del nucleo di procediamo nel modo seguente.

1) Fissiamo una base rispettivamente per e

mathcalB_V = v_1, v_2, ..., v_n ; mathcalB_W = w_1, w_2, ..., w_m

e determiniamo la matrice associata a rispetto alle basi scelte. Chiamiamo tale matrice .

A_F = [a_(11) a_(12) ··· a_(1n) ; a_(21) a_(22) ··· a_(2n) ; ⋮ ⋮ ··· ⋮ ; a_(m1) a_(m2) ··· a_(mn)] ∈ K^(m×n)

2) Consideriamo un generico vettore e sia il vettore colonna delle coordinate di rispetto alla base .

v_(mathcalB_V) = [x_1 ; x_2 ; ⋮ ; x_n ]

In caso di dubbi vi invitiamo a leggere la lezione sulle coordinate di un vettore rispetto a una base.

3) Per calcolare la dimensione e una base del consideriamo l'equazione

a cui associamo l'equazione matriciale

dove è il vettore colonna avente componenti nulle.

Svolgendo il prodotto riga per colonna tra , la precedente equazione si traduce nel sistema lineare omogeneo

a_(11)x_1+a_(12)x_2+...+a_(1n)x_n = 0 ; a_(21)x_1+a_(22)x_2+...+a_(2n)x_n = 0 ; ⋮ ; a_(m1)x_1+a_(m2)x_2+...+a_(mn)x_n = 0

4) Con questa interpretazione determinare la dimensione e una base per il nucleo equivale a trovare la dimensione e una base per il sottospazio delle soluzioni del sistema lineare omogeneo appena scritto.

Sia essa

Attenzione! Ciascun vettore di è un vettore di coordinate rispetto alla base .

A questo punto si aprono due scenari.

5a) Se il dominio è e se è la base canonica di , allora è una base del nucleo così come si presenta. Questo perché le coordinate di un vettore rispetto alla base canonica coincidono con le componenti del vettore stesso.

5b) Se , oppure se e non ne è la base canonica, i vettori della base del nucleo si ottengono moltiplicando ordinatamente le coordinate di ciascun vettore di per i vettori di .

Per intenderci, se indichiamo con un generico vettore di e con le sue coordinate, l'i-esimo vettore della base del nucleo di è

Esempio sul calcolo di una base e della dimensione del nucleo

Determinare la dimensione e una base del nucleo dell'applicazione lineare data da

Dominio e codominio dell'applicazione coincidono: . Fissiamo per entrambi la base canonica di

e determiniamo la matrice associata a . A tal proposito è sufficiente calcolare le immagini dei vettori di tramite e disporre le componenti dei vettori immagine per colonne in una matrice

F(1,0,0) = (1+0+0, 1+3·0, 3·1+5·0+2·0) = (1,1,3) ; F(0,1,0) = (0+1+0, 0+3·1, 3·0+5·1+2·0) = (1,3,5) ; F(0,0,1) = (0+0+1, 0+3·0, 3·0+5·0+2·1) = (1,0,2)

di conseguenza

A_F = [1 1 1 ; 1 3 0 ; 3 5 2]

Sia ora e siano le sue coordinate riferite alla base . Impostiamo l'uguaglianza

ossia

[1 1 1 ; 1 3 0 ; 3 5 2] [ x ; y ; z] = [ 0 ; 0 ; 0]

Dopo aver svolto il prodotto tra matrici a primo membro, si ottiene il sistema lineare omogeneo

x+y+z = 0 ; x+3y = 0 ; 3x+5y+2z = 0

Per calcolare la dimensione e una base del nucleo di determiniamo la dimensione e una base dello spazio delle soluzioni del sistema.

La matrice dei coefficienti a esso associata

[1 1 1 ; 1 3 0 ; 3 5 2]

ha determinante nullo e rango pari a 2, dunque per il teorema di Rouché Capelli il sistema ammette soluzioni.

Possiamo pertanto affermare che la dimensione del sottospazio delle soluzioni, e quindi la dimensione del nucleo, è 1

Per trovarne una base assegniamo a una delle incognite il ruolo di parametro libero.

Ponendo ad esempio con , e procedendo col metodo di sostituzione, si ottiene

y = α ; x = −3y = −3α ; z = −x−y = −α+3α = 2α

Le soluzioni del sistema sono quindi

per cui

è una base per il sottospazio delle soluzioni del sistema.

Dal momento che il dominio è e che la base del dominio scelta per scrivere la matrice è proprio la base canonica, concludiamo immediatamente che è una base del nucleo

Osservazione: dimensione e base del nucleo di un'applicazione lineare in forma esplicita

Il metodo per determinare la dimensione e una base del nucleo è valido per qualsiasi applicazione lineare. D'altro canto c'è uno specifico caso in cui le cose si semplificano parecchio nella pratica:

- se l'applicazione è definita tra spazi vettoriali del tipo , e

- se è assegnata in forma esplicita, e

- se come basi di dominio e codominio si fissano le basi canoniche,

allora per determinare una base e la dimensione del nucleo basta imporre che le componenti della generica immagine, mediante cui è definita l'applicazione lineare, siano nulle; successivamente, calcolare una base e la dimensione del sistema lineare omogeneo così ottenuto.

Se riguardate in quest'ottica il precedente esempio noterete che le equazioni del sistema lineare omogeneo si ottengono proprio imponendo che le componenti della generica immagine dell'applicazione lineare siano nulle.

Come trovare la dimensione e una base dell'immagine

Passiamo al metodo per determinare la dimensione e una base dell'immagine. Ricordiamone brevemente la definizione: l'immagine di una trasformazione lineare è il sottoinsieme del codominio formato da tutti e soli i vettori di che sono immagine dei vettori di .

Per calcolare la dimensione e una base dell'immagine di procediamo per passi.

1) Proprio come per il nucleo, dopo aver fissato una base per e una per

mathcalB_V = v_1, v_2, ..., v_n ; mathcalB_W = w_1, w_2, ..., w_m

calcoliamo la matrice rappresentativa della trasformazione rispetto a tali basi.

2) Detto l'insieme di generatori dato dalle colonne di , estraiamone una base. Se vi trovate ad affrontare gli esercizi su nucleo e immagine, quest'ultima è un'operazione che dovreste essere in grado di svolgere, ma se così non fosse vi rimandiamo alla lettura della lezione: come estrarre una base da un sistema di generatori.

Sia tale base

Giunti a questo punto si possono presentare due possibilità:

3a) se il codominio è e se è la base canonica di , allora è proprio una base dell'immagine di e possiamo fermarci qui.

3b) Se invece oppure se ma non è la base canonica, per ricavare i vettori della base dell'immagine occorre moltiplicare, ordinatamente, le coordinate di ciascun vettore di per i vettori di .

Più esplicitamente, se indichiamo con un generico vettore di e con le sue coordinate, l'i-esimo vettore della base di è

Esempio sul calcolo della dimensione e di una base dell'immagine

Sia l'omomorfismo definito da

Calcoliamo la dimensione e una base dell'immagine.

Scriviamo la matrice associata ad e riferita alle basi canoniche di dominio e codominio. Tale matrice ha per colonne le immagini dei vettori della base canonica di , ossia

F(1,0,0) = (0+0, 3·1+0, 1+0+0, 2·0) = (0,3,1,0) ; F(0,1,0) = (1+0, 3·0+1, 0+1+0, 2·0) = (1,1,1,0) ; F(0,0,1) = (0+1, 3·0+0, 0+0+1, 2·1) = (1,0,1,2)

di conseguenza

A_F = [0 1 1 ; 3 1 0 ; 1 1 1 ; 0 0 2 ]

Consideriamo il sistema di generatori formato dalle colonne di

ed estraiamone una base.

Procediamo col metodo dei minori e osserviamo che la sottomatrice che si ottiene da eliminando la quarta riga ha determinante non nullo.

det[0 1 1 ; 3 1 0 ; 1 1 1] = −1 ≠ 0

Avendo trovato un minore di ordine 3 non nullo possiamo concludere che i tre vettori colonna di sono linearmente indipendenti tra loro e formano una base, dunque

Il codominio dell'applicazione è e la base scelta è quella canonica, pertanto è proprio una base dell'immagine

e la dimensione dell'immagine dell'applicazione lineare è 3.

Relazione tra le dimensioni di nucleo e immagine: il teorema delle dimensioni

Prima di vedere un esempio completo sul calcolo della dimensione e di una base di nucleo e immagine, vale la pena di riportare un importante risultato teorico che interviene nella risoluzione di diverse tipologie di esercizi. La dimensione del nucleo e quella dell'immagine di un'applicazione lineare sono vincolate l'una all'altra da un teorema fondamentale dell'Algebra Lineare: il teorema delle dimensioni, o teorema della nullità più rango.

Tale teorema asserisce che, dato un omomorfismo , la somma delle dimensioni del nucleo e dell'immagine coincide con la dimensione del dominio . In una formula

Per la dimostrazione del teorema delle dimensioni vi rimandiamo all'omonimo approfondimento.

Se riusciamo a risalire alla dimensione dello spazio e abbiamo già calcolato una tra le dimensioni di e di , conosciamo automaticamente l'altra. Come potete immaginare si tratta di una potentissima relazione che ci permette di verificare i risultati ottenuti o, addirittura, di dimezzare i nostri sforzi nel caso in cui l'esercizio non richiedesse di determinare una base ma solo la dimensione del nucleo e dell'immagine.

Osservazione: teorema delle dimensioni per endomorfismi

Nel caso in cui sia un endomorfismo, cioè un omomorfismo del dominio in sé, il teorema della nullità più rango si caratterizza in modo significativo.

Se infatti è un'applicazione da in e se , cioè se è iniettiva, dal teorema delle dimensioni segue che

e dato che oltre ad essere il dominio è anche il codominio di , ne deduciamo che è anche suriettiva. In parole povere, un endomorfismo è iniettivo se e solo se è suriettivo.

Esempio sul calcolo della dimensione e di una base di nucleo e immagine

Calcolare una base e la dimensione del nucleo e dell'immagine dell'applicazione definita come segue

F(0,1,1) = (5,2,3) ; F(2,0,0) = (2,2,0) ; F(1,1,0) = (2,1,1)

è un'applicazione definita mediante immagini di vettori del dominio, e tali vettori formano una base di . Essi sono infatti 3 vettori linearmente indipendenti di uno spazio vettoriale di dimensione 3.

Per lo studio dell'indipendenza lineare è sufficiente comporre una matrice avente per colonne i vettori preimmagine e osservare che ha rango massimo.

Cominciamo col determinare una matrice rappresentativa dell'endomorfismo . Solitamente si scelgono le basi canoniche di dominio e codominio, ma in questo caso è più comodo fissare come base del dominio quella formata dai vettori preimmagine che definiscono

e come base del codominio la base canonica di

Optando per queste basi, la matrice è la matrice che ha per colonne le componenti dei vettori immagine che definiscono , ossia

A_F = [5 2 2 ; 2 2 1 ; 3 0 1]

Se questo ragionamento non vi aggrada potete tranquillamente scrivere la matrice rappresentativa di rispetto alla base canonica di dominio e codominio, ma sappiate che i conti sono tanti e se avete dubbi a riguardo vi suggeriamo di leggere la lezione sulla matrice associata ad una applicazione lineare.

Detto ciò proseguiamo e scegliamo di partire dal nucleo di . Fissiamo un generico vettore del dominio

v = [x ; y ; z]

e ricaviamo la forma esplicita del sistema lineare omogeneo

[5 2 2 ; 2 2 1 ; 3 0 1] [x ; y ; z] = [0 ; 0 ; 0 ]

che si traduce in

5x+2y+2z = 0 ; 2x+2y+z = 0 ; 3x+z = 0

La matrice dei coefficienti a essa associata, ossia la matrice rappresentativa di

A_F = [5 2 2 ; 2 2 1 ; 3 0 1]

ha rango 2. Osserviamo infatti che il suo determinante è nullo

e che il minore di ordine 2 che si ottiene eliminando la terza riga e la terza colonna è non nullo

Per il teorema di Rouché Capelli il sistema ammette soluzioni, che possiamo determinare col metodo di sostituzione assegnando a una delle incognite il ruolo di parametro libero.

Ponendo ad esempio con , con dei semplici calcoli otteniamo

x = 2α ; y = α ; z = −6α

Scrivendo la generica soluzione sotto forma di combinazione lineare

si ottiene una base per il sottospazio delle soluzioni del sistema

Sebbene il dominio dell'applicazione sia , la base fissata per calcolare la matrice associata non è quella canonica, dunque il vettore della base del nucleo si ricava moltiplicando ordinatamente le coordinate del vettore di per i vettori della base

2·(0,1,1)+1(2,0,0)−6(1,1,0) = (0,2,2)+(2,0,0)+(−6,−6,0) = (−4,−4,2)

In definitiva

e la sua dimensione è 1

Per quanto concerne l'immagine consideriamo l'insieme dei vettori colonna di

Avendo già osservato che ha rango 2 e che un minore non nullo è quello che contiene gli elementi delle prime due colonne, possiamo concludere immediatamente che una base dello spazio generato da è

Il codominio dell'applicazione è e la base del codominio che abbiamo scelto è quella canonica, dunque

e la sua dimensione è 2

L'esercizio è terminato, ma concludiamo facendovi notare che il teorema delle dimensioni conferma i risultati ottenuti, almeno dal punto di vista delle dimensioni:

Per eventuali dubbi, o per vedere tantissimi altri esercizi risolti e spiegati passo passo, potete consultare la scheda correlata o eventualmente usare la barra di ricerca interna. Qui su YM ci sono migliaia di esercizi svolti e altrettante spiegazioni fornite dallo Staff. ;)

Buona Matematica a tutti!

Giuseppe Carichino (Galois)

..........

Tags: dimensione e base di nucleo e immagine di un'applicazione lineare - dimensione e base del nucleo - dimensione e base dell'immagine.

Ultima modifica: 25/09/2023