Диофантово приближение

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

Диофантово приближение имеет дело с приближением вещественных чисел рациональными числами. Приближение названо именем Диофанта Александрийского.

Первой задачей был вопрос, насколько хорошо вещественное число может быть приближено рациональными числами. Для этой задачи рациональное число a/b является "хорошим" приближением вещественного числа α, если абсолютное значение разности a/b и α не может быть уменьшено, если заменить a/b другой рациональной дробью с меньшим знаменателем. Задача была решена в 18-м столетии посредством непрерывных дробей.

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

Похоже, границы зависят от природы вещественных чисел — нижняя граница приближения рациональных чисел другим рациональным числом больше, чем нижняя граница алгебраических чисел, которая сама больше нижней границы для вещественных чисел. Таким образом, вещественные числа, которые могут быть лучше приближены, чем граница для алгебраических чисел, это определённо трансцендентные числа. Это дало возможность Лиувиллю в 1844 получить первое явно заданное трансцендентное число. Позднее с помощью аналогичного метода было доказано, что π и e являются трансцендентными.

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

Исторические замечания[править | править код]

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

Новое веяние пришло с неожиданной стороны. Малер, классифицируя трансцендентные числа, сформулировал основную метрическую проблему теории трансцендентных чисел — гипотезу о «мере трансцендентности» почти всех чисел. Когда гипотеза была доказана, стала открываться глубокая связь между классической теорией диофантовых приближений и метрической теорией трансцендентных чисел. Результатом стало развитие нового направления — теория приближений зависимых величин.

В современной теории выделяется три основных подхода

Глобальный, изучающий общие законы аппроксимации. Примеры глобальных утверждений – теоремы Дирихле и Кронекера, гипотеза Минковского о произведениях линейных форм.
Индивидуальный подход касается свойств специальных чисел (алгебраические числа, ) или требует построения чисел с определёнными свойствами (числа Лиувилля, T-числа Малера).
Метрический подход, занимающий промежуточное положение. Подход требует описания аппроксимационных свойств чисел на основе теории меры[1].

Лучшие диофантовы приближения вещественных чисел[править | править код]

Если задано вещественное число α, существуют два пути для определения лучшего диофантова приближения числа α. В первом определении [2] рациональное число p/q является наилучшим диофантовым приближением числа α, если

для любого рационального числа p'/q' , отличного от p/q, такого, что 0 < q′ ≤ q.

Во втором определении[3][4] вышеприведённое неравенство заменяется на

Наилучшее приближение для второго определения является наилучшим для первого определения, но обратное неверно[5].

Теория непрерывных дробей позволяет вычислить наилучшее приближение вещественного числа — для второго определения дроби сходятся как обычные непрерывные дроби[4][5][6]. Для первого определения следует рассматривать также промежуточные дроби[2].

Примечание: Условимся обозначать через  подходящие дроби данной цепной дроби. Дроби  образуют при чётном k возрастающую, а при нечётном  k — убывающую последовательность. Крайние члены этой последовательности  — подходящие дроби одинаковой чётности. Промежуточные между ними члены называются промежуточными дробями[7]. 

Например, константа e = 2,718281828459045235... имеет представление в виде непрерывной дроби

Её лучшие представления по второму определению

В то время как по первому определению лучшими представлениями будут

Мера точности приближений[править | править код]

Очевидной мерой точности диофантова приближения вещественного числа α рациональным числом p/q является . Однако эту величину всегда можно сделать как угодно малой за счёт увеличения абсолютных значений p и q. По этой причине точность приближения обычно сравнивается с некоторой функцией φ от знаменателя q, обычно — отрицательной степени знаменателя.

Для такой оценки можно использовать верхнюю границу нижних границ точности. Нижняя граница обычно описывается теоремой, наподобие «Для любого элемента α некоторого подмножества вещественных чисел и любого рационального числа p/q имеем ». В некоторых случаях «любое рациональное число» может быть заменено на «все рациональные числа, за исключением конечного количества», и это количество учитывается путём умножения φ на некоторую константу, зависящую от α.

Для верхних границ можно брать в расчёт факт, что не все «лучшие» диофантовы приближения, получаемые при построении непрерывной дроби, могут дать желаемую точность. Поэтому теоремы принимают форму «Для любого элемента α некоторого подмножества вещественных чисел существует бесконечно много рациональных чисел p/q, таких, что ».

Плохо приближаемые числа[править | править код]

Плохо приближаемое число — это число x, для которого существует положительная константа c, такая, что для всех рациональных p/q мы имеем

Плохо приближаемые числа — это в точности числа, ограниченные промежуточными дробями[8].

Нижние границы для диофантовых приближений[править | править код]

Приближение рациональных чисел другими рациональными числами[править | править код]

Рациональное число может быть очевидным образом прекрасно приближено числами при любом положительном целом i.

Если мы имеем

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

Можно заметить, что приведённое доказательство использует вариант принципа Дирихле — неотрицательное число, не равное 0, не меньше 1. Эта явно тривиальное замечание используется почти во всех доказательствах для нижних границ диофантовых приближений, даже более сложных.

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

Приближение алгебраических чисел, результат Лиувилля[править | править код]

В 1840-х годах Жозеф Лиувилль получил первую нижнюю границу для приближения алгебраических чисел — если x является иррациональным алгебраическим числом степени n над рациональными числами, то существует константа c(x) > 0, такая, что

для всех целых p и q, где q > 0.

Этот результат позволил ему получить первый доказанный пример трансцендентного числа, константы Лиувилля

которая не удовлетворяет теореме Лиувилля, какую бы степень n ни выбрали.

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

Приближение алгебраических чисел, теорема Туэ-Зигеля-Рота[править | править код]

Более века было много попыток улучшить теорему Лиувилля — любое улучшение границы позволяет нам доказать трансцендентность большего количества чисел. Основные улучшения сделали Аксель Туэ[9], К. Л. Зигель[10], Фримен Дайсон[11] и К. Ф. Рот[12], приведшие, в конце концов, к теореме Туэ-Зигеля-Рота — Если x является иррациональным алгебраическим числом и ε, (малое) положительное вещественное число, то существует положительная константа c(x, ε), такая, что

для любых целых чисел p и q, таких, что q > 0.

В некотором смысле, этот результат оптимален, поскольку утверждение теоремы неверно при ε=0. Это непосредственное следствие верхних границ, описанных ниже.

Совместные приближения алгебраических данных[править | править код]

Впоследствии В. М. Шмидт[en] обобщил это для случая совместных приближений, доказав, что если x1, ..., xn являются алгебраическими числами, такими, что 1, x1, ..., xn линейно независимы нaд рациональными числами, и задано любое положительное вещественное число ε, то существует только конечное число рациональных n-кортежей (p1/q, ..., pn/q), таких, что

Опять этот результат оптимален в том смысле, что нельзя убрать ε из экспоненты.

Эффективные границы[править | править код]

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

Тем не менее, усовершенствование теоремы Бейкера[en] Фельдманом обеспечивает эффективную границу — если x является алгебраическим числом степени n над рациональными числами, то существуют эффективно вычислимые константы c(x) > 0 and 0 < d(x) < n, такие, что

выполняется для всех рациональных чисел.

Однако, как и для любой эффективной версии теоремы Бейкера, константы d и 1/c столь велики, что этот эффективный результат на практике применить невозможно.

Верхняя граница для диофантовых приближений[править | править код]

Общая верхняя граница[править | править код]

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

Отсюда следует немедленно, что невозможно избавиться от ε в утверждении теоремы Туэ-Зигеля-Рота.

Через несколько лет эта теорема была улучшена до следующей теоремы Бореля (1903)[13]. Для любого иррационального числа α существует бесконечно много дробей , таких, чтобы

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

Эквивалентные вещественные числа[править | править код]

Определение: Два вещественных числа называются эквивалентными[14][15], если имеются целые числа с , такие, что:

Эквивалентность определяется целым преобразованием Мёбиуса над вещественными числами или членом модулярной группы , множеством обратимых 2 × 2 матриц над целыми числами. Каждое рациональное число эквивалентно 0. Таким образом, рациональные числа является классом эквивалентности этого отношения.

Эта эквивалентность может охватывать обычные непрерывные дроби, как показывает следующая теорема Серре:

Теорема: Два иррациональных числа x и y эквивалентны тогда и только тогда, когда существует два положительных целых h и k, таких, что при представлении чисел x и y в виде непрерывных дробей

выполняется

для любого неотрицательного целого i.[16]

Спектр Лагранжа[править | править код]

Как сказано выше, константа в теореме Бореля не может быть улучшена, что показал Гурвиц в 1891[17]. Пусть золотое сечение. Тогда для любой вещественной константы существует только конечное число рациональных чисел p/q, таких, что

Следовательно, улучшение может быть получено, только если исключить числа, эквивалентные . Более точно[18][19]: Для любого рационального числа , которое не эквивалентно , существует бесконечно много дробей , таких, что

Путём последовательного исключения классов эквивалентности — каждое должно исключать числа, эквивалентные — можно поднять нижнюю границу. Значения, которые можно получить в результате этого процесса — это числа Лагранжа, являющиеся частью спектра Лагранжа[en]. Они сходятся к числу 3 и связаны с числами Маркова[20][21].

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

Пусть является невозрастающей функцией от положительных чисел в положительные вещественные числа. Вещественное число x (не обязательно алгебраическое) называется -аппроксимируемым, если существует бесконечно много рациональных чисел p/q, таких, что[22]

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

Даффин и Шаффер[23] доказали более общую теорему, из которой следует результат Хинчина и высказали гипотезу, теперь известную как гипотеза Даффина — Шаффера[en][24]. Бересневич и Велани [25] доказали, что аналог гипотезы Даффина — Шаффера на мере Хаусдорфа эквивалентна исходной гипотезе Даффина — Шаффера, которая априори слабее.

Размерность Хаусдорфа исключительных множеств[править | править код]

Важным примером функции , к которой можно применить теорему Хинчина, является функция , где c > 1 является вещественным числом. Для этой функции соответствующие серии сходятся, так что, по теореме Хинчина, почти любая точка не является -аппроксимируемой. Таким образом, множество чисел, являющихся -аппроксимируемыми, образует на вещественной оси множество с нулевой мерой Лебега. Теорема ЯрникаБезиковича утверждает, что размерность Хаусдорфа этого множества равна [26]. В частности, множество чисел, -аппроксимируемых для некоторого (известных как множество очень хорошо аппроксимируемых чисел) имеют размерность единица, в то время как числа, -аппроксимируемые для всех (известные как множество чисел Лиувилля) имеют размерность Хаусдорфа нуль.

Другим важным примером является функция , где является вещественным числом. Для этой функции соответствующие последовательности расходятся, и, по теореме Хинчина, почти все числа -аппроксимируемы. Это то же самое, что сказать, что эти числа хорошо приближаемы, где число называется хорошо приближаемым, если оно не является плохо приближаемым. Так что аналогия теоремы Ярника — Безиковича должна бы относиться к размерности Хаусдорфа плохо приближаемых чисел. И в самом деле, Ярник доказал, что размерность Хаусдорфа этого множества равна единице. Этот результат улучшил Шмидт[en], показавший, что множество плохо приближаемых чисел несжимаемо, в смысле, что если является последовательностью билипшевых отображений, то множество чисел x, для которых все плохо приближаемы, имеет размерность Хаусдорфа единица. Шмидт обобщил теорему Ярника на более высокие размерности, что является существенным достижением, поскольку доводы Ярника существенно опираются на одномерность пространства, что обусловлено применением аппарата непрерывных дробей.

Однородное распределение[править | править код]

Другой исследуемый раздел — это теория равнораспределенной последовательности по модулю 1[en]. Возьмём последовательность a1, a2, ... вещественных чисел и рассмотрим их дробные части. То есть, более формально, рассмотрим последовательность в R/Z, являющуюся циклической (можно рассматривать как окружность). Для любого интервала I на окружности мы рассматриваем долю элементов вплоть до некоторого целого N, лежащих внутри интервала, и сравниваем это значение с долей окружности, занимаемой интервалом I. Однородное распределение означает, что в пределе, по мере роста N, доля попаданий в интервал стремится к 'ожидаемой' величине. Вейль доказал базовый результат, что это эквивалентно ограниченности сумм Вейля, образованных из последовательности. Это показывает, что диофантовы приближения тесно связаны с общей задачей взаимного сокращения в суммах Вейля (оценки остаточного члена), которые появляются в аналитической теории чисел.

Связанная с равномерным распределением тема — тема неравномерности распределений, имеющая комбинаторную природу.

Нерешённые проблемы[править | править код]

Остаются ещё просто формулируемые, но не решённые проблемы диофантовых приближений, например гипотеза Литлвуда[en] и гипотеза об одиноком бегуне. Неизвестно также, существуют ли алгебраические числа с неограниченными коэффициентами в разложении в непрерывную дробь.

Последние исследования[править | править код]

На пленарном заседании Международного конгресса математиков в Киото (1990) Григорий А. Маргулис очертил широкую программу, базирующуюся на эргодической теории, которая позволяет доказать теоретико-числовые результаты с использованием динамических и эргодических свойств действий подгрупп полупростых групп Ли. Работа Д.Я. Клейнбока и Г.А. Маргулиса (с соавторами) демонстрирует силу этого нового подхода к классическим задачам диофантовых приближений. Среди заметных достижений — доказательство Маргулисом выдвинутой десятки лет назад гипотезы Оппенгейма[en] с дальнейшими расширениями (Дани и Маргулис, Эскин–Маргулис–Мозес), и доказательство Клейнбоком и Маргулисом гипотез Бейкера и Спринджука о диофантовых приближениях на многообразиях. Различные обобщения вышеупомянутых результатов Хинчина о метрических диофантовых приближениях были получены с помощью этого метода.

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

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

Литература[править | править код]

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