Tato úloha neprošla kontrolou správnosti.

Najdi duální bázi III.

Úloha číslo: 1449

K bázi \(M=\{(2{,}3,2),(3{,}1,2),(4{,}4,1) \}\) na prostoru \(\mathbb{Z}^3_5\) učete duální bázi \(M^*\).

  • Rozbor

    Máme-li určit bázi \(M^*\) duální k bázi \(M\) prostoru \(V\), je nejprve vhodné uvědomit si, jak je definován duální prostor \(V^*\) k prostoru \(V\).

    Duální prostor

    Nechť \(V\) je vektorový prostor nad tělsem \(T\), pak duálním prostorem \(V^*\) k prostoru \(V\) rozumíme prostor všem lineárních forem na prostoru \(V\).

    Prvky duálního prostoru \(V^*\) jsou tedy všechny lineární formy na prostoru \(V\), někdy též zvány jako lineární funkcionály na \(V\).

    Platí, že \(\dim{V}=\dim{V^*}\).

    Duální báze

    Nechť \(V\) je prostor nad tělesem \(T\) dimenze \(n\) a \(f\) lineární forma na \(V\), pak duální bází \(M^*\) k bázi \(M=\{ m_1, \cdots ,m_n\}\) rozumíme bázi \(M^*=\{ f_1, \cdots ,f_n\}\) prostoru \(V\), kde platí:

    \[\forall i=1, \cdots ,n:[f_i]_M=(0, \cdots ,1_i, \cdots, 0)=e_i\]

    Prvek duální báze \(f_i\) je tedy lineární forma, která má vůči bázi \(M\) analytické vyjádřením \(f_i(x_1, \cdots , x_n)=x_i\), nebo-li jinými slovy \(f_i(m_j) = \delta_{ij}\).

    Platí tedy rovnost

    \[\begin{pmatrix} \cdots & f_1 & \cdots \\ & \vdots & \\ \cdots & f_n & \cdots \end{pmatrix} \cdot \begin{pmatrix} \vdots & & \vdots \\ m_1 & \cdots & m_n \\ \vdots & & \vdots \end{pmatrix} = \begin{pmatrix} f_1 m_1 & \cdots & f_1 m_n \\ \vdots & \ddots & \vdots \\ f_n m_1 & \cdots & f_n m_n \end{pmatrix} =\] \[=\begin{pmatrix} 1 & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & 1 \end{pmatrix}\]

    Je zjevné, že platí \(M^* \cdot M = E\) a hledání duální báze tak přechází v řešení matickové rovnosti

    \[(M|E) \sim \cdots \sim (N|E)\]

    kde zadáme-li vektory báze \(M\) v řádcích matice \(M\), pak nám vyjdou vektory báze \(M^*\) v sloupcích matice \(N\) a naopak.

    Více o analytickém vyjádření lineárních forem v úloze Analytické vyjádření lineární formy I..

  • Nápověda 1.

    Dle teorie uvedené v rozboru úlohy sestavte a vyřešte maticový výraz vedoucí k nalezení duální báze.

    Následně určete duální bázi.

    Pozor, počítáme nad tělesem \(\mathbb{Z}_5\)!!!

  • Řešení

    Z platnosti vztahu \(M^* \cdot M = E\) hledání duální báze přechází v řešení matickové rovnosti

    \[(M|E) \sim \cdots \sim (N|E)\]

    kde jsou-li vektory báze \(M\) zadány v řádcích matice \(M\), pak v sloupcích matice \(N\) obdržíme vektory báze \(M^*\).

    Řešme tedy výše uvedený výraz

    \[\left( \begin{array}{lll|rrr} 2 & 3 & 4 \,&\, 1 & 0 & 0 \\ 3 & 1 & 4 & 0 & 1 & 0 \\ 2 & 2 & 1 & 0 & 0 & 1 \\ \end{array} \right) \begin{array}{l} \phantom{I} II+I\\ III-I\\ 3I\\ \end{array} \sim \] \[\sim \left( \begin{array}{lll|rrr} 1 & 4 & 2 \,&\, 3 & 0 & 0 \\ 0 & 4 & 3 & 1 & 1 & 0 \\ 0 & 4 & 2 & 4 & 0 & 1 \\ \end{array} \right) \begin{array}{l} \phantom{I} I-III\\ III-II\\ \\ \end{array} \sim \] \[\sim \left( \begin{array}{lll|rrr} 1 & 0 & 0 \,&\, 4 & 0 & 4 \\ 0 & 4 & 3 & 1 & 1 & 0 \\ 0 & 0 & 4 & 3 & 4 & 1 \\ \end{array} \right) \begin{array}{l} \phantom{I} II+3III\\ 4III\\ \\ \end{array} \sim \] \[\sim \left( \begin{array}{lll|rrr} 1 & 0 & 0 \,&\, 4 & 0 & 4 \\ 0 & 4 & 0 & 0 & 3 & 3 \\ 0 & 0 & 1 & 2 & 1 & 4 \\ \end{array} \right) \begin{array}{l} \phantom{I} 4II\\ \\ \\ \end{array} \sim \] \[\sim \left( \begin{array}{lll|rrr} 1 & 0 & 0 \,&\, 4 & 0 & 4 \\ 0 & 1 & 0 & 0 & 2 & 2 \\ 0 & 0 & 1 & 2 & 1 & 4 \\ \end{array} \right) \begin{array}{l} \phantom{I} \\ \\ \\ \end{array} \sim \]

    Řešením maticového výrazu vyšlo, že

    \[N = \begin{pmatrix} 4 & 0 & 4\\ 0 & 2 & 2 \\ 2 & 1 & 4 \end{pmatrix}\]

    Vzhledem k tomu, že jsme vektory báze \(M\) zadali ve sloupcích, pak matice \(N\) obsahuje vektory báze \(M^*\) ve svých řádcích, pak tedy platí

    \[M^*=\{ (4{,}0,4),(0{,}2,2),(2{,}1,4) \}\]
  • Analytické vyjádření forem

    \[\forall x \in \mathbb{Z}^3_5:f_1(x)=4x_1+4x_3\] \[\forall x \in \mathbb{Z}^3_5:f_2(x)=2x_2+2x_3\] \[\forall x \in \mathbb{Z}^3_5:f_3(x)=x_3\] \[\forall x \in \mathbb{Z}^3_5:f_4(x)=2x_1+1x_2+4x_3\]
  • Liší-li se Váš výsledek od uvedeného!

    Jak je obsaženo v zadání, úloha je řešena nad jinou struktrou než nad reálnými čísly \(\mathbb{R}\).

    Před kontaktováním administrátorů si prosím nejprve prohlédněte úlohu Z modulo n a své výsledky se pokuste patřičně upravit.

Úroveň náročnosti: Vysokoškolská úloha
Komplexní úloha
Úloha s vysvětlením teorie
Zaslat komentář k úloze