base di uno sottospazio vettoriale

Definizione

Sia $V$ uno spazio vettoriale su $K$ e sia $U\subseteq V$ un sottospazio vettoriale; una base di $U$ è un insieme di vettori $u_1,\dots ,u_n\in U$ tali che:

1. $\{u_1,\dots ,u_n\}$ sono un sistema di generatori di $U$
2. $\{u_1,\dots ,u_n\}$ sono vettori linearmente dipendenti

teorema della base unica
teorema di estrazione di una base
teorema del completamento o dell’estensione di una base

Risorse