Nucleo e immagine

Esercizi svolti: Esercizio 21 · nucleo e immagine di una funzione da R³ a R², Esercizio 22 · nucleo, immagine, antimmagine e restrizione (compitino 12/4/2025), Esercizio 23 · nucleo, immagine e antimmagine con un parametro (compitino 10/4/2026), Esercizio 25 · intersezione tra nucleo e immagine (appello 14/6/2022), Esercizio 26 · nucleo, immagine e matrice di una restrizione (appello 3/2/2026), Esercizio 29 · domande teoriche su nucleo, immagine e indipendenza lineare. Prerequisiti: Funzioni lineari e isomorfismiUna funzione tra spazi vettoriali è lineare se rispetta somma e prodotto per uno scalare; manda 0 in 0, è determinata dalle immagini di una base e si chiama isomorfismo quando è anche biiettiva.Funzioni lineari e isomorfismi →, Sottospazi vettorialiUn sottospazio vettoriale è un sottoinsieme che è spazio vettoriale con le stesse operazioni: basta che sia chiuso per somma e per prodotto per scalari. Deve contenere il vettore nullo. In R^2 i sottospazi sono {0}, le rette per l'origine e tutto R^2.Sottospazi vettoriali →. Seguito: Matrice associata a una funzione lineareFissate una base del dominio e una del codominio, una funzione lineare si codifica in una matrice m×n la cui colonna j contiene le coordinate di f(v_j); le coordinate di f(v) si ottengono moltiplicando la matrice per le coordinate di v, e il rango di f è il numero di colonne indipendenti.Matrice associata a una funzione lineare →.

A ogni funzione lineare $f : V \to W$ sono associati in modo naturale due sottospaziUn sottospazio vettoriale è un sottoinsieme che è spazio vettoriale con le stesse operazioni: basta che sia chiuso per somma e per prodotto per scalari. Deve contenere il vettore nullo. In R^2 i sottospazi sono {0}, le rette per l'origine e tutto R^2.Sottospazi vettoriali →: uno nel dominio $V$ (il nucleo) e uno nel codominio $W$ (l'immagine).

Definizioni

Definizione (nucleo e immagine). Nucleo di $f$: l'insieme dei vettori del dominio che $f$ manda nel vettore nullo, $$\operatorname{Ker} f = \{ v \in V : f(v) = \vec 0_W \} \subseteq V$$ ("Ker" viene dall'inglese kernel; alcuni libri scrivono $N(f)$.)

Immagine di $f$: l'insieme dei vettori del codominio che sono immagine di qualche vettore del dominio, $$\operatorname{Im} f = \{ w \in W : \exists\, v \in V \text{ con } f(v) = w \} = \{ f(v) : v \in V \} \subseteq W$$

Esempio. $f(x,y,z) = (x, y)$: $\operatorname{Ker} f = \{(0,0,z)\} = \langle (0,0,1) \rangle$ e $\operatorname{Im} f = \mathbb{R}^2$. Infatti $f(x, y, z) = (0, 0)$ significa $x = 0$ e $y = 0$, mentre $z$ può essere qualunque (non compare nella formula): il nucleo è l'asse $z$. E ogni $(a, b) \in \mathbb{R}^2$ è raggiunto, per esempio da $(a, b, 0)$.

Attenzione a dove vivono: $\operatorname{Ker} f$ è dentro il dominio $V$, $\operatorname{Im} f$ è dentro il codominio $W$. Non ha senso chiedersi se un vettore di $W$ sta nel nucleo, a meno che $W = V$.

Sono sottospazi

Teorema (nucleo e immagine sono sottospazi). $\operatorname{Ker} f$ è un sottospazio di $V$ e $\operatorname{Im} f$ è un sottospazio di $W$.

Esempio. Per $f(x,y) = x + y$ da $\mathbb{R}^2$ a $\mathbb{R}$: $\operatorname{Ker} f = \{y = -x\}$ è una retta per l'origine (sottospazio di $\mathbb{R}^2$, generato da $(1, -1)$) e $\operatorname{Im} f = \mathbb{R}$, perché ogni numero $t$ si ottiene come $f(t, 0) = t$.

Per un sottoinsieme basta verificare la chiusuraUn sottospazio vettoriale è un sottoinsieme che è spazio vettoriale con le stesse operazioni: basta che sia chiuso per somma e per prodotto per scalari. Deve contenere il vettore nullo. In R^2 i sottospazi sono {0}, le rette per l'origine e tutto R^2.Sottospazi vettoriali → rispetto alla somma e al prodotto per uno scalare (e che non sia vuoto: entrambi contengono il vettore nullo, perché $f(\vec 0_V) = \vec 0_W$).

Nucleo, somma. Se $v_1, v_2 \in \operatorname{Ker} f$, cioè $f(v_1) = \vec 0$ e $f(v_2) = \vec 0$, allora $$f(v_1 + v_2) = f(v_1) + f(v_2) = \vec 0 + \vec 0 = \vec 0$$ (primo passaggio: linearità), quindi $v_1 + v_2 \in \operatorname{Ker} f$.

Nucleo, prodotto. Se $v \in \operatorname{Ker} f$ e $\lambda \in K$: $f(\lambda v) = \lambda f(v) = \lambda \vec 0 = \vec 0$, quindi $\lambda v \in \operatorname{Ker} f$.

Il ragionamento funziona solo perché $\vec 0 + \vec 0 = \vec 0$: l'insieme $\{v : f(v) = w\}$ con $w \ne \vec 0$ non è un sottospazio (non contiene nemmeno $\vec 0$).

Immagine, somma. Se $w_1, w_2 \in \operatorname{Im} f$, esistono $v_1, v_2$ con $f(v_1) = w_1$ e $f(v_2) = w_2$. Il vettore $v_1 + v_2$ va proprio nella somma: $$f(v_1 + v_2) = f(v_1) + f(v_2) = w_1 + w_2$$ quindi $w_1 + w_2$ è immagine di qualcosa, cioè sta in $\operatorname{Im} f$.

Immagine, prodotto. Se $w = f(v)$, allora $\lambda w = \lambda f(v) = f(\lambda v)$ sta in $\operatorname{Im} f$ ∎.

Il nucleo controlla l'iniettività, l'immagine la suriettività

Ricordiamo (le definizioni sono quelle di 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 → in Analisi 1): $f$ è iniettiva se vettori diversi hanno immagini diverse ($v_1 \ne v_2 \Rightarrow f(v_1) \ne f(v_2)$, o equivalentemente $f(v_1) = f(v_2) \Rightarrow v_1 = v_2$); è suriettiva se ogni vettore del codominio è immagine di qualcosa.

Teorema (nucleo e iniettività). $f$ è iniettiva $\iff$ $\operatorname{Ker} f = \{\vec 0\}$.

Esempio. $f(x,y) = (x, x + y)$ ha $\operatorname{Ker} f = \{0\}$ (da $x = 0$ e $x + y = 0$ segue $y = 0$): è iniettiva. $g(x,y) = x + y$ ha $(1,-1) \in \operatorname{Ker} g$: non è iniettiva, e infatti per esempio $g(1, 0) = g(0, 1) = 1$.

Il teorema è comodo perché per l'iniettività di una funzione qualsiasi bisognerebbe confrontare tutte le coppie di punti, mentre per una funzione lineare basta risolvere un sistema, $f(v) = \vec 0$.

("$\operatorname{Ker} f = \{\vec 0\}$" significa che il nucleo contiene solo il vettore nullo: il nucleo non è mai vuoto, $\vec 0$ c'è sempre.)

Dimostrazione di $\Rightarrow$. Sappiamo già che $f(\vec 0) = \vec 0$. Se ci fosse un altro vettore $v \ne \vec 0$ nel nucleo, avremmo $f(v) = \vec 0 = f(\vec 0)$: due vettori diversi, $v$ e $\vec 0$, con la stessa immagine. Questo contraddice l'iniettività. Quindi nel nucleo c'è solo $\vec 0$.

Dimostrazione di $\Leftarrow$. Siano $v_1 \ne v_2$ e supponiamo per assurdoDimostrazione diretta, per contronominale e per assurdo di un teorema del tipo ipotesi implica tesi.Tecniche di dimostrazione → $f(v_1) = f(v_2)$. Il trucco è far comparire il vettore nullo, perché l'ipotesi parla del nucleo: portando tutto a sinistra, $$f(v_1) - f(v_2) = \vec 0 \quad\Longrightarrow\quad f(v_1 - v_2) = \vec 0$$ (linearità), quindi $v_1 - v_2 \in \operatorname{Ker} f = \{\vec 0\}$, cioè $v_1 - v_2 = \vec 0$, cioè $v_1 = v_2$: assurdo. Quindi $f(v_1) \ne f(v_2)$ e $f$ è iniettiva ∎.

Per la suriettività non c'è niente da dimostrare: per definizione $f$ è suriettiva $\iff$ $\operatorname{Im} f = W$.

Le immagini di una base generano l'immagine

Proposizione (l'immagine è generata dalle immagini di una base). Se $\{v_1, \dots, v_n\}$ è una base di $V$, allora $\operatorname{Im} f = \langle f(v_1), \dots, f(v_n) \rangle$.

Esempio. $f(x,y) = (x + y,\ 2x + 2y)$: $f(e_1) = f(e_2) = (1,2)$, quindi $\operatorname{Im} f = \langle (1,2) \rangle$ (in effetti $f(x, y) = (x + y)(1, 2)$: ogni immagine è un multiplo di $(1, 2)$).

Dimostrazione. Ogni $w \in \operatorname{Im} f$ è $w = f(v)$ per qualche $v$; scritto $v = \sum \lambda_j v_j$, per la linearità $w = \sum \lambda_j f(v_j)$: è combinazione lineare delle $f(v_j)$, quindi $\operatorname{Im} f \subseteq \langle f(v_1), \dots, f(v_n) \rangle$. Viceversa ogni combinazione $\sum \mu_j f(v_j) = f\big(\sum \mu_j v_j\big)$ è un'immagine, quindi vale anche l'inclusione opposta ∎.

Non è detto che le $f(v_j)$ siano una base di $\operatorname{Im} f$: possono essere dipendenti (esempio in Funzioni lineari e isomorfismiUna funzione tra spazi vettoriali è lineare se rispetta somma e prodotto per uno scalare; manda 0 in 0, è determinata dalle immagini di una base e si chiama isomorfismo quando è anche biiettiva.Funzioni lineari e isomorfismi →). Sono però generatori, e da un insieme di generatori si estrae sempre una baseTutte le basi di uno spazio vettoriale hanno lo stesso numero di vettori, la dimensione (dim K^n = n). Da ogni sistema di generatori si estrae una base, ogni insieme di vettori indipendenti si completa a una base, e in dimensione n bastano n vettori indipendenti (o n generatori) per avere una base.Dimensione →. È il metodo pratico per trovare una base dell'immagine: si calcolano le immagini dei vettori di una base (in $K^n$: della base canonica, cioè le colonne della matrice) e si scartano quelle dipendenti dalle altre.

Teorema della nullità più rango (formula delle dimensioni)

Teorema. Se $f : V \to W$ è lineare e $V$ ha dimensione finita, $$\dim \operatorname{Ker} f + \dim \operatorname{Im} f = \dim V$$

Esempio. $f : \mathbb{R}^3 \to \mathbb{R}^2$, $f(x,y,z) = (x, y)$: $\operatorname{Ker} f = \langle (0,0,1) \rangle$ ha dimensione $1$, $\operatorname{Im} f = \mathbb{R}^2$ ha dimensione $2$, e $1 + 2 = 3 = \dim \mathbb{R}^3$. Per la proiezione del piano $p(x, y) = (x, 0)$ (vedi Funzioni lineari e isomorfismiUna funzione tra spazi vettoriali è lineare se rispetta somma e prodotto per uno scalare; manda 0 in 0, è determinata dalle immagini di una base e si chiama isomorfismo quando è anche biiettiva.Funzioni lineari e isomorfismi →): $\operatorname{Ker} p$ è l'asse $y$ e $\operatorname{Im} p$ è l'asse $x$, entrambi di dimensione $1$, e $1 + 1 = 2 = \dim \mathbb{R}^2$.

Nomi: $\dim \operatorname{Ker} f$ si chiama nullità di $f$ (il nucleo è fatto dai vettori che "si annullano"), $\dim \operatorname{Im} f$ si chiama rango di $f$. La formula si legge "nullità + rango = dimensione del dominio".

Osservazione importante: nella formula non compare $\dim W$. Il codominio può essere grande quanto si vuole: conta solo quanto è grande il dominio, che viene "spartito" tra la parte che va persa (il nucleo) e la parte che sopravvive (l'immagine).

Dimostrazione. L'idea è la stessa della formula di GrassmannFormula di Grassmann: dim(U + W) = dim U + dim W − dim(U ∩ W), come contare gli elementi di un'unione senza contare due volte quelli comuni. Se U ∩ W = {0} la somma è diretta, U ⊕ W, e ogni vettore si scrive in modo unico come u + w.Formula di Grassmann e somma diretta →: partire da una base del sottospazio più piccolo e completarla.

1. Base del nucleo. Sia $\{v_1, \dots, v_r\}$ una base di $\operatorname{Ker} f$; quindi $\dim \operatorname{Ker} f = r$.
2. Completamento. Sono vettori indipendenti di $V$, quindi si possono completare a una baseTutte le basi di uno spazio vettoriale hanno lo stesso numero di vettori, la dimensione (dim K^n = n). Da ogni sistema di generatori si estrae una base, ogni insieme di vettori indipendenti si completa a una base, e in dimensione n bastano n vettori indipendenti (o n generatori) per avere una base.Dimensione → di $V$ aggiungendo $v_{r+1}, \dots, v_{r+s}$. Quindi $\dim V = r + s$. (I vettori aggiunti non stanno nel nucleo, altrimenti sarebbero combinazione di $v_1, \dots, v_r$.)
3. Immagini. Applico $f$ a tutta la base: $f(v_1) = \dots = f(v_r) = \vec 0$ (stanno nel nucleo), mentre chiamo $w_1 = f(v_{r+1}), \dots, w_s = f(v_{r+s})$. Per la proposizione precedente le immagini generano $\operatorname{Im} f$; gli zeri non contribuiscono, quindi $w_1, \dots, w_s$ generano $\operatorname{Im} f$.
4. Resta da vedere che $w_1, \dots, w_s$ sono indipendenti (allora sono una base e $\dim \operatorname{Im} f = s$, che è la tesi: $r + s = \dim V$). Sia $\lambda_1 w_1 + \dots + \lambda_s w_s = \vec 0$. Non abbiamo numeri espliciti, quindi si ragiona così: per linearità $$f(\lambda_1 v_{r+1} + \dots + \lambda_s v_{r+s}) = \lambda_1 w_1 + \dots + \lambda_s w_s = \vec 0$$ cioè il vettore $\lambda_1 v_{r+1} + \dots + \lambda_s v_{r+s}$ sta nel nucleo. Allora è combinazione della base del nucleo: $\lambda_1 v_{r+1} + \dots + \lambda_s v_{r+s} = \alpha_1 v_1 + \dots + \alpha_r v_r$. Portando tutto a sinistra $$-\alpha_1 v_1 - \dots - \alpha_r v_r + \lambda_1 v_{r+1} + \dots + \lambda_s v_{r+s} = \vec 0$$ Questa è una combinazione nulla dei vettori di una base di $V$, che sono indipendenti: tutti i coefficienti sono zero, in particolare $\lambda_1 = \dots = \lambda_s = 0$ ∎.

Conseguenze (da usare negli esercizi)

Sia $n = \dim V$, $m = \dim W$. Poiché $\operatorname{Im} f \subseteq W$, si ha $\dim \operatorname{Im} f \le m$; poiché $\dim \operatorname{Im} f = n - \dim \operatorname{Ker} f$, si ha anche $\dim \operatorname{Im} f \le n$.

L'ultima riga, insieme al teorema in Coordinate rispetto a una baseFissata una base, ogni vettore ha una e una sola lista di coordinate; la funzione vettore → coordinate è un isomorfismo con K^n, quindi ogni spazio di dimensione n si comporta come K^n (ma l'isomorfismo dipende dalla base).Coordinate rispetto a una base →, dice: due spazi di dimensione finita sono isomorfi se e solo se hanno la stessa dimensione.

Nella terza riga si usa che un sottospazio di dimensione $m$ dentro uno spazio di dimensione $m$ è tutto lo spazio (vedi DimensioneTutte le basi di uno spazio vettoriale hanno lo stesso numero di vettori, la dimensione (dim K^n = n). Da ogni sistema di generatori si estrae una base, ogni insieme di vettori indipendenti si completa a una base, e in dimensione n bastano n vettori indipendenti (o n generatori) per avere una base.Dimensione →).

Esempio

$f : \mathbb{R}^3 \to \mathbb{R}^2$, $f(x_1, x_2, x_3) = (3x_1 - x_2 + x_3, \ -2x_1 + 4x_2 - x_3)$.

Prima di fare conti. Il nucleo è dato dal sistema $f(v) = \vec 0$, cioè 2 equazioni in 3 incognite: si ricavano 2 incognite in funzione della terza, che resta libera. Ci aspettiamo $\dim \operatorname{Ker} f = 1$, quindi per nullità + rango $\dim \operatorname{Im} f = 3 - 1 = 2 = \dim \mathbb{R}^2$: $f$ è suriettiva e non iniettiva.

Nucleo. Sommando le due equazioni $3x_1 - x_2 + x_3 = 0$ e $-2x_1 + 4x_2 - x_3 = 0$ si elimina $x_3$ (ha coefficienti opposti $+1$ e $-1$): $(3 - 2)x_1 + (-1 + 4)x_2 = 0$, cioè $x_1 + 3x_2 = 0$, cioè $x_1 = -3x_2$. Dalla prima, $x_3 = x_2 - 3x_1 = x_2 + 9x_2 = 10x_2$. Tutte le soluzioni sono quindi $(x_1, x_2, x_3) = (-3x_2, \ x_2, \ 10x_2) = x_2(-3, 1, 10)$ con $x_2$ libero; ponendo $x_2 = 1$: $\operatorname{Ker} f = \langle (-3, 1, 10) \rangle$. Verifica: $3(-3) - 1 + 10 = 0$ e $-2(-3) + 4 - 10 = 0$ ✓.

Immagine. Le immagini della base canonica sono $f(e_1) = (3, -2)$, $f(e_2) = (-1, 4)$, $f(e_3) = (1, -1)$ (i coefficienti di $x_1$, di $x_2$ e di $x_3$ nelle due componenti): generano $\operatorname{Im} f$. Tre vettori in $\mathbb{R}^2$ sono per forza dipendenti (in uno spazio di dimensioneTutte le basi di uno spazio vettoriale hanno lo stesso numero di vettori, la dimensione (dim K^n = n). Da ogni sistema di generatori si estrae una base, ogni insieme di vettori indipendenti si completa a una base, e in dimensione n bastano n vettori indipendenti (o n generatori) per avere una base.Dimensione → $2$ non ci sono più di $2$ vettori indipendenti); ne scarto uno, per esempio $f(e_1)$: restano $(-1, 4)$ e $(1, -1)$, che non sono proporzionali (da $(-1, 4) = k(1, -1)$ la prima componente darebbe $k = -1$ e la seconda $k = -4$), quindi sono una base di $\operatorname{Im} f = \mathbb{R}^2$.

Il vettore del nucleo dice anche come le tre immagini dipendono tra loro: $f(-3, 1, 10) = \vec 0$ significa, per la linearità, $-3f(e_1) + f(e_2) + 10 f(e_3) = \vec 0$. Controllo: $-3(3, -2) + (-1, 4) + 10(1, -1) = (-9 - 1 + 10, \ 6 + 4 - 10) = (0, 0)$ ✓. Da qui $f(e_1) = \frac13 f(e_2) + \frac{10}{3} f(e_3)$: è per questo che $f(e_1)$ si può scartare senza perdere nulla. Svolgimento completo nell'Esercizio 21 · nucleo e immagine di una funzione da R³ a R².

L'antimmagine di un vettore

Definizione (antimmagine di un vettore). L'antimmagine (o controimmagine) di $w \in W$ è $f^{-1}(w) = \{ v \in V : f(v) = w \}$.

Esempio. Per $f(x,y) = x + y$ si ha $f^{-1}(2) = \{(x,y) : x + y = 2\}$, una retta che non contiene l'origine (non è un sottospazio).

(Il simbolo $f^{-1}(w)$ ha senso anche se $f$ non è invertibile: indica un insieme, eventualmente vuoto.)

• Se $w \notin \operatorname{Im} f$, $f^{-1}(w) = \emptyset$.
• $f^{-1}(\vec 0) = \operatorname{Ker} f$.

Teorema (struttura dell'antimmagine). Se $v_0$ è un vettore con $f(v_0) = w$ (una "soluzione particolare"), allora $$f^{-1}(w) = v_0 + \operatorname{Ker} f = \{ v_0 + u : u \in \operatorname{Ker} f \}$$

Dimostrazione. Se $u \in \operatorname{Ker} f$, $f(v_0 + u) = f(v_0) + f(u) = w + \vec 0 = w$: tutti i vettori $v_0 + u$ vanno in $w$. Viceversa, se $f(v) = w$, allora $f(v - v_0) = w - w = \vec 0$, cioè $u = v - v_0 \in \operatorname{Ker} f$ e $v = v_0 + u$ ∎.

Esempio. Con la $f$ di prima, $f^{-1}(1, 2)$: si risolve $3x_1 - x_2 + x_3 = 1$, $-2x_1 + 4x_2 - x_3 = 2$. Scegliendo $x_2 = 0$ (una scelta qualsiasi per trovare una soluzione): $3x_1 + x_3 = 1$ e $-2x_1 - x_3 = 2$; sommando $x_1 = 3$ (il termine in $x_3$ si elimina e a destra $1 + 2 = 3$), poi dalla prima $x_3 = 1 - 3x_1 = 1 - 9 = -8$. Quindi $v_0 = (3, 0, -8)$; verifica: $f(3, 0, -8) = (9 - 0 - 8, \ -6 + 0 + 8) = (1, 2)$ ✓. Per il teorema $$f^{-1}(1, 2) = (3, 0, -8) + \langle (-3, 1, 10) \rangle = \{ (3 - 3t, \ t, \ -8 + 10t) : t \in \mathbb{R} \}$$ (si somma a $v_0$ il generico vettore $t(-3, 1, 10)$ del nucleo). Geometricamente: una retta parallela al nucleo che non passa per l'origine (non è un sottospazio, è un sottospazio affineNello spazio affine Aⁿ si distinguono punti e vettori (Q − P è il vettore da P a Q). Un sottospazio affine è L = P + W, un punto più un sottospazio vettoriale (lo spazio direttore): si descrive con equazioni parametriche X = P + t₁w₁ + … oppure cartesiane AX = B. Rette e piani di A³, passaggio tra i due tipi di equazioni, posizione reciproca: incidenti, paralleli, sghembi.Spazi affini, rette e piani →).

Un esempio nel piano, per vedere la figura. $f(x, y) = (x + 2y, \ 2x + 4y)$ da $\mathbb{R}^2$ a $\mathbb{R}^2$. La seconda componente è il doppio della prima, quindi $f(x, y) = (x + 2y)(1, 2)$:

• $\operatorname{Ker} f$: $x + 2y = 0$, la retta per l'origine generata da $(-2, 1)$;
• $\operatorname{Im} f = \langle (1, 2) \rangle$, la retta $y = 2x$ (dimensione $1$, e $1 + 1 = 2$ come vuole nullità + rango);
• $f^{-1}(1, 2)$: $x + 2y = 1$ (la seconda equazione $2x + 4y = 2$ è la stessa moltiplicata per $2$). Una soluzione particolare è $(1, 0)$, e infatti $x + 2y = 1$ è la retta per $(1, 0)$ parallela al nucleo.

Nel grafico le tre rette stanno nello stesso disegno perché dominio e codominio sono entrambi $\mathbb{R}^2$; ma $\operatorname{Ker} f$ e $f^{-1}(1, 2)$ vivono nel dominio, $\operatorname{Im} f$ nel codominio.

Questo è lo stesso fatto che per i sistemi lineari dice "soluzioni del sistema = una soluzione particolare + soluzioni del sistema omogeneo associato": vedi Sistemi lineari e teorema di Rouché-CapelliUn sistema lineare si scrive AX = B; ha soluzioni se e solo se B sta nell'immagine di A, cioè se rango(A) = rango(A|B) (Rouché-Capelli); le soluzioni sono una soluzione particolare più il nucleo e dipendono da n − r parametri.Sistemi lineari e teorema di Rouché-Capelli →.

Errori comuni

• Contare male le incognite libere. In $\mathbb{R}^3$ il sottospazio di equazione $2x_1 - 3x_2 = 0$ ha dimensione 2, non 1: anche $x_3$ è libera (ha coefficiente zero, ma c'è). Allo stesso modo il nucleo di $f : \mathbb{R}^4 \to \mathbb{R}^k$ si calcola sempre con 4 incognite.
• Dire "il nucleo è vuoto" invece di "il nucleo è $\{\vec 0\}$".
• Usare $\dim W$ in nullità + rango: la formula usa la dimensione del dominio.
• Prendere le immagini di una base come base dell'immagine senza controllare l'indipendenza.
• Dare come antimmagine solo $v_0$: se il nucleo non è nullo, le soluzioni sono infinite ($v_0 + \operatorname{Ker} f$). Soluzioni particolari diverse danno lo stesso insieme.