Base

Sia $\mathbb{V}$ un SVR, $B=\{\underline{v_1},\dots ,\underline{v_n}\}$ lista di generatori. $B$ è detta base di $V$ se:

1. $B$ è una lista linearmente indipendente
2. $Span(\underline{v_1},\dots ,\underline{v_n})=\mathbb{V}$

Tutte le basi di $\mathbb{V}$ contengono lo stesso numero di vettori (teorema della base).