„Generátorrendszer (lineáris algebra)” változatai közötti eltérés

Nincs szerkesztési összefoglaló
Ha egy generátorrendszert további vektorokkal bővítjük, akkor még mindig generátorrendszer marad, azaz egy vektortér generátorrendszerei felszálló halmazrendszert alkotnak.<br>
 
:* Minden véges generátorrendszer tartalmaz bázist.
 
Ez úgy igazolható, hogy addig hagyunk el elemeket, ameddig lehet.<br>
71

szerkesztés