Теория чисел

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

В исследованиях по теории чисел, наряду с элементарными и алгебраическими методами, применяются геометрические и аналитические методы, а также методы теории вероятностей[1].

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

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

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

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

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) — число решений изучаемого уравнения.

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

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

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

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

которое стало основанием для теорий дзета-функций[2]. Наиболее известной и до сих пор не решённой проблемой аналитической теории чисел является доказательство гипотезы Римана о нулях дзета-функции, утверждающей, что все нетривиальные корни уравнения \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), получившая название характер Дирихле, определена так, что удовлетворяет следующим условиям: она является периодической, вполне мультипликативной и не равна тождественно нулю. Характеры и ряды Дирихле нашли применение и в других разделах математики, в частности в алгебре, топологии и теории функций[2].

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

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

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

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

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

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

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 — целые взаимно простые числа[2].

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Литература[править | править вики-текст]

Примечания[править | править вики-текст]

  1. 1 2 Number Theory, page 1 (англ.). Encyclopædia Britannica. Проверено 6 июня 2012. Архивировано из первоисточника 22 июня 2012.
  2. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Чисел теория//Большая советская энциклопедия
  3. История математики, том I, 1970, с. 9
  4. Арифметика//Большая советская энциклопедия
  5. История математики, том I, 1970, с. 37-39
  6. История математики, том I, 1970, с. 50
  7. История математики, том I, 1970, с. 68-69
  8. История математики, том I, 1970, с. 74-76
  9. 1 2 3 4 Number Theory, page 2 (англ.). Encyclopædia Britannica. Проверено 6 июня 2012. Архивировано из первоисточника 22 июня 2012.
  10. История математики, том I, 1970, с. 146-148
  11. История математики, том I, 1970, с. 194-195
  12. Number Theory, page 3 (англ.). Encyclopædia Britannica. Проверено 6 июня 2012. Архивировано из первоисточника 22 июня 2012.
  13. 1 2 3 Number Theory, page 4 (англ.). Encyclopædia Britannica. Проверено 6 июня 2012. Архивировано из первоисточника 22 июня 2012.
  14. Number Theory, page 5 (англ.). Encyclopædia Britannica. Проверено 6 июня 2012. Архивировано из первоисточника 22 июня 2012.

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