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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Очевидной мерой точности диофантова приближения вещественного числа α рациональным числом p/q является






|



α









p


q





|





{\displaystyle \left|\alpha -{\frac {p}{q}}\right|}


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

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





|



α









p


q





|



>


ϕ



(


q


)




{\displaystyle \left|\alpha -{\frac {p}{q}}\right|>\phi (q)}


φ на некоторую константу, зависящую от α.

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






|



α









p


q





|



<


ϕ



(


q


)




{\displaystyle \left|\alpha -{\frac {p}{q}}\right|<\phi (q)}


».

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

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

Рациональное число





α



=




a


b






{\displaystyle \alpha ={\frac {a}{b}}}


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









p



i





q



i







=






i



a




i



b








{\displaystyle {\tfrac {p_{i}}{q_{i}}}={\tfrac {i\,a}{i\,b}}}


при любом положительном целом i.

Если








p


q








α



=





a


b






,




{\displaystyle {\tfrac {p}{q}}\not =\alpha ={\tfrac {a}{b}}\,,}


мы имеем

поскольку






|



a


q






b


p



|





{\displaystyle |aq-bp|}


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Real Madrid Club de Fútbol Away BENZEMA 9 Jerseys

Real Madrid Club de Fútbol Away BENZEMA 9 Jerseys

BUY NOW

$266.58
$31.99

;> 0 and 0 < d(x) < n, такие, что

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

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

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








p


q








{\displaystyle {\tfrac {p}{q}}\;}


, таких, что

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

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








p


q








{\displaystyle {\tfrac {p}{q}}\;}


, таких, чтобы

Поэтому







1





5






q



2









{\displaystyle {\frac {1}{{\sqrt {5}}\,q^{2}}}}


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

Определение: Два вещественных числа





x


,


y




{\displaystyle x,y}


называются эквивалентными, если имеются целые числа





a


,


b


,


c


,


d





{\displaystyle a,b,c,d\;}


с





a


d






b


c


=


±



1





{\displaystyle ad-bc=\pm 1\;}


, такие, что:

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







SL




2




±





(



Z



)




{\displaystyle {\text{SL}}_{2}^{\pm }(\mathbb {Z} )}


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

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

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

выполняется

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

Как сказано выше, константа в теореме Бореля не может быть улучшена, что показал Гурвиц в 1891. Пусть





ϕ



=






1


+




5





2







{\displaystyle \phi ={\tfrac {1+{\sqrt {5}}}{2}}}


— золотое сечение. Тогда для любой вещественной константы




c


>




5







{\displaystyle c>{\sqrt {5}}\;}


p/q, таких, что

Следовательно, улучшение может быть получено, только если исключить числа, эквивалентные





ϕ





{\displaystyle \phi }


. Более точно: Для любого рационального числа





α





{\displaystyle \alpha }


, которое не эквивалентно





ϕ





{\displaystyle \phi }


, существует бесконечно много дробей








p


q








{\displaystyle {\tfrac {p}{q}}\;}


, таких, что

Путём последовательного исключения классов эквивалентности — каждое должно исключать числа, эквивалентные







2






{\displaystyle {\sqrt {2}}}


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

Пусть





ψ





{\displaystyle \psi }


является невозрастающей функцией от положительных чисел в положительные вещественные числа. Вещественное число x (не обязательно алгебраическое) называется





ψ





{\displaystyle \psi }


аппроксимируемым, если существует бесконечно много рациональных чисел p/q, таких, что

Хинчин в 1926-м году доказал, что если последовательность











q




ψ



(


q


)




{\displaystyle \sum _{q}\psi (q)}


расходится, то почти все вещественные числа (в смысле меры Лебега) являются





ψ





{\displaystyle \psi }


-аппроксимируемыми, а в случае сходимости последовательности почти любое вещественное число





ψ





{\displaystyle \psi }


-аппроксимируемым не является.

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

Важным примером функции





ψ





{\displaystyle \psi }


, к которой можно применить теорему Хинчина, является функция






ψ




c




(


q


)


=



q







c






{\displaystyle \psi _{c}(q)=q^{-c}}


, где c > 1 является вещественным числом. Для этой функции соответствующие серии сходятся, так что, по теореме Хинчина, почти любая точка не является






ψ




c






{\displaystyle \psi _{c}}


-аппроксимируемой. Таким образом, множество чисел, являющихся






ψ




c






{\displaystyle \psi _{c}}


-аппроксимируемыми, образует на вещественной оси множество с нулевой мерой Лебега. Теорема Ярника — Безиковича утверждает, что размерность Хаусдорфа этого множества равна





1



/



c




{\displaystyle 1/c}


. В частности, множество чисел,






ψ




c






{\displaystyle \psi _{c}}


-аппроксимируемых для некоторого




c


>


1




{\displaystyle c>1}







ψ




c






{\displaystyle \psi _{c}}


-аппроксимируемые для всех




c


>


1




{\displaystyle c>1}







ψ




ϵ





(


q


)


=


ϵ




q







1






{\displaystyle \psi _{\epsilon }(q)=\epsilon q^{-1}}


, где




ϵ



>


0




{\displaystyle \epsilon >0}







ψ




ϵ







{\displaystyle \psi _{\epsilon }}


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






f



1




,



f



2




,








{\displaystyle f_{1},f_{2},\ldots }


является последовательностью билипшевых отображений, то множество чисел x, для которых все






f



1




(


x


)


,



f



2




(


x


)


,








{\displaystyle f_{1}(x),f_{2}(x),\ldots }


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

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

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

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

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

Kelme Outlet | Le Coq Sport Outlet

kelme paul frank outlet new balance outlet bogner outlet le coq sportif outlet Футбол одежда Дешевые футбол одежда Футбол одежда 2016