Преобразование Мёбиуса

Преобразова́ние Мёбиуса — преобразование одноточечной компактификации евклидова пространства ${\widehat {\mathbb {R} ^{n}}}=\mathbb {R} ^{n}\cup \{\infty \}$ , представляющее собой композицию конечного числа инверсий относительно гиперсфер и отражений относительно гиперплоскостей. [1].

Вид преобразований на комплексной плоскости (серая) и сфере Римана (чёрная)

В англоязычной литературе термин преобразование Мёбиуса часто определяют только для расширенной комплексной плоскости ${\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}$ как преобразование $f:{\widehat {\mathbb {C} }}\to {\widehat {\mathbb {C} }}$ , задающееся при помощи дробно-линейной функции:

f(x)={\begin{cases}\displaystyle {\frac {ax+b}{cx+d}},&x\neq \infty \\\displaystyle {\frac {a}{c}},&x=\infty \end{cases}}\quad a,b,c,d\in \mathbb {C} ,\quad \left|{\begin{matrix}a&b\\c&d\end{matrix}}\right|\neq 0

Это определение может рассматриваться как частный случай общего для $n=2$ , поскольку если расширенную комплекную плоскость ${\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}$ представить себе как ${\widehat {\mathbb {R} ^{2}}}=\mathbb {R} ^{2}\cup \{\infty \}$ , то определения эквивалентны. В русскоязычной литературе для дробно-линейных функций комплексных чисел используют термин дробно-линейное преобразование.

Для случая $n=1$ одноточечная компактификация прямой представляет собой проективно расширенную числовую прямую. На ней преобразования Мёбиуса могут быть определены аналогично комплексному случаю с помощью дробно-линейных функций.

Проективно расширенная числовая прямая

В случае $n=1$ пространство $\mathbb {R} \cup \{\infty \}$ представляет собой расширенную числовую прямую. В этом случае преобразование Мёбиуса допускает альтернативное определение при помощи дробно-линейной функции:

f(x)={\begin{cases}\displaystyle {\frac {ax+b}{cx+d}},&x\neq \infty \\\displaystyle {\frac {a}{c}},&x=\infty \end{cases}}\quad a,b,c,d\in \mathbb {R} ,\quad \left|{\begin{matrix}a&b\\c&d\end{matrix}}\right|\neq 0

Расширенная комплексная плоскость

В случае $n=2$ пространство $\mathbb {R} ^{2}\cup \{\infty \}$ можно рассматривать как расширенную комплексную плоскость. При таком рассмотрении преобразование Мёбиуса также называется дробно-линейным преобразованием и допускает альтернативное определение при помощи дробно-линейной функции:

f(x)={\begin{cases}\displaystyle {\frac {ax+b}{cx+d}},&x\neq \infty \\\displaystyle {\frac {a}{c}},&x=\infty \end{cases}}\quad a,b,c,d\in \mathbb {C} ,\quad \left|{\begin{matrix}a&b\\c&d\end{matrix}}\right|\neq 0

В пространстве размерности 2 преобразование Мёбиуса переводит обобщённые окружности в обобщённфк окружности. Его можно рассматривать либо точечное преобразование, либо как преобразование обобщённых окружностей[2]:

как точечное преобразование преобразование Мёбиуса — преобразование расширенной евклидовой плоскости такое, что окружность или прямая переходят в окружность или прямую. Имеем точечную аналлагматическую геометрию;
как неточечное преобразование преобразование Мёбиуса — частный случай контактного преобразования, в котором основной элемент — не точка, а окружность. Имеем круговую аналлагматическую геометрию.

Легко проверяются следующие простые свойства:

Тождественное отображение $f(z)=z$ также является частным случаем дробно-линейной функции. Достаточно подставить $a=d=1,\;b=c=0.$
Суперпозиция дробно-линейных отображений также будет представлять собой дробно-линейную функцию.
Функция, обратная дробно-линейной, также будет являться такой.

Отсюда следует, что дробно-линейные отображения будут образовывать группу относительно операции суперпозиции (группа автоморфизмов сферы Римана, именуемая также группой Мёбиуса). Эта группа является комплексно-трёхмерной группой Ли.

Алгебраические свойства

При умножении параметров $a$ , $b$ , $c$ , $d$ на ненулевое комплексное число преобразование не меняется. Говоря формально, группа Мёбиуса является проективизацией группы $GL_{2}(\mathbb {C} )$ , то есть имеет место эпиморфизм: $\left({\begin{matrix}a&&b\\c&&d\end{matrix}}\right)\to {\frac {az+b}{cz+d}}$ .

Группа Мёбиуса изоморфна специальной ортохронной группе Лоренца $SO^{\uparrow }(1,\;3)$ .

Предположим, что матрица, соответствующая преобразованию, нормализована, то есть удовлетворяет условию $ad-bc=1$ . Тогда, в зависимости от следа этой матрицы, равного $a+d$ , можно классифицировать все дробно-линейные отображения на три типа:

эллиптические: $|a+d|<2$ ;
параболические: $a+d=\pm 2$ ;
гиперболические: $|a+d|>2$ .

Геометрические свойства

Во-первых, любое дробно-линейное отображение может быть представлено в виде комбинации сдвигов, инверсий, поворотов и растяжений. Это доказывается просто — произвольное отображение $f(z)={\frac {az+b}{cz+d}}$ разложимо в суперпозицию четырёх функций:

f(z)=f_{4}(f_{3}(f_{2}(f_{1}(z)))),

где

{\begin{matrix}f_{1}(z)&=&z+{\dfrac {d}{c}},\\f_{2}(z)&=&{\dfrac {1}{z}},\\f_{3}(z)&=&-{\dfrac {ad-bc}{c^{2}}}z,\\f_{4}(z)&=&z+{\dfrac {a}{c}}.\end{matrix}}

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

Далее, для трёх попарно различных точек $z_{1},\;z_{2},\;z_{3}$ существует единственное дробно-линейное отображение, переводящее эти три точки в заданные три попарно различные точки $w_{1},\;w_{2},\;w_{3}$ . Оно строится, исходя из того, что дробно-линейные отображения сохраняют ангармоническое отношение четырёх точек комплексной плоскости. Если точка $w(z)$ является образом точки $z$ , то выполняется равенство

{\frac {(z_{1}-z_{3})(z_{2}-z)}{(z_{1}-z)(z_{2}-z_{3})}}={\frac {(w_{1}-w_{3})(w_{2}-w(z))}{(w_{1}-w(z))(w_{2}-w_{3})}},

которое (при условии, что $z_{i}\neq z_{j},w_{i}\neq w_{j}$ при $i\neq j$ ) однозначно определяет искомое отображение $w(z).$

Преобразование Мёбиуса и единичный круг

Преобразование Мёбиуса

f(z)={\frac {az+b}{cz+d}}

является автоморфизмом единичного круга $\Delta =\{z\in {\mathbb {C} }:\,|z|<1\}$ тогда и только тогда, когда $a{\bar {b}}=c{\bar {d}}$ и $|a|=|d|>|c|$ .

Как для сферы Римана, так и для единичного круга дробно-линейными функциями исчерпываются все конформные автоморфизмы. Автоморфизмы единичного круга образуют вещественно-трёхмерную подгруппу группы Мёбиуса; каждый из них выражается в виде:

f(z)=e^{i\varphi }{\frac {z+\beta }{{\bar {\beta }}z+1}},\quad \beta \in \Delta ,\quad |e^{i\varphi }|=1.

Примеры

Одним из важных примеров дробно-линейной функции является преобразование Кэли:

W(z)={\frac {z-i}{z+i}}.

Оно связывает две канонические области на комплексной плоскости, отображая верхнюю полуплоскость ${\mathbb {C} }^{+}$ в единичный круг $\Delta$ .

Пространства старших размерностей

Начиная с $n=3$ любое конформное отображение является преобразованием Мёбиуса. Преобразования Мёбиуса имеют один из следующих видов:

$f(x)=b+A(x-a)$
$f(x)=b+{\dfrac {A(x-a)}{|x-a|^{2}}}$ ,

где $a,b\in \mathbb {R}$ , $A$ — ортогональная матрица.

Примечания

Альфорс Л. Преобразования Мёбиуса в многомерном пространстве, 1986, с. 5.
Математическая энциклопедия, т. 3, 1982, стб. 122.

Литература

Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.
Альфорс Л. Преобразования Мёбиуса в многомерном пространстве: Пер. с англ. Н. А. Гусевского. Под ред. С. Л. Крушкаля. М.: Мир, 1986. 112 с., ил. [Современная математика. Вводные курсы.]
Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 3 Коо—Од. М.: «Советская Энциклопедия», 1982. 1184 стб., ил.

Ссылки

Moebius Transformations Revealed на YouTube.
- то же (с русскими субтитрами).

|Шаблон {{rq}} не предназначен для страниц из данного пространства имён.}}

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_1cadf4f499acf95b-1] Альфорс Л. Преобразования Мёбиуса в многомерном пространстве, 1986, с. 5.

[_778f520d60ea9c9b-2] Математическая энциклопедия, т. 3, 1982, стб. 122.