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

A Wikipédiából, a szabad enciklopédiából
[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a Érthetőbé tettem a a bővítésről szóló mondatot
Porribot (vitalap | szerkesztései)
a →‎Kapcsolódó szócikkek: Lásd még fejezetcím módosítás az ajánlás szerint AWB
19. sor: 19. sor:
Az állítás igaz végtelen generátorrendszerekre is, de ekkor a bizonyításhoz a [[Zorn-lemma|Zorn-lemmát]] vagy a [[kiválasztási axióma]] valamelyik más ekvivalensét kell felhasználni.
Az állítás igaz végtelen generátorrendszerekre is, de ekkor a bizonyításhoz a [[Zorn-lemma|Zorn-lemmát]] vagy a [[kiválasztási axióma]] valamelyik más ekvivalensét kell felhasználni.


== Lásd még ==
== Kapcsolódó szócikkek ==
* [[Lineáris algebra]]
* [[Lineáris algebra]]
* [[Lineáris függetlenség]]
* [[Lineáris függetlenség]]

A lap 2020. január 5., 17:50-kori változata

Definíció

Az a1,…,anV vektorokat a V vektortér generátorrendszerének nevezzük, ha V minden eleme előáll az ai vektorok lineáris kombinációjaként.

Példák

  • minden bázis egyben egy generátorrendszer is,
  • maga a V vektortér is generátorrendszer,

Tulajdonságok

Ha a generátorrendszert további V-beli vektorokkal bővítjük, akkor ismét generátorrendszert kapunk (azaz egy vektortér generátorrendszerei felszálló halmazrendszert alkotnak).

  • Minden véges generátorrendszer tartalmaz bázist.

Ez úgy igazolható, hogy addig hagyunk el elemeket, ameddig lehet.
Az állítás igaz végtelen generátorrendszerekre is, de ekkor a bizonyításhoz a Zorn-lemmát vagy a kiválasztási axióma valamelyik más ekvivalensét kell felhasználni.

Kapcsolódó szócikkek