Îã 5.20 (¿¹à¼°¤Î¶õ´Ö¤Ë¤ª¤±¤ë¸ÇÍÃÍÌäÂê¤Î¶ñÂÎÎã)
Àþ·ÁÊÑ´¹
![$ F:\mathbb{R}[x]_2\to\mathbb{R}[x]_2$](img1998.png)
;
¤Î¸ÇÍÃÍ¡¤¸ÇͶõ´Ö¤òµá¤á¤ë¡¥
¤Þ¤º¡¤Àþ·ÁÊÑ´¹
¤Îɽ¸½¹ÔÎó
¤òµá¤á¤ë¡¥
´ðÄì
¤Î¤â¤È¤Ç
¿¹à¼°
,
¤ÎºÂɸ¤ò
,
¤È¤·¤Æɽ¤¹¤È¡¤
¤È½ñ¤±¤ë¡¥
¤³¤Î¤È¤¡¤
![$ f$](img156.png)
¤ò
![$ F$](img2005.png)
¤Ç¼Ì¤¹¤È
¤È¤Ê¤ë¡¥
¤³¤³¤Ç
¤Ç¤¢¤ë¤«¤é¡¤ÂåÆþ¤¹¤ë¤È
¡ù![$\displaystyle )\qquad g(x)= \left(1,\,\, x,\,\, x^2\right)A \vec{a}$](img2178.png) |
|
¤¬ÆÀ¤é¤ì¤ë¡¥
![$ A$](img265.png)
¤¬
![$ F$](img2005.png)
¤Î´ðÄì
![$ \Sigma$](img1465.png)
¤Ë´Ø¤¹¤ëɽ¸½¹ÔÎó¤Ç¤¢¤ë¡¥
¤Þ¤¿¡¤¤³¤Î·ë²Ì¤Ï
¤È¤·¤Æ¤âÆÀ¤é¤ì¤ë¡¥
(¢¥)¤È(¡ù)¤è¤ê¡¤
Àþ·ÁÊÑ´¹
![$ F$](img2005.png)
¤Ï
¤Ë¤è¤êÄêµÁ¤µ¤ì¤ëÀþ·ÁÊÑ´¹
![$ \varphi$](img2119.png)
¤ÈÅù²Á¤Ç¤¢¤ë¡¥
¼¡¤Ë
¤Î¸ÇÍÃͤòµá¤á¤ë¡¥
¤Ë´Ø¤¹¤ë¸ÇÍÊýÄø¼°¤Ï
¤Ç¤¢¤ë¡¥
(¡ù)¤È(¢¤)¤òÍѤ¤¤ë¤È
¤Èɽ¤µ¤ì¤ë¤Î¤Ç¡¤
¸ÇÍÊýÄø¼°¤Ï
¤ÈÅù²Á¤Ç¤¢¤ë¡¥
¤Ä¤Þ¤ê¹ÔÎó
![$ A$](img265.png)
¤Ë´Ø¤¹¤ë¸ÇÍÃÍÌäÂê¤ò²ò¤±¤Ð¤è¤¤¡¥
![$ F$](img2005.png)
¤Î¸ÇÍ¿¹à¼°
![$ g_F(t)$](img2788.png)
¤È
![$ A$](img265.png)
¤Î¸ÇÍ¿¹à¼°
![$ g_A(t)$](img2699.png)
¤ÏÅù¤·¤¯¡¤
¤È¤Ê¤ë¡¥
![$ g_F(\lambda)=0$](img2790.png)
¤è¤ê¸ÇÍÃͤÏ
![$ \lambda=1,2,4$](img2791.png)
¤Ç¤¢¤ë¡¥
¤Î¸ÇͶõ´Ö¤òµá¤á¤ë¡¥
¸ÇÍÊýÄø¼°(¡ý)¤è¤ê
¤Î¸ÇÍ¥Ù¥¯¥È¥ë
¤òÄê¤á¡¤
¤½¤Î¸å(¢¤)¤ËÂåÆþ¤·
¤Î¸ÇÍ¥Ù¥¯¥È¥ë
¤òÄê¤á¤ì¤Ð¤è¤¤¡¥
¤Î¤È¤¡¤
¤È¤Ê¤ë¤Î¤Ç¡¤
![$ a_1-a_3=0$](img2793.png)
,
![$ a_2-2a_3=0$](img2794.png)
¤è¤ê¡¤
![$ A$](img265.png)
¤Î
![$ \lambda=4$](img2705.png)
¤Ë´Ø¤¹¤ë¸ÇÍ¥Ù¥¯¥È¥ë¤Ï
¤ÈÆÀ¤é¤ì¤ë¡¥
¤è¤Ã¤Æ
![$ F$](img2005.png)
¤Î
![$ \lambda=4$](img2705.png)
¤Ë´Ø¤¹¤ë¸ÇͶõ´Ö¤Ï
¤È¤Ê¤ë¡¥
![$ \lambda=2$](img2749.png)
¤Î¤È¤¡¤
¤È¤Ê¤ë¤Î¤Ç¡¤
![$ a_1-a_2=0$](img2798.png)
,
![$ a_3=0$](img2799.png)
¤è¤ê¡¤
![$ A$](img265.png)
¤Î
![$ \lambda=2$](img2749.png)
¤Ë´Ø¤¹¤ë¸ÇÍ¥Ù¥¯¥È¥ë¤Ï
¤ÈÆÀ¤é¤ì¤ë¡¥
¤è¤Ã¤Æ
![$ F$](img2005.png)
¤Î
![$ \lambda=2$](img2749.png)
¤Ë´Ø¤¹¤ë¸ÇͶõ´Ö¤Ï
¤È¤Ê¤ë¡¥
![$ \lambda=1$](img2628.png)
¤Î¤È¤¡¤
¤È¤Ê¤ë¤Î¤Ç¡¤
![$ a_2=0$](img576.png)
,
![$ a_3=0$](img2799.png)
¤è¤ê¡¤
![$ A$](img265.png)
¤Î
![$ \lambda=1$](img2628.png)
¤Ë´Ø¤¹¤ë¸ÇÍ¥Ù¥¯¥È¥ë¤Ï
¤ÈÆÀ¤é¤ì¤ë¡¥
¤è¤Ã¤Æ
![$ F$](img2005.png)
¤Î
![$ \lambda=1$](img2628.png)
¤Ë´Ø¤¹¤ë¸ÇͶõ´Ö¤Ï
¤È¤Ê¤ë¡¥
¸ÇͶõ´Ö
,
,
¤Î¤½¤ì¤¾¤ì¤Î´ðÄì¤Ï
,
,
¤Ç¤¢¤ë¡¥
¤³¤ì¤é¤Ï
¡ö![$\displaystyle )\qquad \left(f_1,\,\,f_2,\,\,f_3\right)= \left(1+2x+x^2,\,\, 1+x...
...1 & 1 \\ 2 & 1 & 0 \\ 1 & 0 & 0 \end{bmatrix} = \left(1,\,\, x,\,\, x^2\right)P$](img2811.png) |
|
¤Èɽ¤µ¤ì¤ë¡¥
![$ \det(P)=1\neq0$](img2812.png)
¤è¤ê
![$ \{f_1,f_2,f_3\}$](img1337.png)
¤Ï
1 ¼¡ÆÈΩ¤È¤Ê¤ë¡¥
¤è¤Ã¤Æ¡¤
¤È¤Ê¤ê¡¤
¤¬À®¤êΩ¤Ä¡¥
![$ \mathbb{R}[x]_2$](img410.png)
¤Ï
![$ W(4)$](img2805.png)
,
![$ W(2)$](img2806.png)
,
![$ W(1)$](img2807.png)
¤ËľÏÂʬ²ò¤µ¤ì¤ë¡¥
![$ \{f_1,f_2,f_3\}$](img1337.png)
¤Ï
![$ \mathbb{R}[x]_2$](img410.png)
¤Î´ðÄì¤È¤Ê¤ë¡¥
Àþ·ÁÊÑ´¹
¤Î´ðÄì
¤Ë¤ª¤±¤ë
ɽ¸½¹ÔÎó¤Ï
¤Ç¤¢¤ë¡¥
´ðÄì
¤Ë¤ª¤±¤ë
¤Îɽ¸½¹ÔÎó¤òµá¤á¤ë¡¥
´ðÄì
¤Ë¤ª¤±¤ë
¤ÎºÂɸ¤ò
¤È¤¹¤ë¤È¡¤
´ðÄìÊÑ´¹(¡ö)¤òÍѤ¤¤Æ¡¤
¤Èɽ¤µ¤ì¤ë¡¥
![$ \vec{a}=P\tilde{\vec{a}}$](img2820.png)
¤Ï
![$ \Sigma$](img1465.png)
¤«¤é
![$ \Sigma'$](img1482.png)
¤Ø¤ÎºÂɸÊÑ´¹¤Ç¤¢¤ë¡¥
![$ g$](img177.png)
¤Î
![$ \Sigma'$](img1482.png)
¤Ë¤ª¤±¤ëºÂɸ¤ò
![$ (\tilde{b}_0,\tilde{b}_1,\tilde{b}_2)_{\Sigma'}$](img2821.png)
¤È¤¹¤ë¤È¡¤
ƱÍͤˤ·¤Æ
![$ \vec{b}=P\tilde{\vec{b}}$](img2822.png)
¤¬À®¤êΩ¤Ä¡¥
Àþ·ÁÊÑ´¹
![$ F$](img2005.png)
¤ÏÀþ·ÁÊÑ´¹
![$ \varphi:\,\vec{b}=A\vec{a}$](img2823.png)
¤ÈÅù²Á¤Ç¤¢¤ë¤«¤é¡¤
![$ \vec{b}=A\vec{a}$](img2179.png)
¤ËºÂɸÊÑ´¹
![$ \vec{a}=P\tilde{\vec{a}}$](img2820.png)
,
![$ \vec{b}=P\tilde{\vec{b}}$](img2822.png)
¤òÂåÆþ¤·¤Æ
¤òÆÀ¤ë¡¥
´ðÄì
![$ \Sigma'=\{f_1,\,\,f_2,\,\,f_3\}=\{1+2x+x^2,\,\,1+x,\,\,1\}$](img2825.png)
¤Ë´Ø¤¹¤ë
![$ F$](img2005.png)
¤Îɽ¸½¹ÔÎó¤Ï
¤È¤Ê¤ë¡¥