2005/11/7 [Mon]
¢£ÁÇ¿ô¤Î½¸¹ç¤ò¤´¤Ë¤ç¤´¤Ë¤ç¤¹¤ë¤È¡¦¡¦¡¦ 
¿²¤ëÁ°¤ËÉÛÃĤΤʤ«¤Ç»×¤¤¤Ä¤¤¤¿ÊѤÊÏá£
¡¡¡ÁÇ¿ô¤Î½¸¹ç¤òA¤È¤¹¤ë¡£
A = {2, 3, 5, ...}
¢¡¡A¤ÎÑѽ¸¹ç¤òB¤È¤¹¤ë¡£
B = {¦Õ, {2}, {3}, {2, 3}, {5}, {2, 5}, {3, 5}, {2, 3, 5}, ...}
£¡¡B¤Î³Æ¸µ¤Ë¤Ä¤¤¤Æ¡¢´Þ¤Þ¤ì¤ë¿ô¤ÎÀѤËÃÖ´¹¤·¤¿½¸¹ç¤òC¤È¤¹¤ë(¤¿¤À¤·¦Õ¤Ï1¤È¤¹¤ë)
C = {1, 2, 3, 6, 5, 10, 15, 30, ...}
¤µ¤Æ¡¢A, B, C¤ÎÇ»ÅÙ¤ËÃíÌܤ¹¤ë¡£
A ¤Ï¼«Á³¿ô¤Î̵¸ÂÉôʬ½¸¹ç¤Ç¤¢¤ë¡Ê¢èÁÇ¿ô¤Ï̵¸Â¤Ë¸ºß¤¹¤ë¡Ë¡£½¾¤Ã¤ÆÇ»ÅÙ¤Ï
B¤ÏÇ»ÅÙ¤Î̵¸Â½¸¹ç¤ÎÑѽ¸¹ç¤Ç¤¢¤ë¤«¤éÇ»ÅÙ¤Ï
C¤Ï¼«Á³¿ô¤Î̵¸ÂÉôʬ½¸¹ç¤Ç¤¢¤ê¤ÎÇ»ÅÙ¤ò»ý¤Ä¡£¤·¤«¤·°ìÊý¤Ç¡¢Ç»ÅÙ
¤Ç¤¢¤ëB¤Î¸µ¤ÈÁ´Ã±¼Í¤Î´Ø·¸¤Ë¤¢¤ë¡Ê¢èC¤Î³Æ¸µ¤ÏB¤Î³Æ¸µ¤«¤éºî¤é¤ì¤Æ¤ª¤ê¡¢¤Þ¤¿C¤Î³Æ¸µ¤Ë½ÅÊ£¤Ï¤Ê¤¤¡Ë¡£
¤¨¤¨¤§¡©¡©²¿¤«¤·¤Ç¤«¤·¤¿¤Ê¡Ä´À
¤Ä¤Þ¤ê¡¢°Ê¾å¤ÎµÄÏÀ¤Î¤É¤³¤«¤Ë´Ö°ã¤¤¤¬¤¢¤ë¤ï¤±¤Ç¤¹¡£
¤Ï¤Æ¤Ê¤Ç¼ÁÌ䤷¤è¤¦¤«¤È»×¤¤¤Þ¤·¤¿¤¬¡¢¤Ò¤È¤Þ¤º¼«Ê¬¤Ç¹Í¤¨¤Æ¸«¤Þ¤¹¡£
¤â¤·²¿¤«¥¢¥É¥Ð¥¤¥¹¤Ê¤É¤¢¤ê¤Þ¤·¤¿¤é¥³¥á¥ó¥È失¤ë¤È¤¢¤ê¤¬¤¿¤¤¤Ç¤¹¡£
(Äɵ¡§Áá®quintia¤µ¤ó¤«¤é²óÅú¤òĺ¤¤Þ¤·¤¿¢ª¤½¤Î²óÅú)
¢£¥Ô¥ó¤Ã¤È¤¤¿»ö 
¤¢¤ã¤·¤£¤Î¤Ï¡¢C¤Î³Æ¸µ¤Î½ç½ø¤¬À°Îó¤µ¤ì¤Æ¤¤¤Ê¤¤¤È¤³¤í¤À¤Ê¡£Í¸Â½¸¹ç¤Ç¤¢¤ë¤Ê¤é¤Ð¥½¡¼¥È²Äǽ¤À¤¬¡¢C¤Î¾ì¹ç̵Íý¤Ê¤Î¤Ç¤Ï¡Ä¡£
¢£ÁªÂò¸øÍý¤Î¥Ñ¥é¥É¥Ã¥¯¥¹? 
¾åµ¤ÎÏä˴ØÏ¢¤·¤¿»ö¹à¤òwikipedia¤Ç¸«¤Ä¤±¤¿¡£¤½¤ì¤ÏÁªÂò¸øÍý(¢ªWikipedia)¤À¡£
½¸¹çÏÀ¤ò¸ì¤ë¤È¤¤Ë¤è¤¯ÍѤ¤¤é¤ì¤ëZF¸øÍý·Ï¤Ë
ÁªÂò¸øÍý: X ¤ò¤½¤Î¤É¤Î¸µ¤â¸ß¤¤¤Ë¸ò¤ï¤é¤Ê¤¤¤è¤¦¤Ê¶õ½¸¹ç¤Ç¤Ê¤¤½¸¹ç¤È¤¹¤ë¤È¤¡¢X ¤Î³Æ¸µ¤«¤é°ì¤Ä¤º¤Ä¤È¤Ã¤Æ¤¤¿¤è¤¦¤Ê½¸¹ç¤¬Â¸ºß¤¹¤ë¡£
¤ò²Ã¤¨¤¿¡¢ZFC¸øÍý·Ï¤òÍѤ¤¤ë¤³¤È¤¬Â¿¤¤¤è¤¦¤À¡£°ì¸«Åö¤¿¤êÁ°¤Î¸øÍý¤À¤¬¡¢ÁªÂò¸øÍý¤òǧ¤á¤Æ¤·¤Þ¤¦¤È¡¢¥Ð¥Ê¥Ã¥Ï¡á¥¿¥ë¥¹¥¡¼¤Î¥Ñ¥é¥É¥Ã¥¯¥¹¤Ê¤É¤¤¤¯¤Ä¤â¤Î¥Ñ¥é¥É¥Ã¥¯¥¹¤òÀ¸¤à¤é¤·¤¤¡£º£²ó¤ÎÏäϤ³¤Î¤è¤¦¤Ê¥Ñ¥é¥É¥Ã¥¯¥¹¤Î£±¤Ä¤Ê¤Î¤«¤â¤·¤ì¤Ê¤¤¡£
¤Ç¤Ï¤É¤³¤ËÁªÂò¸øÍý¤òÍѤ¤¤Æ¤¤¤¿¤«¤È¤¤¤¦¤È¡¢
£¤Ë¤ª¤±¤ëB¤«¤éC¤ÎºîÀ®¤À¡£B¤Î³Æ¸µ¤Ë¤Ä¤¤¤ÆÀѤη׻»¤ò¹Ô¤¦¤³¤È¤Ï¤Á¤ç¤¦¤É¡Ö³Æ¸µ¤«¤é°ì¤Ä¤º¤Ä¤È¤Ã¤Æ¤¤¿¤è¤¦¤Ê½¸¹ç¡×¤òºî¤ë¤³¤È¤ËÁêÅö¤¹¤ë¡£²¾¤ËÁªÂò¸øÍý¤¬Ç§¤á¤é¤ì¤Ê¤¤¤È¤¹¤ì¤Ð¡¢¤³¤ÎÁàºî¤ÏÉÔ²Äǽ¤Ç¤¢¤ë¡£¤Ä¤Þ¤ê¡¢
B = {¦Õ, {2}, {3}, {2, 3}, {5}, {2, 5}, {3, 5}, {2, 3, 5}, ...}
¤«¤é³Æ¸µ¤Ë¤Ä¤¤¤Æ¡¢¤½¤ÎÀѤò²Ã¤¨¤¿¿·¤¿¤Ê½¸¹ç¤ò¤Ä¤¯¤ê¡¢
B'= {{{¦Õ}, 1}, {{2}, 2}, {{2, 3}, 6}, {{5}, 5}, {{2, 5}, 10}, {{3, 5}, 15}, {{2, 3, 5}, 30}, ...}
¤È¤¹¤ë¤È¡¢B'¢ªC¤ÎÁàºî¤ÏÁªÂò¸øÍý¤ËÁêÅö¤¹¤ë¤Î¤Ç¤Ï¤Ê¤¤¤À¤í¤¦¤«¡£
£¤ÎÊÑ´¹¤Ç¤Ï¡¢B¤Ë¤ª¤¤¤Æ°Û¤Ê¤ë£²¤Ä¤Î¸µ¤¬¡¢C¤Ë¤ª¤¤¤Æ¤â°Û¤Ê¤ë¸µ¤Ç¤¢¤ë»ö¤ÏÊݾڤµ¤ì¤ë¤Î¤Ç¤¢¤¿¤«¤âB¤ÈC¤ÇÁêÆ±À¤¬Êݤ¿¤ì¤Æ¤¤¤ë¤è¤¦¤Ë¸«¤¨¤ë¤¬¡¢³Æ¸µ¤¬¤Þ¤Ã¤¿¤¯Æ±°ì¤È¤¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¤¡£¤â¤Á¤í¤ó¡¢ÁªÂò¸øÍý¤ò¿¿¤È¤¹¤ë¤Ê¤éB¤Î³Æ¸µ¤ò¼«Á³¿ô¤ÇÃÖ´¹¤¹¤ë¤³¤È¤¬µö¤µ¤ì¤ë¤Î¤Ç¡¢B¢ªC¤ÎÊÑ´¹¤Ë¤è¤ê¤È
¤¬1ÂÐ1¤Î¼ÌÁü¤Ç·ë¤Ð¤ì¤ë¤³¤È¤Ë¤Ê¤ë¡£
¤³¤ÎÏäǡ¢ÁªÂò¸øÍý¤òǧ¤á¤Æ¤·¤Þ¤¦¤È¡¢°ìÄê¤Î½ç½ø¤ÇÎóµ²Äǽ¤Ê½¸¹ç¤ÏÁ´¤ÆÇ»ÅÙ¤ÈÁ´Ã±¼Í¤Î´Ø·¸¤Ç¤¢¤ë¤³¤È¤Ë¤Ê¤ë¡£Á´¤Æ¤Î¸µ¤¬°Û¤Ê¤ë»ö¤ò¥¿¥Æ¤Ë¤·¤ÆÁ´¤Æ°Û¤Ê¤ë¼«Á³¿ô¤ÇÃÖ¤´¹¤¨¤Æ¤·¤Þ¤¦¡¢¤Ã¤Æ¥³¥È¤Ç¤¹¤Í¡£¶ñÂÎŪ¤Ë¤Ï
¤ÎÑѽ¸¹ç*1¤ÏÁ´¤Æ
¤ÈÁ´Ã±¼Í¤Î´Ø·¸¡£¤Ã¤Æ¤ª¤¤¤ª¤¤ËÜÅö¤Ê¤Î¤«¡©¡©¡Ä´À
¤ä¤Ã¤ÑÁªÂò¸øÍý¤Î²ò¼á¤ò¸í¤Ã¤Æ¤ë¤è¤¦¤Êµ¤¤¬¡Á¡¡ÁǿͤǤ¹¤«¤é¤ªµö¤·¤ò(;¡§¥`) ¡¡¸í¤ê¤ò»ØÅ¦¤·¤Æ¤¤¤¿¤À¤±¤¿¤éÄûÀµ¤¤¤¿¤·¤Þ¤¹¡£¡Ê¤Æ¤«¡¢¤È
¤¬Á´Ã±¼Í¤È¤«¸À¤Ã¤Æ¤ë»þÅÀ¤ÇÀäÂдְã¤Ã¤Æ¤Þ¤¹¤Î¤Ç¡¢Îɤ¤»Ò¤Î³§¤µ¤ó¤ÏËܵ¤¤Ë¤·¤Ê¤¤¤Ç²¼¤µ¤¤¤Í¾Ð¡Ë
*1¡§¤Ä¤Þ¤êÑѽ¸¹ç¤Î³Æ¸µ¤Ë¤Ä¤¤¤Æ¡¢¤â¤È¤Î½¸¹ç¤Î³Æ¸µ¤¬´Þ¤Þ¤ì¤ë¤«¤É¤¦¤«¤ò2¿ÊÉ÷¤Ëɽ¼¨¤·¤Æ¡¢0000..., 1000..., 0100..., 1100..., 0010..., 1010..., 0110..., 1110..., ¤È¤¤¤¦É÷¤Ë¼½ñ¼°¤ËÉÁ¤Ê¤٤ƹͤ¨¤ë



¥¢¥É¥Ð¥¤¥¹¤Ç¤Ê¤¯¤ÆÄ¾µå²óÅú¤Ë¤Ê¤Ã¤Á¤ã¤¤¤Þ¤·¤¿¤¬¡£