Теория чисел

Автор книги: Нематиллаев Баяман

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

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

Содержание

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

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

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

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

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

a1x1+…+anxn=N,{displaystyle a_{1}x_{1}+…+a_{n}x_{n}=N,}  где a1,…,an{displaystyle a_{1},…,a_{n}}  — натуральные числа,

Эйлер построил производящую функцию, которая определяется как произведение сходящихся рядов (при |z|<1{displaystyle |z|<1}

 )

Fi(z)=∑k=0∞ziak{displaystyle F_{i}(z)=sum _{k=0}^{infty }{z_{i}^{a}k}} 

и является суммой членов геометрической прогрессии, при этом

F(z)=∑N=0∞l(N)zN,{displaystyle F(z)=sum _{N=0}^{infty }l(N)z^{N},} 

где l(N){displaystyle l(N)}

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

В работе над квадратичным законом взаимности Гаусс рассмотрел конечные суммы вида

S(a)=∑n=1pe2πian2/p,{displaystyle S(a)=sum _{n=1}^{p}e^{2pi ian^{2}/p},} 

которые могут быть представлены в виде суммы синусов и косинусов (по формуле Эйлера), из-за чего они являются частным случаем тригонометрических сумм[2]. Метод тригонометрических сумм, позволяющий оценивать число решений тех или иных уравнений или систем уравнений в целых числах играет большую роль в аналитической теории чисел. Основы метода разработал и впервые применил к задачам теории чисел И. М. Виноградов.

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

Πp(1−1ps)−1=∑n=1∞1ns,{displaystyle Pi _{p}left(1-{frac {1}{p^{s}}}right)^{-1}=sum _{n=1}^{infty }{frac {1}{n^{s}}},} 

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

  лежат на так называемой критической прямой Res=12{displaystyle mathrm {Re} ,s={frac {1}{2}}} , где ζ(s){displaystyle zeta (s)}  — дзета-функция Римана.

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

Πp(1−χ(p)ps)−1=∑n=1∞χ(n)ns{displaystyle Pi _{p}left(1-{frac {chi (p)}{p^{s}}}right)^{-1}=sum _{n=1}^{infty }{frac {chi (n)}{n^{s}}}} ,

при этом функция χ(p){displaystyle chi (p)}

 , получившая название характер Дирихле, определена так, что удовлетворяет следующим условиям: она является периодической, вполне мультипликативной и не равна тождественно нулю. Характеры и ряды Дирихле нашли применение и в других разделах математики, в частности, в алгебре, топологии и теории функций[2].

Чебышёв показал, что число простых чисел, не превосходящих X{displaystyle X}

 , обозначенное как π(X){displaystyle pi (X)} , стремится к бесконечности по следующему закону[2]:

aXln⁡(X)<π(X)<bXln⁡(X),{displaystyle a{frac {X}{ln(X)}}<pi (X)<b{frac {X}{ln(X)}},} 

где a>1/2ln⁡2{displaystyle a>1/2ln 2}

  и b<2ln⁡2{displaystyle b<2ln 2} .

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

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

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

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

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

xn=zn−yn=∏i=1n(z−aiy),{displaystyle x^{n}=z^{n}-y^{n}=prod _{i=1}^{n}(z-a_{i}y),} 

где ai{displaystyle a_{i}}

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

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

Алгебраическая теория чисел включает в себя такие разделы, как теорию дивизоров, теорию Галуа, теорию полей классов, дзета- и L-функции Дирихле, когомологии групп и многое другое.a:not(:hover){border-bottom:1px dotted;text-decoration:none}}]]>[источник не указан 3246 дней]

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

Исторический очерк

Теория чисел в древнем мире

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

В Древнем Египте математические операции проводились над целыми числами и аликвотными дробями[3]. Математические папирусы содержат задачи с решениями и вспомогательные таблицы[4]. Неизвестно ни одного бесспорного примера применения теории чисел в Древнем Египте, в отличие от более развитой алгебрыa:not(:hover){border-bottom:1px dotted;text-decoration:none}}]]>[источник не указан 4067 дней]. Ещё более широкое применение таблиц характерно для Вавилона, которые вслед за шумерами использовали шестидесятиричную систему счисления. Вавилонские клинописные математические тексты включают таблицы умножения и обратных чисел, квадратов и кубов чисел натурального ряда[5]. В Вавилоне знали множество пифагоровых троек, для поиска которых, вероятно, пользовались неизвестным общим приёмом[6]. Самой древней археологической находкой в истории арифметики является обломок глиняной таблички Плимптон, 322, датируемый 1800 годами до нашей эры. Он содержит список Пифагоровых троек, то есть натуральных чисел (a,b,c){displaystyle (a,b,c)}

  таких что a2+b2=c2{displaystyle a^{2}+b^{2}=c^{2}} . В тройках встречаются пятизначные числа, да и их самих слишком много, чтобы предположить что они были получены механическим перебором вариантов[1].

Весомый вклад в становление теории чисел оказали пифагорейцы, Евклид и Диофант. Пифагорейцы рассматривали только целые положительные числа и полагали число собранием единиц. Единицы были неделимы и располагались в виде правильных геометрических тел. Пифагорейцам характерно определение «фигурных чисел» («треугольных», «квадратных» и других). Изучая свойства чисел, они разбили их на чётные и нечётные, простые и составные. Вероятно, именно пифагорейцы с помощью только признака делимости на два смогли доказать, что если 1+2+…+2n=p{displaystyle 1+2+…+2^{n}=p}

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

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

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

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

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

Теория чисел в Средние века

Китайская теорема об остатках входила в качестве упражнения в трактат Сунь Цзы «Сунь Цзы Суань Цзин» (кит. упр. 孙子算经, пиньинь sūnzǐ suànjīng)[9]. В его решении был опущен один из важных шагов, полное доказательство впервые получено Ариабхатой в VI веке н. э.a:not(:hover){border-bottom:1px dotted;text-decoration:none}}]]>[источник не указан 4067 дней].

Индийские математики Ариабхата, Брахмагупта и Бхаскары решали диофантовы уравнения вида ax+b=cy{displaystyle ax+b=cy}

  в целых числах. Кроме того, они решали в целых числах уравнения вида ax2+b=y2{displaystyle ax^{2}+b=y^{2}} [9], что было наивысшим достижением индийских математиков в области теории чисел. Впоследствии это уравнение и его частный случай при b=1{displaystyle b=1}  привлекли внимание Ферма, Эйлера, Лагранжа. Предложенный Лагранжем метод нахождения решения был близок к индийскому[11].

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

Дальнейшее развитие теория чисел получила в работах Ферма, связанных с решением диофантовых уравнений и делимостью целых чисел. В частности, Ферма сформулировал теорему о том, что для любого простого p{displaystyle p}

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

В XIX веке над теорией чисел работали многие видные учёные. Гауссом была создана теория сравнений, с помощью которой доказан ряд теорем о простых числах, изучены свойства квадратичных вычетов и невычетов, включая квадратичный закон взаимности[13], в поисках доказательства которого Гаусс рассмотрел конечные ряды определённого вида, обобщённые впоследствии до тригонометрических сумм. Развивая работы Эйлера, Гаусс и Дирихле создали теорию квадратичных форм. Кроме того, они сформулировали ряд задач о количестве целых точек в областях на плоскости, частные решения которых позволили доказать общую теорему о бесконечности числа простых точек в прогрессиях вида nk+l{displaystyle nk+l}

 , где k{displaystyle k}  и l{displaystyle l}  взаимно просты[13]. Дальнейшим изучением распределения простых чисел занимался Чебышёв[14], который показал более точный, чем теорема Евклида, закон стремления к бесконечности числа простых чисел, доказал гипотезу Бертрана о существовании простого числа в интервале (x,2x),x≥2{displaystyle (x,2x),xgeq 2} , а также поставил задачу об оценке сверху наименьшего значения разности между соседними простыми числами (расширение вопроса о простых близнецах)[2].

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

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

Э.Куммер, пытаясь доказать теорему Ферма, работал с алгебраическим числовым полем, для множества чисел которого он применил все четыре алгебраических операции и построил таким образом арифметику целых чисел алгебраического числового поля, порождённого ai{displaystyle a_{i}}

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

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

В первой половине XX века над проблемами теории чисел работали Герман Вейль, сформулировавший соотношение для равномерного распределения дробных долей целочисленных функций, Г.Харди и Дж. Литлвуд, которые сформулировали круговой метод решения аддитивных задач, А. О. Гельфонд и Т. Гнейдер, которые решили 7-ю проблему Гильберта, К. Зигель, который доказал ряд теорем о трансцендентности значений функций, Б. Н. Делоне и Д. К. Фаддеев, которые занимались исследованием диофантова уравнения x3−ay3=1{displaystyle x^{3}-ay^{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 года.

Литература