Twierdzenie Steinitza
Z Wikipedii
Twierdzenie Steinitza o wymianie. Twierdzenie algebry liniowej, mówiące że dowolny układ wektorów liniowo niezależnych skończeniewymiarowej przestrzeni liniowej można dopełnić do bazy tej przestrzeni wektorami wybranymi ze z góry zadanej bazy. Twierdzenie nazwane imieniem matematyka, Ernsta Steinitza.
[edytuj] Teza
Załóżmy, że jest bazą przestrzeni V oraz układ wektorów jest liniowo niezależny. Wtedy:
- Spośród wektorów można wybrać n − s wektorów, które wraz z wektorami tworzą bazę V.