Все математики, наверное, знают, что такое
цепные (непрерывные) дроби. Каждое иррациональное число может быть разложено в бесконечную цепную дробь x = [a
1, a
2,...], и это факт (для рационального х эта дробь конечна). При этом у "типичного" числа х элементы такого разложения a
n ("цифры") должны "как-то расти", что тоже известно со времен царя Гороха. Но не очень быстро всё же: их среднее арифметическое таки стремится к бесконечности для почти любого x, а вот среднее геометрическое, напротив, стремится к некоей константе. Всё это в наше время доказывается при помощи эргодической теории, что не может не радовать.
Но что можно сказать про исключительное множество, кроме того, что оно имеет меру нуль?
Удивительно, но еще в 1941 году некто Good доказал, что множество х, для которых a
n стремится к бесконечности, имеет хаусдорфову размерность 1/2. В 1985 году этот результат был усилен: что множество х, для которых a
n > a
n-1 для всех n>1, тоже, оказывается, имеет хаусдорфову размерность 1/2 (Ramharter).
А вчера в арХиве появилась
статья знакомых чуваков, в которой они в частности доказывают, что если a
n > Ka
n-1 для какого-то фиксированного K, размерность такого множества - по-прежнему 1/2.
Надо же, какая стабильность половинной размерности.