Действительное число можно сколь угодно точно приблизить рациональными. А насколько хорошим может быть такое приближение – в сравнении с его сложностью? Например, оборвав десятичную запись числа

на
-й цифре после запятой, мы получим приближение

с ошибкой порядка
. И вообще, зафиксировав знаменатель

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

(точно не больше
, и в среднем
). А можно ли сделать лучше?
Знакомое всем приближение

даёт ошибку порядка

– то есть явно сильно лучше, чем можно было бы ожидать. А почему? Повезло ли нам, что у

такое приближение есть? Оказывается, что для любого иррационального числа есть бесконечно много дробей
, приближающих его лучше, чем
. Это утверждает теорема Дирихле – и мы начнём курс с её немного нестандартного доказательства.
А именно, мы посмотрим на ряды Фарея – выписанные по возрастанию несократимые дроби со знаменателем, не превосходящим данного числа. Оказывается, что они удовлетворяют нескольким совершенно удивительным свойствам: например, каждое из них это «сумма двоечника» (числитель с числителем, знаменатель со знаменателем) своих соседей. Из свойств рядов Фарея мы и выведем теорему Дирихле.
Программа курса:
- Ряды Фарея, их свойства. Теорема Дирихле о приближаемости.
- Цепные дроби, их свойства. Их связь с рядами Фарея, второе доказательство теоремы Дирихле.
- Не-приближаемость алгебраических чисел, явный пример трансцендентного числа.
- Зиккурат Дженкинса–Ноймана, два его описания и теорема о самоподобии множества его вершин.
Материалы к лекциям:
[pdf, 140 KB]
Клепцын Виктор Алексеевич
Летняя школа «Современная математика», г. Дубна.
20-24 июля 2014 г.