WikiSort.ru - Не сортированное

Функция «вопросительный знак» Минковского — построенная Германом Минковским монотонная сингулярная функция ${\displaystyle ?(x)}$ на отрезке ${\displaystyle [0,1]}$ , обладающая рядом замечательных свойств. Так, она взаимно-однозначно и с сохранением порядка переводит квадратичные иррациональности (то есть, числа вида ${\displaystyle a+{\sqrt {b}},}$ где ${\displaystyle a}$ и ${\displaystyle b}$ рациональные) на отрезке ${\displaystyle [0,1]}$ в рациональные числа на том же отрезке, а рациональные числа — в двоично-рациональные. Она связана с рядами Фарея, цепными дробями, и дробно-линейными преобразованиями, а её график обладает рядом интересных симметрий.

Построение

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

Самоподобие

Пусть точка ${\displaystyle x\in [0,1]}$ задаётся цепной дробью ${\displaystyle x=[0;a_{1},a_{2},\ldots ]}$ . Тогда увеличение ${\displaystyle a_{1}}$ на единицу, то есть, переход к ${\displaystyle y=[0;a_{1}+1,a_{2},\ldots ]}$ задаётся отображением

${\displaystyle f\colon x\mapsto y={\frac {1}{1+{\dfrac {1}{x}}}}={\frac {x}{1+x}},}$

а функция Минковского после такого преобразования делится (как это следует из её задания через цепную дробь аргумента) пополам:

${\displaystyle ?\left({\frac {x}{1+x}}\right)={\frac {?(x)}{2}}.\qquad (1)}$

С другой стороны, из симметрии относительно ${\displaystyle 1/2}$ медиантной конструкции легко видеть, что

${\displaystyle ?(1-x)=1-?(x).\qquad (2)}$

Сопрягая (1) с помощью (2), видим, что под действием отображения ${\displaystyle g(x)=1-f(1-x)=1-{\frac {1-x}{2-x}}={\frac {1}{2-x}}}$ функция Минковского преобразуется как

${\displaystyle ?\left({\frac {1}{2-x}}\right)={\frac {1+?(x)}{2}}.}$

Поэтому график функции Минковского переводится в себя каждым из преобразований

${\displaystyle F(x,t)=\left({\frac {x}{1+x}},{\frac {t}{2}}\right),\quad G(x,t)=\left({\frac {1}{2-x}},{\frac {1+t}{2}}\right).\qquad (3)}$

Более того, объединение их образов — это в точности весь исходный график, поскольку образ ${\displaystyle F}$ — это часть графика над отрезком ${\displaystyle [0,1/2]}$ , а образ ${\displaystyle G}$  — график над отрезком ${\displaystyle [1/2,1]}$ .

Построение графика как фрактала

График функции Минковского может быть построен как предельное множество для системы итерируемых функций (англ.). А именно, отображения ${\displaystyle F}$ и ${\displaystyle G}$ , заданные формулами (3), сохраняют график функции Минковского и переводят единичный квадрат внутрь себя. Поэтому последовательность множеств ${\displaystyle X_{n}}$ , определённая рекурсивно соотношениями

${\displaystyle X_{0}=[0,1]\times [0,1],\quad X_{n+1}=F(X_{n})\cup G(X_{n}),}$

есть убывающая по вложению последовательность множеств, причём график ${\displaystyle \Gamma =\{(x,?(x))\mid x\in [0,1]\}}$ функции Минковского содержится в любом из них.

Несложно увидеть, что ${\displaystyle X_{n}}$ является объединением прямоугольников высоты ${\displaystyle 1/2^{n}}$ , поэтому предельное множество

${\displaystyle X_{\infty }=\bigcap _{n}X_{n}}$

является графиком некоторой функции. Поскольку ${\displaystyle \Gamma \subset X_{\infty }}$ , то они совпадают. Поэтому график функции Минковского это предельное множество системы итерируемых функций

${\displaystyle F,G:[0,1]^{2}\to [0,1]^{2}.}$

Свойства

• Функция Минковского сингулярна, то есть в почти любой (по мере Лебега) точке ${\displaystyle x\in [0,1]}$ её производная существует и равна нулю. Тем самым, мера на ${\displaystyle [0,1]}$ , функцией распределения которой является функция Минковского (продолженная нулём на отрицательные числа и единицей на большие единицы), сингулярна.
• Функция Минковского взаимно однозначно переводит рациональные числа на отрезке ${\displaystyle [0,1]}$ в двоично-рациональные числа на том же отрезке.
• Функция Минковского взаимно однозначно переводит квадратичные иррациональности на отрезке ${\displaystyle [0,1]}$ в рациональные числа на том же отрезке. Действительно, число ${\displaystyle x}$ является квадратичной иррациональностью тогда и только тогда, когда его разложение в цепную дробь, начиная с некоторого момента, периодично; с другой стороны, эта периодичность равносильна периодичности двоичной записи образа — иными словами, рациональности ${\displaystyle ?(x)}$ .
• График функции Минковского переводится в себя отображениями ${\displaystyle F}$ и ${\displaystyle G}$ , заданными (3), а, следовательно, и их композициями.

Литература

• Minkowski H. Verhandlungen des III. internationalen Mathematiker-Kongresses in Heidelberg. — Berlin, 1904.
• Denjoy A. Sur une fonction réelle de Minkowski. — Journal de Mathématiques Pures et Appliquées. — 1938. — 17. — pp. 105—151.
• Conley, R. M. (2003), A Survey of the Minkowski ?(x) Function, Masters thesis, West Virginia University , ссылка.
• Conway, J. H. (2000), "Contorted fractions", On Numbers and Games (2nd ed.), Wellesley, MA: A K Peters, с. 82—86 .
• Кириллов А. А. Повесть о двух фракталах. — М.: МЦНМО, 2009.

См. также

• Канторова лестница

Ссылки

• Weisstein, Eric W. Minkowski's Question Mark Function (англ.) на сайте Wolfram MathWorld.