# Base (algebra lineare)

In matematica, e più precisamente in algebra lineare, la base di uno spazio vettoriale è un insieme di vettori linearmente indipendenti che generano lo spazio. In modo equivalente, ogni elemento dello spazio vettoriale può essere scritto in modo unico come combinazione lineare dei vettori appartenenti alla base.
Se la base di uno spazio vettoriale è composta da un numero finito di elementi allora la dimensione dello spazio è finita. In particolare, il numero di elementi della base coincide con la dimensione dello spazio.

## Definizione nel caso di dimensione finita

Sia $V$ uno spazio vettoriale su un campo $K$. L'insieme $\mathbf {v} _{1},\mathbf {v} _{2}\dots \mathbf {v} _{n}$ di elementi di $V$ è una base di $V$ se valgono entrambe le seguenti proprietà:
* I vettori $\mathbf {v} _{1},\mathbf {v} _{2}\dots \mathbf {v} _{n}$ sono linearmente indipendenti in $K$, ovvero la relazione:
    $\sum _{i=1}^{n}a_{i}\mathbf {v} _{i}=a_{1}\mathbf {v} _{1}+a_{2}\mathbf {v} _{2}+\cdots +a_{n}\mathbf {v} _{n}=\mathbf {0}$
    è verificata solo se i numeri $a_{1},a_{2},\dots ,a_{n}\in K$ sono tutti uguali a zero.
* I vettori $\mathbf {v} _{1},\mathbf {v} _{2}\dots \mathbf {v} _{n}$ generano $V$, ovvero:
    $V=\mathrm {Span} (\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}):=\{a_{1}\mathbf {v} _{1}+\cdots +a_{n}\mathbf {v} _{n}\ |\ a_{1},\ldots ,a_{n}\in K\}$
    In particolare, per ogni vettore $\mathbf {v}$ di $V$ i numeri $a_{1},a_{2}\dots a_{n}$ sono le sue coordinate rispetto alla base scelta.
Si dice anche che i vettori $\{\mathbf {v} _{i}\}$ appartenenti a una qualsiasi base di $V$ costituiscono un sottoinsieme massimale di vettori linearmente indipendenti dello spazio. Questo significa che i vettori $\{\mathbf {v} _{i}\}$ sono tali che esistono $a_{1},a_{2}\dots a_{n}$ tali che:
    $\sum _{i=1}^{n}a_{i}\mathbf {v} _{i}+\mathbf {w} =\mathbf {0} \qquad \forall \mathbf {w} \neq \mathbf {v} _{i},\mathbf {w} \in V$
ossia l'aggiunta al sottoinsieme massimale di un qualsiasi altro elemento dello spazio determina la dipendenza lineare degli elementi del sottoinsieme.
Una base è dunque composta da un minimo numero di vettori generatori dello spazio. Uno spazio vettoriale non banale con un campo infinito possiede infinite possibili basi diverse.

### Dimensione di uno spazio vettoriale

Uno spazio vettoriale in generale non ha una sola base, e solitamente si trattano spazi con infinite basi possibili. Il teorema della dimensione per spazi vettoriali afferma che tutte le possibili basi di uno stesso spazio hanno la stessa cardinalità, sono formate cioè sempre dallo stesso numero di vettori. Questo numero è la dimensione dello spazio, e permette di definire spazi di dimensione arbitrariamente alta. La dimensione dello spazio è inoltre uguale sia al massimo numero di vettori indipendenti che esso contiene, sia al minimo numero di vettori necessari per generare lo spazio stesso.

## Esistenza

Qualsiasi sia lo spazio vettoriale $V$, è sempre possibile trovarne una base. La dimostrazione richiede l'uso del lemma di Zorn nel caso generale, mentre nel caso particolare degli spazi finitamente generati esistono dimostrazioni più semplici.
Si consideri la collezione $I(V)$ dei sottoinsiemi di $V$ linearmente indipendenti. È immediato dedurre che l'inclusione è un ordine parziale su $I(V)$, e che per ogni catena $\{B_{i}\}$ l'insieme $\bigcup _{i}B_{i}$ ne è un maggiorante (è linearmente indipendente in quanto unione di elementi di una catena ordinata per inclusione). Applicando il lemma di Zorn, esiste un insieme massimale linearmente indipendente $B$ in $I(V)$. Dunque $B$ è una base, infatti se $v\in V$ ma non appartiene a $B$ allora per la massimalità di $B$ l'insieme $B\cup \{\mathbf {v} \}$ deve essere linearmente dipendente, cioè esistono degli scalari $a_{1},a_{2}\dots a_{n}$ non tutti nulli tali che
    $a\mathbf {v} +\sum _{i=1}^{n}a_{i}\mathbf {w} _{i}=0\qquad \mathbf {w} _{i}\in B$
con $a\neq 0$, dal momento che se fosse nulla allora anche gli altri $a_{i}$ dovrebbero esserlo, essendo gli elementi di $B$ linearmente indipendenti. Quindi $\mathbf {v}$ può essere scritto come combinazione lineare finita di elementi di $B$, che oltre a essere linearmente indipendenti generano $V$. Dunque $B$ è una base.

## Coordinate rispetto ad una base

Per esprimere un vettore in modo unico attraverso una base è necessario definire un ordinamento nell'insieme dei vettori che costituiscono la base. Una base ordinata è una successione di vettori linearmente indipendenti che generano lo spazio. In particolare, se la successione $\mathbf {v} _{1},\mathbf {v} _{2}\dots \mathbf {v} _{n}$ di elementi è una base ordinata di $V$, allora l'insieme di tali vettori è una base di $V$.
Ogni vettore $\mathbf {w} \in V$ si può scrivere in modo unico come combinazione lineare dei vettori di base:
    $\mathbf {w} =\sum _{i=1}^{n}a_{i}\mathbf {v} _{i}$
Si definisce l'insieme delle coordinate di $\mathbf {w}$ rispetto alla base data il vettore:
    $\mathbf {a} =(a_{1},a_{2},\cdots ,a_{n})$
Si tratta del vettore che ha come componenti i coefficienti della combinazione lineare di vettori di base attraverso i quali si può scrivere $\mathbf {w}$. Tale vettore dipende dalla base scelta.
La mappa $f:V\to K^{n}$ che associa ad ogni vettore $\mathbf {v}$ le sue coordinate $f(\mathbf {v} )$ è un isomorfismo di spazi vettoriali, cioè è una applicazione lineare biettiva.

### La base canonica

Sia $K$ un campo. L'insieme $K^{n}$ è uno spazio vettoriale di dimensione $n$. Si definisce base canonica di $K^{n}$ l'insieme di vettori:
    $\mathbf {e} _{1}=(1,0,\cdots ,0)$
    $\mathbf {e} _{2}=(0,1,\cdots ,0)$
    $\cdots$
    $\mathbf {e} _{n}=(0,0,\cdots ,1)$
Ogni vettore $\mathbf {w} \in K^{n}$ si può allora scrivere come combinazione lineare dei vettori di base:
    $\mathbf {w} =\sum _{i=1}^{n}a_{i}\mathbf {e} _{i}$
Il vettore:
    $\mathbf {a} =(a_{1},a_{2},\cdots ,a_{n})$
è il vettore delle coordinate di $\mathbf {w}$ rispetto alla base canonica. Solitamente si identifica un vettore attraverso le sue coordinate rispetto alla base canonica, ovvero $\mathbf {w} =\mathbf {a}$.
Ad esempio, i vettori $\mathbf {e} _{1}=(1,0)$ ed $\mathbf {e} _{2}=(0,1)$ sono una base di $\mathbb {R} ^{2}$, infatti ogni vettore $\mathbf {c} =(a,b)$ si scrive come:
    $(a,b)=a(1,0)+b(0,1)=a\mathbf {e} _{1}+b\mathbf {e} _{2}$

## Generalizzazioni in dimensione infinita

Il concetto di base in spazi di dimensione infinita (in cui cioè esista un insieme infinito di vettori linearmente indipendenti) è più problematico. Per tali spazi esistono due nozioni differenti di base: la prima, detta base di Hamel, è definita algebricamente, mentre la seconda, detta base di Schauder, necessita della presenza di una topologia.

### Base di Hamel

Una base di Hamel per uno spazio vettoriale $V$ è un insieme $\{v_{i}\}_{i\in I}$ di vettori linearmente indipendenti, parametrizzato da un insieme ordinato $I$ di indici, tale che ogni vettore $v$ di $V$ è combinazione lineare di un insieme finito di questi.
Nel caso in cui $I$ è un insieme finito, la definizione coincide con quella data precedentemente.
Grazie al lemma di Zorn ogni spazio vettoriale ha una base di Hamel, ed inoltre due basi di Hamel qualsiasi di uno stesso spazio vettoriale hanno la stessa cardinalità, che è pari alla dimensione (di Hamel) dello spazio vettoriale. Infine, continua a rimanere vero il fatto che ogni vettore dello spazio $V$ si scrive in modo unico come combinazione lineare dei vettori di una base di Hamel.
Ad esempio, una base di Hamel per lo spazio vettoriale $V=K[x]$ formato da tutti i polinomi a coefficienti in un campo $K$ è data dall'insieme di tutti i monomi:
    $\{x^{i}\}_{i\in \mathbb {N} }=\{1,x,x^{2},x^{3},\ldots \}$
Infatti ogni polinomio $a_{n}x^{n}+\ldots a_{1}x+a_{0}$ è combinazione lineare di un insieme finito di questi.
L'insieme dei numeri reali può essere considerato uno spazio vettoriale su $\mathbb {Q}$. Ne consegue che ogni numero reale può essere espresso come combinazione lineare finita di elementi presi da un sottoinsieme proprio di $\mathbb {R}$: tale sottoinsieme non potrà essere finito o numerabile poiché $\mathbb {R}$ ha la potenza del continuo (analoghe considerazioni possono essere fatte considerando $\mathbb {C}$ come spazio vettoriale su $\mathbb {Q}$).

### Base di Schauder

Più generalmente per uno spazio topologico è possibile estendere la definizione di Hamel in modo diverso, ammettendo somme infinite di vettori. Il senso di queste somme infinite è infatti dato dalle nozioni di limite di una successione e di serie.
Se $V$ è uno spazio vettoriale topologico (ad esempio uno spazio di Hilbert o di Banach), un insieme ordinato $\{v_{i}\}_{i\in I}$ di vettori linearmente indipendenti è una base di Schauder (o topologica) se lo spazio da essi generato è denso in $V$. In altre parole, se ogni vettore $v$ di $V$ può essere approssimato a piacere da somme (finite) di vettori in $\{v_{i}\}_{i\in I}$, e quindi come limite di una somma infinita di questi:
    $v=\sum _{i\in I'}(a_{i}-v_{i})$
dove $I'\subset I$ è un sottoinsieme numerabile.

#### Problema di esistenza della base di Schauder

Si pone il problema dell'esistenza di una base di Schauder in spazi di Hilbert o di Banach. La risposta, in generale, è negativa: infatti, dalla definizione consegue, in particolare, che uno spazio di Hilbert o di Banach che possiede una base di Schauder deve necessariamente essere separabile (infatti, dallo spazio generato dai $\{v_{i}\}_{i\in I}$, che è denso in $V$ è sempre possibile estrarre un sottoinsieme denso e numerabile utilizzando le combinazioni lineari a coefficienti in $\mathbb {Q}$)
In uno spazio di Hilbert, è di particolare importanza la nozione di base ortonormale: in uno spazio di Hilbert separabile, una base ortonormale è una base di Schauder.
L'esistenza di una base di Schauder in uno spazio di Banach non è, in genere, assicurata nemmeno aggiungendo l'ipotesi (peraltro necessaria) che si tratti di uno spazio separabile: un controesempio è stato fornito nel 1973 da Per Enflo. Un teorema di Stanisław Mazur mostra che in ogni spazio di Banach (a dimensione infinita) esiste sempre un sottospazio di dimensione infinita che possiede una base di Schauder.
L'esistenza di una base di Schauder consente di estendere alcuni teoremi.

### Cardinalità

Le due nozioni di basi sono generalmente molto differenti, e anche le loro cardinalità possono differire, portando a due concetti diversi di dimensione, chiamati rispettivamente dimensione di Hamel e dimensione di Schauder. La dimensione di Hamel può avere cardinalità superiore a quella di Schauder (pur essendo entrambe infinite).
Ad esempio, sia $V$ lo spazio delle funzioni continue reali definite sull'intervallo $[0,2\pi ]$. Questo è uno spazio di Banach con la norma:
    $\|f\|=\max _{x\in [0,\pi ]}|f(x)|$
Come conseguenza della teoria delle serie di Fourier, una base di Schauder per $V$ è costruita a partire dalle funzioni trigonometriche:
    $\{1\}\cup \{\sin(nx),\cos(nx)|n=1,2,3,\ldots \}$
ed ha cardinalità numerabile. Una base di Hamel ha invece cardinalità non numerabile, ed è molto più difficile da costruire (e scarsamente utilizzata).