Basis(sen) van isomorfe vectorruimten
Geplaatst: 09 jun 2012, 12:24
Ik was net een bewijs aan het bekijken van een stelling die zegt dat de dimensie van twee isomorfe, eindig voortgebrachte vectorruimten gelijk is. In het bewijs probeert men aan te tonen dat de verzameling van het beeld van de basisvectoren van de ene vectorruimte, de basis vormt van de andere vectorruimte. Of, om het in symbolen voor te stellen:
STELLING:
BEWIJS:
Mijn vraag hierover is als volgt:
Omdat V isomorf is met W, en de afbeelding dus ook een bijectie is, dacht ik dat de basis van V automatisch ook een basis is van W. Want beide basissen (van V en W) bevatten evenveel basisvectoren én omdat de afbeelding V -> W een bijectie is, zijn deze vectoren ook voortbrengend (én vrij) voor de vectorruimte W. Er moet met andere woorden niet noodzakelijk een basis van W gevormd worden door bijvoorbeeld het beeld van de basisvectoren van V te nemen.
Klopt deze redenering, want ik vind niet direct een antwoord in mijn nota's/handboek...
Misschien nog wel even opmerken dat dit niet direct verband houdt met het bewijs zelf, want in dat geval is het wél nodig om het beeld van de basisvectoren te nemen. Mijn vraag is gewoon een opmerking die ik bij mezelf maakte.
STELLING:
BEWIJS:
Mijn vraag hierover is als volgt:
Omdat V isomorf is met W, en de afbeelding dus ook een bijectie is, dacht ik dat de basis van V automatisch ook een basis is van W. Want beide basissen (van V en W) bevatten evenveel basisvectoren én omdat de afbeelding V -> W een bijectie is, zijn deze vectoren ook voortbrengend (én vrij) voor de vectorruimte W. Er moet met andere woorden niet noodzakelijk een basis van W gevormd worden door bijvoorbeeld het beeld van de basisvectoren van V te nemen.
Klopt deze redenering, want ik vind niet direct een antwoord in mijn nota's/handboek...
Misschien nog wel even opmerken dat dit niet direct verband houdt met het bewijs zelf, want in dat geval is het wél nodig om het beeld van de basisvectoren te nemen. Mijn vraag is gewoon een opmerking die ik bij mezelf maakte.