Vlastnosti Bilineární formy II.
Úloha číslo: 1467
Bilineární forma na prostoru \(\mathbb{Z}^3_3\) má vzhledem ke kanonické bázi analytické vyjádření:
\[f(x,y) = 2x_1y_1 + 1x_1y_1+1x_1y_3+ x_2y_2+2x_2y_3 +2x_3y_2\]určete její hodnost, defekt, levý a pravý vrchol.
Rozbor
Již víme, co si představit pod pojmy Analytické vyjádření k duální bázi a Analytické vyjádření bilineární formy I.. Nyní si ukážeme některé základní vlasntosti bilineární formy.
Hodnost Bilineární formy
Nechť \(f\) je bilineární forma na prostoru \(V\) dimenze \(n\) a \(A\) matice řádu \(n\) jejího analytického vyjádření vzhledem k bázi \(M\), pak hodností \(rf\) formy \(f\) rozumíme hodnost její matice \(A\).
Určení hodnosti formy \(f\) tedy přechází na určení hodnosti její matice \(A\).(Hodnost matice).
Defekt Bilineární formy
Nechť \(f\) je bilineární forma na prostoru \(V\) dimenze \(n\) a \(A\) matice řádu \(n\) jejího analytického vyjádření vzhledem k bázi \(M\), pak jestliže \(m\) je hodnost formy \(f\), defektem \(df\) rozumíme \(df=n-m\) nebo také hodnost nulového prostoru matice \(A\).
Pro určení defektu tedy postačí určit hodnost formy, defekt následně určíme jako \(d=n-m\).
Levý vrchol
Nechť \(f\) je bilineární forma na prostoru \(V\) dimenze \(n\) a \(A\) matice řádu \(n\) jejího analytického vyjádření vzhledem k bázi \(M\), pak levým vrcholem \(Lf\) formy \(f\) rozumíme:
\[Lf=\{ x \in V; \forall y \in V f(x,y) = 0 \}\]Hledání \(Lf\) přechází na řešení:
\[Lf= \{ x\in V; A^{\mathrm{T}} \cdot \langle x \rangle^{\mathrm{T}}_M =0 \}\]Nezáleží na volbě \(y\).
Pravý vrchol
Nechť \(f\) je bilineární forma na prostoru \(V\) dimenze \(n\) a \(A\) matice řádu \(n\) jejího analytického vyjádření vzhledem k bázi \(M\), pak pravým vrcholem \(Rf\) formy \(f\) rozumíme:
\[Rf=\{ y \in V; \forall x \in V f(x,y) = 0 \}\]Hledání \(Pf\) přechází na řešení:
\[Lf= \{ y\in V; A \cdot \langle y \rangle^{\mathrm{T}}_M =0 \}\]Nezáleží na volbě \(x\).
Poznámka
Musí platit že \(df=\dim{Lf}=\dim{Rf}\)
Nápověda - Matice formy
Napište matici analytického vyjádření bilineární formy \(f\) vzhledem ke kanonické bázi.
Nápověda - hodnost formy a defekt
Hodnost formy \(rf\) dle teorie odpovídá hodnosti matice jejího analytického vyjádření \(A\) a její defekt pak hodnosti nulového prostoru matice \(A\)
Nápověda - Levý vrchol
Levý vrchol formy \(f\) určíme, v souladu s rozborem úlohy, jako řešení soustavy
\[Lf= \{ x\in V; A^{\mathrm{T}} \cdot \langle x \rangle^{\mathrm{T}} =0 \}\]Povšimněme si, že nezáleží na volbě \(y\), hledáme \(x\) nulující matici \(A^{\mathrm{T}}\).
Nápověda - Pravý vrchol
Pravý vrchol formy \(f\) určíme, v souladu s rozborem úlohy, jako řešení soustavy
\[Lf= \{ y\in V; A \cdot \langle y \rangle^{\mathrm{T}} =0 \}\]Povšimněme si, že nezáleží na volbě \(x\), hledáme \(y\) nulující matici \(A\).
Řešení
Bilineární forma na prostoru \(\mathbb{Z}^3_3\) má vzhledem ke kanonické bázi analytické vyjádření:
\[f(x,y) = 2x_1y_1 + 1x_1y_2+1x_1y_3+ x_2y_2+2x_2y_3 +2x_3y_2\]indexy u \(x\), \(y\) v jednotlivých členech sumy udávají souřadnice dílčích koeficientů v řádích a sloupcích matice, proto matice formy \(A\) bude vypadat následovně:
\[A= \begin{pmatrix} 2 & 1 & 1\\ 0 & 1 & 2\\ 0 & 2 & 0 \end{pmatrix}\]Vzhledem ke skutečnosti, že hodnost formy odpovídá hodnosti její matice, uveďme nyní matici \(A\) formy \(f\) do řádkově odstupňovaného tvaru, kde bude hodnost \(A\) patrná na první pohled (bude odpovídat počtu nenulových řádků).
\[\left( \begin{array}{lll} 2 & 1 & 1 \,&\, \\ 0 & 1 & 2 & \\ 0 & 2 & 0 & \\ \end{array} \right) \begin{array}{l} \phantom{I} I+III\\ II+III\\ \\ \end{array} \sim \left( \begin{array}{lll} 2 & 0 & 1 \,&\, \\ 0 & 0 & 2 & \\ 0 & 2 & 0 & \\ \end{array} \right) \begin{array}{l} \phantom{I} I+II\\ II\to III\\ \\ \end{array} \sim \] \[\sim \left( \begin{array}{lll} 2 & 0 & 0 \,&\, \\ 0 & 2 & 0 & \\ 0 & 0 & 2 & \\ \end{array} \right) \begin{array}{l} \phantom{I} 2I\\ 2II\\ 2III\\ \end{array} \sim \left( \begin{array}{lll} 1 & 0 & 0 \,&\, \\ 0 & 1 & 0 & \\ 0 & 0 & 1 & \\ \end{array} \right) \begin{array}{l} \phantom{I} \\ \\ \\ \end{array}\]Vidíme, že počet nenulových řádků je dva a tedy hodnost \(f\) je 3.
Z teorie dále víme, že platí \(rf+df=n\), kde \(n=3\) udává dimenzi prostoru, na němž je forma \( f \) zadána. Pro defekt tedy platí:
\[df=3-rf=3-3=0\]Poznámka: Defekt můžeme také určit jako počet nulovách řádků matice \(A\).
Nalezení Levého vrcholu \(Lf\) formy \(f\) spočívá v nalezení řešení soustavy:
\[Lf= \{ x\in V; A^{\mathrm{T}} \cdot \langle x \rangle^{\mathrm{T}} =0 \}\]Matici \(A^{\mathrm{T}}\) nejprve uvedeme do řádkově odstupňovaného tvaru:
\[A^{\mathrm{T}}= \begin{pmatrix} 2 & 0 & 0\\ 1 & 1 & 2\\ 1 & 2 & 0 \end{pmatrix} \begin{array}{l} \phantom{I} II+I\\ III+I\\ \\ \end{array} \sim \begin{pmatrix} 2 & 0 & 0\\ 0 & 1 & 2\\ 0 & 2 & 0 \end{pmatrix} \begin{array}{l} \phantom{I} II+III\\ \\ \\ \end{array} \sim \] \[ \sim \begin{pmatrix} 2 & 0 & 0\\ 0 & 0& 2\\ 0 & 2 & 0 \end{pmatrix} \begin{array}{l} \phantom{I} III\to II\\ \\ \\ \end{array} \sim \begin{pmatrix} 2 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 2 \end{pmatrix} \begin{array}{l} \phantom{I} \\ \\ \\ \end{array} \]poté odstupňovanou matici dosadíme do rovnosti a získáme
\[\begin{pmatrix} 2 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 2 \end{pmatrix} \begin{array}{l} \phantom{I} \\ \\ \\ \end{array} \cdot \begin{pmatrix} x\\ y\\ z \end{pmatrix} =0 \]Jak je patrné, \(A^{\mathrm{T}}\) je regulární a tedy řešením soustavy je pouze nulový vektor:
\[z=0\] \[y=0\] \[x=0\]z čehož plyne, že \(Lf\) je nulovým prostorem.
Nalezení Pravého vrcholu \(Rf\) formy \(f\) spočívá v nalezení řešení soustavy:
\[Rf= \{ x\in V; A \cdot \langle y \rangle^{\mathrm{T}} =0 \}\]odstupňovanou matici \(A\) dosadíme do rovnosti a získáme
\[\begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix} \begin{array}{l} \phantom{I} \\ \\ \\ \end{array} \cdot \begin{pmatrix} x\\ y\\ z \end{pmatrix} =0 \]\(A\) je regulární, pročež je řešením soustavy pouze nulový vektor:
\[z=0\] \[y=0\] \[x=0\]z čehož plyne, že \(Rf\) je nulovým prostorem.
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.
