title: Teorema della dimensione per spazi vettoriali
text: # Teorema della dimensione per spazi vettoriali
  
  In matematica, il teorema della dimensione per spazi vettoriali afferma che basi diverse di uno stesso spazio vettoriale hanno la stessa cardinalità, ovvero sono costituite dallo stesso numero di elementi. La cardinalità della base è inoltre pari alla dimensione dello spazio.
  
  In altri termini, sia $V$ uno spazio vettoriale su un campo $K$. Siano $B$ e $C$ due basi di $V$ la cui dimensione sia rispettivamente $n$ e $m$. Allora $n=m$.
  
  ## Dimostrazione
  
  Si consideri il caso in cui le basi hanno cardinalità finita. Si supponga per assurdo che esistano due basi $B$ e $B'$ di $V$ che contengono $k$ e $h$ vettori, con $k<h$. Scrivendo ogni vettore $B'$ come combinazione lineare dei $k$ vettori di $B$, i coefficienti della combinazione lineare sono $k$ elementi del campo $K$: quindi per ogni vettore di $B'$ si ottiene un vettore in $K^{k}$ (che rappresenta le sue coordinate rispetto a $B$). Essendo i vettori di $B'$ in numero pari a $h$, si hanno $h$ vettori $\mathbf {v} _{1},\dots ,\mathbf {v} _{h}$ in $K^{k}$. Usando l'algoritmo di Gauss si vede che il sistema lineare omogeneo:
  
      $x_{1}\mathbf {v} _{1}+\dots +x_{h}\mathbf {v} _{h}=\mathbf {0}$
  
  con variabili $x_{1},\dots ,x_{h}$ ammette soluzioni non banali (cioè diverse dal vettore nullo), perché ci sono più incognite che equazioni. Ciascuna di queste soluzioni non banali fornisce una dipendenza lineare fra i vettori di coordinate $\mathbf {v} _{1},\dots ,\mathbf {v} _{h}$, che si traduce in una relazione di dipendenza fra i vettori originali di $B'$. Essi non possono quindi formare una base, contraddicendo l'ipotesi.
  
  ## Teorema del rango
  
  La seguente applicazione del teorema della dimensione è talvolta chiamata essa stessa "teorema della dimensione". Sia $T:U\to V$ una trasformazione lineare. Allora:
  
      $\dim(\operatorname {Im} T)+\dim(\operatorname {Ker} T)=\dim U$
  
  Ovvero, la dimensione di $U$ è pari alla dimensione dell'immagine più la dimensione del nucleo.
  
  