نظریه اعداد

از ویکی‌پدیا، دانشنامهٔ آزاد

نسخه‌ای که می‌بینید نسخه‌ای قدیمی از صفحه است که توسط Mojtabakd (بحث | مشارکت‌ها) در تاریخ ‏۱۳ مهٔ ۲۰۲۱، ساعت ۰۶:۲۶ ویرایش شده است. این نسخه ممکن است تفاوت‌های عمده‌ای با نسخهٔ فعلی داشته باشد.

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

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

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

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

تاریخچه

منشاء پیدایش

طلوع حساب

لوح پلیمپتون ۳۲۲

قدیمی ترین یافته‌هایی که ماهیت حساب دارند، تکه‌ای از لوح پلیمپتون ۳۲۲ است (لارسا، مزوپتامیا، حدود ۱۸۰۰ پیش از میلاد)، که شامل فهرستی از "سه‌تایی‌های فیثاغورثی" می باشد، یعنی اعداد صحیح ، چنان که . این سه‌تایی‌ها، بسیار زیاد و بزرگ اند، به گونه ای که تصور یافته شدنشان به روش بروت فورس (یا اثبات با افنا، با روش افنا اشتباه نشود) برای آن دوره سخت است. این لوح چنین عنوانی دارد: "تاکیلتوم قطری، که از عرض کم شده ..."[۲]

طرح لوح نشان می دهد[۳] که به این لوح به زبان مدرن به این فرمول اشاره کرده:

که به طور ضمنی در تمارین بابلیان باستان آورده شده.[۴] اگر از روش دیگری استفاده می شد،[۵] سه تایی‌ها ابتدا ساخته شده و سپس برحسب مرتب می شدند، تا احتمالاً در کاربردهای عملی به عنوان "جدول" مورد استفاده قرار گیرند.

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

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

حل بسیاری از مسائل در نظریه مقدماتی اعداد بر خلاف ظاهر ساده آن‌ها نیازمند کوشش بسیار و به‌کار گرفتن روش‌های نوین است. چند نمونه:

همچنین ثابت شده که نظریه معادلات دیوفانتی تعمیم‌ناپذیر است (به مسئله دهم هیلبرت مراجعه کنید).

نظریه تحلیلی اعداد

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

نظریه جبری اعداد

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

نظریه هندسی اعداد

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

نظریه ترکیبیاتی اعداد

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

یادداشت‌ها

  1. 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." (Heath 1921, p. 13)
  2. Take, for example, (Serre 1973). 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." (Hardy & Wright 2008)

ارجاعات

  1. Long 1972, p. 1.
  2. (Neugebauer & Sachs 1945، ص. 40). 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...".(Robson 2001، ص. 192)
  3. (Robson 2001، ص. 189). Other sources give the modern formula . Van der Waerden gives both the modern formula and what amounts to the form preferred by Robson.(van der Waerden 1961, p. 79)
  4. van der Waerden 1961, p. 184.
  5. Neugebauer (Neugebauer 1969, pp. 36–40) discusses the table in detail and mentions in passing Euclid's method in modern notation (Neugebauer 1969, p. 39).

منابع

  • 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.