71
szerkeszté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>
|
szerkesztés