نظریه اعداد

نظریه اعداد (در گذشته به آن حساب یا حساب پیشرفته می‌گفتند) شاخه‌ای از ریاضیات محض است که خود را عمدتاً وقف مطالعهٔ اعداد صحیح نموده‌است. به گفته کارل گاوس «ریاضیات ملکهٔ علوم است، و نظریهٔ اعداد ملکه ریاضیات.» نظریه اعداد دانان به مطالعه اعداد اول و همچنین خواص اشیائی که از اعداد ساخته می‌شوند می‌پردازند، (به عنوان مثال اعداد گویا) یا تعمیم‌هایی از اعداد تعریف می‌کنند (مثل اعداد صحیح جبری).

اعداد صحیح را می‌توان به خودی یا به عنوان جواب معادلات (در هندسه سیاله‌ای) در نظر گرفت. سوالات حوزهٔ نظریه اعداد اغلب از طریق مطالعه بر روی اشیاء تحلیلی (به عنوان مثال تابع زتای ریمان) بهتر فهمیده می‌شوند. می‌توان اعداد حقیقی را با کمک اعداد گویا مطالعه کرد، به عنوان مثال با تقریب زدن به کمک اعداد گویا (تقریب سیاله‌ای).

اصطلاح قدیمی برای نظریه اعداد، حساب بود. اوایل سده بیستم، عبارت «نظریه اعداد» جایگزین آن شد.Already in 1921, T. L. Heath had to explain: "By arithmetic, Plato meant, not arithmetic in our sense, but the science which considers numbers in themselves, in other words, what we mean by the Theory of Numbers."  (واژه «حساب» نزد عوام به عنوان «محاسبات مقدماتی» پنداشته می‌شود. همچنین این اصطلاح در منطق ریاضیات به معنای حساب پئانو و در علوم رایانه به معنای حساب ممیز شناور می‌باشد) استفاده از اصطلاح حساب برای نظریه اعداد در نیمه دوم سده بیستم رواج پیدا کرد، ادعا می‌شود که ترویج آن تحت تأثیر فرانسوی‌ها بوده‌است.Take, for example, . In 1952, Davenport still had to specify that he meant The Higher Arithmetic. Hardy and Wright wrote in the introduction to An Introduction to the Theory of Numbers (1938): "We proposed at one time to change [the title] to An introduction to arithmetic, a more novel and in some ways a more appropriate title; but it was pointed out that this might lead to misunderstandings about the content of the book."  به‌خصوص، اصطلاح حسابی به عنوان یک صفت نسبت به نظریه اعدادی ترجیح داده می‌شود.

 تاریخچه 
 منشأ پیدایش 
 طلوع حساب 
قدیمی‌ترین یافته‌هایی که ماهیت حساب دارند، تکه‌ای از لوح پلیمپتون ۳۲۲ است (لارسا، میانرودان، حدود ۱۸۰۰ پیش از میلاد)، که شامل فهرستی از «سه‌تایی‌های فیثاغورثی» می‌باشد، یعنی اعداد صحیح ، چنان‌که . این سه‌تایی‌ها، بسیار زیاد و بزرگ اند، به گونه ای که تصور یافته شدنشان به روش بروت فورس (یا اثبات با افنا، با روش افنا اشتباه نشود) برای آن دوره سخت است. این لوح چنین عنوانی دارد: «تاکیلتوم قطری، که از عرض کم شده …». The term takiltum is problematic. Robson prefers the rendering "The holding-square of the diagonal from which 1 is torn out, so that the short side comes up...".

طرح لوح نشان می‌دهد. Other sources give the modern formula . Van der Waerden gives both the modern formula and what amounts to the form preferred by Robson. که به این لوح به زبان مدرن به این فرمول اشاره کرده:

که به‌طور ضمنی در تمارین بابلیان باستان آورده شده. اگر از روش دیگری استفاده می‌شد،Neugebauer  discusses the table in detail and mentions in passing Euclid's method in modern notation . سه تایی‌ها ابتدا ساخته شده و سپس برحسب  مرتب می‌شدند، تا احتمالاً در کاربردهای عملی به عنوان «جدول» مورد استفاده قرار گیرند.

 نظریه مقدماتی اعداد 

در نظریه مقدماتی اعداد، اعداد صحیح را بی استفاده از روش‌های به‌کار رفته در سایر شاخه‌های ریاضی بررسی می‌کنند. مسائل بخش پذیری، الگوریتم اقلیدس برای محاسبه بزرگ‌ترین مقسوم‌علیه مشترک (ب.م. م)، تجزیه اعداد به اعداد اول، جستجوی عدد کامل  و همنهشتی‌ها در این رده هستند. برخی از یافته‌های مهم این رشته قضیه کوچک فرما، قضیه اعداد اول و قضیه اویلر، قضیه باقیمانده چینی و قانون تقابل درجه دوم هستند. خواص توابع ضربی مانند تابع موبیوس و تابع φ اویلر و دنباله اعداد صحیح و فاکتوریل‌ها و اعداد فیبوناچی در همین حوزه قرار دارند.

حل بسیاری از مسائل در نظریه مقدماتی اعداد برخلاف ظاهر ساده آن‌ها نیازمند کوشش بسیار و به‌کار گرفتن روش‌های نوین است. چند نمونه:
 حدس گلدباخ در مورد نمایش اعداد زوج به صورت جمع دو عدد اول،
 حدس کاتالان در مورد توانهای متوالی از اعداد صحیح،
 حدس اعداد اول تؤامان در مورد بی‌نهایت بودن زوج‌های اعداد اول،
 حدس کولاتز در مورد تکرار ساده،
 حدس اعداد اول مرسن در مورد بینهایت بودن اعداد اول مرسن و …
همچنین ثابت شده که نظریه معادلات دیوفانتی تعمیم‌ناپذیر است (به مسئله دهم هیلبرت مراجعه کنید).

 نظریه تحلیلی اعداد 
در نظریه تحلیلی اعداد از حسابان و آنالیز مختلط برای بررسی سؤالاتی در مورد اعداد صحیح استفاده می‌شود. مثال‌هایی در این مورد قضیه اعداد اول و حدس ریمان هستند. مسئله وارینگ (یعنی نمایش هر عدد صحیح به صورت جمع چند مربع یا مکعب)، حدس اعداد اول تؤامان (یافتن بینهایت عدد اول با اختلاف ۲)، و حدس گلدباخ (نمایش هر عدد زوج به‌صورت مجموع دو عدد اول) نیز با روش‌های تحلیلی مورد حمله قرار گرفته‌اند. اثبات متعالی (ترافرازنده) بودن ثابت‌های ریاضی مانند π و e نیز در بخش نظریه تحلیلی اعداد قرار دارند. اگرچه حکم‌هایی در مورد اعداد ترافرازنده خارج از محدوده مطالعات اعداد صحیح به نظر می‌آید، در واقع مقادیر ممکن برای چندجمله‌ای‌ها با ضریب‌های صحیح مانند e را بررسی می‌کنند. همچنین این‌گونه مسائل با مبحث تقریب دیوفانتین نیز ارتباط نزدیک دارند که موضوع آن این است که چگونه می‌توان یک عدد حقیقی داده شده را با یک عدد گویا تقریب زد؟

 نظریه جبری اعداد 
در نظریه جبری اعداد، مفهوم عدد به اعداد جبری، که همان ریشه‌های چندجمله‌ای‌هایی با ضریب گویا هستند، گسترش می‌یابد. در این حوزه اعدادی مشابه اعداد صحیح با نام اعداد صحیح جبری وجود دارد. در این عرصه لازم نیست ویژگی‌های آشنای اعداد صحیح (مانند تجزیه یگانه) برقرار باشد. مزیت روش‌های استفاده شده در این رشته (مثل نظریه گالوا، میدان همانستگی ، نظریه رده میدان ، نمایش‌های گروه‌ها و توابع-L) این است که برای این رده از اعداد، نظم را تا حدودی تأمین می‌کند.

 نظریه هندسی اعداد 
نظریه هندسی اعداد (که قبلاً به آن هندسه اعداد می‌گفتند) جنبه‌هایی از هندسه را به نظریه اعداد پیوند می‌دهد؛ و از قضیه مینکوفسکی در ارتباط با نقاط توری در مجموعه‌های محدب و تحقیق در مورد چپاندن کره‌ها  در فضای Rn شروع می‌شود.

 نظریه ترکیبیاتی اعداد 
نظریه ترکیبیاتی اعداد به مسائلی در نظریه اعداد می‌پردازد که با روش‌های ترکیبیاتی بررسی می‌شوند. پل اردوش بنیان‌گذار اصلی این شاخه از نظریه اعداد بود. الگوریتم‌های سریع برای امتحان اعداد اول و تجزیه اعداد صحیح در رمزنگاری کاربردهای مهمی دارند.

 یادداشت‌ها 

 ارجاعات 

 منابع 



  (Subscription needed)

  1968 edition at archive.org








































  Volume 1 Volume 2 Volume 3 Volume 4 (1912)
  For other editions, see Iamblichus#List of editions and translations
  This Google books preview of Elements of algebra lacks Truesdell's intro, which is reprinted (slightly abridged) in the following book:







 This article incorporates material from the Citizendium article "Number theory", which is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License but not under the GFDL.


رده:ساختارهای ریاضیاتی