В теории чисел число Лиувилля - это действительное число x со свойством, что для любого положительного целого n существует бесконечно много пар целых чисел (p, q) с q>1, таких что
Числа Лиувилля «почти рациональны», поэтому их можно «довольно точно» аппроксимировать последовательностями рациональных чисел. Это в точности те трансцендентные числа, которые можно более точно аппроксимировать рациональными числами, чем любое алгебраическое иррациональное число. В 1844 году Джозеф Лиувилль показал, что все числа Лиувилля трансцендентны, тем самым впервые установив существование трансцендентных чисел.
Здесь мы показываем, что числа Лиувилля существуют, демонстрируя конструкцию, которая производит такие числа.
Для любого целого числа b ≥ 2 и любой последовательности целых чисел (a 1, a 2,…,) таких, что a k ∈ {0, 1, 2,…, b - 1} для всех k ∈ {1, 2, 3,…} и существует бесконечно много k с a k ≠ 0, определим число
В особом случае, когда b = 10, и a k = 1, для всех k результирующее число x называется константой Лиувилля:
Из определения x следует, что его представление base-b равно
где n-й член находится в (n!) -М десятичном разряде.
Поскольку это представление base-b не повторяется, отсюда следует, что x не может быть рациональным. Следовательно, для любого рационального числа p / q выполняется | x - p / q |>0.
Теперь для любого целого числа n ≥ 1 определите q n и p n следующим образом:
Тогда
Следовательно, заключаем, что любой такой x является числом Лиувилля.
Здесь мы покажем, что число x = c / d, где c и d - целые числа, а d>0, не может удовлетворяют неравенствам, определяющим число Лиувилля. Поскольку каждое рациональное число может быть представлено как такое c / d, мы докажем, что никакое число Лиувилля не может быть рациональным .
Более конкретно, мы покажем, что для любого положительного целого числа n, достаточно большого, что 2>d>0 (то есть для любого целого числа n>1 + log 2 (d)) не существует пары целых чисел (p, q), которая одновременно удовлетворяет двум неравенствам
Отсюда Заявленный вывод следует.
Пусть p и q - любые целые числа с q>1. Тогда у нас есть,
Если | cq - dp | = 0, мы получили бы
значение что такая пара целых чисел (p, q) нарушила бы первое неравенство в определении числа Лиувилля, независимо от выбора n.
Если, с другой стороны, | cq - dp |>0, то, поскольку cq - dp - целое число, мы можем утверждать более точное неравенство | cq - dp | ≥ 1. Отсюда следует, что
Теперь для любого целого числа n>1 + log 2 (d) последнее неравенство выше подразумевает
Следовательно, в случае | cq - dp |>0 такая пара целых чисел (p, q) нарушит второе неравенство в определении числа Лиувилля для некоторого положительного целого числа n.
Мы заключаем, что не существует пары целых чисел (p, q) с q>1, которая квалифицировала бы такое x = c / d как число Лиувилля.
Следовательно, число Лиувилля, если оно существует, не может быть рациональным.
(Раздел о постоянной Лиувилля доказывает, что числа Лиувилля существуют, показывая конструкцию единицы. Доказательство, приведенное в этом разделе, подразумевает, что это число должно быть иррационально.)
Рассмотрим, например, число
3,14 (3 нуля) 1 (17 нулей) 5 (95 нулей) 9 (599 нулей) 2 (4319 нулей) 6...
где цифры равны нулю, кроме позиции n! где цифра равна n-й цифре после десятичной точки в десятичном разложении π.
Как показано в разделе о существовании чисел Лиувилля, это число, как и любое другое неокончательное десятичное число с аналогичным расположением ненулевых цифр, удовлетворяет определению Число Лиувилля. Поскольку набор всех последовательностей ненулевых цифр имеет мощность континуума, то же самое происходит с набором всех чисел Лиувилля.
Кроме того, числа Лиувилля образуют плотное подмножество множества действительных чисел.
С точки зрения теории меры, множество всех чисел Лиувилля L мало. Точнее, его мера Лебега, λ (L), равна нулю. Приведенное доказательство следует некоторым идеям Джона К. Окстоби.
Для натуральных чисел n>2 и q ≥ 2 установите:
имеем
Обратите внимание, что для каждого положительного целого числа n ≥ 2 и m ≥ 1 мы также имеем
Поскольку
и n>2 имеем
Теперь
и отсюда следует, что для каждого натурального числа m L ∩ (−m, m) имеет нулевую меру Лебега. Следовательно, так же и L.
Напротив, мера Лебега множества всех реальных трансцендентных чисел бесконечна (так как набор алгебраических чисел является нулевым множеством ).
Для каждого натурального числа n положим
Таким образом, множество всех чисел Лиувилля может быть записано как
Каждый U n представляет собой открытый набор ; поскольку его закрытие содержит все рациональные числа (из каждого выколотого интервала), оно также является плотным подмножеством реальной линии. Так как это пересечение счетного числа таких открытых плотных множеств, L есть comeagre, то есть это плотное Gδ множество.
Мера иррациональности Лиувилля-Рота (показатель иррациональности, показатель аппроксимации, или Лиувилля –Константа Рота ) действительного числа x является мерой того, насколько «близко» оно может быть аппроксимировано рациональными числами. Обобщая определение чисел Лиувилля, вместо того чтобы допускать любое n в степени q, мы находим наибольшее возможное значение для μ, такое, что удовлетворяется бесконечным числом пар целых чисел (p, q) с q>0. Это максимальное значение μ определяется как мера иррациональности x. Для любого значения μ меньше этой верхней границы бесконечное множество всех рациональных чисел p / q, удовлетворяющих вышеуказанному неравенству, дает приближение к x. Наоборот, если µ больше верхней границы, то существует не более конечного числа (p, q) с q>0, удовлетворяющих неравенству; таким образом, обратное неравенство выполняется для всех больших значений q. Другими словами, учитывая меру иррациональности μ действительного числа x, всякий раз, когда рациональное приближение x ≅ p / q, p, q ∈ N дает n + 1 точную десятичную цифру, мы имеем
для любого ε>0, за исключением не более чем конечного числа «счастливых» пар (p, q).
Практически все числа имеют показатель иррациональности, равный 2.
Ниже приводится таблица известных верхних и нижних границ для мер иррациональности некоторых чисел.
Число | Мера иррациональности | Простая непрерывная дробь | Примечания | |
---|---|---|---|---|
Нижняя граница | Верхняя граница | |||
Рациональное число где и | 1 | Конечная непрерывная дробь. | Каждое рациональное число имеет показатель иррациональности ровно 1. Примеры включают 1, 2 и 0,5 | |
Алгебраическое число | 2 | Бесконечная непрерывная дробь. Периодически, если квадратично иррационально. | По теореме Туэ-Зигеля-Рота мера иррациональности любого алгебраического числа равна точно 2. Примеры включают квадратные корни, подобные и и золотое сечение . | |
2 | Бесконечная цепная дробь. | Если элементы разложения непрерывной дроби иррационального числа удовлетворяют | ||
2 | ||||
2 | ||||
Константы Тротта | 1 | 2 | Неизвестно, являются ли разложения констант Тротта непрерывными дробями конечными или бесконечными. | Константы Тротта - это именно те константы, десятичное разложение которых равно разложению их непрерывной дроби. В базе 10 имеем: Поскольку в любой базе |
2 | 2.49846... | Бесконечная непрерывная дробь. | ||
2 | 2.93832... | |||
2 | 3,76338... | |||
2 | 3,57455... | |||
2 | 5,11620... | |||
2 | 5,51389... | |||
2 | 5,09541... | |||
2 | 7.10320... | Было доказано, что если ряд | ||
2 | 6.09675... | формы | ||
2 | 4,788... | |||
2 | 6.24... | |||
2 | 4,076... | |||
2 | 4,595... | |||
2 | 5.793... | формы | ||
2 | 3,673... | |||
2 | 3,068... | |||
2 | 4.60105... | В форме | ||
2 | 3,94704... | |||
2 | 3,76069... | |||
2 | 3,66666... | |||
2 | 3,60809... | |||
2 | 3,56730... | |||
2 | 6.64610... | формы | ||
2 | 5,82337... | |||
2 | 3,51433... | |||
2 | 5,45248... | |||
2 | 3,47834... | |||
2 | 5,23162... | |||
2 | 3,45356... | |||
2 | 5,08120... | |||
2 | 3,43506... | |||
4,5586... | ||||
6.1382... | ||||
59,976... | ||||
2 | 4 | Бесконечная цепная дробь. | ||
константы Чамперноуна | Бесконечная цепная дробь. | Примеры включают | ||
числа Лиувилля | Бесконечная цепная дробь, поведение которой непредсказуемо. | Числа Лиувилля - это как раз те числа, которые имеют бесконечную меру иррациональности. |
База иррациональности - это более слабая мера иррациональности, введенная Дж. Сондоу, и рассматривается как иррациональность мера для чисел Лиувилля. Он определяется следующим образом:
Пусть
затем
Если такового нет
Пример : Ряд
Установление того, что данное число является числом Лиувилля, дает полезный инструмент для доказательства данное число трансцендентно. Однако не каждое трансцендентное число является числом Лиувилля. Члены в разложении непрерывной дроби любого числа Лиувилля неограничены; используя счетный аргумент, можно затем показать, что должно быть несчетное количество трансцендентных чисел, не являющихся лиувиллевскими. Используя явное разложение в цепную дробь e, можно показать, что e является примером трансцендентного числа, которое не является лиувиллевским. Малер доказал в 1953 году, что π является другим таким примером.
Доказательство начинается с установления свойства иррациональных алгебраических чисел.. Это свойство, по сути, говорит о том, что иррациональные алгебраические числа не могут быть хорошо аппроксимированы рациональными числами, где условие «хорошо аппроксимации» становится более строгим для больших знаменателей. Число Лиувилля иррационально, но не обладает этим свойством, поэтому оно не может быть алгебраическим и должно быть трансцендентным. Следующая лемма обычно известна как теорема Лиувилля (о диофантовом приближении), есть несколько результатов, известных как теорема Лиувилля.
Ниже мы покажем, что никакое число Лиувилля не может быть алгебраическим.
Лемма: Если α - иррациональное число, которое является корнем многочлена f степени n>0 с целыми коэффициентами, то существует действительное число A>0 такое, что для всех целых чисел p, q, q>0,
Доказательство леммы: Пусть M - максимальное значение | f ′ (x) | (абсолютное значение производной f) по интервал [α - 1, α + 1]. Пусть α 1, α 2,..., α m будет различные корни f, которые отличаются от α. Выберите некоторое значение A>0, удовлетворяющее
Теперь предположим, что существуют некоторые целые числа p, q, противоречащие лемме. Тогда
Тогда p / q находится в интервале [α - 1, α + 1]; и p / q не входит в {α 1, α 2,..., α m }, поэтому p / q не является корнем из f; и нет корня из f между α и p / q.
По теореме о среднем значении, существует x 0 между p / q и α такое, что
Поскольку α является корнем f, а p / q - нет, мы видим, что | f ′ (x 0) |>0, и мы можем переставить:
Теперь f имеет вид
последнее неравенство выполняется, потому что p / q не является корнем f и c i - целые числа.
Таким образом, | f (p / q) | ≥ 1 / кв. Поскольку | f ′ (x 0) | ≤ M по определению M и 1 / M>A по определению A, мы имеем, что
что противоречит ; следовательно, таких p, q не существует; доказательство леммы.
Доказательство утверждения: Как следствие этой леммы, пусть x будет числом Лиувилля; как отмечено в тексте статьи, x является иррациональным. Если x алгебраический, то по лемме существуют некоторое целое число n и некоторое положительное вещественное число A такие, что для всех p, q
Пусть r - такое натуральное число, что 1 / (2) ≤ A. Если мы положим m = r + n и поскольку x - число Лиувилля, то существуют целые числа a, b, где b>1 такие, что
что противоречит лемме. Следовательно, если число Лиувилля существует, оно не может быть алгебраическим и, следовательно, должно быть трансцендентным.