Benutzerin:Zornsches Lemma/ Spielwiese

Aufgabe (Duale Basis bestimmen)

1. Betrachte die Basis $B_{1}=\left\{{\begin{pmatrix}2\\0\\1\end{pmatrix}},{\begin{pmatrix}0\\1\\1\end{pmatrix}},{\begin{pmatrix}1\\1\\2\end{pmatrix}}\right\}$ von $\mathbb {R} ^{3}$. Bestimme die zu $B_{1}$ duale Basis $B_{1}^{*}=\{v_{1}^{*},v_{2}^{*},v_{3}^{*}\}$, d.h. bestimme für $1\leq i\leq 3$ die explizite Funktionsvorschrift
   $v_{i}^{*}\colon \mathbb {R} ^{3}\to \mathbb {R} ,\quad {\begin{pmatrix}x\\y\\z\end{pmatrix}}\mapsto v_{i}^{*}({\begin{pmatrix}x\\y\\z\end{pmatrix}}).$
2. Betrachte die Basis $B_{2}=\{t^{3}+t^{2},t^{2},t^{2}-t,1\}$ von $\mathbb {R} [t]_{\leq 3}$. Bestimme die zu $B_{2}$ duale Basis $B_{2}^{*}=\{p_{1}^{*},\ldots ,p_{4}^{*}\}$, d.h. bestimme für $1\leq i\leq 4$ die explizite Funktionsvorschrift
   $p_{i}^{*}\colon \mathbb {R} [t]_{\leq 3}\to \mathbb {R} ,\quad a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\mapsto p_{i}^{*}(a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}).$
3. Betrachte die Basis $B_{3}=\left\{{\begin{pmatrix}1&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&1\\1&0\end{pmatrix}},{\begin{pmatrix}0&1\\-1&0\end{pmatrix}},{\begin{pmatrix}1&1\\1&1\end{pmatrix}}\right\}$ von $\mathbb {C} ^{2\times 2}$. Bestimme die zu $B_{3}$ duale Basis $B_{3}^{*}=\{M_{1}^{*},\ldots ,M_{4}^{*}\}$, d.h. bestimme für $1\leq i\leq 4$ die explizite Funktionsvorschrift
   $M_{i}^{*}\colon \mathbb {C} ^{2\times 2}\to \mathbb {C} ,\quad {\begin{pmatrix}a&b\\c&d\end{pmatrix}}\mapsto M_{i}^{*}({\begin{pmatrix}a&b\\c&d\end{pmatrix}}).$

Lösung (Duale Basis bestimmen)

Lösung Teilaufgabe 1:

Lösung Teilaufgabe 2:

Wir wissen, was die Abbildung $p_{i}^{*}$ auf den Basisvektoren $p_{i}\in B_{2}$ macht. Um herauszufinden, wie die $p_{i}^{*}$ auf einem allgemeinen Vektor $a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}$ agiert, können wir ihn in der Basis $B_{2}$ ausdrücken:

${\begin{aligned}&a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\\&{\color {OliveGreen}\left\downarrow {\text{ Mit }}a_{3}t^{3}-a_{3}t^{3}{\text{ und }}-a_{1}t^{2}+a_{1}t^{2}{\text{ erweitert.}}\right.}\\=&a_{3}(t^{3}+t^{2})-a_{3}t^{2}+a_{2}t^{2}+a_{1}(t-t^{2})+a_{1}t^{2}+a_{0}\\&{\color {OliveGreen}\left\downarrow {\text{Umsortiert nach den Basisvektoren }}p_{1},p_{2},p_{3},p_{4}\right.}\\=&a_{3}(t^{3}+t^{2})+(a_{1}+a_{2}-a_{3})t^{2}-a_{1}(t^{2}-t)+a_{0}\\=&a_{3}p_{4}+(a_{1}+a_{2}-a_{3})p_{3}-a_{1}p_{2}+p_{1}\end{aligned}}$

Damit können wir die Funktionsvorschriften ausrechnen. Für $p_{1}^{*}$ haben wir

${\begin{aligned}&p_{1}^{*}(a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0})\\=&p_{1}^{*}(a_{3}p_{4}+(a_{1}+a_{2}-a_{3})p_{3}-a_{1}p_{2}+p_{1})\\&{\color {OliveGreen}\left\downarrow p_{1}^{*}{\text{ ist linear.}}\right.}\\=&a_{3}\underbrace {p_{1}^{*}(p_{4})} _{=0}+(a_{1}+a_{2}-a_{3})\underbrace {p_{1}^{*}(p_{3})} _{=0}-a_{1}\underbrace {p_{1}^{*}(p_{2})} _{=0}+\underbrace {p_{1}^{*}(p_{1})} _{=1}\\=&1\end{aligned}}$

Für $p_{2}^{*}$ bekommen wir

${\begin{aligned}&p_{2}^{*}(a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0})\\=&p_{2}^{*}(a_{3}p_{4}+(a_{1}+a_{2}-a_{3})p_{3}-a_{1}p_{2}+p_{1})\\&{\color {OliveGreen}\left\downarrow p_{2}^{*}{\text{ ist linear.}}\right.}\\=&a_{3}\underbrace {p_{2}^{*}(p_{4})} _{=0}+(a_{1}+a_{2}-a_{3})\underbrace {p_{2}^{*}(p_{3})} _{=0}-a_{1}\underbrace {p_{2}^{*}(p_{2})} _{=1}+\underbrace {p_{2}^{*}(p_{1})} _{=0}\\=&-a_{1}\end{aligned}}$

Die Funktionsvorschrift von $p_{3}^{*}$ ist

${\begin{aligned}&p_{3}^{*}(a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0})\\=&p_{3}^{*}(a_{3}p_{4}+(a_{1}+a_{2}-a_{3})p_{3}-a_{1}p_{2}+p_{1})\\&{\color {OliveGreen}\left\downarrow p_{3}^{*}{\text{ ist linear.}}\right.}\\=&a_{3}\underbrace {p_{3}^{*}(p_{4})} _{=0}+(a_{1}+a_{2}-a_{3})\underbrace {p_{3}^{*}(p_{3})} _{=1}-a_{1}\underbrace {p_{3}^{*}(p_{2})} _{=0}+\underbrace {p_{3}^{*}(p_{1})} _{=0}\\=&a_{1}+a_{2}-a_{3}\end{aligned}}$

Für $p_{4}^{*}$ erhalten wir

${\begin{aligned}&p_{4}^{*}(a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0})\\=&p_{4}^{*}(a_{3}p_{4}+(a_{1}+a_{2}-a_{3})p_{3}-a_{1}p_{2}+p_{1})\\&{\color {OliveGreen}\left\downarrow p_{4}^{*}{\text{ ist linear.}}\right.}\\=&a_{3}\underbrace {p_{4}^{*}(p_{4})} _{=1}+(a_{1}+a_{2}-a_{3})\underbrace {p_{4}^{*}(p_{3})} _{=0}-a_{1}\underbrace {p_{4}^{*}(p_{2})} _{=0}+\underbrace {p_{4}^{*}(p_{1})} _{=0}\\=&a_{3}\end{aligned}}$

Zusammengefasst erhalten wir für die Funktionsvorschriften

${\begin{aligned}&p_{1}^{*}\colon \mathbb {R} [t]_{\leq 3}\to \mathbb {R} ,\quad a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\mapsto 1\\&p_{2}^{*}\colon \mathbb {R} [t]_{\leq 3}\to \mathbb {R} ,\quad a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\mapsto -a_{1}\\&p_{1}^{*}\colon \mathbb {R} [t]_{\leq 3}\to \mathbb {R} ,\quad a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\mapsto a_{1}+a_{2}-a_{3}\\&p_{1}^{*}\colon \mathbb {R} [t]_{\leq 3}\to \mathbb {R} ,\quad a_{3}t^{3}+a_{2}t^{2}+a_{1}t+a_{0}\mapsto a_{3}\\\end{aligned}}$