Analytické vyjádření bilineární formy III.
Úloha číslo: 1463
Bilineární forma na prostoru \(\mathbb{Z}^3_5\) má vzhledem ke kanonické bázi a bázi \(L= \{(4{,}1,1),(1{,}4,1),(1{,}1,4) \}\) analytické vyjádření:
\[\forall x,y \in \mathbb{Z}^3_5 : 1x_1y_1 + 1x_1y_2+2x_1y_3+ x_2y_2+ 3x_3y_1+ 2x_3y_2\]určete její analytické vyjádření vzhledem k bázím \(M= \{(1{,}1,0),(3{,}0,0),(1{,}2,3) \}\), \(N=\{(1{,}2,3),(2{,}2,0),(4{,}2,4) \}\)
Rozbor
ÚvodemNejsme-li si jistí pojmy, matice homomorfismu, lineární forma, bilineární forma, analytické vyjádření lineární formy nebo matice přechodu, doporučuji zopakovat si:
- Lineární forma I.
- Analytické vyjádření lineární formy I.
- Matice homomorfismu
- Matice přechodu
- Matice homomorfismu
- Bilineární forma I.
- též je vhodné zopakovat si tzv. kouzelný vzorec.
Teoretický aparát
D: Nechť \(V\) je vektorový prostor nad tělesem \(T\) \(M = \{m_1, \cdots, m_n \}\) jeho báze a \(f\) bilineární forma na prostoru \(V\). Maticí bilineární formy \(f\) vzhledem k bázi \(M\) budeme rozumět čtvercovou matici řádu \(n\) \(A=(a_{ij})\), pro kterou platí:
\[\forall i,j = 1,\cdots, n: a_{ij}=f(m_i,m_j)\]Analytickým vyjádřením \(f\) dále budeme rozumět: \[f(x,y) =\sum_{i=1,j=1}^{n}{a_{ij}x_iy_j}\]
V: Nechť \(V\) je vektorový prostor dimenze \(n\) nad tělesem \(T\), \(M\) jeho báze, \(f\) bilineární forma na prostoru \(V\) a \(A\) čtvercová matice řádu \(n\) nad tělesem \(T\). Řekneme, že \(A\) je maticí bilineární formy \(f\) vzhledem k bázi \(M\), jestliže platí následující:
\[\forall x,y \in V: f(x,y)= \langle x\rangle_M \cdot A \cdot \langle y \rangle_M^{\mathrm{T}}\]Postup
Máme-li tedy k dispozici matici \(A=(a_{ij})\) bilineární formy \(f\) vzhledem k bázím \(M,N\) prostoru \(V\) dimenze \(n\) nad tělesem \(T\) a naším úkolem je získat matici formy \(f\) vzhledem k bázím \(K,L\) (znát matici fromy znamená znát její analytické vyjádření, viz výše uvedené), vyjdeme z kouzelného vzorečku, kde známe:
\[\forall x,y \in V: f(x,y)= \langle x\rangle_M \cdot A \cdot \langle y \rangle_N^{\mathrm{T}}\tag{1}\]a chceme získat matici \(B\) tak, aby platilo:
\[\forall x,y \in V: f(x,y)= \langle x\rangle_K \cdot B \cdot \langle y \rangle_L^{\mathrm{T}}\tag{2}\]Ku splnění našeho cíle postačí vhodně využít matice přechodu \(P_{KM}\) od báze \(K\) k bázi \(M\) a \(P_{LN}\) od báze \(L\) k bázi \(N\):
\[\forall x \in V: \langle x\rangle_M^{\mathrm{T}}= P_{KM}\cdot\langle x\rangle_K^{\mathrm{T}} \]Jelikož chceme vyjádřit \( \langle x\rangle_M\) celou rovnici, dle pravidel pro transponování matic a součinu matic, transponujeme jako:
\[\forall x \in V: \langle x\rangle_M= \langle x\rangle_K \cdot P_{MK}^{\mathrm{T}} \tag{3}\]Pro \(y\) obdobně získáváme:
\[\forall y \in V: \langle y\rangle_N^{\mathrm{T}}= P_{LN}\cdot\langle y\rangle_L^{\mathrm{T}} \tag{4}\]Dosadíme-li nyní (3) a (4) do (1) obdržíme:
\[\forall x,y \in V: f(x,y)= \langle x\rangle_K \cdot P_{KM}^{\mathrm{T}} \cdot A \cdot P_{LN}\cdot\langle y\rangle_L^{\mathrm{T}}\tag{5}\]Při porovnání (5) a (2) zjišťujeme, že platí:
\[B=P_{KM}^{\mathrm{T}} \cdot A \cdot P_{LN}\]a tedy hledání matice \(B\) přechází na hledání matic přechodu \(P_{KM},\,\, P_{LN}\)
Kouzelný vzoreček
Napište kouzelný vzoreček pro bilineární formu \(f\) pro báze, vůči nimž je \(f\) zadaná a pro báze, vůči nimž máme určit analytické vyjádření \(f\).
Kouzelný vzoreček - cesta k matici B
Již víme, že kouzelný vzoreček formy \(f\) vzhledem k bázím \(M,\,\,N\) bude mít podobu:
\[\forall x,y \in \mathbb{Z}^3_5: f(x,y)= \langle x\rangle_{M} \cdot B \cdot \langle y \rangle_{N}^{\mathrm{T}}\]Pomocí vhodných přechodů a známé matice \(A\) formy \(f\) vzhledem ke kanonické bázi a bázi \(L\) nyní přepišme výchotí podobu kouzelného vzorečku do kýžené, výše uvedené podoby, aby byla patrná výpočetní cesta k matici \(B\).
Matice přechodu
Vyjádřeme nyní matice přechodu \(P_{k.b.,M}\) od kanonické báze k bázi \(M\) a \(P_{k.b.,N}\) od kanonické báze k bázi \(N\):
Matice formy A vzhledem k bázím M,N
Dle definice v rozboru určete matici formy \(f\) vzhledem k bázím \(M\), \(N\).
Matice B vzhledem ke k.b. a analytické vyjádření
Pomocí zjištěných matic přechodu \(P_{M,k.b},\,\, P_{NL}\), matice \(A\) formy \(f\) vzhledem ke kanonické bázi a bázi \(L\) a vztahů pro kouzelný vzoreček vyjádřete hledanou matici \(B\) a s ní spojené požadované analytické vyjádření formy \(f\).
Řešení
Bilineární forma na prostoru \(\mathbb{Z}^3_5\) je zadána(po řadě) vzhledem ke kanonické bázi a bázi \(L\). Její kouzelný vzoreček proto bude, ve své výchozí podobě, vypadat následovně:
\[\forall x,y \in \mathbb{Z}^3_5: f(x,y)= \langle x\rangle_{k.b.} \cdot A \cdot \langle y \rangle_L^{\mathrm{T}}\tag{1}\]Jelikož máme \(f\) vyjádřit vzhledem k bázím \(M,\,\,N\), její kouzelný vzoreček přepíšeme následovně:
\[\forall x,y \in \mathbb{Z}^3_5: f(x,y)= \langle x\rangle_{M} \cdot B \cdot \langle y \rangle_{N}^{\mathrm{T}}\tag{2}\]Naším úkolem je pomocí přechodů určit matici \(B\).
V souladu s teorií rozboru musíme vhodně využít matic přechodu \(P_{M,k.b.}\) od báze \(M\) ke kanonické bázi a \(P_{N,L}\) od báze \(N\) k bázi \(L\):
\[\forall x \in \mathbb{Z}_5^3: \langle x \rangle_{k.b.}^{\mathrm{T}}= P_{M,k.b.}\cdot\langle x \rangle_M^{\mathrm{T}} \]Jelikož chceme vyjádřit \( \langle x\rangle_{k.b.}\) celou rovnici, dle pravidel pro transponování matic a součinu matic, transponujeme jako:
\[\forall x \in \mathbb{Z}_5^3: \langle x\rangle_{k.b.}= \langle x\rangle_{M} \cdot P_{M,k.b.}^{\mathrm{T}} \tag{3}\]Pro \(y\) obdobně získáváme:
\[\forall y \in \mathbb{Z}_5^3: \langle y\rangle_{L}^{\mathrm{T}}= P_{N,L}\cdot\langle y\rangle_{N}^{\mathrm{T}} \tag{4}\]Dosadíme-li nyní (3) a (4) do (1) obdržíme:
\[\forall x,y \in \mathbb{Z}_5^3: f(x,y)= \langle x\rangle_M \cdot P_{M,k.b.}^{\mathrm{T}} \cdot A \cdot P_{N,L}\cdot\langle y\rangle_{N}^{\mathrm{T}}\tag{5}\]Při porovnání (5) a (2) zjišťujeme, že platí:
\[B=P_{M,k.b.}^{\mathrm{T}} \cdot A \cdot P_{N,L}\]a tedy hledání matice \(B\) přechází na hledání matic přechodu \(P_{M,k.b.},\,\, P_{N,L}\)
Matici přechodu \(P\) od báze \(C\) k bázi \(D\) hledáme řešením maticového výrazu \((D|C) \sim (E|P)\).
Vektory bází píšeme do sloupců matic, E rozumíme jednotkovou maticí a P pak hledanou maticí přechodu.
Matici \(P_{M,k.b.}\) tedy získáme řešením \((E|M) \sim (E|P_{k.b.,M})\).
Na první pohled je patrné, že:
\[P_{k.b.,M}=M= \begin{pmatrix} 1 & 3 & 1\\ 1 & 0 & 2\\ 0 & 0 & 3 \end{pmatrix}\]Matici \(P_{N,L}\) dále získáme řešením \((N|L) \sim (E|P_{N,L})\).
po dosazení:
\[\left( \begin{array}{lll|rrr} 4 & 1 & 1 \,&\, 1 & 2 & 4 \\ 1 & 4 & 1 & 2 & 2 & 2 \\ 1 & 1 & 4 & 3 & 0 & 4 \\ \end{array} \right) \begin{array}{l} \phantom{I} II+I\\ III+I\\ \\ \end{array} \sim \left( \begin{array}{lll|rrr} 4 & 1 & 1 \,&\, 1 & 2 & 4 \\ 0 & 2 & 0 & 3 & 4 & 1 \\ 0 & 0 & 2 & 4 & 2 & 3 \\ \end{array} \right) \begin{array}{l} \phantom{I} I+2II\\ I+2III\\ \\ \end{array} \sim \] \[\left( \begin{array}{lll|rrr} 4 & 0 & 0 \,&\, 0 & 4 & 2 \\ 0 & 2 & 0 & 3 & 4 & 1 \\ 0 & 0 & 2 & 4 & 2 & 3 \\ \end{array} \right) \begin{array}{l} \phantom{I} 4I\\ 3II\\ 3III\\ \end{array} \sim \left( \begin{array}{lll|rrr} 1 & 0 & 0 \,&\, 0 & 1 & 3 \\ 0 & 1 & 0 & 2 & 1 & 4 \\ 0 & 0 & 1 & 4 & 2 & 3 \\ \end{array} \right) \] \[P_{N,L} = \begin{pmatrix} 0 & 1 & 3\\ 2 & 1 & 4\\ 4 & 2 & 3 \end{pmatrix}\]Bilineární forma na prostoru \(\mathbb{Z}^3_5\) má vzhledem ke kanonické bázi a bázi \(N\) analytické vyjádření:
\[\forall x,y \in \mathbb{Z}^3_5 : 1x_1y_1 + 1x_1y_1+2x_1y_3+ x_2y_2+ 3x_3y_1+ 2x_3y_2\]proto matici formy \(A\) bude vypadat následovně:
\[A= \begin{pmatrix} 1 & 1 & 2\\ 0 & 1 & 0\\ 3 & 2 & 0 \end{pmatrix}\]Matici \(B\) získáme:
\[B=P_{k.b.,M}^{\mathrm{T}} \cdot A \cdot P_{k.b.,N}\]po dosazení získáváme:
\[B= \begin{pmatrix} 1 & 1 & 0\\ 3 & 0 & 0\\ 1 & 2 & 3 \end{pmatrix} \cdot \begin{pmatrix} 1 & 1 & 2\\ 0 & 1 & 0\\ 3 & 2 & 0 \end{pmatrix} \cdot \begin{pmatrix} 0 & 1 & 3\\ 2 & 1 & 4\\ 4 & 2 & 3 \end{pmatrix} = \] \[ =\begin{pmatrix} 1 & 2 & 2\\ 3 & 3 & 1\\ 0 & 4 & 2 \end{pmatrix} \cdot \begin{pmatrix} 0 & 1 & 3\\ 2 & 1 & 4\\ 4 & 2 & 3 \end{pmatrix} = \begin{pmatrix} 2 & 2 & 2\\ 0 & 3 & 4\\ 1 & 3 & 2 \end{pmatrix} \]a tedy v souladu s
\[\forall x,y \in \mathbb{Z}_5^3: f(x,y)= \langle x\rangle_{M} \cdot B \cdot \langle y \rangle_{N}^{\mathrm{T}}\]bude požadované analytické vyjádření vypadat:
\[\forall x,y \in \mathbb{Z}^3_5 :f(x,y)=\] \[=2x_1y_1+2x_1y_2+2x_1y_3+3x_2y_2+4x_2y_3+x_3y_1+3x_3y_2+2x_3y_3 \]Analytické vyjádření
\[f(x,y)=2x_1y_1+2x_1y_2+2x_1y_3+3x_2y_2+4x_2y_3+x_3y_1+3x_3y_2+2x_3y_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.
