Lineaire algebra/Duale ruimte

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

Definitie 16.1

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

Voorbeelden

Neem steeds $K=ℝ$,

• Zij $V={ℝ}^n$, dan zijn de projecties $p_i(x_1,\dots ,x_n)=x_i$ element van de duale ruimte $({ℝ}^n{)}^{*}$.
• Zij $V=C[-\pi ,\pi ]$, d.w.z de ruimte van de continue functies op $[-\pi ,\pi ]$, dan is $a_n(f)=\underset{-\pi }{\overset{\pi }{\int }}f(x)\sin (nx)dx$ een element van de duale ruimte van $C[-\pi ,\pi ]$.
• Zij $V=ℝ[x]$, d.w.z. de lineaire ruimte van alle veeltermen, dan zijn $ev:ℝ[x]\to ℝ:p(x)\mapsto p(5)$ en $D:ℝ[x]\to ℝ:p(x)\mapsto p^{\prime }(\pi )$ twee verschillende elementen van de duale ruimte van de veeltermen.

Stelling 16.1

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

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}$ dus 1 als i=j en 0 als i en j verschillend zijn

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 voor iedere basisvector $v_i$ geldt:

$u(v_i)=u(v_1)v_1^{*}(v_i)+\dots +u(v_n)v_n^{*}(v_i)=(u(v_1)v_1^{*}+\dots +u(v_n)v_n^{*})(v_i).$

Voor lineaire combinaties van de $v_i$ gelden vergelijkbare uitspraken omdat de onderliggende afbeeldingen lineair zijn.

Voor de eenvorm u geldt daarom dat

$u=u(v_1)v_1^{*}+\dots +u(v_n)v_n^{*}$

Iedere willekeurige eenvorm u is dus te schrijven als lineaire combinatie van de n eenvormen $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.

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)$.

Sjabloon:Sub