Báze

Bází [[Vektorové prostory|vektorového prostoru]] \(V\) myslíme [[Množiny|množinu]] [[Vektor|vektorů]] z \(V\), která je - [[Lineární závislost|lineárně nezávislá]] - a jejíž [[Lineární obal|lineárním obalem]] je celý vektorový prostor.

Báze vzniká tím, že z množiny vektorů vektorového prostoru odebíráme vektory do té doby, dokud nenajdeme množinu lineárně nezávislých vektorů, pomocí kterých můžeme vyjádřit jakýkoliv vektor v celém vektorovém prostoru.

Tímto nám ale může vzniknout několik lineárně nezávislých množin - ačkoliv je jedno, kterou bychom zvolili, vždy bude platit následující tvrzení:

Steinitzova věta Pro každé dvě báze téhož vektorového prostoru platí, že mají stejný počet prvků.