Lineaire algebra/Duale ruimte

Uit Wikibooks

Ga naar: navigatie, zoek

De lineaire ruimte van de eenvormen op V is nauw met V verbonden en wordt daarom op een speciale manier aangeduid.

Inhoud

[bewerken] Definitie 16.1

De lineaire ruimte van de eenvormen op V heet de duale ruimte V* van V.


De duale ruimte heeft dezelfde dimensie als de oorspronkelijk ruimte.

[bewerken] Stelling 16.1

Als V de dimensie n heeft, is ook de dimensie van V* gelijk aan n.

[bewerken] Bewijs

Kies een basis (v_1,...,v_n)\, van V. en definieer de eenvormen (v_1^*,...,v_n^*)\, door:

v_i^*(v_j)=\delta_{ij}

Deze eenvormen vormen een basis van de duale ruimte, want ze zijn onafhankelijk en een willekeurige eenvorm u is een lineaire combinatie van deze eenvormen, immers:

u(v_i)=u(v_1)v^*_1(v_i)+\ldots+u(v_n)v^*_n(v_i)=\left(u(v_1)v^*_1+\ldots+u(v_n)v^*_n\right)(v_i).


De bovengenoemde basis van de duale ruimte die als het ware bij een basis van de oorspronkelijke ruimte hoort speelt een speciale rol en heeft daarom ook een speciale naam.

[bewerken] Definitie 16.2

De basis (v_1^*,...,v_n^*)\, van de duale ruimte V* die met de basis (v_1,...,v_n)\, van V verbonden is door:

v_i^*(v_j)=\delta_{ij}

heet de duale basis van (v_1,...,v_n)\,.


Heckert GNU.png Deze pagina is vrijgegeven onder de GNU Free Documentation License (GFDL) en nog niet onder CC-BY-SA. Klik hier voor meer informatie.

Wilt u deze tekst gebruiken onder de Creative Commons CC-BY-SA licentie?
Klik dan hier om te kijken van welke gebruikers u nog toestemming nodig heeft.

Informatie afkomstig van http://nl.wikibooks.org Wikibooks NL.
Wikibooks NL is onderdeel van de wikimediafoundation.
Persoonlijke instellingen