Esercizio 21nucleo e immagine di una funzione da R3 a R2
In questa pagina 4
In questa pagina 4
Testo. Sia la funzione lineare
- Prevedere, senza risolvere sistemi, le dimensioni di e .
- Trovare una base di .
- Trovare una base di . è iniettiva? È suriettiva?
- (aggiunto) Calcolare l'antimmagine di un generico vettore e, in particolare, .
1. Previsione delle dimensioni
Il nucleoIl nucleo (vettori mandati in 0) e l'immagine (vettori raggiunti) di una funzione lineare sono sottospazi; f è iniettiva se e solo se Ker f = {0}; dim Ker f + dim Im f = dim V (nullità + rango); l'antimmagine di un vettore è una soluzione particolare più il nucleo.Nucleo e immagine → è l'insieme dei vettori con , cioè delle soluzioni del sistema
Sono 2 equazioni in 3 incognite. Le due equazioni non sono proporzionali (i coefficienti e non sono multipli gli uni degli altri), quindi permettono di ricavare due incognite in funzione della terza, che resta libera: ci aspettiamo una incognita libera, cioè .
Allora per il teorema nullità + rangodim Ker f + dim Im f = dim del dominio.Nucleo e immagine →
è un sottospazio di di dimensione , quindi coincide con tutto Un sottospazio con la stessa dimensione (finita) dello spazio che lo contiene è lo spazio intero.Dimensione →: è suriettiva (ogni vettore del codominio è raggiunto, come nella definizione di funzione suriettivaOgni elemento del codominio è immagine di almeno un elemento del dominio.Funzioni iniettive, suriettive e inverse → di Analisi 1); e poiché il nucleo non è , non è iniettiva (criterio del nucleof lineare è iniettiva se e solo se Ker f = {0}: se f(u) = f(v) allora u − v sta nel nucleo.Nucleo e immagine →). Tutto questo senza risolvere niente: i conti servono solo a trovare le basi.
2. Base del nucleo
Risolviamo il sistema. Sommando membro a membro le due equazioni, si cancella (compare con e ). È l'operazione dell'eliminazione di GaussSommare a un'equazione un multiplo di un'altra non cambia le soluzioni del sistema.Eliminazione di Gauss →, che non cambia le soluzioni:
Dalla prima equazione ricavo e sostituisco:
Come previsto, e sono determinati da , che è libera. Le soluzioni sono
Ponendo (un valore qualsiasi purché non nullo, altrimenti si trova il vettore nullo, che non può stare in una base):
Verifica: ✓.
3. Base dell'immagine
Le immagini dei vettori di una base generano l'immagineSe v = somma di λ_j v_j allora f(v) = somma di λ_j f(v_j).Nucleo e immagine →. Prendo la base più comoda, quella canonica:
(in pratica: i coefficienti di , poi di , poi di nelle due componenti). Questi tre vettori generano , ma non sono una base: tre vettori in sono sempre dipendenti, perché in uno spazio di dimensione 2 al massimo 2 vettori sono indipendenti. Ne va scartato uno.
Scarto per esempio e controllo che i due rimasti, e , siano indipendenti. Due vettori sono dipendenti solo se sono proporzionali; qui il rapporto tra le prime componenti è , tra le seconde è : non sono proporzionali. Per scrupolo con il sistema: dà e ; dalla prima , nella seconda , quindi ✓.
(Andava bene scartare uno qualunque dei tre: due qualsiasi di essi non sono proporzionali.)
Conclusione: è suriettiva () e non è iniettiva (), come previsto al punto 1.
4. Antimmagini
L'antimmagineL'insieme dei vettori v con f(v) = w: è una soluzione particolare più il nucleo.Nucleo e immagine → di (la stessa nozione di antimmagine di un punto vista in Funzioni iniettive, suriettive e inverseIniettività (test delle rette orizzontali), suriettività, biunivocità e funzione inversa con il suo grafico simmetrico rispetto a y = x.Funzioni iniettive, suriettive e inverse →) è l'insieme delle soluzioni di
Poiché è suriettiva, il sistema ha soluzioni per ogni . Per trovarne una basta fissare a piacere l'incognita libera; scelgo :
Sommando: ; poi dalla prima . Una soluzione particolare è (verifica: ✓, ✓). Quindi
Caso : e, scrivendo il generico vettore del nucleo come ,
Per esempio con : , e infatti ✓.
Ogni antimmagine è una retta parallela al nucleo: le antimmagini di vettori diversi sono rette parallele, e solo passa per l'origine.
Versione ripasso
Testo. Sia la funzione lineare
- Prevedere, senza risolvere sistemi, le dimensioni di e .
- Trovare una base di .
- Trovare una base di . è iniettiva? È suriettiva?
- (aggiunto) Calcolare l'antimmagine di un generico vettore e, in particolare, .
1. Previsione delle dimensioni
Il nucleoIl nucleo (vettori mandati in 0) e l'immagine (vettori raggiunti) di una funzione lineare sono sottospazi; f è iniettiva se e solo se Ker f = {0}; dim Ker f + dim Im f = dim V (nullità + rango); l'antimmagine di un vettore è una soluzione particolare più il nucleo.Nucleo e immagine → è soluzione di un sistema di 2 equazioni in 3 incognite indipendenti.
- (1 incognita libera).
- Per il teorema nullità + rangodim Ker f + dim Im f = dim del dominio.Nucleo e immagine → si ha .
- Poiché , è suriettivaL'immagine coincide con lo spazio di arrivo. e non iniettivaf è iniettiva se e solo se Ker f = {0}.Nucleo e immagine →.
2. Base del nucleo
Sistema:
- Somma: .
- Sostituzione: . Soluzioni: . Base: .
3. Base dell'immagine
Si estraggono i generatori dalle colonne della matrice associata: . Scelti due vettori non proporzionali, ad esempio e , essi formano una base di poiché sono linearmente indipendenti.
4. Antimmagini
- Posto nel sistema , si ottiene e .
- .
- Per : , quindi .
Errori tipici: confondere le dimensioni del nucleo con quelle dell'immagine; non sommare il nucleo alla soluzione particolare per l'antimmagine; dimenticare che l'immagine è un sottospazio dello spazio di arrivo.