Vectorruimten: Meer over deelruimten
Directe som van twee lineaire deelruimten
De Dimensiestelling voor lineaire deelruimten geeft een verband tussen de dimensies van de som en de doorsnede van twee lineaire deelruimten van een gegeven vectorruimte. We bekijken nu een speciale situatie, waarin twee deelruimten de hele vectorruimte opspannen en hun doorsnede triviaal (dat wil zeggen: ) is.
Directe somDe som van de lineaire deelruimten en van een vectorruimte heet direct als
- en
- .
In dit geval heet een complement van in .
We schrijven om aan te geven dat een directe som van en is.
Karakteriseringen van de directe somDe volgende uitspraken voor lineaire deelruimten en van een vectorruimte zijn equivalent.
- Voor elke vector in zijn er unieke vectoren in en in , zodat .
Als eindig is, dan is elk van deze uitspraken ook equivalent met elk van de volgende twee uitspraken:
- .
- Een basis van tezamen met een basis van is een basis van .
Laat de vectorruimte zijn van alle veeltermen in . Laat zien dat deze vectorruimte de directe som is van de lineaire deelruimten van even en oneven veeltermen:
We laten eerst zien dat elke veelterm in de som is van een even en een oneven veelterm. Bekijk daartoe de veeltermen
Uit volgt dat even is en uit dat oneven is. Hiermee hebben we laten zien dat .
Om het bewijs af te maken dat de directe som van en is moeten we nog laten zien dat alleen uit de nulvector bestaat. Als , dan geldt dus , waaruit volgt dat . Het bewijs is hiermee klaar.
Uit volgt dat even is en uit dat oneven is. Hiermee hebben we laten zien dat .
Om het bewijs af te maken dat de directe som van en is moeten we nog laten zien dat alleen uit de nulvector bestaat. Als , dan geldt dus , waaruit volgt dat . Het bewijs is hiermee klaar.
Ontgrendel volledige toegang
Toegang voor leraar
Vraag een demo account aan. Wij helpen je graag op weg met onze digitale leeromgeving.
Toegang voor student
Is jouw universiteit niet aangesloten?
Via Pass Your Math kan je toegang krijgen tot onze cursussen onafhankelijk van je onderwijsinstelling. Bekijk de prijzen en nog veel meer. Of ga naar
omptest.org als je een OMPT examen moet maken.
omptest.org als je een OMPT examen moet maken.