next up previous contents
Next: Àþ·ÁÉä¹æ¤ÎÎã : ¥Ï¥ß¥ó¥°Éä¹æ Up: Àþ·ÁÉä¹æ¤Î¥Ï¥ß¥ó¥°µ÷Î¥¤ÈºÇ¾®µ÷Î¥Éü¹æ Previous: ¥Ñ¥ê¥Æ¥£¸¡ºº¹ÔÎó¤ÈºÇ¾®µ÷Î¥Éü¹æ

Àþ·ÁÉä¹æ¤ÎºÇ¾®µ÷Î¥

Àþ·ÁÉä¹æ¤ÎºÇ¾®µ÷Î¥¤Ë¤Ä¤¤¤Æ¤Ï, ¼¡¤Î¤è¤¦¤Ê¤³¤È¤¬À®¤êΩ¤Á, ²æ¡¹¤ÏÈæ³ÓŪ´Êñ¤ËºÇ¾®µ÷Î¥¤òÃΤ뤳¤È¤¬¤Ç¤­¤ë.

Ì¿Âê 2.2   C¤òÀþ·ÁÉä¹æ, H¤ò¤½¤Î¥Ñ¥ê¥Æ¥£¸¡ºº¹ÔÎó¤È¤¹¤ë. ¤³¤Î¤È¤­, H¤Î¹Ô¥Ù¥¯¥È¥ë¤Î¤¦¤Á, Ǥ°Õ¤Îm-1¸Ä¤¬°ì¼¡ÆÈΩ¤Ê¤é¤Ð, $d(C)\ge m$¤¬À®¤êΩ¤Ä.


\begin{proof}[¡Ú¾ÚÌÀ¡Û]
\begin{displaymath}H=\begin{pmatrix}{\mathbf h}_1\\ {\ma...
...h}¤È¤Ê¤ë. $m-1$ ¸Ä¤Þ¤Ç¤Ï°ì¼¡ÆÈΩ¤À¤«¤é, $s\ge m$ ¤È¤Ê¤ë¤³¤È¤¬¤ï¤«¤ë.
\end{proof}

·Ï 2.3   H¤Î¹Ô¥Ù¥¯¥È¥ë¤Î¤¦¤Á, Ǥ°Õ¤Îm-1¸Ä¤¬°ì¼¡ÆÈΩ¤Ç, ¤¢¤ëm¸Ä¤¬°ì¼¡½¾Â°¤È¤Ê¤ë¤Ê¤é¤Ð, d(C)=m.


\begin{proof}[¡Ú¾ÚÌÀ¡Û]
Ì¿Âê¤è¤ê, $d(C)\ge m$ ¤Ç¤¢¤ë¤«¤é,
Åù¼°¤ò¼¨¤¹¤¿¤á¤Ë¤Ï, ½...
...cdots \cdots \alpha_{i_m} 0 \cdots 0))=m\end{displaymath}¤¬À®¤êΩ¤Ä.
\end{proof}



Mitsuru Kawazoe
2001-11-14