Лиувиллево число

Лиувиллево число — иррациональное число $x$, которое может быть приближено рациональными числами так, что для любого целого $n$ существует бесконечно много пар целых $(p,q)$ ($q>1$) таких, что:

$0<|x-\frac{p}{q}|<\frac{1}{q^n}$.

Диофантово число — иррациональное число, которое таким образом представлено быть не может, то есть при приближении рациональным числом ошибка составляет не менее некоторой степени знаменателя:

$\mathrm{\exists }C,\alpha >0:\mathrm{\forall }p\in \mathbb{Z},q\in \mathbb{N}|x-\frac{p}{q}|⩾\frac{C}{q^{\alpha }}$.

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

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

Мера иррациональности чисел Лиувилля: $\mu (x)=+\mathrm{\infty }$, кроме того, если мера иррациональности числа бесконечна, то оно лиувиллево (иногда это свойство принимается за определение чисел Лиувилля).

Шаблон:ЯкорьКлассический пример лиувиллева числа — постоянная Лиувилля, определяемая как:

$\sum _{k=1}^{\mathrm{\infty }}10^{-k!}=0,1100010000000000000000010000\dots$