Teorema del rango

In algebra lineare, il teorema del rango, detto anche teorema di nullità più rango, o teorema della dimensione, afferma che la somma tra la dimensione dell'immagine e la dimensione del nucleo di una trasformazione lineare è uguale alla dimensione del dominio di tale trasformazione lineare; equivalentemente, la somma del rango e della nullità di una matrice è uguale al numero di colonne della matrice.

Il teorema di nullità più rango.

Enunciato

Il teorema vale nel contesto delle trasformazioni lineari fra spazi vettoriali, con l'ipotesi che lo spazio vettoriale di partenza abbia dimensione finita.

Data una applicazione lineare fra spazi vettoriali:

$f\colon \ V\to W$

il teorema stabilisce che vale la relazione:

$\dim \operatorname {Im} (f)+\dim \operatorname {Ker} (f)=n$

dove ${\textrm {Im}}(f)$ e ${\textrm {Ker}}(f)$ sono rispettivamente l'immagine e il nucleo di $f$ e $n$ è la dimensione di $V$.

In modo equivalente, se $A$ è una matrice $m\times n$ allora:

$\operatorname {rk} (A)+\operatorname {null} (A)=n$

Dove $\operatorname {rk} (A)$ indica il rango di $A$ e $\operatorname {null} (A)$ indica la nullità di $A$, cioè la $\dim \operatorname {Ker} (A)$, o indice di nullità.

L'equivalenza degli enunciati deriva dal fatto che ogni applicazione lineare $f\colon \ \mathbb {K} ^{n}\to \mathbb {K} ^{m}$, con $\mathbb {K}$ campo arbitrario, può essere scritta, passando in coordinate rispetto a due basi fissate, nel seguente modo:

$f(\mathbf {x} )=A\mathbf {x} ,$

dove $A$ è la matrice di trasformazione associata ad $f$ rispetto a due date basi dei due spazi vettoriali.

Il nucleo di $f$ è lo spazio delle soluzioni del sistema di equazioni lineari omogeneo associato alla matrice $A$, mentre l'immagine è lo spazio generato dalle sue colonne $A^{1},\ldots ,A^{n}$.

Dimostrazione

Poiché $V$ ha dimensione finita, il sottospazio vettoriale ${\textrm {Ker}}(f)$ ha anch'esso dimensione finita. Il nucleo ha quindi una base:

$B=(\mathbf {v} _{1},\ldots ,\mathbf {v} _{r})$

Per il teorema della base incompleta esistono $\mathbf {v} _{r+1},\ldots ,\mathbf {v} _{n}$ tali che:

$B'=(\mathbf {v} _{1},\ldots ,\mathbf {v} _{r},\mathbf {v} _{r+1},\ldots ,\mathbf {v} _{n})$

sia una base di $V$. Per concludere è sufficiente mostrare che i vettori:

$f(\mathbf {v} _{r+1}),\ldots ,f(\mathbf {v} _{n})$

formano una base di ${\textrm {Im}}(f)$. L'immagine è generata dai vettori:

$f(\mathbf {v} _{1}),\ldots ,f(\mathbf {v} _{r}),f(\mathbf {v} _{r+1}),\ldots ,f(\mathbf {v} _{n})$

I primi $r$ vettori sono però nulli (per definizione di Ker), quindi l'immagine è generata dagli ultimi $n-r$ vettori:

$f(\mathbf {v} _{r+1}),\ldots ,f(\mathbf {v} _{n})$

Resta quindi da verificare l'indipendenza lineare di questi vettori. Si suppone quindi data una combinazione lineare nulla:

$\lambda _{r+1}f(\mathbf {v} _{r+1})+\ldots +\lambda _{n}f(\mathbf {v} _{n})=0$

Per linearità si ottiene:

$f(\lambda _{r+1}\mathbf {v} _{r+1}+\ldots +\lambda _{n}\mathbf {v} _{n})=0$

Quindi:

$\lambda _{r+1}\mathbf {v} _{r+1}+\ldots +\lambda _{n}\mathbf {v} _{n}\in \operatorname {Ker} (f)$

Poiché questo vettore sta nel nucleo, è esprimibile come combinazione lineare dei vettori $\mathbf {v} _{1},\ldots ,\mathbf {v} _{r}$:

$\lambda _{r+1}\mathbf {v} _{r+1}+\ldots +\lambda _{n}\mathbf {v} _{n}=\alpha _{1}\mathbf {v} _{1}+\ldots +\alpha _{n}\mathbf {v} _{r}$

In altre parole:

$-\alpha _{1}\mathbf {v} _{1}-\ldots -\alpha _{n}\mathbf {v} _{r}+\lambda _{r+1}\mathbf {v} _{r+1}+\ldots +\lambda _{n}\mathbf {v} _{n}=0$

Poiché $(\mathbf {v} _{1},\ldots ,\mathbf {v} _{n})$ è una base di $V$, tutti i coefficienti qui presenti sono nulli. In particolare, $\lambda _{j}=0$ per ogni $j$.

Quindi i vettori $f(\mathbf {v} _{r+1}),\ldots ,f(\mathbf {v} _{n})$ sono effettivamente indipendenti. L'immagine ha quindi dimensione $n-r$. Pertanto:

$\dim(\operatorname {Im} (f))=n-r=\dim(V)-\dim(\operatorname {Ker} (f))$

Dimostrazione con il teorema di isomorfismo

Il teorema del rango può essere visto come corollario al primo teorema di isomorfismo:

$V/\operatorname {Ker} f\cong \operatorname {Im} f$

dove $f$ è un omomorfismo di gruppi (in particolare, di spazi vettoriali) che agisce su $V$. Si ha infatti:

$\dim(V/\operatorname {Ker} f)=\dim(\operatorname {Im} f)$

$\dim(V)-\dim(\operatorname {Ker} f)=\dim(\operatorname {Im} f)$

che è l'asserto del teorema.

Applicazioni lineari iniettive - suriettive - biunivoche

Data un'applicazione lineare $f\colon V\to W,$ con $\dim(V)=n$ e $\dim(W)=m,$ essa è:

• iniettiva se e solo se $\dim \operatorname {Ker} (f)=0;$
• suriettiva se e solo se $\dim \operatorname {Im} (f)=m;$
• biiettiva se $m=n$ e sono verificate entrambe le precedenti condizioni.

Ne segue quindi che, se $m=n$, l'applicazione lineare è iniettiva se e solo se è suriettiva.

Inoltre, in base alle dimensioni $m$ e $n$, si ha che:

• se $n>m,$ l'applicazione lineare non sarà mai iniettiva, poiché $\dim \operatorname {Ker} (f)>0;$
• se $n<m,$ l'applicazione lineare non sarà mai suriettiva, poiché $\dim \operatorname {Im} (f)<m.$

Caso di dimensione infinita

Supponiamo il caso particolare in cui l'applicazione lineare è un endomorfismo, cioè una applicazione lineare $f\colon V\to V$ dallo spazio $V$ in sé stesso. La relazione appena dimostrata:

$\dim \operatorname {Im} (f)+\dim \operatorname {Ker} (f)=n$

dice che l'iniettività e la suriettività dell'applicazione si implicano a vicenda.

Nel caso infinito questo cessa di essere vero. Ad esempio, considerando:

$\displaystyle \mathbb {R} ^{\infty }:=\{(x_{1},x_{2},\dots )\quad x_{i}\in \mathbb {R} \quad \forall i\in \mathbb {N} \}$

come spazio vettoriale su $\mathbb {R}$ e l'applicazione $f\colon \mathbb {R} ^{\infty }\to \mathbb {R} ^{\infty }$ che agisce "spostando" in avanti le coordinate e mettendo lo zero in prima posizione, cioè:

$\displaystyle (x_{1},x_{2},\dots )\to (0,x_{1},x_{2},\dots )$

è immediato mostrare che tale applicazione è lineare e iniettiva, ma banalmente non suriettiva.

Riformulazioni e generalizzazioni

In linguaggio più moderno, il teorema può essere espresso nel seguente modo. Se:

$\displaystyle \ 0\rightarrow U\rightarrow V\rightarrow R\rightarrow 0$

è una successione esatta corta di spazi vettoriali, allora:

$\displaystyle \ \dim(U)+\dim(R)=\dim(V)$

Qui $R$ gioca il ruolo di $\operatorname {Im} T$ e $U$ è $\operatorname {ker} T$.

Nel caso finito-dimensionale questa formulazione è suscettibile di generalizzazione. Se:

$\displaystyle \ 0\rightarrow V_{1}\rightarrow V_{2}\rightarrow \dots \rightarrow V_{r}\rightarrow 0$

è una successione esatta di spazi vettoriali a dimensioni finite, allora:

$\sum _{i=1}^{r}(-1)^{i}\dim(V_{i})=0$

Il teorema del rango per gli spazi vettoriali di dimensione finita può anche essere formulato in termini degli indici di una mappa lineare. L'indice di una mappa lineare $T\colon V\to W$, dove $V$ e $W$ sono di dimensione finita, è definito da:

$\operatorname {index} T=\dim(\operatorname {ker} T)-\dim(\operatorname {coker} T)$

Intuitivamente, $\dim \operatorname {ker} T$ è il numero di soluzioni indipendenti $x$ dell'equazione $Tx=0$, e $\dim \operatorname {coker} T$ è il numero di restrizioni indipendenti che devono essere poste su $y$ per rendere $Tx=y$ risolvibile. Il teorema del rango per gli spazi vettoriali di dimensione finita è equivalente all'espressione:

$\operatorname {index} T=\dim(V)-\dim(W)$

Si vede che possiamo facilmente leggere l'indice della mappa lineare $T$ dagli spazi coinvolti, senza la necessità di esaminare $T$ in dettaglio. Questo effetto si trova anche in un risultato molto più profondo: il teorema dell'indice di Atiyah-Singer afferma che l'indice di determinati operatori differenziali può essere letto dalla geometria degli spazi coinvolti.

Bibliografia

• Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992, ISBN 88-339-5035-2.
• Philippe Ellia, Appunti di Geometria I, Bologna, Pitagora Editrice, 1997. ISBN 88-3710958-X
• (EN) Carl D. Meyer, Matrix Analysis and Applied Linear Algebra, Society for Industrial and Applied Mathematics (SIAM), 2000, ISBN 978-0-89871-454-8.

Voci correlate

• Dominio (matematica)
• Immagine (matematica)
• Matrice
• Nucleo (matematica)
• Rango (algebra lineare)
• Trasformazione lineare

Collegamenti esterni

• (EN) Eric W. Weisstein, Teorema del rango, su MathWorld, Wolfram Research.