|
|
£±£³Àá¤Þ¤Ç¤Î¤â¤Î¤Ç¤¹
»°Àá
¸ÅŵÏÀÍý¤Ç¤Ï¡Ö¥É¡¦¥â¥ë¥¬¥ó¤Îˡ§¡×¤È¤·¤Æ¼«Í³¤Ë»È¤ï¤ì¤ë
¢Ì(P¢ÊQ) ¢Î (¢ÌP)¢Ë(¢ÌQ)¤Ç¤¹¤¬¡£
ľ´Ñ¼çµÁ¤Ç¤Ïº¸¸þ¤¤ÎÌð°õ¤·¤«»È¤¨¤Ê¤¤¤³¤È¤ò¤É¤³¤«¤Ç¶¯Ä´¤·¤Æ¤ª¤¯¤ÈÎɤ¤¤È»×¤¤¤Þ¤¹¡£
¥á¥¿ÄêÍý31¤ÎÁ°¸å¤¬¼«Á³¤«¤È¡£
Ì¿ÂêP¤¬ÊÑ¿ôx¤ò´Þ¤Þ¤Ê¤±¤ì¤ÐP¤È¢ÏxP¤È¢ÐxP¤¬¤¹¤Ù¤ÆÆ±ÃͤǤ¢¤ë¤³¤È¡¢¤È
¥á¥¿ÄêÍý35(e),(f)¤Ë´ØÏ¢¤·¤Æ
¢Ðx(P¢ÊQ)¡¡¡¡¡¡¢Í ¡¡(¢ÐxP)¢Ê(¢ÐxQ)
(¢ÏxP)¢Ë(¢ÏxQ) ¢Í ¡¡¢Ïx(P¢ËQ)
¤ÎÆó¤Ä¤â¡ÖÄêÍý¡×¤È¤·¤Æ·Ç¤²¤ë¤Î¤Ë¤ë¤À¤±¤Ë¤Ï¼ÂÍÑŪ¤À¤È»×¤¤¤Þ¤¹¡£
(¥á¥¿ÄêÍý36¤Î(c)¤«¤é(f)¤¬¤Ê¤ó¤À¤«ÅâÆÍ¤À¤È´¶¤¸¤Þ¤·¤¿¡Ë
Ï»Àá
(6-23b)¤ÇÎ̲½¤¹¤ëÊÑ¿ô¤Ï"y"¤Ç¤Ï¤Ê¤¯"x"¤Ç¤¹¤Í¡£
¼·Àá
¤³¤³¤Ç¡¢¡Ö»ÏÂоݤÏÁ´¤ÆÆ±·¿¤Ç¤¢¤ë¡×¤³¤È¤¬¼¨¤µ¤ì¤Æ¤¤¤Þ¤¹¤¬¡¢
¤³¤ì¤Ë´ØÏ¢¤·¤Æ¡Ö»ÏÂÐ¾Ý¤ËÆ±·¿¤Ê¤é»ÏÂоݤǤ¢¤ë¡×¤³¤È¤â¼¨¤·¤Æ¤ª¤±¤Ð¡¢¤Ä¤Þ¤êµ¹æ¤Çɽ¤¹¤Ê¤é
»Ï(a)¢Í( »Ï(b) ¢Í a = b ) ¤À¤±¤Ç¤Ê¤¯¡¢
»Ï(a)¢Í( a = b ¢Í »Ï(b) ) ¤â¾ÚÌÀ¤·¤Æ¤ª¤¯¤È
¸å¤Ë¡¢¶Ë¸Â¤äÉáÊ×¹½Â¤¤Ê¤É¤ÎÊ£»¨¤Ê»Ï(½ª)Âоݤò°·¤¦¤È¤¤Ë³Ú¤¬½ÐÍè¤ë¤È»×¤¤¤Þ¤¹¡£
(7-9)¤È(7-10)¤Î´Ö¤Ë¶ñÂÎŪ¤Ê¶Ë¸Â¤ÎÎ㤬¤¢¤ê¤Þ¤¹¤¬
²¡¤·½Ð¤·¤ÎÀâÌÀ¤òÆÉ¤ó¤ÀÃʳ¬¤Ç¤Ï°Ê²¼¤Î¤è¤¦¤Ê¸í²ò¤ò¤·¤Æ¤·¤Þ¤¤¤Þ¤·¤¿¡¢
http://kissho.xii.jp/1/src/1jyou2664.png
¡Ö°ú¤Ìᤷ¤ÎÁÐÂСפÀ¤±¤Ç¤Ï¤Á¤ç¤Ã¤È¤À¤±ÉÔ¿ÆÀڤʵ¤¤¬¤¹¤ë¤Î¤Ç¡¢
²¡¤·½Ð¤·¤Ë¤â¿Þ¤òÉÁ¤¤¤Æ¤ª¤¯¤È´Ö°ã¤¤¤Ê¤¤¤«¤È¡£
¡Ê¤³¤ì¤ÏÍ¥Àè½ç°Ì¤È¤·¤Æ¤ÏºÇÄã°Ì¤Ç¤¹¤¬¡¢¤É¤³¤«¤Ç¡Ö¼«Á³ÊÑ´¹¡×¤ÎÏÃÂê¤òÆþ¤ì¤é¤ì¤Ê¤¤¤Ç¤¹¤«¤Í¡©
¡Ö·÷¤È´Ø¼ê¤È¼«Á³ÊÑ´¹¤Ï»°°Ì°ìÂΡפ餷¤¤¤Ç¤¹¤¬¡¢¤¤¤Þ¤À¤Ë¼«Á³ÊÑ´¹¤Î¤¢¤ê¤¬¤¿¤ß¤¬Ê¬¤«¤é¤Ê¤¤¡Ë
ȬÀá
(8-31)¤È(8-32)¤Ç¤¹¤¬¡¢¤³¤ì¤Ï¤½¤Î¤Þ¤Þ¤Ç¤Ï¶Ë¸Â¤Ë¤Ï¤Ê¤Ã¤Æ¤¤¤Ê¤¤¤È»×¤¤¤Þ¤¹¡£
¤¤¤ï¤æ¤ë¡ÖȾÊѴؼê¡×¤ò¤É¤³¤«¤ÇÄêµÁ¤·¤Æ¤ª¤¯É¬Íפ¬¤¢¤ë¤Î¤Ç¤Ï¤Ê¤¤¤Ç¤·¤ç¤¦¤«¡©
ÉÔÅù¹æ¤ò»ý¤Ä·÷¤Î¼ÍHom(a,b)¤òʬÎह¤ëƱÃÍ´Ø·¸=[ab]¤ÎÄêµÁ¤ò°ì±þÆþ¤ì¤Æ¤ª¤¯¤Ù¤¤À¤È»×¤¤¤Þ¤¹¡¢
¡ÊÁÛÁü¤ÎÉÕ¤¯ÈϰϤǤϤ¢¤ê¤Þ¤¹¤¬¡¢¤ä¤Ï¤ê¡ÊƱÃÍ´Ø·¸¤Ç¤Ï¤Ê¤¯ÉÔÅù¹æ¤ò»È¤Ã¤Æ¡ËÄê¤á¤Æ¤ª¤«¤Ê¤¯¤Æ¤Ï¡Ë
¶åÀá
(9-2)¤Î¸å¡¢I¤«¤é(A)¤Ø¤Î¤Ç¤Ï¤Ê¤¯¡¢I¤«¤é(B)¤Ø¤Î¾®´Ø¼ê¤Ç¤¹¤Í
½½°ìÀá
(11-29)¤Î²¼¤ÎÊý¤Ë¸Ä¿ô¤Î¿ô¤¨Êý¤¬¤¢¤ê¤Þ¤¹¤¬¡¢
¤³¤ÎÁ°ÄóÉôʬ¤ò¼å¤á¤Æ¡Ö²Ä¼±¤Ê͸½¸¹ç_¤ÈƱ·¿¤Ê¤é_¡¢¤¢¤ën¤Ë¤è¤ë¼«Á³¿ô¤ÎÀÚÊÒ[n]¤ÈƱ·¿¤Ç¤¢¤ë¡×
¤Ë¤Ç¤¤Ê¤¤¤Ç¤·¤ç¤¦¤«¡©
¤³¤¦¤¹¤ë¤È¡¢¡Ö¼«Á³¿ô¤ÎÀÚÊÒ¤ÈÆ±·¿¤Ç¤¢¤ë¤³¤È¡×¤È¡Ö²Ä¼±¤Ê͸½¸¹ç¤ÈƱ·¿¤Ç¤¢¤ë¤³¤È¡×
¤¬Æ±Ãͤˤʤäơ¢¸å¤Ë͸ÂÎó¤Î¸Ä¿ô¤ò¿ô¤¨¤ë¤È¤¤Ë³Ú¤¬½ÐÍè¤ë¤È»×¤¤¤Þ¤¹¡£
½½»°Àá
(13-10b)¤Î¦Ë(x,i)¤ÎÉôʬ¤Ï¦Ë(x(i))¤Ç¤¹¤Í¡£
(13-11)¤Îmin¤ÎÆâÉô¤Î½¸¹çS¤Ï¡¢0¡æ1 ¢Í ¢Ý ¤Ê¤Î¤Ç¡¢
0¢ºS¤È¤Ê¤ê¡¢¦Í(x,k)¤ÎÃͤ¬Á´Éô0¤Ë¤Ê¤Ã¤Æ¤·¤Þ¤¤¤Þ¤¹¡£
ÉáÄ̤Ë{1¡åi¡ålen(x)|¦Ì(x,i)=k}¤ÇÎɤ¤¤Ï¤º¤Ç¤¹¡£
|
|