Sbírka řešených úloh

Najdi duální bázi III.

Úloha číslo: 1449

• 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\)!!!

• Nápověda 1. - řešení (sestavení maticového výrazu)

  Víme, že i-tý prvek duální báze \(M^*\) je lineární forma \(f_i\), pro niž platí, že \(f_i(m_j) = \delta_{ij}\), kde \(m_j\) je j-tý prvek báze \(M\).

  Platí tedy rovnost \(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 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ýraz

  \[\left( \begin{array}{lll|rrr} \vdots & \vdots & \vdots \,&\, 1 & 0 & 0 & \\ m_1 & m_2 & m_3 & 0 & 1 & 0 & \\ \vdots & \vdots & \vdots & 0 & 0 & 1 & \\ \end{array} \right) = \] \[=\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) \sim \cdots \] \[ \cdots \sim \left( \begin{array}{lll|rrr} 1 & 0 & 0 \,&\, \cdots & f_1 & \cdots \\ 0 & 1 & 0 & \cdots & f_2 & \cdots \\ 0 & 0 & 1 & \cdots & f_3 & \cdots \\ \end{array} \right)\]

• Nápověda 1. - řešení (řešení maticového výrazu)

  \[\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 \] \[ N = \begin{pmatrix} 4 & 0 & 4\\ 0 & 2 & 2 \\ 2 & 1 & 4 \end{pmatrix} \]

• Nápověda 1. - řešení (určení vektorů duální báze)

  Ř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) \}\]

• Ř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.