Теория чисел

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

[править] Элементарная теория чисел

В элементарной теории чисел целые числа изучаются без использования методов других разделов математики. Такие вопросы, как делимость целых чисел, алгоритм Евклида для вычисления наибольшего общего делителя и наименьшего общего кратного, разложение числа на простые множители, построение магических квадратов, совершенные числа, числа Фибоначчи, малая теорема Ферма, теорема Эйлера, задача о четырёх кубах относятся к этому разделу.

[править] Аналитическая теория чисел

В аналитической теории чисел для вывода и доказательства утверждений о числах и числовых функциях используется мощный аппарат математического анализа. Первым шагом в этом направлении стал метод производящих функций, сформулированный Эйлером. Для определения количества целочисленных неотрицательных решений линейного уравнения вида

$a_1 x_1+...+a_n x_n=N$ , где $a_1,...,a_n$ в натуральные числа,

Эйлер построил производяшую функцию, которая определяется как произведение сходящихся рядов (при $|z|<1$ ) $F_i(z)=\sum^\infty_{k=0}{z^a_i k}$ и является суммой членов геометрической прогрессии, при этом

$F(z)=\sum^\infty_{N=0}l(N) z^N$ , где $l(N)$ в число решений изучаемого уравнения.

На основе этого метода был построен круговой метод Харди в Литлвуда^[1].

В работе над квадратичным законом взаимности Гаусс рассмотрел конечные суммы вида $S(a)=\sum^{p}_{n=1} e^{2 i an^2/p}$ , которые могут быть представлены в виде суммы синусов и косинусов (по формуле Эйлера), из-за чего они являются частным случаем тригонометрических сумм^[1]. Метод тригонометрических сумм, позволяющий оценивать число решений тех или иных уравнений или систем уравнений в целых числах играет большую роль в аналитической теории чисел. Основы метода разработал и впервые применил к задачам теории чисел И. М. Виноградов.

Работая над доказательством теоремы Евклида о бесконечности простых чисел Эйлер рассмотрел произведение по всем простым числам и сформулировал тождество:

$\Pi_p \left ( 1-\frac{1}{p_s} \right ) ^{-1}=\sum^\infty_{n=1} \frac{1}{n^s}$ ,

которое стало основанием для теорий дзета-функций^[1]. Наиболее известной и до сих пор не решённой проблемой аналитической теории чисел является доказательство гипотезы Римана о нулях дзета-функции, утверждающей, что все нетривиальные корни уравнения $\zeta(s) = 0$ лежат на так называемой критической прямой $\mathrm{Re}\,s = \frac{1}{2}$ , где $\zeta(s)$ в дзета-функция Римана.

Для доказательства теоремы о бесконечности простых чисел в общем виде Дирихле использовал произведения по всем простым числам, аналогичные эйлерову произведению, и показал, что

$\Pi_p \left (1-\frac{\chi (p)}{p_s} \right )^{-1}=\sum^\infty_{n=1} \frac{\chi (n)}{n^s}$ ,

при этом функция $\chi(p)$ , получившая название характер Дирихле, определена так, что удовлетворяет следующим условиям: она является периодической, вполне мультипликативной и не равна тождественно нулю. Характеры и ряды Дирихле нашли применение и в других разделах математики, в частности в алгебре, топологии и теории функций^[1].

Чебышев показал, что число простых чисел, не превосходяших $X$ , обозначенное как $\pi (X)$ , стремится к бесконечности по следующему закону:

$a \frac{X}{ln(X)} < \pi(X) < b \frac{X}{ln(X)}$ , где $a>1/2 ln 2$ и $b<2 ln2$ ^[1].

Другим направлением аналитической теории чисел является применение комплексного анализа в доказательстве теоремы о распределении простых чисел.

[править] Алгебраическая теория чисел

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

Теория алгебаических чисел обязана своим появлением попыткам доказать теорему Ферма. Куммеру принадлежит равенство

$x^n=z^n-y^n=\prod^{n}_{i=1}(z-a_i y)$ , где $a_i$ в корни степени $n$ из единицы.

Таким образом Куммер определил новые целые числа вида $z+a_i y$ . Позднее Лиувилль показал, что если алгебраическое число является корнем уравнения степени $n$ , то к нему нельзя подойти ближе чем на $Q^{-n}$ , приближаясь дробями вида $P/Q$ , где $P$ и $Q$ в целые взаимно простые числа^[1].

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

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

Одним из основных приёмов является вложение поля алгебраических чисел в своё пополнение по какой-то из метрик в архимедовой (например, в поле вещественных или комплексных чисел) или неархимедовой (например, в поле p-адических чисел).

[править] Исторический очерк

[править] Теория чисел в древнем мире

Табличка Плимптон, 322

В Древнем Египте математические операции проводились над целыми числами и аликвотными дробями^[2]. Математические папирусы содержат задачи с решениями и вспомогательные таблицы^[3]. Неизвестно ни одного бесспорного примера применения теории чисел в Древнем Египте, в отличие от более развитой алгебры^{[источник не указан 41 день]}. Ещё более широкое применение таблиц характерно для Вавилона, которые вслед за шумерами использовали шестидесятиричную систему счисления. Вавилонские клинописные математические тексты включают таблицы умножения и обратных чисел, квадратов и кубов чисел натурального ряда^[4]. В Вавилоне знали множество пифагоровых троек, для поиска которых, вероятно, пользовались неизвестным общим приёмом^[5]. Самой древней археологической находкой в истории арифметики является обломок глиняной таблички Плимптон, 322 (англ.), датируемый 1800 годами до нашей эры. Он содержит список Пифагоровых троек, то есть натуральных чисел $(a,b,c)$ таких что $a^2+b^2=c^2$ . В тройках встречаются пятизначные числа, да и их самих слишком много, чтобы предположить что они были получены не механическим перебором вариантов^{[источник не указан 41 день]}.

Весомый вклад в становление теории чисел оказали пифагорейцы, Евклид и Диофант.

Пифагорейцы рассматривали только целые положительные числа и полагали число собранием единиц. Единицы были неделимы и расплогались в виде правильных геометрических тел. Пифагорейцам характерно определение «фигурных чисел» («треугольных», «квадратных» и других). Изучая свойства чисел, они разбили их на чётные и нечётные (как признак делимости на два), простые и составные. Вероятно именно пифагорейцы с помощью только признака делимости на два смолги доказать, что если $1+2+...+2^n=p$ в простое число, то $2^n p$ в совершенное число. Доказательство изложено в Началах Евклида (IX, 36), только в 18 веке Эйлер доказал, что других чётных совершенных чисел не существует, а вопрос о бесконечности числа совершенных чисел до сих пор не решён. Также пифагорейцы вывели формулу и нашли бесконечное множество целых решений уравнения $x^2+y^2=z^2$ , так называемых пифагоровых троек^[6].

Общая теория делимости появилась в 399 году до н. э. и принадлежит, по-видимому, Теэтету. Евклид посвятил ей книгу VII и часть книги IX Начал. В основе теории лежит алгоритм Евклида для нахождения общего наибольшего делителя двух чисел. Следствием алгоритма является возможность разложения любого числа на простые сомножители, а также единственность такого разложения. Закон однозначности разложения на простые множители является основой арифметики целых чисел^[7].

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

Диофант Александрийский, в отличие от предыдущих математиков Древней Греции, решал задачи классической алгебры описывая их геометрически. В своем труде «Арифметика», он перечисляет проработаны задачи по нахождению целочисленных решений для систем полиномальных уравнений (называемых сейчас диофантовыми). Работы Диофанта по решению неопределённых уравнений в рациональных числах стоят на стыке теории чисел и алгебраической геометрии. Он исследует уравнение второго порядка от двух переменных $F_2 (x,y) = 0$ , которое является уравнением конического сечения. Метод, с помощью которого Диофант находит рациональные точки кривой, если известна хоть одна такая, устанавливает, что кривая второго порядка либо содержит бесконечное множество точек, координаты которых выражаются как рациональные функции одного параметра, либо не содержит их вовсе. Для исследования уравнений третьего и чествёртого порядка применяются более сложные геометрические методы (построение касательной в рациональной точке, или прямой через две рациональные точки для поиска следующего пересечения)^[8].

[править] Теория чисел в Средние века

Китайская теорема об остатках входила в качестве упражнения в трактат Сунь Цзы «Сунь Цзы Суань Цзин» ( кит. упр. е™ез®з»Џ, пиньинь: sūnzǐ suànjīng). В его решении был опущен один из важных шагов, полное доказательство впервые получено Ариабхатой в VI веке н. э.^{[источник не указан 41 день]}.

Индийские математики Ариабхата, Брахмагупта и Бхаскары решали диофантовы уравнения вида $ax+b=cy$ в целых числах. Кроме того, они решали в целых числах уравнения вида $a x^2+b=y^2$ , что было наивысшим достижением индийских математиков в области теории чисел. Впоследствии это уравнение и его частный случай при $b=1$ привлекли внимание Ферма, Эйлера, Лагранжа. Предложенный Лагранжем метод нахождения решения был близок к индийскому^[9].

[править] Дальнейшее развитие теории чисел

Дальнейшее развитие теория чисел получила в работах Ферма, связанных с решением диофантовых уравнений и делимостью целых чисел. В частности, Ферма сформулировал теорему о том что для любого простого $p$ и целого $a$ $a^p-a$ делится на $p$ , названную малой теоремой Ферма и, кроме того, сформулировал теорему о неразрешимости диофантового уравнения в целых числах, или Великую теорему Ферма. Обобщением малой теоремы и доказательством великой теоремы для частных случаев занимался в начале XVIII века Эйлер. Он же стал использовать для решения задач по теории чисел мощный аппарат математического анализа, сформулировав метод производяших функций, тождество Эйлера, а также задачи, связанные со сложением простых чисел^[1].

В XIX веке над теорией чисел работали многие видные учёные. Гауссом была создана теория сравнений, с помощью которой доказан ряд теорем о простых числах, изучены свойства квадратичных вычетов и невычетов, включая квадратичный закон взаимности, в поисках доказательства которого Гаусс рассмотрел конечные ряды определённого вида, обобщённые впоследствии до тригонометрических сумм. Развивая работы Эйлера, Гаусс и Дирихле создали теорию квадратичных форм. Кроме того, они сформулировали ряд задач о количестве целых точек в областях на плоскости, частные решения которых позволили доказать общую теорему о бесконечности числа простых точек в прогрессиях вида $nk+l$ , где $k$ и $l$ взаимно просты. Дальнейшим изучением распределения простых чисел занимался Чебышев, который показал более точный, чем теорема Евклида, закон стремления к бесконечности числа простых чисел, доказал гипотезу Бертрана о существовании простого числа в интервале $(x,2x), x \ge 2$ , а также поставил задачу об оценке сверху наименьшего значения разности между соседними простыми числами (расширение вопроса о простых близнецах)^[1].

В начале XX века А. Н. Коркин, Е. И. Золотарёв и А. А. Марков продолжили работу над теорией квадратичных форм. Коркин и Золотарёв доказали теорему о переменных положительной кватернарной квадратичной формы, а Марков занимался изучением минимумов бинарных квадратичных форм положительного определителя. Формулы, сформулированные Дирихле для целых точек в областях на плоскости, нашли своё развитие в работах Г. Ф. Вороного, который в 1903 году определил порядок остаточного члена. В 1906 году метод был успешно перенесён на проблему Гаусса о числе целых точек в круге В. Серпиньским^[1].

В 1909 году Д. Гильберт решил аддитивную проблему Варинга^[1].

Э.Куммер, пытаясь доказать теорему Ферма, работал с алгебраическим числовым полем, для множества чисел которого он применил все четыре алгебраических операции и построил таким образом арифметику целых чисел алгебраического числового поля, порождённого $a_i$ , ввёл понятие идеальных множителей и дал толчок к созданию алгебраической теории чисел. В 1844 году Ж.Лиувилль ввёл понятия алгебраических и трансцендентных чисел, сформулировав таким образом в математических терминах замечание Эйлера о том, что квадратные корни и логарифмы целых чисел имеют принципиальные различия. Лиувилль показал, что алгебраические числа плохо приближаются рациональными дробями. В конце XIX века над доказательством трансцендентности конкретных чисел работали такие математики как Шарль Эрмит, который в 1873 году доказал трансцендентность числа $e$ , Ф.Линдеман, который в 1882 году доказал трансцендентность числа $~\pi$ . Другим направлением было изучение степени приближения алгебраических чисел рациональными или алгебраическими. В нём работал Аксель Туэ, который в 1909 году доказал теорему, названную его именем^[1].

Другим направлением работ явилось определение Риманом дзета-функции и доказательство того, что она аналитически продолжается на всю плоскость комплексного переменного и обладает рядом других свойств. Риман также высказал гипотезу о нулях дзета-функции. Работая над дзета-функциями, Ш. Ла Валле Пуссен и Жак Адамар сформулировали в 1896 году ассимптотический закон распределения простых чисел. Использованный ими метод получения ассимптотических формул, или метод комплексного интегрирования, стал широко использоваться в дальнейшем^[1].

В первой половине XX века над проблемами теории чисел работали Герман Вейль, сформулировавший соотношение для равномерного распределения дробных долей целочисленных функций, Г.Харди и Дж. Литвуд, которые сформулировали круговой метод решения аддитивных задач, А. О. Гельфонд и Т. Гнейдер, которые решили 7-ю проблему Гильберта, К. Зигель, который доказал ряд теорем о трансцендентности значений функций, Б. Н. Делоне и Д. К. Фаддеев, которые занимались исследованием диофантова уравнения $x^3-a y^3=1$ , А.Сельберг, который работал в теории дзета-функции Римана^[1].

Большой вклад в развитие теории чисел внёс И. М. Виноградов, доказавший неравенство о числе квадратичных вычетов и невычетов на отрезке, определивший метод тригонометрических сумм, который позволил упростить решение проблемы Варинга, а также решение ряда задач по распределению дробных долей функции, определению целых точек в области на плоскости и в пространстве, порядок роста дзета-функции в критической полосе. В задачах, связанных с тригонометрическими суммами, важным является как можно более точная оценка их модуля. Виноградов предложил два метода такой оценки. Кроме того, он вместе с учениками разработал ряд методов, которые позволяют решить задачи, выводимые из гипотезы Римана^[1].

Многочисленные работы по теории чисел относятся ко второй половине XX века. Ю. В. Линник разработал дисперсионный метод, который позволил вывести ассимптотические формулы для проблемы Харди в Литлвуда и проблемы простых делителей Титчмарша^[1].

Вместе с тем, в теории чисел существует большое количество открытых проблем.

[править] См. также

[править] Литература

К. Айерлэнд, М. Роузен. Классическое введение в современную теорию чисел = A Classical Introduction to Modern Number Theory. в М.: Мир, 1987.
З. И. Боревич, И. Р. Шафаревич. Теория чисел. в М.: Наука, 1972. в 510 с.
И. М. Виноградов. Основы теории чисел. в М.-Л.: Гостехиздат, 1952. в 180 с.
С. В. Сизый. Лекции по теории чисел. в Екатеринбург: Уральский государственный университет им. А. М. Горького, 1999.
А. Я. Хинчин. Три жемчужины теории чисел. в М.: Наука, 1979. в 64 с.
Ю. И. Манин, А. А. Панчишкин. Введение в теорию чисел. в М.: ВИНИТИ, 1990. в Т. 49. в 341 с. в (Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления».).
Х. Кох. Алгебраическая теория чисел. в М.: ВИНИТИ, 1990. в Т. 62. в 301 с. в (Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления».).
С древнейших времён до начала Нового времени // История математики / Под редакцией Юшкевича А. П., в трёх томах. в М.: Наука, 1970. в Т. I.

[править] Примечания

[править] Ссылки

Видео лекции по теории чисел

В Энциклопедии есть портал
«Математика»

[bse-0] в‘ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ¹⁰ ¹¹ ¹² ¹³ ¹⁴ ¹⁵ ¹⁶ Чисел теория//Большая советская энциклопедия

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.949-1] в‘ История математики, том I, 1970, с. 9

[bse_arithmetic-2] в‘ Арифметика//Большая советская энциклопедия

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.9437-39-3] в‘ История математики, том I, 1970, с. 37-39

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.9450-4] в‘ История математики, том I, 1970, с. 50

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.9468-69-5] в‘ История математики, том I, 1970, с. 68-69

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.9474-76-6] в‘ История математики, том I, 1970, с. 74-76

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.94146-148-7] в‘ История математики, том I, 1970, с. 146-148

[.D0.98.D1.81.D1.82.D0.BE.D1.80.D0.B8.D1.8F_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8.2C_.D1.82.D0.BE.D0.BC_I.E2.80.941970.E2.80.94.E2.80.94194-195-8] в‘ История математики, том I, 1970, с. 194-195

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Теория чисел

Содержание

[править] Элементарная теория чисел

[править] Аналитическая теория чисел

[править] Алгебраическая теория чисел

[править] Исторический очерк

[править] Теория чисел в древнем мире

[править] Теория чисел в Средние века

[править] Дальнейшее развитие теории чисел

[править] См. также

[править] Литература

[править] Примечания

[править] Ссылки

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках