¸®¸¸ °¡¼³¿¡ °üÇÏ¿©
1. ¸Ó¸®¸»
¼Ò¼ö´Â ¼ö Áß¿¡¼ °¡Àå ±âº»ÀÌ µÇ´Â ¼öÀÌ´Ù. ¼Ò¼ö·Î½á °ÅÀÇ ¸ðµç ¼ö¸¦ ¼³¸íÇÒ ¼ö Àֱ⠶§¹®ÀÌ´Ù. ¿À·¡ ÀüºÎÅÍ À§´ëÇÑ ¼öÇÐÀÚµéÀº ¼Ò¼öÀÇ ½Åºñ¿Í ºÐÆ÷¿¡ °üÇÏ¿© ¿¬±¸ÇÏ¿© ¿Ô´Ù.
1859³â¿¡ ¸®¸¸1)Àº º£¸¦¸° Çмú¿øÀÇ È¸¿øÀ¸·Î ¼±Á¤µÇ¾ú´Ù. º£¸¦¸° Çмú¿øÀÇ ÇåÀå¿¡ ÀÇÇϸé, »õ·ÎÀÌ ¼±ÃâµÈ ȸ¿øÀº ¹Ýµå½Ã ÃÖ±ÙÀÇ ¿¬±¸¾÷ÀûÀ» º¸°íÇÏ°Ô µÇ¾î ÀÖ¾ú´Ù. ±×·¡¼ ¸®¸¸Àº ¡ºÁÖ¾îÁø ¼öº¸´Ù ÀÛÀº ¼Ò¼öÀÇ °³¼ö¿¡ °üÇÏ¿© (On the number of primes less than a given magnitude)¡»ÀÇ Á¦¸ñÀ¸·Î º¸°í¼¸¦ Çмú¿ø¿¡ Á¦ÃâÇÏ¿´´Ù.(Âü°í¹®Çå [12] ÂüÁ¶) ±×´Â ÀÌ º¸°í¼¿¡¼ ¸®¸¸ Á¦Å¸ÇÔ¼öÀÇ ¼ºÁúµéÀ» ¿°ÅÇÏ°í ¼ÒÀ§, ??¸®¸¸ °¡¼³ (the Riemann Hypothesis)??À» Á¦½ÃÇÏ¿´´Ù.
ÀÌ¹Ì ÀÌ Àü¿¡ ¼Ò¼öÀÇ ºÐÆ÷¿¡ °üÇÏ¿© ¿ÀÀÏ·¯2), ¸£Àåµå¸£3), °¡¿ì½º4) µîÀÇ À§´ëÇÑ ¼öÇÐÀÚ¿¡ ÀÇÇÏ¿© ¿¬±¸µÇ¾ú´Ù. ¿ÀÀÏ·¯´Â ¼Ò¼öÀÇ ºÐÆ÷¸¦ ¿¬±¸Çϱâ À§ÇÏ¿© ¾Æ·¡ÀÇ Á¦Å¸ÇÔ¼ö
(1)
¸¦ °øºÎÇÏ¿´´Ù. ±×´Â
(2)
ÀÇ °ü°è½ÄÀ» º¸¿´´Ù. ¿©±â¼ ´Â ¸ðµç ¼Ò¼ö µéÀÇ °öÀ» ³ªÅ¸³½´Ù. °ü°è½Ä (2)´Â ¡¸¿ÀÀÏ·¯ °ö(Euler product)¡¹À̶ó°í ºÒ¸°´Ù.¡¦(»ý·«)
(3)
(4)
2. ¸®¸¸ Á¦Å¸ÇÔ¼ö
(¤¡) º¹¼Ò¼ö(complex number)ÀÇ °³³ä
(¤¤) Çؼ®Àû(ú°à°îÜ; analytic or holomorphic) ÇÔ¼öÀÇ °³³ä
(¤§) À¯¸®Çü(meromorphic) ÇÔ¼öÀÇ °³³ä
(¤©) Çؼ®Àû Á¢¼Ó(analytic continuation)ÀÇ °³³ä
|
¼Ò¼ö¿¡ °üÇÑ ¿©·¯ ¹®Á¦(°¡·É, °ñµå¹ÙÇÏ8) °¡¼³, ½ÖµÕÀÌ ¼Ò¼ö ¦ÀÇ ¹®Á¦, Bertrand9)ÀÇ ÁÖÀå)µéÀ» ¼Ò°³ÇÏ°Ú´Ù.
2. ¸®¸¸ Á¦Å¸ÇÔ¼ö
¸®¸¸ °¡¼³ÀÇ ³»¿ëÀ» ¾î´À Á¤µµ ÀÌÇØÇϱâ À§Çؼ´Â ¿ì¼±,
(¤¡) º¹¼Ò¼ö(complex number)ÀÇ °³³ä
(¤¤) Çؼ®Àû(ú°à°îÜ; analytic or holomorphic) ÇÔ¼öÀÇ °³³ä
(¤§) À¯¸®Çü(meromorphic) ÇÔ¼öÀÇ °³³ä
(¤©) Çؼ®Àû Á¢¼Ó(analytic continuation)ÀÇ °³³ä
µîÀÇ ±âº»ÀûÀÎ ¿©·¯ °³³äÀ» ¾Ë¾Æ¾ß ÇÑ´Ù.
»ó±âÀÇ °³³äÀ» °£·«ÇÏ°Ô ¼³¸íÇÏ°Ú½À´Ï´Ù. º¹¼Ò¼öÀÇ °³³äÀº ¿©·¯ºÐ ¸ðµÎ°¡ Àß ¾Ë°í Àֱ⠶§¹®¿¡ ¼³¸íÀº »ý·«ÇÏ°Ú½À´Ï´Ù. º¹¼ÒÇÔ¼ö °¡ ÀÇ ±Ù¹æ¿¡¼ ±ØÇÑ°ª
À» °¡Áú ¶§ ÇÔ¼ö ´Â ¿¡¼ Çؼ®ÀûÀÌ´Ù¶ó°í ÇÑ´Ù. ¿µ¿ª(a region) ÀÇ ¸ðµç Á¡¿¡¼ º¹¼Ò ÇÔ¼ö °¡ Çؼ®ÀûÀÏ ¶§ ´Â »ó¿¡¼ Çؼ®ÀûÀÌ
´Ù¶ó°í ÇÑ´Ù. ±×¸®°í Çؼ®Àû ÇÔ¼öÀÌ°í ÀÇ ÇüÅÂÀÇ ÇÔ¼ö¸¦ À¯¸®Çü ÇÔ¼ö¶ó°í ÇÑ´Ù. º¹¼Ò ÇÔ¼ö °¡ ÀÇ ±Ù¹æ¿¡¼
(´Ü, ÀÓ)ÀÇ ÇüÅÂÀÏ ¶§ ÇÔ¼ö´Â ¿¡¼ °èÀÇ ±ØÁ¡
À» °®´Â´Ù°í ÇÑ´Ù. ¿µ¿ª ¿¡¼ Á¤ÀǵǴ Çؼ®Àû ÇÔ¼ö °¡ ÁÖ¾îÁ® ÀÖ´Ù°í ÇÏÀÚ. ¸¦ Æ÷ÇÔÇÏ´Â ¿µ¿ª »ó¿¡ À¯¸®Çü ÇÔ¼ö °¡ Á¸ÀçÇÏ¿© »ó¿¡¼´Â ÀÏ ¶§ ÇÔ¼ö ¸¦ ÀÇ Çؼ®Àû Á¢¼ÓÀ̶ó°í ÇÑ´Ù. ¿¹¸¦ µé¸é, ±âÇϱ޼ö·Î ÁÖ¾îÁö´Â ÇÔ¼ö
´Â Áß½ÉÀÌ ¿øÁ¡ÀÎ ´ÜÀ§¿ø ³»ºÎ ¿¡¼ Á¤ÀǵǴ Çؼ®Àû ÇÔ¼öÀÌ´Ù. ±×·±µ¥ ÇÔ¼ö ´Â »ó¿¡¼ Á¤ÀǵǴ Çؼ®Àû ÇÔ¼öÀÌ¸ç »ó¿¡¼´Â ÀÌ´Ù. ±×·¯¹Ç·Î ¸¦ ÀÇ Çؼ®Àû Á¢¼ÓÀÌ¶ó ¸»ÇÒ ¼ö ÀÖ´Ù.
µµ¿ò¸» : (1) ÀÚ¿¬´ë¼ö
´Â ¹«¸®¼öÀÌ´Ù.
(2) °¡ º¹¼Ò¼öÀÌ°í ÀÏ ¶§
¿Í °°ÀÌ Á¤ÀÇÇÑ´Ù. °¡·É, ÀÌ ÀÚ¿¬¼öÀÏ ¶§ ÀÌ´Ù.
(3) ÀÏ ¶§ ¹«Çѱ޼ö ´Â ¼ö·ÅÇÑ´Ù. ±×¸®°í ¹«Çѱ޼ö
´Â ¹ß»êÇÑ´Ù.
(4) À̶ó ³õÀ¸¸é ´Â domain(open and connected set)ÀÌ´Ù. ¿©±â¼, ´Â º¹¼Ò¼ö ÀüüÀÇ ÁýÇÕÀ» ³ªÅ¸³»´Â º¹¼Ò¼ö üÀÌ´Ù. Á¦Å¸ÇÔ¼ö