Basis(sen) van isomorfe vectorruimten

Matrixrekenen, vectorruimten, groep-en ringstructuren, (lineaire) tranformaties.
Plaats reactie
tombot
Vast lid
Vast lid
Berichten: 47
Lid geworden op: 23 dec 2009, 23:14

Basis(sen) van isomorfe vectorruimten

Bericht door tombot » 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. :)

Gebruikersavatar
op=op
Vergevorderde
Vergevorderde
Berichten: 1096
Lid geworden op: 23 apr 2010, 18:11

Re: Basis(sen) van isomorfe vectorruimten

Bericht door op=op » 09 jun 2012, 13:59

Ik kan me voorstellen dat een basis van de ene ruimte wordt afgebeeld in een afhankelijk stelsel en net zo de andere kant op.
Dat bases op bases worden afgebeeld volgt niet uit de bijectiviteit van de afbeelding.

tombot
Vast lid
Vast lid
Berichten: 47
Lid geworden op: 23 dec 2009, 23:14

Re: Basis(sen) van isomorfe vectorruimten

Bericht door tombot » 09 jun 2012, 14:11

Ik zie net in dat mijn vraag in feite geen steek houd. Ik vroeg mij af of je de basis gekozen voor V ook kon gebruiken als basis voor W. Wat ik net inzag (klopt dit?) is dat die bepaalde basis van V wél een basis kan zijn van een willekeurige vectorruimte W, zonder rekening te houden met de afbeelding, maar niet identiek gebruikt kan worden als basis van W onder de afbeelding V -> W.

Gebruikersavatar
wnvl
Vergevorderde
Vergevorderde
Berichten: 1493
Lid geworden op: 05 okt 2011, 16:30

Re: Basis(sen) van isomorfe vectorruimten

Bericht door wnvl » 09 jun 2012, 14:39

Er geldt dus niet dat



maar wel dat




Stel , dan bestaat er een zodat



Er geldt dat



Plaats reactie