door Dries De Vos » za 02 jan 2016, 14:10
Die stellingen volgen inderdaad logischerwijze uit de definities van voortbrengendheid, lineaire onafhankelijkheid en een basis.
Een voorbeeld van een eindige voortbrengende verzameling van V, die een deelverzameling heeft die een basis is van V is bijvoorbeeld:
(1.0.0), (2.0.0), (0.1.0), (0.0.1). Maar dit zijn 4 vectoren, en de vraagstelling vroeg 'bestaan er 3 vectoren...'.
Een voorbeeld van een LO verzameling van vectorruimte V, die uitgebreid kan worden tot een basis, maar er geen is is bijvoobeeld:
(1.0.0), (0.1.0) (Dit zijn 2 vectoren, en de vraagstelling vroeg 'bestaan er 3 vectoren...'.)
om hiervan een basis te maken moeten we nog (bijvoorbeeld) (0.0.1) toevoegen..
Ik begrijp het nut van die stellingen bij deze vraag, maar omdat het aantal vectoren in mijn verzameling exact 3 moet zijn, leek het me dat de 2 onbeantwoorde situaties niet bestonden...
Die stellingen volgen inderdaad logischerwijze uit de definities van voortbrengendheid, lineaire onafhankelijkheid en een basis.
Een voorbeeld van een eindige voortbrengende verzameling van V, die een deelverzameling heeft die een basis is van V is bijvoorbeeld:
(1.0.0), (2.0.0), (0.1.0), (0.0.1). Maar dit zijn 4 vectoren, en de vraagstelling vroeg 'bestaan er 3 vectoren...'.
Een voorbeeld van een LO verzameling van vectorruimte V, die uitgebreid kan worden tot een basis, maar er geen is is bijvoobeeld:
(1.0.0), (0.1.0) (Dit zijn 2 vectoren, en de vraagstelling vroeg 'bestaan er 3 vectoren...'.)
om hiervan een basis te maken moeten we nog (bijvoorbeeld) (0.0.1) toevoegen..
Ik begrijp het nut van die stellingen bij deze vraag, maar omdat het aantal vectoren in mijn verzameling exact 3 moet zijn, leek het me dat de 2 onbeantwoorde situaties niet bestonden...