Basis (Vektorraum)

Sei \(V\) ein K-Vektorraum und \(S \subseteq V\) eine Teilmenge.
Dann ist \(S\) eine Basis, falls \(S\) sowohl ein Erzeugendensystem als auch linear unabhängig

Es ist häufig (insbesondere bei endlichen Basen) praktisch, eine Ordnung auf den Basiselementen anzunehmen.