Теория чисел - Number theory

Книгу Андре Вейля см. Теория чисел: подход через историю от Хаммурапи до Лежандра.

Не путать с Нумерология.

Распределение простые числа является центральным пунктом теории чисел. Этот Спираль Улама служит для иллюстрации, намекая, в частности, на условное независимость между простотой и значением некоторых квадратичных многочленов.

Теория чисел (или же арифметика или же высшая арифметика в более раннем использовании) является ветвью чистая математика посвящен в первую очередь изучению целые числа и целочисленные функции. Немецкий математик Карл Фридрих Гаусс (1777–1855) сказал: «Математика - королева наук, а теория чисел - королева математики».^[1] Ученые-теоретики чисел простые числа а также свойства математических объектов, составленных из целых чисел (например, рациональное число ) или определяется как обобщение целых чисел (например, алгебраические целые числа ).

Целые числа можно рассматривать либо сами по себе, либо как решения уравнений (Диофантова геометрия ). Вопросы теории чисел часто лучше всего понять, изучив аналитический объекты (например, Дзета-функция Римана ), которые каким-то образом кодируют свойства целых чисел, простых чисел или других теоретико-числовых объектов (аналитическая теория чисел ). Можно также изучить действительные числа по отношению к рациональным числам, например, как аппроксимация последних (Диофантово приближение ).

Более старый термин теории чисел арифметика. К началу двадцатого века ее вытеснила «теория чисел».^{[примечание 1]} (Слово "арифметика "широко используется для обозначения"элементарные расчеты "; это также приобрело другие значения в математическая логика, как в Арифметика Пеано, и Информатика, как в арифметика с плавающей запятой.) Использование термина арифметика за теория чисел восстановил позиции во второй половине 20-го века, возможно, отчасти благодаря французскому влиянию.^{[заметка 2]} Особенно, арифметический предпочтительнее как прилагательное к теоретико-числовой.^{[кем? ]}

История

Происхождение

Рассвет арифметики

Планшет Plimpton 322

Самая ранняя историческая находка арифметического характера - это фрагмент стола: разбитая глиняная табличка. Плимптон 322 (Ларса, Месопотамия, ок. 1800 г. до н.э.) содержит список "Пифагорейские тройки ", то есть целые числа ${displaystyle (a,b,c)}$ такой, что ${displaystyle a^{2}+b^{2}=c^{2}}$.Тройки слишком много и слишком велики, чтобы их можно было получить грубая сила. Заголовок над первым столбцом гласит: «The такилтум диагонали, которая была вычтена так, что ширина ... "^[2]

Расположение стола предполагает^[3] что он был построен с помощью того, что составляет, говоря современным языком, идентичность

${displaystyle left({frac {1}{2}}left(x-{frac {1}{x}}ight)ight)^{2}+1=left({frac {1}{2}}left(x+{frac {1}{x}}ight)ight)^{2},}$

что подразумевается в рутинных старовавилонских упражнениях.^[4] Если был использован другой метод,^[5] тройки были сначала построены, а затем переупорядочены ${displaystyle c/a}$, предположительно для фактического использования в качестве «таблицы», например, для приложений.

Неизвестно, что это были за приложения и могли ли они существовать; Вавилонская астрономия, например, по-настоящему вступила в свои права лишь позже. Вместо этого было высказано предположение, что таблица была источником числовых примеров для школьных задач.^{[6][заметка 3]}

В то время как вавилонская теория чисел - или то, что осталось от Вавилонская математика что можно назвать так - состоит из этого единственного поразительного фрагмента, вавилонская алгебра (в школьном смысле «алгебра») была исключительно хорошо развита.^[7] Поздние неоплатонические источники^[8] утверждать, что Пифагор изучил математику у вавилонян. Намного более ранние источники^[9] утверждать, что Фалес и Пифагор путешествовал и учился в Египет.

Евклид IX 21–34 очень вероятно пифагорейское;^[10] это очень простой материал («четное нечетное - это четное», «если нечетное число измеряет [= делит] четное число, то оно также измеряет [= делит] его половину»), но это все, что нужно для докажи это ${displaystyle {sqrt {2}}}$ является иррациональный.^[11] Пифагорейские мистики придавали большое значение четному и нечетному.^[12]Открытие, что ${displaystyle {sqrt {2}}}$ иррациональное приписывают ранним пифагорейцам (доТеодор ).^[13] Раскрывая (говоря современным языком), что числа могут быть иррациональными, это открытие, похоже, спровоцировало первый фундаментальный кризис в истории математики; его доказательства или разглашение иногда приписывают Гиппас, который был изгнан или отделен от секты пифагорейцев.^[14] Это заставило провести различие между числа (целые числа и рациональные числа - предметы арифметики), с одной стороны, и длина и пропорции (которые мы бы отождествили с действительными числами, рациональными или нет), с другой стороны.

Пифагорейская традиция говорила также о так называемых многоугольный или же фигуральные числа.^[15] В то время как квадратные числа, кубические числа и т. Д. Теперь считаются более естественными, чем треугольные числа, пятиугольные числа и т. Д., Изучение сумм треугольных и пятиугольных чисел могло бы оказаться плодотворным в период раннего Нового времени (с 17 по начало 19 века). .

Мы не знаем четко арифметического материала в древнеегипетский или же Ведический источников, хотя в обоих есть некоторая алгебра. В Китайская теорема об остатках появляется как упражнение ^[16] в Сунзи Суаньцзин (3, 4 или 5 век н. Э.)^[17] (В решении Sunzi упущен один важный шаг:^{[примечание 4]} это проблема, которая позже была решена Ryabhaa с Kuṭṭaka - видеть ниже.)

В китайской математике также присутствует некоторый числовой мистицизм,^{[примечание 5]} но, в отличие от пифагорейцев, это, кажется, ни к чему не привело. Как идеальные числа пифагорейцев, магические квадраты перешли от суеверий к отдыху.

Классическая Греция и ранний эллинистический период

Дальнейшая информация: Древнегреческая математика

За исключением нескольких фрагментов, математика классической Греции известна нам либо из отчетов современных нематематиков, либо из математических работ раннего эллинистического периода.^[18] В случае теории чисел это означает, по большому счету, Платон и Евклид, соответственно.

Хотя азиатская математика повлияла на греческое и эллинистическое обучение, похоже, что греческая математика также является местной традицией.

Евсевий, PE X, глава 4 упоминает Пифагор:

Фактически, упомянутый Пифагор, усердно изучая мудрость каждой нации, посетил Вавилон, Египет и всю Персию, будучи наставлен волхвами и жрецами; и в дополнение к этому он, как сообщается, учился у брахманов ( это индийские философы); у одних он собрал астрологию, у других - геометрию, арифметику и музыку - у других, и разные вещи у разных народов, и только от мудрецов Греции он ничего не получил, поскольку они были связаны с бедность и недостаток мудрости: напротив, он сам стал автором наставлений греков о знаниях, полученных им из-за границы ».^[19]

Аристотель утверждал, что философия Платона тесно связана с учениями пифагорейцев,^[20] и Цицерон повторяет это утверждение: Platonem ferunt didicisse Pythagorea omnia («Говорят, Платон научился всему пифагорейскому»).^[21]

Платон проявлял большой интерес к математике и четко различал арифметику и вычисления. (К арифметика отчасти он имел в виду теоретизацию о числах, а не о том, арифметика или же теория чисел стали значить.) Это происходит через один из диалогов Платона, а именно: Theaetetus - что мы знаем, что Теодор доказал, что ${displaystyle {sqrt {3}},{sqrt {5}},dots ,{sqrt {17}}}$ иррациональны. Theaetetus был, как и Платон, учеником Теодора; он работал над различением разных видов несоизмеримые, и поэтому, возможно, был пионером в изучении системы счисления. (Книга X из Элементы Евклида описывается Паппус как в значительной степени основанный на работе Теэтета.)

Евклид посвятил часть своего Элементы к простым числам и делимости, темам, которые однозначно относятся к теории чисел и лежат в ее основе (книги VII - IX Элементы Евклида ). В частности, он дал алгоритм вычисления наибольшего общего делителя двух чисел ( Евклидов алгоритм; Элементы, Предложение VII.2) и первое известное доказательство бесконечность простых чисел (Элементы, Предложение IX.20).

В 1773 г. Лессинг опубликовал эпиграмма он нашел в рукописи во время его работы библиотекарем; это утверждалось, что это письмо, отправленное Архимед к Эратосфен.^[22][23] В эпиграмме предлагалось то, что стало известно какПроблема архимеда о скоте; его решение (отсутствует в рукописи) требует решения неопределенного квадратного уравнения (которое сводится к тому, что позже будет ошибочно названо Уравнение Пелла ). Насколько нам известно, такие уравнения впервые были успешно обработаны Индийская школа. Неизвестно, был ли у Архимеда способ решения проблемы.

Диофант

Титульный лист издания Диофанта 1621 г. Арифметика, переведено на латинский к Клод Гаспар Баше де Мезириак.

Очень мало известно о Диофант Александрийский; он, вероятно, жил в третьем веке нашей эры, то есть примерно через пятьсот лет после Евклида. Шесть из тринадцати книг Диофанта Арифметика сохранились в греческом оригинале и еще четыре сохранились в арабском переводе. В Арифметика представляет собой набор проработанных задач, где неизменно стоит задача найти рациональные решения системы полиномиальных уравнений, обычно имеющей вид ${displaystyle f(x,y)=z^{2}}$ или же ${displaystyle f(x,y,z)=w^{2}}$. Таким образом, в настоящее время мы говорим о Диофантовы уравнения когда мы говорим о полиномиальных уравнениях, для которых необходимо найти рациональные или целочисленные решения.

Можно сказать, что Диофант изучал рациональные точки, то есть точки, координаты которых рациональны, - на кривые и алгебраические многообразия; однако, в отличие от греков классического периода, которые делали то, что мы сейчас называем базовой алгеброй в геометрических терминах, Диофант делал то, что мы теперь называем базовой алгебраической геометрией в чисто алгебраических терминах. Говоря современным языком, Диофант нашел рациональную параметризацию многообразий; то есть, учитывая уравнение вида (скажем)${displaystyle f(x_{1},x_{2},x_{3})=0}$, его целью было найти (по сути) три рациональные функции ${displaystyle g_{1},g_{2},g_{3}}$ такое, что для всех значений ${displaystyle r}$ и ${displaystyle s}$, параметр${displaystyle x_{i}=g_{i}(r,s)}$ за ${displaystyle i=1,2,3}$ дает решение ${displaystyle f(x_{1},x_{2},x_{3})=0.}$

Диофант также изучал уравнения некоторых нерациональных кривых, для которых рациональная параметризация невозможна. Ему удалось найти рациональные точки на этих кривых (эллиптические кривые (как это случилось, в том, что кажется их первым известным случаем) посредством того, что составляет касательную конструкцию: в переводе в координатную геометрию (которой не существовало во времена Диофанта) его метод можно было бы визуализировать как рисование касательной к кривая в известной рациональной точке, а затем нахождение другой точки пересечения касательной с кривой; этот другой пункт - новый рациональный момент. (Диофант также прибег к тому, что можно было бы назвать частным случаем секущей конструкции.)

Хотя Диофанта интересовали в основном рациональные решения, он предполагал некоторые результаты о целых числах, в частности, что каждое целое число - это сумма четырех квадратов (хотя он никогда не заявлял об этом прямо).

Арьябхана, Брахмагупта, Бхаскара

Хотя греческая астрономия, вероятно, повлияла на индийское обучение, вплоть до введения тригонометрии,^[24] кажется, что в остальном индийская математика является исконной традицией;^[25] в частности, нет никаких свидетельств того, что элементы Евклида достигли Индии до 18 века.^[26]

Ryabhaa (476–550 гг. Н. Э.) Показали, что пары одновременных конгруэнций ${displaystyle nequiv a_{1}{mod {m}}_{1}}$, ${displaystyle nequiv a_{2}{mod {m}}_{2}}$ может быть решена методом, который он назвал Kuaka, или же измельчитель;^[27] это процедура, близкая (обобщению) к Евклидов алгоритм, который, вероятно, был независимо открыт в Индии.^[28] Арьябхана, похоже, имел в виду приложения к астрономическим расчетам.^[24]

Брахмагупта (628 г. н.э.) начал систематическое изучение неопределенных квадратных уравнений - в частности, неправильно названных Уравнение Пелла, в котором Архимед Возможно, это сначала было интересно, и решение этой проблемы на Западе началось только во времена Ферма и Эйлера. Позднее последовали санскритские авторы, использующие техническую терминологию Брахмагупты. Общая процедура ( чакравала, или «циклический метод») для решения уравнения Пелла был наконец найден Джаядевой (цитируется в одиннадцатом веке; в противном случае его работа утеряна); самая ранняя сохранившаяся экспозиция появляется в Бхаскара II Биджа-ганита (XII век).^[29]

Индийская математика оставалась практически неизвестной в Европе до конца восемнадцатого века;^[30] Работа Брахмагупты и Бхаскары была переведена на английский язык в 1817 г. Генри Коулбрук.^[31]

Арифметика в золотой век ислама

Дальнейшая информация: Математика в средневековом исламе

Аль-Хайтам глазами Запада: фронт Селенография, показывая Альхасен [sic ], представляющий знание через разум, и Галилей, представляющий знание через чувства.

В начале девятого века халиф Аль-Мамун заказал переводы многих греческих математических работ и по крайней мере одной санскритской работы ( Sindhind,который может ^[32] или не может^[33] быть Брахмагупта с Брахмаспхунасиддханта Основное произведение Диофанта Арифметика, был переведен на арабский язык Куста ибн Лука (820–912). Часть трактата. аль-Фахри (к аль-Караджи, 953 - ок. 1029) до некоторой степени основывается на нем. По словам Рашеда Рошди, современника Аль-Караджи Ибн аль-Хайсам знал^[34] что позже будет называться Теорема Вильсона.

Западная Европа в средние века

Кроме трактата о квадратах в арифметической прогрессии автора Фибоначчи - которые путешествовали и учились в Северной Африке и Константинополе - никакой теории чисел, о которой можно было бы говорить, не существовало в Западной Европе в средние века. Ситуация в Европе начала меняться в конце эпоха Возрождения, благодаря обновленному исследованию произведений греческой античности. Катализатором послужили исправление текста и перевод на латынь Диофанта. Арифметика.^[35]

Ранняя современная теория чисел

Ферма

Пьер де Ферма

Пьер де Ферма (1607–1665) никогда не публиковал свои сочинения; в частности, его работа по теории чисел почти полностью содержится в письмах к математикам и в частных заметках на полях.^[36] В своих записях и письмах он почти не писал никаких доказательств - у него не было моделей в этом районе.^[37]

За свою жизнь Ферма внес в эту область следующий вклад:

• Одним из первых интересов Ферма было идеальные числа (которые появляются у Евклида, Элементы IX) и мирные номера;^{[примечание 6]} эти темы привели его к работе с целыми числами делители, которые с самого начала были среди субъектов переписки (с 1636 г.), которая познакомила его с математическим сообществом того времени.^[38]

• В 1638 году Ферма без доказательств утверждал, что все целые числа могут быть выражены как сумма четырех квадратов или меньше.^[39]
• Маленькая теорема Ферма (1640):^[40] если а не делится на простое число п, тогда ${displaystyle a^{p-1}equiv 1{mod {p}}.}$^{[примечание 7]}
• Если а и б взаимно просты, то ${displaystyle a^{2}+b^{2}}$ не делится ни на одно простое число, сравнимое с −1 по модулю 4;^[41] и каждое простое число, сравнимое с 1 по модулю 4, можно записать в виде ${displaystyle a^{2}+b^{2}}$.^[42] Эти два заявления также датируются 1640 годом; в 1659 году Ферма заявил Гюйгенсу, что он доказал последнее утверждение метод бесконечного спуска.^[43]
• В 1657 году Ферма поставил задачу решить ${displaystyle x^{2}-Ny^{2}=1}$ как вызов английским математикам. Проблема была решена за несколько месяцев Уоллис и Браункер.^[44] Ферма счел их решение верным, но указал, что они предоставили алгоритм без доказательства (как и Джаядева и Бхаскара, хотя Ферма об этом не знал). Он заявил, что доказательство может быть найдено бесконечным спуском.
• Ферма утверждал и доказывал (бесконечным спуском) в приложении к Наблюдения за Диофантом (Обс. XLV)^[45] который ${displaystyle x^{4}+y^{4}=z^{4}}$ не имеет нетривиальных решений в целых числах. Ферма также сообщил своим корреспондентам, что ${displaystyle x^{3}+y^{3}=z^{3}}$ не имеет нетривиальных решений, и что это также может быть доказано бесконечным спуском.^[46] Первое известное доказательство принадлежит Эйлеру (1753; действительно, бесконечным спуском).^[47]
• Ферма утверждал ("Последняя теорема Ферма "), чтобы показать, что нет решений ${displaystyle x^{n}+y^{n}=z^{n}}$ для всех ${displaystyle ngeq 3}$; это утверждение появляется в его комментариях на полях его копии Диофанта.

Эйлер

Леонард Эйлер

Интерес Леонард Эйлер (1707–1783 гг.) В теории чисел был впервые придуман в 1729 г., когда его друг, любитель^{[примечание 8]} Гольдбах, указал ему на некоторые работы Ферма по этой теме.^[48][49] Это было названо «возрождением» современной теории чисел.^[50] после относительного отсутствия Ферма в привлечении внимания современников к этому предмету.^[51] Работы Эйлера по теории чисел включают следующее:^[52]

• Доказательства утверждений Ферма. Это включает в себя Маленькая теорема Ферма (обобщено Эйлером на непростые модули); дело в том, что ${displaystyle p=x^{2}+y^{2}}$ если и только если ${displaystyle pequiv 1{mod {4}}}$; начальная работа по доказательству того, что каждое целое число является суммой четырех квадратов (первое полное доказательство Жозеф-Луи Лагранж (1770), вскоре улучшенный самим Эйлером^[53]); отсутствие ненулевых целочисленных решений ${displaystyle x^{4}+y^{4}=z^{2}}$ (имея в виду случай п = 4 последней теоремы Ферма случай п = 3 из которых Эйлер также доказал родственным методом).
• Уравнение Пелла, впервые ошибочно названный Эйлером.^[54] Он писал о связи между непрерывными дробями и уравнением Пелла.^[55]
• Первые шаги к аналитическая теория чисел. В своей работе с суммами четырех квадратов, перегородки, пятиугольные числа, а распределение простых чисел, Эйлер был пионером в использовании того, что можно рассматривать как анализ (в частности, бесконечных рядов) в теории чисел. Поскольку он жил до развития комплексный анализ, большая часть его работы ограничивается формальным манипулированием степенной ряд. Тем не менее, он проделал очень заметную (хотя и не полностью скрупулезную) раннюю работу над тем, что позже будет называться Дзета-функция Римана.^[56]
• Квадратичные формы. Следуя примеру Ферма, Эйлер провел дальнейшее исследование вопроса о том, какие простые числа могут быть выражены в форме ${displaystyle x^{2}+Ny^{2}}$, некоторые из них являются прототипом квадратичная взаимность.^{[57] [58][59]}
• Диофантовы уравнения. Эйлер работал над некоторыми диофантовыми уравнениями рода 0 и 1.^[60][61] В частности, он учился Диофант работа; он попытался систематизировать ее, но время для таких усилий еще не пришло - алгебраическая геометрия все еще находилась в зачаточном состоянии.^[62] Он заметил, что существует связь между диофантовыми проблемами и эллиптические интегралы,^[62] чье изучение он сам инициировал.

Лагранж, Лежандр и Гаусс

Карл Фридрих Гаусс с Disquisitiones Arithmeticae, первое издание

Жозеф-Луи Лагранж (1736–1813) был первым, кто дал полные доказательства некоторых работ и наблюдений Ферма и Эйлера, например, теорема четырех квадратов и основная теория ошибочно названного «уравнения Пелла» (для которого алгоритмическое решение было найдено Ферма и его современниками, а также Джаядевой и Бхаскара II перед ними.) Он также учился квадратичные формы в полной общности (в отличие от ${displaystyle mX^{2}+nY^{2}}$) - определение их отношения эквивалентности, показывающее, как их привести в сокращенном виде и т. Д.

Адриан-Мари Лежандр (1752–1833) был первым, кто сформулировал закон квадратичной взаимности. Он также предположил, что составляет теорема о простых числах и Теорема Дирихле об арифметических прогрессиях. Он дал полную трактовку уравнения ${displaystyle ax^{2}+by^{2}+cz^{2}=0}$^[63] и работал над квадратичными формами в соответствии с направлениями, впоследствии полностью развитыми Гауссом.^[64] В старости он первым доказал «последнюю теорему Ферма» для ${displaystyle n=5}$ (завершение работы Питер Густав Лежен Дирихле, и кредитуя его и Софи Жермен ).^[65]

Карл Фридрих Гаусс

В его Disquisitiones Arithmeticae (1798), Карл Фридрих Гаусс (1777–1855) доказал закон квадратичная взаимность и развил теорию квадратичных форм (в частности, определив их композицию). Он также ввел некоторые основные обозначения (совпадения ) и посвятил раздел вычислительным вопросам, включая тесты на простоту.^[66] Последний раздел Disquisitiones установил связь между корни единства и теория чисел:

Теория деления круга ... которая рассматривается в гл. 7 не относится к арифметике, но ее принципы можно извлечь только из высшей арифметики.^[67]

Таким образом, Гаусс, возможно, совершил первый набег на оба Эварист Галуа работа и алгебраическая теория чисел.

Срок погашения и разделение на подполя

Эрнст Куммер

Питер Густав Лежен Дирихле

Начиная с начала девятнадцатого века постепенно происходили следующие события:

• Возникновение самосознания теории чисел (или высшая арифметика) как область исследования.^[68]
• Развитие большей части современной математики, необходимой для базовой современной теории чисел: комплексный анализ, теория групп, Теория Галуа - сопровождаются большей строгостью в анализе и абстракцией в алгебре.
• Грубое разделение теории чисел на ее современные разделы, в частности, аналитический и алгебраическая теория чисел.

Можно сказать, что алгебраическая теория чисел начинается с изучения взаимности и циклотомия, но по-настоящему вступил в свои права с развитием абстрактная алгебра и ранняя идеальная теория и оценка теория; Смотри ниже. Обычной отправной точкой для аналитической теории чисел является Теорема Дирихле об арифметических прогрессиях (1837),^{[69] [70]} чье доказательство представило L-функции и включал некоторый асимптотический анализ и процесс ограничения действительной переменной.^[71] Первое использование аналитических идей в теории чисел фактически восходит к Эйлеру (1730-е годы),^{[72] [73]} кто использовал формальные степенные ряды и нестрогие (или неявные) ограничивающие аргументы. Использование сложный анализ в теории чисел приходит позже: работа Бернхард Риманн (1859 г.) на дзета-функция каноническая отправная точка;^[74] Теорема Якоби о четырех квадратах (1839), предшествующий ей, принадлежит к изначально другой ветви, которая к настоящему времени заняла ведущую роль в аналитической теории чисел (модульные формы ).^[75]

История каждого подполя кратко рассматривается в отдельном разделе ниже; см. основную статью каждого подполя для более полного описания. Многие из наиболее интересных вопросов в каждой области остаются открытыми и активно работают над ними.

Основные подразделения

Элементарные инструменты

Период, термин элементарный обычно обозначает метод, который не использует комплексный анализ. Например, теорема о простых числах было впервые доказано с помощью комплексного анализа в 1896 г., но элементарное доказательство было найдено только в 1949 г. Erds и Сельберг.^[76] Термин несколько неоднозначный: например, доказательства, основанные на сложных Тауберовы теоремы (Например, Винер – Икехара ) часто рассматриваются как весьма поучительные, но не элементарные, несмотря на использование анализа Фурье, а не комплексный анализ как таковой. Здесь, как и везде, элементарный Доказательство может быть длиннее и труднее для большинства читателей, чем неэлементарное.

Теоретики чисел Пол Эрдёш и Теренс Тао в 1985 году, когда Эрдешу было 72 года, а Тао - 10.

Теория чисел имеет репутацию области, многие результаты которой могут быть изложены неспециалисту. В то же время доказательства этих результатов не особенно доступны, отчасти потому, что набор инструментов, которые они используют, необычайно широк в математике.^[77]

Аналитическая теория чисел

Основная статья: Аналитическая теория чисел

Дзета-функция Римана ζ (s) в комплексная плоскость. Цвет точки s дает значение ζ (s): темные цвета обозначают значения, близкие к нулю, а оттенок дает значения аргумент.

Действие модульная группа на верхняя полуплоскость. Область серого цвета - стандартная фундаментальная область.

Аналитическая теория чисел можно определить

• с точки зрения его инструментов, как изучение целых чисел с помощью инструментов реального и сложного анализа;^[69] или же
• с точки зрения его проблем, как исследование в рамках теории чисел оценок размера и плотности в противоположность тождествам.^[78]

Некоторые предметы, которые обычно считаются частью аналитической теории чисел, например, теория сита,^{[примечание 9]} лучше охватываются вторым, а не первым определением: например, некоторые из теорий сит мало анализируют,^{[примечание 10]} тем не менее, это относится к аналитической теории чисел.

Ниже приведены примеры задач аналитической теории чисел: теорема о простых числах, то Гипотеза Гольдбаха (или гипотеза о простых близнецах, или Гипотезы Харди – Литтлвуда ), Проблема с товаром и Гипотеза Римана. Некоторые из наиболее важных инструментов аналитической теории чисел: круговой метод, ситовые методы и L-функции (а точнее изучение их свойств). Теория модульные формы (и, в более общем плане, автоморфные формы ) также занимает все более центральное место в инструментарии аналитической теории чисел.^[79]

Можно задать аналитические вопросы о алгебраические числа, и использовать аналитические средства для ответа на такие вопросы; таким образом пересекаются алгебраическая и аналитическая теория чисел. Например, можно определить главные идеалы (обобщения простые числа в области алгебраических чисел) и спросите, сколько существует простых идеалов определенного размера. Этот вопрос можно ответить посредством изучения Дзета-функции Дедекинда, которые являются обобщением Дзета-функция Римана, ключевой аналитический объект, лежащий в основе субъекта.^[80] Это пример общей процедуры в аналитической теории чисел: получение информации о распределении последовательности (здесь простых идеалов или простых чисел) из аналитического поведения правильно построенной комплекснозначной функции.^[81]

Алгебраическая теория чисел

Основная статья: Алгебраическая теория чисел

An алгебраическое число - любое комплексное число, являющееся решением некоторого полиномиального уравнения ${displaystyle f(x)=0}$ с рациональными коэффициентами; например, каждое решение ${displaystyle x}$ из ${displaystyle x^{5}+(11/2)x^{3}-7x^{2}+9=0}$ (скажем) - алгебраическое число. Поля алгебраических чисел также называют поля алгебраических чисел, или в ближайшее время числовые поля. Алгебраическая теория чисел изучает поля алгебраических чисел.^[82] Таким образом, аналитическая и алгебраическая теория чисел могут пересекаться и действительно пересекаются: первая определяется ее методами, вторая - объектами изучения.

Можно утверждать, что простейшие виды числовых полей (а именно квадратичные поля) уже были изучены Гауссом, поскольку обсуждение квадратичных форм в Disquisitiones arithmeticae можно переформулировать с точки зрения идеалы инормы в квадратичных полях. (А квадратичное поле состоит из всех чисел вида ${displaystyle a+b{sqrt {d}}}$, куда${displaystyle a}$ и ${displaystyle b}$ рациональные числа и ${displaystyle d}$- фиксированное рациональное число, квадратный корень которого не является рациональным.) В этом отношении XI в. метод чакравалы суммы, выражаясь современными терминами, в алгоритм нахождения единиц действительного квадратичного числового поля. Однако ни Бхаскара ни Гаусс не знал о числовых полях как таковых.

Основания предмета в том виде, в каком мы его знаем, были заложены в конце девятнадцатого века, когда идеальные числа, то теория идеалов и теория оценки были разработаны; это три дополнительных способа справиться с отсутствием уникальной факторизации в полях алгебраических чисел. (Например, в области, генерируемой рациональным и ${displaystyle {sqrt {-5}}}$, номер ${displaystyle 6}$ можно разложить на множители как ${displaystyle 6=2cdot 3}$ и${displaystyle 6=(1+{sqrt {-5}})(1-{sqrt {-5}})}$; все ${displaystyle 2}$, ${displaystyle 3}$, ${displaystyle 1+{sqrt {-5}}}$ и${displaystyle 1-{sqrt {-5}}}$неприводимы и, таким образом, в наивном смысле аналогичны простым числам среди целых чисел.) Первоначальный импульс для развития идеальных чисел (посредством Куммер ), похоже, возникла в результате изучения законов высшей взаимности,^[83] то есть обобщения квадратичная взаимность.

Числовые поля часто изучаются как расширения меньших числовых полей: поля L считается расширение поля K если L содержит K. (Например, комплексные числа C являются продолжением реальных р, и настоящие р являются продолжением рациональных Q.) Классификация возможных расширений данного числового поля - сложная и частично открытая проблема. Абелевы расширения, т. Е. Расширения L из K так что Группа Галуа^{[примечание 11]} Гал (L/K) из L над K является абелева группа - относительно хорошо изучены. Их классификация была предметом программы теория поля классов, который был инициирован в конце 19 века (частично Кронекер и Эйзенштейн ) и проводились в основном в 1900–1950 гг.

Пример активной области исследований в области алгебраической теории чисел: Теория Ивасавы. В Программа Langlands, один из основных текущих крупномасштабных исследовательских планов в математике, иногда описывается как попытка обобщить теорию полей классов на неабелевы расширения числовых полей.

Диофантова геометрия

Основная статья: Диофантова геометрия

Центральная проблема Диофантова геометрия состоит в том, чтобы определить, когда Диофантово уравнение есть решения, и если да, то сколько. Используемый подход состоит в том, чтобы думать о решениях уравнения как о геометрическом объекте.

Например, уравнение с двумя переменными определяет кривую на плоскости. В более общем смысле уравнение или система уравнений с двумя или более переменными определяет изгиб, а поверхность или какой-то другой такой объект в п-мерное пространство. В диофантовой геометрии спрашивают, есть ли какие-нибудь рациональные точки (точки, все координаты которых рациональны) илиинтегральные точки (точки, все координаты которых являются целыми числами) на кривой или поверхности. Если такие точки есть, следующий шаг - спросить, сколько их и как они распределяются. Основной вопрос в этом направлении - есть ли на данной кривой (или поверхности) конечное или бесконечное число рациональных точек.

в Уравнение пифагора ${displaystyle x^{2}+y^{2}=1,}$мы хотели бы изучить его рациональные решения, то есть его решения${displaystyle (x,y)}$ такой, чтоИкс и у оба рациональны. Это то же самое, что запрашивать все целочисленные решения для ${displaystyle a^{2}+b^{2}=c^{2}}$; любое решение последнего уравнения дает нам решение ${displaystyle x=a/c}$, ${displaystyle y=b/c}$ к бывшему. Это также то же самое, что запрос всех точек с рациональными координатами на кривой, описанной ${displaystyle x^{2}+y^{2}=1}$. (Эта кривая представляет собой круг радиуса 1 вокруг начала координат.)

Два примера эллиптическая кривая, то есть кривая рода 1, имеющая хотя бы одну рациональную точку. (Любой график можно рассматривать как срез тор в четырехмерном пространстве.)

Перефразировка вопросов об уравнениях в терминах точек на кривых оказывается удачной. Конечность или нет числа рациональных или целых точек на алгебраической кривой, то есть рациональных или целочисленных решений уравнения ${displaystyle f(x,y)=0}$, куда ${displaystyle f}$ является многочленом от двух переменных, оказывается, что он существенно зависит от род кривой. В род можно определить следующим образом:^{[примечание 12]} разрешить переменные в ${displaystyle f(x,y)=0}$ быть комплексными числами; тогда ${displaystyle f(x,y)=0}$ определяет 2-мерную поверхность в (проективном) 4-мерном пространстве (поскольку две комплексные переменные могут быть разложены на четыре вещественные переменные, то есть в четыре измерения). Если посчитать количество (бублик) дырок на поверхности; мы называем этот номер род из ${displaystyle f(x,y)=0}$. Другие геометрические понятия оказываются столь же важными.

Существует также тесно связанная область Диофантовы приближения: задано число ${displaystyle x}$, а затем выясняя, насколько хорошо это может быть аппроксимировано рациональными числами. (Мы ищем приближения, которые хороши по отношению к количеству места, которое требуется для записи рационального: call ${displaystyle a/q}$ (с ${displaystyle gcd(a,q)=1}$) хорошее приближение к ${displaystyle x}$ если ${displaystyle |x-a/q|<{frac {1}{q^{c}}}}$, куда ${displaystyle c}$ большой.) Этот вопрос представляет особый интерес, если ${displaystyle x}$ - алгебраическое число. Если ${displaystyle x}$ не могут быть хорошо аппроксимированы, то некоторые уравнения не имеют целочисленных или рациональных решений. Более того, несколько концепций (особенно высота ) оказываются критическими как в диофантовой геометрии, так и при изучении диофантовых приближений. Этот вопрос также представляет особый интерес в трансцендентная теория чисел: если число может быть приближено лучше, чем любое алгебраическое число, то оно трансцендентное число. Именно по этому аргументу π и е было показано, что они трансцендентны.

Не следует путать диофантову геометрию с геометрия чисел, который представляет собой набор графических методов для ответа на некоторые вопросы алгебраической теории чисел. Арифметическая геометриятем не менее, это современный термин для той же области, что и термин Диофантова геометрия. Период, термин арифметическая геометрия вероятно, используется чаще всего, когда кто-то хочет подчеркнуть связи с современной алгебраической геометрией (как, например, Теорема Фальтингса ), а не техники в диофантовых приближениях.

Другие подполя

Области ниже датируются не ранее середины двадцатого века, даже если они основаны на более старых материалах. Например, как объясняется ниже, вопрос об алгоритмах в теории чисел очень стар, в некотором смысле старше концепции доказательства; в то же время современное изучение вычислимость датируется только 1930-ми и 1940-ми годами, и теория сложности вычислений с 1970-х гг.

Вероятностная теория чисел

Основная статья: Вероятностная теория чисел

По большей части вероятностная теория чисел может рассматриваться как важный частный случай изучения переменных, которые почти, но не совсем взаимно независимый. Например, случай, когда случайное целое число от одного до миллиона делится на два, и событие, когда оно делится на три, почти независимы, но не совсем.

Иногда говорят, что вероятностная комбинаторика использует тот факт, что все, что происходит с вероятностью больше, чем ${displaystyle 0}$ иногда должно происходить; с равной справедливостью можно сказать, что многие приложения вероятностной теории чисел основаны на том факте, что все необычное должно быть редкостью. Если можно показать, что определенные алгебраические объекты (например, рациональные или целочисленные решения некоторых уравнений) находятся в хвосте определенных разумно определенных распределений, из этого следует, что их должно быть немного; это очень конкретное, не вероятностное утверждение, вытекающее из вероятностного.

Иногда нестрогий вероятностный подход приводит к ряду эвристический алгоритмы и открытые проблемы, в частности Гипотеза Крамера.

Арифметическая комбинаторика

Основные статьи: Арифметическая комбинаторика и Аддитивная теория чисел

Если начать с довольно «толстого» бесконечного множества ${displaystyle A}$, содержит ли он много элементов в арифметической прогрессии: ${displaystyle a}$,${displaystyle a+b,a+2b,a+3b,ldots ,a+10b}$, сказать? Если возможно записать большие целые числа как суммы элементов ${displaystyle A}$?

Эти вопросы характерны для арифметическая комбинаторика. Это в настоящее время сливающееся поле; это включает аддитивная теория чисел (который касается некоторых очень специфических наборов ${displaystyle A}$ арифметического значения, такого как простые числа или квадраты) и, возможно, некоторые из геометрия чисел вместе с некоторыми быстро развивающимися новыми материалами. Его внимание уделяется вопросам роста и распределения, отчасти благодаря развитию связей с эргодическая теория, теория конечных групп, теория моделей, и другие поля. Период, термин аддитивная комбинаторика также используется; однако наборы ${displaystyle A}$ должны быть не наборами целых чисел, а скорее подмножествами некоммутативных группы, для которого традиционно используется символ умножения, а не символ сложения; они также могут быть подмножествами кольца, в этом случае рост ${displaystyle A+A}$ и ${displaystyle A}$·${displaystyle A}$ можно сравнить.

Вычислительная теория чисел

Основная статья: Вычислительная теория чисел

А Сито Лемера, который является примитивным цифровой компьютер когда-то использовался для поиска простые числа и решение простых Диофантовы уравнения.

Хотя слово алгоритм возвращается только к некоторым читателям аль-Хваризми, тщательные описания методов решения старше, чем доказательства: такие методы (то есть алгоритмы) так же стары, как и любая известная математика - древнеегипетская, вавилонская, ведическая, китайская, - тогда как доказательства появились только у греков классического периода.

Интересный ранний случай - это то, что мы сейчас называем Евклидов алгоритм. В своей базовой форме (а именно, как алгоритм вычисления наибольший общий делитель ) оно появляется как Предложение 2 Книги VII в Элементы вместе с доказательством правильности. Однако в форме, которая часто используется в теории чисел (а именно, как алгоритм нахождения целочисленных решений уравнения ${displaystyle ax+by=c}$, или, что то же самое, для нахождения величин, существование которых обеспечивается Китайская теорема об остатках ) впервые появляется в произведениях Ryabhaa (V – VI века н.э.) как алгоритм, называемыйKuaka («пульверизатор»), без подтверждения правильности.

Есть два основных вопроса: «Можем ли мы это вычислить?» и "Можем ли мы быстро вычислить?" Кто угодно может проверить, является ли число простым, а если нет, разбить его на простые множители; делать это быстро - другое дело. Теперь мы знаем быстрые алгоритмы для проверка простоты, но, несмотря на большую работу (как теоретическую, так и практическую), нет действительно быстрого алгоритма факторинга.

Может быть полезна сложность вычислений: современные протоколы для шифрование сообщений (Например, ЮАР ) зависят от функций, которые известны всем, но чьи обратные известны лишь немногим избранным, и потребуется слишком много времени, чтобы вычислить их самостоятельно. Например, эти функции могут быть такими, что их обратные значения могут быть вычислены только при факторизации некоторых больших целых чисел. Хотя известно множество сложных вычислительных задач, не связанных с теорией чисел, большинство рабочих протоколов шифрования в настоящее время основаны на сложности нескольких теоретико-числовых задач.

Некоторые вещи могут быть вообще не вычислимы; фактически, в некоторых случаях это можно доказать. Например, в 1970 году было доказано, что это решение 10-я проблема Гильберта, что нет Машина Тьюринга который может решить все диофантовы уравнения.^[84] В частности, это означает, что при заданном вычислимо перечислимый В системе аксиом существуют диофантовы уравнения, для которых нет доказательства, начиная с аксиом, того, имеет ли система уравнений целочисленные решения или нет. (Мы обязательно будем говорить о диофантовых уравнениях, для которых нет целочисленных решений, так как для диофантова уравнения с хотя бы одним решением само решение является доказательством того, что решение существует. Мы не можем доказать, что конкретное диофантово уравнение уравнение имеет такой вид, поскольку это означало бы, что оно не имеет решений.)

Приложения

Теоретик чисел Леонард Диксон (1874–1954) сказал: «Слава Богу, что теория чисел не запятнана никаким приложением». Такой взгляд больше не применим к теории чисел.^[85] В 1974 г. Дональд Кнут сказал: «... практически каждая теорема элементарной теории чисел возникает естественным, мотивированным образом в связи с проблемой заставить компьютеры выполнять высокоскоростные численные вычисления».^[86]Теория элементарных чисел преподается в дискретная математика курсы для компьютерные ученые; с другой стороны, теория чисел также имеет приложения к непрерывным в числовой анализ.^[87] А также известные приложения для криптография, есть также приложения во многих других областях математики.^{[88][89][уточнить ]}

Призы

В Американское математическое общество награждает Премия Коула по теории чисел. Более того, теория чисел - одна из трех математических дисциплин, получивших награду Приз Ферма.

Смотрите также

• Поле алгебраических функций
• Конечное поле
• p-адическое число

Примечания

1. Уже в 1921 г. Т. Л. Хит пришлось объяснить: «Под арифметикой Платон имел в виду не арифметику в нашем смысле, но науку, которая рассматривает числа сами по себе, другими словами, то, что мы подразумеваем под теорией чисел». (Хит 1921, п. 13)
2. Возьмем, например, Серр 1973 Ошибка harvnb: нет цели: CITEREFSerre1973 (помощь). В 1952 г. Давенпорт все же пришлось указать, что он имел в виду Высшая арифметика. Харди и Райт написал во введении к Введение в теорию чисел (1938): «Одно время мы предлагали изменить [название] на Введение в арифметику, более новое и в некотором смысле более подходящее название; но было указано, что это может привести к неправильному пониманию содержания книги »(Харди и Райт, 2008 г. )
3. Робсон 2001, п. 201. Это спорно. Видеть Плимптон 322. Статья Робсона написана полемически (Робсон 2001, п. 202) с целью «возможно [...] сбить [Плимптон 322] с его пьедестала» (Робсон 2001, п. 167); в то же время, напрашивается вывод, что

   [...] вопрос "как рассчитывалась таблетка?" не обязательно иметь такой же ответ, как на вопрос "какие проблемы ставит планшет?" На первый наиболее удовлетворительный ответ можно ответить с помощью взаимных пар, как впервые было предложено полвека назад, а на второй - с помощью некоего рода задач прямоугольного треугольника (Робсон 2001, п. 202).

   Робсон не согласен с представлением о том, что писец, создавший Плимптон 322 (который должен был «зарабатывать себе на жизнь» и не принадлежал к «праздному среднему классу»), мог руководствоваться собственным «праздным любопытством» в отсутствие «рынка новой математики». (Робсон 2001, стр. 199–200).

4. Сунзи Суаньцзин, Гл. 3, задача 26, в Лам и Анг 2004, стр. 219–20:

   [26] Сейчас есть неизвестное количество вещей. Если мы посчитаем по тройкам, останется 2; если считать до пяти, остается 3; если считать по семеркам, получается остаток 2. Найдите количество вещей. Отвечать: 23.
   

   Метод: Если мы считаем по тройкам, и остается 2, оставьте 140. Если мы считаем по пятеркам и остается 3, проставьте 63. Если мы считаем по семеркам и остается 2, положите 30. Сложите их, чтобы получить 233 и вычесть 210, чтобы получить ответ. Если мы считаем по тройкам, а остаток равен 1, положите 70. Если мы считаем по пятеркам и остается 1, положите 21. Если мы считаем по семеркам, а остаток равен 1, положите 15. Когда [ число] превышает 106, результат получается вычитанием 105.

5. См., Например, Сунзи Суаньцзин, Гл. 3, задача 36, в Лам и Анг 2004, стр. 223–24:

   [36] Сейчас это беременная женщина, возраст которой 29. Если срок беременности 9 месяцев, определите пол будущего ребенка. Отвечать: Мужской.
   

   Метод: Проставьте 49, прибавьте срок беременности и вычтите возраст. Из оставшейся части удалите 1, представляющую небо, 2 землю, 3 человека, 4 четыре времени года, 5 пять фаз, 6 шесть смолистых труб, 7 семь звезд [Медведя], 8 восемь ветров, и 9 девять подразделений [Китая под руководством Юя Великого]. Если остаток нечетный, [пол] мужской, а если остаток четный, [пол] женский.

   Это последняя проблема в трактате Сунзи, который в остальном является прозаическим.

6. Идеальные и особенно дружелюбные числа в наше время мало или совсем не интересны. То же самое было не так в средневековые времена - будь то на Западе или в арабоязычном мире - отчасти из-за важности, придаваемой им неопифагорейцами (и, следовательно, мистическими). Никомах (около 100 г. н. э.), написавшего примитивный, но влиятельный "Введение в арифметику ". Видеть ван дер Варден 1961, Гл. IV.
7. Здесь, как обычно, даны два целых числа а и б и ненулевое целое число м, мы пишем ${displaystyle aequiv b{mod {m}}}$ (читать "а конгруэнтно б по модулю м") означает, что м разделяет а − б, или, что то же самое, а и б оставить тот же остаток при делении на м. Эти обозначения на самом деле намного позже, чем у Ферма; он впервые появляется в разделе 1 Гаусс с Disquisitiones Arithmeticae. Маленькая теорема Ферма является следствием факт что порядок элемента группа разделяет порядок из группа. Современное доказательство было бы в пределах возможностей Ферма (и действительно было дано позже Эйлером), хотя современная концепция группы появилась намного позже Ферма или Эйлера. (Полезно знать, что обратные существуют по модулю п, то есть с учетом а не делится на простое число п, есть целое число Икс такой, что ${displaystyle xaequiv 1{mod {p}}}$); этот факт (который, говоря современным языком, делает остатки mod п в группу, и которая уже была известна Ryabhaa; видеть над ) был знаком Ферма благодаря его повторному открытию Bachet (Weil 1984, п. 7). Вейль продолжает, что Ферма признал бы, что аргумент Баше по сути является алгоритмом Евклида.
8. Вплоть до второй половины семнадцатого века академические должности были очень редки, и большинство математиков и ученых зарабатывали на жизнь каким-то другим способом (Weil 1984 С. 159, 161). (Уже были некоторые узнаваемые черты профессионального упражняться, а именно, поиск корреспондентов, посещение зарубежных коллег, создание частных библиотек (Weil 1984 С. 160–61). Ситуация начала меняться в конце 17 века (Weil 1984, п. 161); академии наук были основаны в Англии ( Королевское общество, 1662) и Франции ( Академия наук, 1666) и Россия (1724). Эйлеру предложили место на этом последнем месте в 1726 году; он принял это, прибыв в Петербург в 1727 г. (Weil 1984, п. 163 иВарадараджан 2006, п. 7) .В этом контексте термин любитель обычно применяемый к Гольдбаху, имеет четкое определение и имеет некоторый смысл: его описывали как писателя, зарабатывавшего на жизнь шпионом (Трусделл 1984, п. XV); цитируется в Варадараджан 2006, п. 9). Обратите внимание, однако, что Гольдбах опубликовал некоторые работы по математике и иногда занимал академические должности.
9. Теория сита фигурирует как одна из основных частей аналитической теории чисел во многих стандартных трактовках; см., например, Иванец и Ковальский 2004 или же Монтгомери и Воан 2007
10. Это касается небольших сит (в частности, некоторых комбинаторных сит, таких как Сито Бруна ), а не для большие сита; изучение последнего теперь включает идеи из гармонический и функциональный анализ.
11. Группа Галуа расширения Л / К состоит из операций (изоморфизмы ), которые переводят элементы L в другие элементы L, оставляя при этом все элементы K фиксированными. Так, например, Гал (C / R) состоит из двух элементов: тождественного элемента (каждый элемент Икс + иу из C самому себе) и комплексное сопряжение (карта, принимающая каждый элемент Икс + иу к Икс − иуГруппа Галуа расширения сообщает нам многие из его важнейших свойств. Изучение групп Галуа началось с Эварист Галуа; Говоря современным языком, главный результат его работы состоит в том, что уравнение ж(Икс) = 0 можно решить радикалами (т. Е. Икс может быть выражено в терминах четырех основных операций вместе с квадратными корнями, кубическими корнями и т. д.) тогда и только тогда, когда расширение рациональных чисел корнями уравнения ж(Икс) = 0 имеет группу Галуа, которая является разрешимый в смысле теории групп. («Разрешимость» в смысле теории групп - это простое свойство, которое легко проверяется для конечных групп.)
12. Если мы хотим изучить кривую ${displaystyle y^{2}=x^{3}+7}$. Мы разрешаем Икс и у быть комплексными числами: ${displaystyle (a+bi)^{2}=(c+di)^{3}+7}$. По сути, это набор из двух уравнений с четырьмя переменными, поскольку действительная и мнимая части с каждой стороны должны совпадать. В результате мы получаем поверхность (двумерную) в четырехмерном пространстве. После того, как мы выберем удобную гиперплоскость, на которую будем проецировать поверхность (то есть, скажем, мы решили игнорировать координату а), мы можем построить получившуюся проекцию, которая представляет собой поверхность в обычном трехмерном пространстве. Тогда становится ясно, что результат тор, грубо говоря, поверхность бублика (несколько растянута). У пончика одно отверстие; следовательно, род равен 1.

Рекомендации

1. Длинный 1972, п. 1.
2. Нойгебауэр и Закс 1945, п. 40. Срок такилтум проблематично. Робсон предпочитает рендеринг «Опорный квадрат диагонали, из которого вырывается 1, так что короткая сторона выходит ...».Робсон 2001, п. 192
3. Робсон 2001, п. 189. В других источниках приводится современная формула ${displaystyle (p^{2}-q^{2},2pq,p^{2}+q^{2})}$. Ван дер Варден приводит как современную формулу, так и то, что составляет ту форму, которую предпочитает Робсон.ван дер Варден 1961, п. 79)
4. ван дер Варден 1961, п. 184.
5. Нойгебауэр (Нойгебауэр 1969, pp. 36–40) подробно обсуждает таблицу и попутно упоминает метод Евклида в современных обозначениях (Нойгебауэр 1969, п. 39).
6. Фриберг 1981, п. 302.
7. ван дер Варден 1961, п. 43.
8. Ямблих, Жизнь Пифагора, (пер., например, Гатри 1987 ) цитируется в ван дер Варден 1961, п. 108. См. Также Порфирий, Жизнь Пифагора, пункт 6, в Гатри 1987 Ван дер Варден (ван дер Варден 1961, pp. 87–90) поддерживает точку зрения, что Фалес знал вавилонскую математику.
9. Геродот (II. 81) и Исократ (Бусирис 28), цитируется в: Хаффман 2011. О Фалесе см. Eudemus ap. Прокл, 65,7, (например, Утро 1992, п. 52) цитируется в: О'Грейди 2004, п. 1. Прокл использовал произведение Евдем Родосский (теперь потеряно), Каталог геометров. См. Также введение, Утро 1992, п. xxx о надежности Прокла.
10. Беккер 1936, п. 533, цитируется в: ван дер Варден 1961, п. 108.
11. Беккер 1936.
12. ван дер Варден 1961, п. 109.
13. Платон, Theaetetus, п. 147 Б, (например, Джоуэтт 1871 ), цитируется в фон Фриц 2004, п. 212: «Теодор писал для нас что-то о корнях, например, о корнях трех или пяти, показывая, что они несоизмеримы по единице; ...» Смотрите также Спираль Теодора.
14. фон Фриц 2004.
15. Хит 1921, п. 76.
16. Сунзи Суаньцзин, Глава 3, Проблема 26. Это можно найти в Лам и Анг 2004, pp. 219–20, в котором содержится полный перевод Суан Чинг (на основе Цянь 1963 ). Также обсуждение в Лам и Анг 2004 С. 138–140.
17. Дата текста была сужена до 220–420 гг. Н. Э. (Ян Дунцзе) или 280–473 г. н. Э. (Ван Лин) благодаря внутренним свидетельствам (= системы налогообложения, принятые в тексте). Видеть Лам и Анг 2004 С. 27–28.
18. Бойер и Мерцбах 1991, п. 82.
19. "Евсевий Кесарийский: Praeparatio Evangelica (Подготовка к Евангелию). Тр. Э. Х. Гиффорд (1903) - Книга 10".
20. Метафизика, 1.6.1 (987a)
21. Tusc. Диспут. 1.17.39.
22. Варди 1998 С. 305–19.
23. Weil 1984 С. 17–24.
24. Плофкер 2008, п. 119.
25. Любые ранние контакты между вавилонской и индийской математиками остаются предположительными (Плофкер 2008, п. 42).
26. Мамфорд 2010, п. 387.
27. Ryabhaa, ryabhatīya, Глава 2, стихи 32–33, цитируется в: Плофкер 2008 С. 134–40. Смотрите также Кларк 1930 С. 42–50. Несколько более подробное описание кукаки было позже дано в Брахмагупта, Брахмаспхунасиддханта, XVIII, 3–5 (в Колбрук 1817, п. 325, цитируется в Кларк 1930, п. 42).
28. Мамфорд 2010, п. 388.
29. Плофкер 2008, п. 194.
30. Плофкер 2008, п. 283.
31. Колбрук 1817.
32. Колбрук 1817, п. lxv, цитируется в Хопкинс 1990, п. 302. См. Также предисловие вСахау 1888 Ошибка harvnb: цель отсутствует: CITEREFSachau1888 (помощь) цитируется в Смит 1958, стр.168
33. Пингри 1968, pp. 97–125, и Пингри 1970, pp. 103–23, цитируется в Плофкер 2008, п. 256.
34. Сыпь 1980 С. 305–21.
35. Bachet, 1621, после первой попытки Ксиландр, 1575
36. Weil 1984 С. 45–46.
37. Weil 1984, п. 118. В теории чисел это было больше, чем в других областях (замечание в Махони 1994, п. 284). Доказательства самого Баше были «смехотворно неуклюжими» (Weil 1984, п. 33).
38. Махони 1994, стр. 48, 53–54. Первоначальные темы переписки Ферма включали делители («аликвотные части») и многие предметы вне теории чисел; см. список в письме Ферма Робервалю, 22.IX.1636, Кожевенный завод и Генри 1891, Vol. II, pp. 72, 74, процитировано в Махони 1994, п. 54.
39. Фолкнер, Николас; Хош, Уильям Л. (2017-12-15). Цифры и размеры. Британская энциклопедия. ISBN  9781538300428.
40. Кожевенный завод и Генри 1891, Vol. II, стр. 209, Письмо XLVI от Ферма к Френиклю, 1640 г., цитируется в Weil 1984, п. 56
41. Кожевенный завод и Генри 1891, Vol. II, стр. 204, цитируется в Weil 1984, п. 63. Все следующие цитаты из книги Ферма. Вариа Опера взяты из Weil 1984, Гл. II. Стандартная работа Кожевника и Генри включает в себя пересмотр посмертного произведения Ферма. Varia Opera Mathematica первоначально подготовил его сын (Ферма 1679 ).
42. Кожевенный завод и Генри 1891, Vol. II, стр. 213.
43. Кожевенный завод и Генри 1891, Vol. II, стр. 423.
44. Weil 1984, п. 92.
45. Кожевенный завод и Генри 1891, Vol. I. С. 340–41.
46. Weil 1984, п. 115.
47. Weil 1984 С. 115–16.
48. Weil 1984, с. 2, 172.
49. Варадараджан 2006, п. 9.
50. Weil 1984, стр. 1–2.
51. Weil 1984, п. 2 и Варадараджан 2006, п. 37
52. Варадараджан 2006, п. 39 и Weil 1984, стр. 176–89
53. Weil 1984 С. 178–79.
54. Weil 1984, п. 174. Эйлер был великодушен, отдавая должное другим (Варадараджан 2006, п. 14), не всегда правильно.
55. Weil 1984, п. 183.
56. Варадараджан 2006, стр. 45–55; см. также главу III.
57. Варадараджан 2006 С. 44–47.
58. Weil 1984 С. 177–79.
59. Эдвардс 1983 С. 285–91.
60. Варадараджан 2006 С. 55–56.
61. Weil 1984 С. 179–81.
62. Weil 1984, п. 181.
63. Weil 1984 С. 327–28.
64. Weil 1984 С. 332–34.
65. Weil 1984 С. 337–38.
66. Гольдштейн и Шаппахер 2007, п. 14.
67. Из предисловия к Disquisitiones Arithmeticae; перевод взят из Гольдштейн и Шаппахер 2007, п. 16
68. См. Обсуждение в разделе 5 Гольдштейн и Шаппахер 2007. Ранние признаки самосознания присутствуют уже в письмах Ферма: таким образом, его замечания о том, что такое теория чисел, и что «работа Диофанта [...] на самом деле не принадлежит [ей]» (цитируется в Weil 1984, п. 25).
69. Апостол 1976 г., п. 7.
70. Давенпорт и Монтгомери 2000, п. 1.
71. Смотрите доказательство в Давенпорт и Монтгомери 2000, секция 1
72. Иванец и Ковальский 2004, п. 1.
73. Варадараджан 2006, разделы 2.5, 3.1 и 6.1.
74. Гранвиль 2008 С. 322–48.
75. См. Комментарий о важности модульности в Иванец и Ковальский 2004, п. 1
76. Гольдфельд 2003.
77. См., Например, первоначальный комментарий в Иванец и Ковальский 2004, п. 1.
78. Гранвиль 2008, раздел 1: «Основное отличие состоит в том, что в алгебраической теории чисел [...] обычно рассматриваются вопросы с ответами, которые даются с помощью точных формул, тогда как в аналитической [...] теории чисел ищут хорошие приближения."
79. См. Примечания во введении к Иванец и Ковальский 2004, п. 1: «Однако намного сильнее ...».
80. Гранвиль 2008, раздел 3: «[Риман] определил то, что мы теперь называем дзета-функцией Римана [...] Глубокая работа Римана породила нашу тему [...]»
81. См., Например, Монтгомери и Воан 2007, п. 1.
82. Милн 2017, п. 2.
83. Эдвардс 2000, п. 79.
84. Дэвис, Мартин; Матиясевич Юрий; Робинсон, Юлия (1976). «Десятая проблема Гильберта: диофантовы уравнения: положительные аспекты отрицательного решения». В Феликс Э. Браудер (ред.). Математические разработки, возникающие из проблем Гильберта. Труды симпозиумов по чистой математике. XXVIII.2. Американское математическое общество. С. 323–78. ISBN  978-0-8218-1428-4. Zbl  0346.02026. Перепечатано в Собрание сочинений Джулии Робинсон, Соломон Феферман, редактор, стр. 269–378, Американское математическое общество, 1996 г.
85. "Неоправданная эффективность теории чисел", Стефан Андрус Берр, Джордж Эндрюс, American Mathematical Soc., 1992, ISBN  978-0-8218-5501-0
86. Информатика и ее связь с математикой »DE Knuth - The American Mathematical Monthly, 1974
87. «Приложения теории чисел к численному анализу», Ло-кенг Хуа, Луогэн Хуа, Юань Ван, Springer-Verlag, 1981, ISBN  978-3-540-10382-0
88. «Практические приложения алгебраической теории чисел». Mathoverflow.net. Получено 2012-05-18.
89. «Где теория чисел используется в остальной математике?». Mathoverflow.net. 2008-09-23. Получено 2012-05-18.

Источники

• Апостол, Том М. (1976). Введение в аналитическую теорию чисел. Тексты для бакалавриата по математике. Springer. ISBN  978-0-387-90163-3. Получено 2016-02-28.
• Апостол, Том М. (нет данных). «Введение в теорию чисел». (Обзор Харди и Райта.) Математические обзоры (MathSciNet). Американское математическое общество. МИСТЕР  0568909. Получено 2016-02-28. (Требуется подписка)
• Беккер, Оскар (1936). "Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente". Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik. Abteilung B: Studien (на немецком языке). 3: 533–53.
• Бойер, Карл Бенджамин; Мерцбах, Ута К. (1991) [1968]. История математики (2-е изд.). Нью-Йорк: Вили. ISBN  978-0-471-54397-8. Издание 1968 года на archive.org
• Кларк, Уолтер Юджин (сделка) (1930). Арьябхатия Арьябханы: древнеиндийская работа по математике и астрономии.. Издательство Чикагского университета. Получено 2016-02-28.
• Колбрук, Генри Томас (1817). Алгебра с арифметикой и измерением на санскрите Брахмегупты и Бхаскары. Лондон: Дж. Мюррей. Получено 2016-02-28.
• Давенпорт, Гарольд; Монтгомери, Хью Л. (2000). Теория мультипликативных чисел. Тексты для выпускников по математике. 74 (переработанное 3-е изд.). Springer. ISBN  978-0-387-95097-6.
• Эдвардс, Гарольд М. (Ноябрь 1983 г.). «Эйлер и квадратичная взаимность». Математический журнал. 56 (5): 285–91. Дои:10.2307/2690368. JSTOR  2690368.
• Эдвардс, Гарольд М. (2000) [1977]. Последняя теорема Ферма: генетическое введение в алгебраическую теорию чисел. Тексты для выпускников по математике. 50 (перепечатка 1977 г.). Springer Verlag. ISBN  978-0-387-95002-0.
• Ферма, Пьер де (1679). Varia Opera Mathematica (на французском и латыни). Тулуза: Иоаннис Печ. Получено 2016-02-28.
• Фриберг, Йоран (август 1981 г.). "Методы и традиции вавилонской математики: плимптон 322, пифагорейские тройки и уравнения параметров вавилонского треугольника". Historia Mathematica. 8 (3): 277–318. Дои:10.1016/0315-0860(81)90069-0.
• фон Фриц, Курт (2004). «Открытие несоизмеримости Гиппасом из Метапонта». В Христианидис, Дж. (Ред.). Классика истории греческой математики. Берлин: Клувер (Спрингер). ISBN  978-1-4020-0081-2.
• Гаусс, Карл Фридрих; Уотерхаус, Уильям К. (пер.) (1966) [1801]. Disquisitiones Arithmeticae. Springer. ISBN  978-0-387-96254-2.
• Гольдфельд, Дориан М. (2003). «Элементарное доказательство теоремы о простых числах: историческая перспектива» (PDF). Получено 2016-02-28.
• Гольдштейн, Екатерина; Шаппахер, Норберт (2007). «Книга в поисках дисциплины». В Goldstein, C .; Schappacher, N .; Швермер, Иоахим (ред.). Формирование арифметики по К.Ф. "Disquisitiones Arithmeticae" Гаусса. Берлин и Гейдельберг: Springer. С. 3–66. ISBN  978-3-540-20441-1. Получено 2016-02-28.
• Гранвиль, Эндрю (2008). «Аналитическая теория чисел». В Гауэрс, Тимоти; Барроу-Грин, июнь; Лидер, Имре (ред.). Принстонский компаньон математики. Издательство Принстонского университета. ISBN  978-0-691-11880-2. Получено 2016-02-28.
• Порфирий; Гатри, К. (пер.) (1920). Жизнь Пифагора. Альпин, Нью-Джерси: Platonist Press.
• Гатри, Кеннет Сильван (1987). Пифагорейские справочники и библиотека. Гранд-Рапидс, Мичиган: Phanes Press. ISBN  978-0-933999-51-0.
• Харди, Годфри Гарольд; Райт, Э.М. (2008) [1938]. Введение в теорию чисел (Шестое изд.). Oxford University Press. ISBN  978-0-19-921986-5. МИСТЕР  2445243.
• Хит, Томас Л. (1921). История греческой математики, Том 1: От Фалеса до Евклида. Оксфорд: Clarendon Press. Получено 2016-02-28.
• Хопкинс, Дж. Ф. П. (1990). «Географическая и навигационная литература». В Янге, M.J.L .; Latham, J.D .; Сержант, Р. Б. (ред.). Религия, образование и наука в период Аббасидов. Кембриджская история арабской литературы. Издательство Кембриджского университета. ISBN  978-0-521-32763-3.
• Хаффман, Карл А. (8 августа 2011 г.). Залта, Эдвард Н. (ред.). "Пифагор". Стэнфордская энциклопедия философии (Издание осенью 2011 г.). Получено 7 февраля 2012.
• Иванец, Хенрик; Ковальский, Эммануэль (2004). Аналитическая теория чисел. Публикации коллоквиума Американского математического общества. 53. Провиденс, Род-Айленд: Американское математическое общество. ISBN  978-0-8218-3633-0.
• Платон; Джоветт, Бенджамин (пер.) (1871). Theaetetus.
• Лам, Лэй Йонг; Анг, Тиан Се (2004). Мимолетные шаги: прослеживание концепции арифметики и алгебры в Древнем Китае (переработанная ред.). Сингапур: World Scientific. ISBN  978-981-238-696-0. Получено 2016-02-28.
• Лонг, Кальвин Т. (1972). Элементарное введение в теорию чисел (2-е изд.). Лексингтон, Вирджиния: Округ Колумбия Хит и компания. LCCN  77171950.
• Махони, М. (1994). Математическая карьера Пьера де Ферма, 1601–1665 гг. (Перепечатка, 2-е изд.). Издательство Принстонского университета. ISBN  978-0-691-03666-3. Получено 2016-02-28.
• Милн, Дж. С. (18 марта 2017 г.). «Алгебраическая теория чисел». Получено 7 апреля 2020.
• Монтгомери, Хью Л.; Воан, Роберт С. (2007). Теория мультипликативных чисел: I, классическая теория. Издательство Кембриджского университета. ISBN  978-0-521-84903-6. Получено 2016-02-28.
• Морроу, Гленн Раймонд (пер., Изд.); Прокл (1992). Комментарий к Книге 1 Элементов Евклида. Издательство Принстонского университета. ISBN  978-0-691-02090-7.
• Мамфорд, Дэвид (март 2010). «Математика в Индии: обзор Дэвида Мамфорда» (PDF). Уведомления Американского математического общества. 57 (3): 387. ISSN  1088-9477.
• Нойгебауэр, Отто Э. (1969). Точные науки в древности (исправленное перепечатание изд. 1957 г.). Нью-Йорк: Dover Publications. ISBN  978-0-486-22332-2. Получено 2016-03-02.
• Нойгебауэр, Отто Э.; Сакс, Авраам Джозеф; Гётце, Альбрехт (1945). Математические клинописные тексты. Американская восточная серия. 29. Американское восточное общество и др.
• О'Грэйди, Патрисия (сентябрь 2004 г.). "Фалес Милетский". Интернет-энциклопедия философии. Получено 7 февраля 2012.
• Пингри, Дэвид; Якуб ибн Тарик (1968). «Фрагменты работ Якуба ибн Тарика». Журнал ближневосточных исследований. 26.
• Pingree, D .; аль-Фазари (1970). «Фрагменты произведений аль-Фазари». Журнал ближневосточных исследований. 28.
• Плофкер, Ким (2008). Математика в Индии. Издательство Принстонского университета. ISBN  978-0-691-12067-6.
• Цянь, Баокун, изд. (1963). Суаньцзин ши шу (Десять математических классиков) (на китайском языке). Пекин: Чжунхуа шуджу. Получено 2016-02-28.
• Рашед, Рошди (1980). "Ибн аль-Хайтам и ле теория Вильсона". Архив истории точных наук. 22 (4): 305–21. Дои:10.1007 / BF00717654.
• Робсон, Элеонора (2001). «Ни Шерлок Холмс, ни Вавилон: переоценка Плимптона 322» (PDF). Historia Mathematica. 28 (3): 167–206. Дои:10.1006 / hmat.2001.2317. Архивировано из оригинал (PDF) 2014-10-21.
• Сахау, Эдуард; Бируни, Мухаммад ибн Ахмад (1888). Индия Альберуни: Отчет о религии, философии, литературе, географии, хронологии, астрономии и астрологии Индии, Vol. 1. Лондон: Кеган, Пол, Тренч, Trübner & Co. Получено 2016-02-28.
• Серр, Жан-Пьер (1996) [1973]. Курс арифметики. Тексты для выпускников по математике. 7. Springer. ISBN  978-0-387-90040-7.
• Смит, Д. (1958). История математики, Том I. Нью-Йорк: Dover Publications.
• Кожевник, Пол; Генри, Чарльз (ред.); Ферма, Пьер де (1891). Oeuvres de Fermat. (4 тт.) (На французском и латинском языках). Париж: Imprimerie Gauthier-Villars et Fils. Том 1 Том 2 Том 3 Том 4 (1912)
• Ямблих; Тейлор, Томас (пер.) (1818). Жизнь Пифагора или Пифагорическая жизнь. Лондон: Дж. М. Уоткинс. Архивировано 21 июля 2011 года. Для других выпусков см. Iamblichus # Список изданий и переводов
• Трусделл, К.А. (1984). "Леонард Эйлер, Высший Геометр". В Hewlett, Джон (пер.) (Ред.). Леонард Эйлер, Элементы алгебры (перепечатка 1840 г., 5-е изд.). Нью-Йорк: Springer-Verlag. ISBN  978-0-387-96014-2. Предварительный просмотр этой книги Google Элементы алгебры отсутствует вступление Трусделла, которое перепечатано (с небольшими сокращениями) в следующей книге:
• Трусделл, К.А. (2007). "Леонард Эйлер, Высший Геометр". В Данхэме, Уильям (ред.). Гений Эйлера: размышления о его жизни и творчестве. Том 2 празднования 300-летия Эйлера МАА. Нью-Йорк: Математическая ассоциация Америки. ISBN  978-0-88385-558-4. Получено 2016-02-28.
• Варадараджан, В. (2006). Эйлер сквозь время: новый взгляд на старые темы. Американское математическое общество. ISBN  978-0-8218-3580-7. Получено 2016-02-28.
• Варди, Илан (апрель 1998 г.). «Проблема архимеда о скоте» (PDF). Американский математический ежемесячный журнал. 105 (4): 305–19. CiteSeerX  10.1.1.383.545. Дои:10.2307/2589706. JSTOR  2589706.
• ван дер Варден, Бартель Л.; Дрезден, Арнольд (транс) (1961). Пробуждение науки. Vol. 1 или Том 2. Нью-Йорк: Издательство Оксфордского университета.
• Вайль, Андре (1984). Теория чисел: подход через историю - от Хаммурапи до Лежандра. Бостон: Биркхойзер. ISBN  978-0-8176-3141-3. Получено 2016-02-28.

• В этой статье использованы материалы из Citizendium статья "Теория чисел "под лицензией Creative Commons Attribution-ShareAlike 3.0 Непортированная лицензия но не под GFDL.

дальнейшее чтение

Два самых популярных введения в эту тему:

• G.H. Харди; Э. М. Райт (2008) [1938]. Введение в теорию чисел (редакция Д. Р. Хита-Брауна и Дж. Х. Сильвермана, 6-е изд.). Oxford University Press. ISBN  978-0-19-921986-5. Получено 2016-03-02.
• Виноградов, И. (2003) [1954]. Элементы теории чисел (перепечатка изд. 1954 г.). Минеола, Нью-Йорк: Dover Publications.

Книга Харди и Райта представляет собой всеобъемлющую классику, хотя ее ясность иногда страдает из-за того, что авторы настаивают на элементарных методах (Апостол н.д. Основная привлекательность Виноградова состоит в его проблемах, которые быстро перерастают в собственные исследовательские интересы Виноградова; сам текст очень простой и близок к минимальному. Другие популярные первые представления:

• Иван М. Нивен; Герберт С. Цукерман; Хью Л. Монтгомери (2008) [1960]. Введение в теорию чисел (перепечатка 5-го издания 1991 г.). Джон Уайли и сыновья. ISBN  978-81-265-1811-1. Получено 2016-02-28.
• Кеннет Х. Розен (2010). Элементарная теория чисел (6-е изд.). Pearson Education. ISBN  978-0-321-71775-7. Получено 2016-02-28.

Популярные варианты второго учебника включают:

• Боревич, А.И.; Шафаревич, Игорь Р. (1966). Теория чисел. Чистая и прикладная математика. 20. Бостон, Массачусетс: Академическая пресса. ISBN  978-0-12-117850-5. МИСТЕР  0195803.
• Серр, Жан-Пьер (1996) [1973]. Курс арифметики. Тексты для выпускников по математике. 7. Springer. ISBN  978-0-387-90040-7.

внешняя ссылка

• СМИ, связанные с Теория чисел в Wikimedia Commons
• Теория чисел запись в Энциклопедия математики
• Сеть теории чисел