# Rango (algebra lineare)

In matematica, in particolare in algebra lineare, il rango (o caratteristica) di una matrice $A$ a valori in un certo campo è il massimo numero di righe (o colonne) linearmente indipendenti in $A$.
Il rango di una matrice può essere formulato in numerosi modi equivalenti, ed è una quantità fondamentale in algebra lineare, utile per risolvere i sistemi lineari e studiare le applicazioni lineari. È comunemente indicato con $\operatorname {rango} (A)$, $\operatorname {rg} (A)$, $\operatorname {r} (A)$, o $\rho (A)$, o con le versioni inglesi $\operatorname {rank} (A)$ o $\operatorname {rk} (A)$.

## Definizione

Sia $A_{m\times n}$ una matrice, a valori in un campo $K$. Le seguenti definizioni di rango di $A$ sono tutte equivalenti:
* Il massimo numero di colonne linearmente indipendenti.
* Il massimo numero di righe linearmente indipendenti.
* La dimensione del sottospazio di $K^{m}$ generato dalle colonne di $A$.
* La dimensione del sottospazio di $K^{n}$ generato dalle righe di $A$.
* La dimensione dell'immagine dell'applicazione lineare $L_{A}$ da $K^{n}$ in $K^{m}$ seguente:
    $L_{A}:x\mapsto Ax$
* Il massimo ordine di un minore invertibile di $A$.

## Rango di una trasformazione lineare

Si può attribuire un rango anche a una generica applicazione lineare, definendolo come la dimensione dello spazio vettoriale dato dalla sua immagine.
In un'esposizione con fini tendenzialmente generali una definizione di questo genere ha il vantaggio di essere applicabile senza la necessità di fare riferimento ad alcuna matrice che rappresenti la trasformazione. Quando invece ci si trova in un ambito di applicazioni concrete, il calcolo effettivo del rango di una trasformazione ben raramente si può ottenere evitando di operare su una matrice.

## Proprietà del rango di una matrice

In quanto segue, $A$ è una matrice $m\times n$ su un campo $K$, che descrive una mappa lineare $f=L_{A}$ come sopra.

### Proprietà di base

* Solo la matrice nulla ha rango 0.
* Il rango di $A$ è uguale al rango della sua trasposta.
* Il rango di $A$ è minore o uguale sia di $m$ che di $n$. In altre parole, è minore o uguale del minimo dei due valori
       $\operatorname {rank} (A)\leq \min\{m,n\}.$

### Relazioni fra $f$ ed $A$

* $f$ è iniettiva se e solo se $A$ ha rango $n$ (in questo caso si dice che $A$ ha rango per colonne massimo).
* $f$ è suriettiva se e solo se $A$ ha rango $m$ (in questo caso si dice che $A$ ha rango per righe massimo).
* nel caso di una matrice quadrata $A$ (cioè, $m=n$), allora $A$ è invertibile se e solo se $A$ ha rango $n$ (e si dice che $A$ ha rango massimo). Questo accade se e solo se $f$ è biettiva.

### Prodotto fra matrici

* Se $B$ è una matrice $n\times k$, allora il rango del prodotto $AB$ è minore o uguale sia del rango di $A$ che del rango di $B$. In altre parole:
       $\operatorname {rank} (AB)\leq \min\{\operatorname {rank} (A),\operatorname {rank} (B)\}.$
    Come esempio del caso "<", si consideri il prodotto
       ${\begin{bmatrix}0&0\\1&0\\\end{bmatrix}}{\begin{bmatrix}0&0\\0&1\\\end{bmatrix}}$
    Entrambi i fattori hanno rango 1, ma il prodotto ha rango 0.
* Se $B$ è una matrice $n\times k$ con rango $n$, allora $AB$ ha lo stesso rango di $A$.
* Se $C$ è una matrice $l\times m$ con rango $m$, allora $CA$ ha lo stesso rango di $A$.
* Il rango di $A$ è uguale a $r$ se e solo se esistono una matrice $m\times m$ invertibile $X$ e una matrice $n\times n$ invertibile $Y$ tali che
       $XAY={\begin{bmatrix}I_{r}&0\\0&0\\\end{bmatrix}}$
    dove $I_{r}$ denota la matrice identità $r\times r$.
* Dall'ultima proprietà si deduce che il rango di una matrice è un invariante completo per matrici equivalenti destra-sinistra.
* Diseguaglianza di Sylvester: se A è una matrice m × n e B è una matrice n × k, allora
       $\operatorname {rank} (A)+\operatorname {rank} (B)-n\leq \operatorname {rank} (AB).$
Questa segue dall'applicazione del teorema del rango alla disuguaglianza
       $\dim \operatorname {ker} (AB)\leq \dim \operatorname {ker} (A)+\dim \operatorname {ker} (B).$

### Teorema del rango

Il rango di una matrice più la nullità della matrice è uguale al numero di colonne della matrice (questo è il teorema del rango, o "teorema del rango-nullità").

### SD-equivalenza

Il rango è un invariante completo per la equivalenza sinistra-destra tra matrici: due matrici $m\times n$ $A$ e $B$ hanno lo stesso rango se e solo se esistono due matrici invertibili $M$ e $N$ tali che $A=MBN$.

## Calcolo
### Algoritmo di Gauss

Il modo più semplice per calcolare il rango di una matrice $A$ è dato dall'algoritmo di Gauss. L'algoritmo trasforma la matrice in una matrice a scalini con lo stesso rango, dato dal numero di righe non nulle, o equivalentemente di pivot. Ciò è vero poiché $\operatorname {rank} (A)=\operatorname {rank} (A^{T})$ , ed eseguire operazioni sulle righe di $A$ equivale a eseguire operazioni sulle colonne di $A^{T}$.
Si consideri ad esempio la matrice $4\times 4$
    $A={\begin{bmatrix}2&4&1&3\\-1&-2&1&0\\0&0&2&2\\3&6&2&5\\\end{bmatrix}}$
La seconda colonna è il doppio della prima colonna, e la quarta colonna è uguale alla somma della prima e della terza. La prima e la terza colonna sono linearmente indipendenti, quindi il rango di $A$ è due. Questo può essere confermato dall'algoritmo di Gauss, che produce la seguente matrice a scalini $A'$:
    $A'={\begin{bmatrix}1&2&0&1\\0&0&1&1\\0&0&0&0\\0&0&0&0\\\end{bmatrix}}$
con due righe non nulle.

### Criterio dei minori

Un altro metodo, in alcuni casi più diretto, sfrutta le proprietà del determinante di una matrice quadrata, e in particolare dei determinanti delle sottomatrici quadrate di $A$, dette minori. Si basa sul fatto che il rango di $A$ è pari al massimo ordine di un minore invertibile di $A$.
Ad esempio, la matrice $4\times 4$ data sopra ha determinante nullo, e quindi può avere rango al massimo 3. Anche tutti i suoi minori $3\times 3$ hanno determinante nullo, e quindi può avere rango al massimo 2. Infine, esiste almeno un minore invertibile di ordine 2, ad esempio quello in basso a destra
    ${\begin{bmatrix}2&2\\2&5\end{bmatrix}}$
che ha determinante $6$. Quindi $A$ ha rango esattamente 2. Questo criterio può essere utile ad esempio per verificare rapidamente se il rango di una matrice è superiore o inferiore a un certo valore.

## Generalizzazioni

Esistono diverse generalizzazioni del concetto di rango per matrici su anelli arbitrari. In queste generalizzazioni il rango colonna, il rango riga, dimensione dello spazio colonna, dimensione dello spazio riga di una matrice possono essere diversi l'uno dall'altro o non esistere.
Un'altra generalizzazione riguarda le matroidi, entità che generalizzano le matrici.