В геометрії та комплексному аналізі перетворення Мебіуса комплексної площини є раціональною функцією однієї комплексної змінної вигляду
| Ця стаття є сирим перекладом з іншої мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. |
де — змінна, коефіцієнти , , , — комплексні числа, що задовольняють умову .
Геометрично перетворення Мебіуса можна отримати наступним шляхом:
- Виконати стереографічну проєкцію одиничної сфери у тривимірному просторі на площину.
- Повернути та перемістити сферу в нове положення та змінити орієнтацію в просторі.
- Виконати стереографічну проєкцію (з нового положення сфери) на площину.
Ці перетворення зберігають кути, відображають будь-яку пряму у пряму або коло, відображають будь-яке коло у пряму або коло.
Перетворення Мебіуса — це проєктивні перетворення комплексної проєктивної прямої. Вони утворюють групу, яка називається групою Мебіуса, що є проєктивною групою . Група Мебіуса разом з її підгрупами має численні застосування в математиці та фізиці.
Перетворення Мебіуса названо на честь Августа Фердинанда Мебіуса. Проте, для нього також використовують такі назви як: проєктивне перетворення, дробово-лінійне перетворення, або ж білінійне перетворення.
Загальний огляд Редагувати
Перетворення Мебіуса визначаються на розширеній комплексній площині (тобто, комплексній площині, доповненій нескінченно віддаленою точкою).
Стереографічна проєкція ототожнює із сферою, яку прийнято називати сферою Рімана. Також можна розглядати як комплексну проєктивну лінію . Перетворення Мебіуса — це бієктивне конформне відображення сфери Рімана самої на себе, тобто автоморфізм сфери Рімана як комплексного многовиду. Також ці перетворення є автоморфізмами як алгебраїчного многовиду. Отже, сукупність усіх перетворень Мебіуса утворює групу відносно композиції. Ця група називається групою Мебіуса і іноді позначається як .
Група Мебіуса є ізоморфною до групи ізометрій, що зберігають орієнтацію, гіперболічного простору (простору Лобачевського, а тому відіграє важливу роль при вивченні гіперболічних 3-вимірних многовидів[en].
У фізиці одиничний компонент[en] групи Лоренца діє на небесну сферу так само, як група Мебіуса діє на сферу Рімана. Насправді ж ці дві групи є ізоморфними. Спостерігач, який прискорюється до релятивістичних швидкостей, побачить візерунок із сузір'їв, який можна споглядати поблизу Землі, та який неперервно змінюється відповідно до інфінітезимальних перетворень Мебіуса. Це спостереження часто приймають як вихідну точку теорії твісторів.
Певні підгрупи групи Мебіуса утворюють групи автоморфізмів інших однозв'язних поверхонь Рімана (комплексна площина та гіперболічна площина). Таким чином, перетворення Мебіуса відіграють важливу роль у теорії поверхонь Рімана. Фундаментальна група кожної поверхні Рімана — це дискретна підгрупа групи Мебіуса (див. група Фукса та група Клейна[en]). Особливо важливою дискретною підгрупою групи Мебіуса є модулярна група, що займає центральне місце в теорії багатьох фракталів, модулярних форм, еліптичних кривих та рівнянь Пелля.
Перетворення Мебіуса можна більш загально визначити в просторах розмірності більшої за 2 як бієктивні конформні відображення n-сфери на n-сферу, які зберігають орієнтацію. Таке перетворення є найбільш загальною формою конформного відображення сфери. Відповідно до теореми Ліувілля, перетворення Мебіуса можна виразити як композицію зсувів, подібностей, ортогональних перетворень та інверсій.
Означення Редагувати
Загальний вигляд перетворення Мебіуса задається формулою
де , , , — будь-які комплексні числа, що задовольняють умову . Якщо , то визначена вище раціональна функція є константою, оскільки
a, отже, не розглядається у цьому випадку як перетворення Мебіуса.
У випадку це означення розширюється на всю сферу Рімана наступним чином:
Якщо , то вважаємо
Таким чином, перетворення Мебіуса завжди є бієктивною голоморфною функцією, що відображає точки сфери Рімана у точки сфери Рімана.
Сукупність усіх перетворень Мебіуса утворює групу відносно композиції. На цій групі можна задати структуру комплексного многовиду таким чином, щоб композиція та інверсія були голоморфними відображеннями. Тоді група Мебіуса є групою Лі над комплексним полем. Групу Мебіуса зазвичай позначають як , оскільки вона є групою автоморфізмів сфери Рімана.
Нерухомі точки Редагувати
Кожне перетворення Мебіуса, що не є тотожним, має дві нерухомі точки й на сфері Рімана. Слід звернути увагу на те, що нерухомі точки враховуються з урахуванням кратності; параболічними перетвореннями є ті, для яких нерухомі точки збігаються. Будь-яка (або обидві) з цих нерухомих точок може бути нескінченно віддаленою точкою.
Означення нерухомих точок Редагувати
Нерухомі точки перетворення
знаходяться як розв'язки рівняння . При це рівняння має два корені, які отримуємо за допомогою його зведення до рівняння вигляду
що є квадратним рівнянням відносно , корені якого можна знайти за формулою[en]
з дискримінантом рівним
Параболічні перетворення мають співпадаючі нерухомі точки при нульовому дискримінанті. При та ненульовому дискримінанті перетворення є еліптичним або гіперболічним.
При квадратне рівняння вироджується у лінійне, а перетворення у свою чергу є лінійним. Це відповідає ситуації, коли одна з нерухомих точок є нескінченно віддаленою точкою. При друга нерухома точка є скінченною і визначається як
У цьому випадку перетворення буде простим, тобто таким, що утворюється композицією з зсувів, поворотів та розтягів[en]:
Якщо і , то обидві нерухомі точки є нескінченно віддаленими, і перетворення Мебіуса відповідає чистим зсувам:
Топологічне доведення Редагувати
Топологічно той факт, що (нетотожні) перетворення Мебіуса фіксують 2 точки (з урахуванням кратності), відповідає характеристиці Ейлера-Пуанкаре сфери, що дорівнює
По-перше, проєктивна лінійна група є точно -транзитивною: для будь-яких двох упорядкованих трійок різних точок існує єдине відображення, яке змінює одну трійку на іншу, як і для перетворень Мебіуса, і з тим самим алгебраїчним доведенням (особливо, врахування розмірності, оскільки група є тривимірною). Таким чином, будь-яке відображення, що фіксує принаймні точки, є тотожним.
Далі, ототожнюючи групу Мебіуса з групою , можна побачити, що будь-яка функція Мебіуса є гомотопічною до тотожної функції. Дійсно, будь-який елемент загальної лінійної групи може бути зведений до тотожного відображення за допомогою методу Жордана-Гауса. Це показує, що проєктивна лінійна група також є лінійно-зв'язною, забезпечуючи гомотопію до тотожного відображення. Теорема Лефшеца про нерухому точку стверджує, що сума індексів (у цьому контексті, кратності) нерухомих точок відображення з скінченною кількістю нерухомих точок дорівнює числу Лефшеца відображення, що в цьому випадку є слідом тотожного відображення на гомологічних групах, який є просто характеристикою Ейлера.
Зауважимо, що проєктивна лінійна група дійсної проєктивної прямої може не фіксувати жодних точок. Наприклад, не має (дійсних) нерухомих точок: хоча як комплексне перетворення воно фіксує точки , ; тоді як відображення фіксує дві точки і . Це відповідає тому факту, що характеристика Ейлера кола (дійсної проєктивної прямої) дорівнює , і, отже, теорема Лефшеца про нерухому точку говорить лише про те, що воно повинно фіксувати принаймні точок, але, можливо, і більше.
Нормальна форма Редагувати
Перетворення Мебіуса також іноді записують через їхні нерухомі точки, тобто у так званій нормальній формі. Спочатку розглянемо непараболічний випадок, для якого існує дві різні нерухомі точки.
Непараболічний випадок:
Будь-яке непараболічне перетворення є спряженим до розтягу/повороту, тобто перетворенням вигляду:
з нерухомими точками та . Щоб показати це, розглянемо відображення
яке відображає точки і у точки та . Припускаємо, що точки і є різними та скінченними. Якщо одна з них є нескінченно віддаленою точкою, то можна змінити так, щоб зафіксувати нескінченність і відобразити іншу точку у .
Якщо має різні нерухомі точки і , то перетворення має нерухомі точки в та , а тому є розтягом: . Тоді рівняння для нерухомих точок перетворення можна записати наступним чином:
Розв'язавши відносно отримуємо (у матричній формі):
або якщо одна з нерухомих точок є нескінченно віддаленою:
З наведених вище виразів можна обчислити значення похідної у нерухомих точках:
Зауважимо, що фіксуючи порядок нерухомих точок, можемо виокремити один із множників відображення як характеристичну константу . Зміна порядку нерухомих точок еквівалентна до використання оберненого множника як характеристичної константи:
Для локсодромних перетворень, при , говорять, що — відштовхувальна нерухома точка, а — притягальна нерухома точка. Для , ролі точок змінюються.
Параболічний випадок:
У параболічному випадку існує лише одна нерухома точка . Перетворення, що ставить цій точці у відповідність , має вигляд
або є тотожним, якщо вже є нескінченно віддаленою точкою. Перетворення фіксує нескінченність, а, отже, є зсувом:
Тут називається довжиною зсуву. Тоді формула для нерухомої точки параболічного перетворення має вигляд
Розв'язавши відносно отримуємо (у матричній формі):
або якщо :
Зауважимо, що не є характеристичною константою , яка завжди дорівнює для параболічного перетворення. З наведених співвідношень знаходимо:
Полюси перетворень Редагувати
Точка , яку відображає у нескінченно віддалену точку, називається полюсом . Обернений полюс — це точка, в яку відображається нескінченно віддалена точка. Точка, що знаходиться на однаковій відстані від двох полюсів, завжди збігається з точкою, що лежить рівно посередині між двома нерухомими точками:
Ці чотири точки є вершинами паралелограма, який іноді називають характеристичним паралелограмом перетворення.
Перетворення можна визначити за допомогою двох нерухомих точок , та полюса :
Це дозволяє нам отримати формулу для перетворення між та з урахуванням , :
що зводиться до вигляду
Останнє співвідношення співпадає з однією (взаємнообернених) з часток власних значень матриці
що визначає перетворення (зверніть увагу на інформацію, наведену в попередньому розділі щодо характеристичних констант перетворення). Характеристичний поліном даного перетворення дорівнює
та має два корені
Прості перетворення Мебіуса та композиція Редагувати
Перетворення Мебіуса можна представити як композицію послідовності простих перетворень. Нижченаведені прості перетворення також є перетвореннями Мебіуса:
- — паралельне перенесення;
- — комбінацією гомотетії та обертання; якщо , то перетворення є поворотом, а якщо — гомотетією;
- — інверсія та відбиття відносно дійсної осі.
Композиція простих перетворень Редагувати
Якщо , то
- — паралельне перенесення на відстань ;
- — інверсія та відбиття відносно дійсної осі;
- — гомотетія та поворот;
- — паралельне перенесення на відстань .
Тоді композиція цих визначає перетворення Мебіуса:
Тобто
За допомогою цього представлення стають очевидними багато властивостей перетворень Мебіуса.
Елементарні властивості Редагувати
Перетворення Мебіуса еквівалентні послідовності більш простих перетворень. З огляду на таку композиція багато властивостей перетворень Мебіуса є очевидними.
Формула для оберненого перетворення Редагувати
Існування оберненого перетворення Мебіуса та його запис у явній формі можна легко вивести за допомогою композиції обернених функцій простіших перетворень. Тобто, визначимо функції , , , таким чином, щоб кожна була оберненою до . Тоді композиція
є формулою оберненого перетворення.
Збереження кутів та узагальнених кіл Редагувати
З цього розкладу бачимо, що перетворення Мебіуса мають усі нетривіальні властивості інверсії кола. Наприклад, доведення властивості про збереження кутів зводиться до доведення того, що інверсія кола зберігає кути, оскільки інші типи перетворень — розтяги й ізометрії (паралельне перенесення, відбиття, поворот), які тривіально зберігають кути.
Крім того, перетворення Мебіуса відображають узагальнені кола[en] в узагальнені кола, оскільки інверсія кола має цю властивість. Узагальнене коло — це або коло, або пряма; пряма розглядається як коло за рахунок точки на нескінченності. Зуважимо, що перетворення Мебіуса не обов'язково відображає кола у кола, а лінії у лінії: воно може перетворювати їх одне на одне. Навіть якщо перетворення відображає коло в інше коло, воно не обов'язково відображає центр першого кола у центр другого кола.
Збереження подвійного відношення Редагувати
Подвійні відношення є інваріантними щодо перетворень Мебіуса. Тобто, якщо перетворення Мебіуса відображає чотири різні точки , , , відповідно у чотири різні точки , , , , то
Якщо одна з точок , , , є нескінченно віддаленою точкою, то подвійне відношення можна визначити, взявши відповідну границю; наприклад, подвійне відношення , , , буде дорівнювати
Подвійне відношення чотирьох різних точок є дійсним тоді і тільки тоді, коли через них проходить пряма або коло. Це інший шлях доведення того, що перетворення Мебіуса зберігають узагальнені кола.
Спряження Редагувати
Дві точки і називаються спряженими відносно узагальненого кола , якщо задане узагальнене коло проходить через точки і , а також перетинає у двох точках та , так що точки перебувають у подвійному гармонійному відношенні (тобто їх подвійне відношення дорівнює ). Дана властивість не залежить від вибору кола , і іноді її називають симетричною відносно прямої чи кола.
Дві точки , є спряженими відносно деякої прямої, якщо вони є симетричними відносно неї. Дві точки є спряженими відносно кола, якщо вони відображаються одна в одну при інверсії відносно цього кола.
Точку , спряжену до , коли пряма визначається на основі вектора у точці , можна задати наступним чином:
Точку , спряжену до , коли є колом радіуса з центром у точці , можна визначити як
Оскільки перетворення Мебіуса зберігають узагальнені кола та подвійні відношення, вони зберігають також і спряження.
Проєктивні матричні представлення Редагувати
Звичайна дія групи на комплексну проєктивну пряму це те ж саме, що і звичайна дія групи Мебіуса на сферу Рімана, де проективна лінія та сфера Рімана визначаються наступним чином:
Тут — однорідні координати на ; точка відповідає точці сфери Рімана. Використовуючи однорідні координати, можна спростити багато конкретних обчислень, що включають в себе перетворення Мебіуса, оскільки не потрібно розрізняти випадки, що стосуються .
З кожною невиродженою комплексною матрицею розміру
можемо пов'язати перетворення Мебіуса
Умова еквівалентна тому, що визначник вищезазначеної матриці не дорівнює нулю, тобто для матриці існує обернена.
Неважко перевірити, що в такому випадку добуток двох матриць можна ототожнити з композицією двох відповідних перетворень Мебіуса. Іншими словами, відображення
загальної лінійної групи на групу Мебіуса, що ставить у відповідність матриці перетворення , є гомоморфізмом груп.
Зауважимо, що будь-яка матриця, яка отримана шляхом множення матриці на комплексне число , визначає одне і те ж перетворення, тому перетворення Мебіуса визначає свою матрицю з точністю до сталих множників. Іншими словами: ядро складається з усіх скалярних множників одиничної матриці , і перша теорема про ізоморфізми теорії груп стверджує, що фактор-група є ізоморфною до групи Мебіуса. Ця фактор-група відома як проєктивна лінійна група і зазвичай позначається як ,
Те саме ототожнення групи з групою дробових лінійних перетворень та з групою проєктивних лінійних автоморфізмів проєктивної лінії має місце над будь-яким полем . Це цікаво з алгебраїчної точки зору, зокрема для скінченних полів, хоча випадок комплексних чисел є найбільш цікавим з геометричної точки зору).
Якщо обмежитися матрицями з визначниками рівними одиниці, то відображення в свою чергу обмежуватиметься сюр'єктивним відображенням спеціальної лінійної групи на групу Мебіуса; за цих обмежень ядро формується з плюс та мінус одиниці, а фактор-група , яка позначається як , також є ізоморфною групі Мебіуса:
Звідси випливає, що група Мебіуса — це тривимірна комплексна група Лі (або -вимірна дійсна група Лі). Це напівпроста некомпактна[en] група Лі.
Зауважимо, що є рівно дві матриці з одиничним визначником, які можна використовувати для представлення будь-якого перетворення Мебіуса. Тобто є подвійним накриттям[en] для групи . Оскільки група є однозв'язною, то вона є [[Накриття (топологія) |універсальним накриттям]] для групи Мебіуса. Отже, для групи Мебіуса фундаментальною групою є група .
Визначення перетворення за трьома точками Редагувати
Нехай задано набір з трьох різних точок , , на сфері Рімана й другий набір з різних точок , , , то існує лише одне перетворення Мебіуса таке, що для . (Іншими словами, дія групи Мебіуса на сферу Рімана є точно 3-транзитивною). Існує декілька способів визначити за заданим набором точок.
Відображення в , , Редагувати
Неважко перевірити, що перетворення Мебіуса
з матрицею
відображає , , в , та відповідно. Якщо одна з точок рівна , то правильну формулу для отримуємо з наведеної вище, поділивши спочатку всі елементи на , а потім перейшовши до границі при .
Якщо визначено аналогічно для відображення , , в , та , то матриця , яка відображає в , визначається як
Стабілізатор для (як невпорядкований набір) — це підгрупа, також відома як ангармонічна група.
Явна формула визначника Редагувати
Рівняння
еквівалентне рівнянню звичайної гіперболи
на -площині. Таким чином, проблема побудови перетворення Мебіуса , що відображає трійку в іншу трійку , еквівалентна знаходженню коефіцієнтів , , , гіперболи, що проходить через точки . Явну формулу можна знайти, обчисливши визначник
застосовуючи теорему Лапласа до першого рядка. У результаті, отримуємо формули
для коефіцієнтів , , , , що утворюють матрицю
Побудована матриця має визначник, що дорівнює
який не рівний нулю, якщо (відповідно ) є попарно різними, тоді перетворення Мебіуса є добре визначеним. Якщо одна з точок або дорівнює , то спочатку ділимо всі чотири визначника на цю змінну, а потім переходимо до границі при прямувані цієї змінної до .
Підгрупи групи Мебіуса Редагувати
Якщо накласти вимогу, що коефіцієнти , , , перетворення Мебіуса є дійсними числами та задовольняють умову , то в результаті отримаємо підгрупу групи Мебіуса, яка позначається як . Це група тих перетворень Мебіуса, які відображають верхню півплощину в саму себе; ці перетворення є еквівалентними групі всіх біголоморфних[en] (іншими словами: бієктивних, конформних та тих, що зберігають орієнтацію) відображень . Якщо ввести відповідну метрику, то верхня півплощина перетворюється на модель гіперболічної площини , модель Пуанкаре у верхній півплощині, а є групою всіх ізометрій у цій моделі, що зберігають орієнтацію.
Підгрупа групи всіх перетворень Мебіуса, що відображає відкритий диск в себе, складається з усіх перетворень вигляду
де , і . Ці перетворення еквівалентні групі всіх біголоморфних (іншими словами: бієктивних та тих, що зберігають орієнтацію й кути) відображень . Якщо ввести відповідну метрику, відкритий диск перетвориться на іншу модель гіперболічної площини, конформно-евклідову модель, а ця група є групою всіх ізометрій у цій моделі, що зберігають орієнтацією.
Оскільки обидві вищезазначені підгрупи є групами ізометрій , то вони є ізоморфними. Явний ізоморфізм визначається за допомогою спряження перетворення
яке бієктивно відображає одиничний відкритий диск у верхню півплощину.
Як альтернативу розглянемо відкритий диск радіуса з центром у точці . Модель диску Пуанкаре на цьому диску стає ідентичною до моделі верхньої півплощини, коли прямує до .
Максимальна компактна підгрупа групи Мебіуса визначається як\footnote{Tóth 2002, Section 1.2, Rotations and Möbius Transformations, p. 22}
і відповідає при ізоморфізм проєктивній спеціальній унітарній групі[en] , яка ізоморфна спеціальній ортогональній групі поворотів у тривимірному просторі, і може бути проінтерпретована як повороти сфери Рімана. Будь-яка скінченна підгрупа спряжена максимальні компактній групі, і, отже, вони в точності відповідають групам багатогранника, точковим групам у тривимірному просторі[en].