Odwzorowanie równokątne
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bb/Conformal_map.svg/220px-Conformal_map.svg.png)
Odwzorowanie równokątne, wiernokątne lub konforemne – funkcja zachowująca kąty. Zwykle jest to funkcja między obszarami płaszczyzny zespolonej.
Definicja
Odwzorowanie ciągłe jest nazywane równokątnym, wiernokątnym, konforemnym lub zachowującym kąty (z zachowaniem orientacji) w punkcie jeśli zachowuje kąt zorientowany między krzywymi w czyli orientację. Odwzorowanie, które zmienia orientację nazywane jest antykonforemnym lub równokątnym, wiernokątnym bądź zachowującym kąty ze zmianą orientacji[1].
Niektórzy autorzy odwzorowaniami konforemnymi (jak i antykonforemnymi) nazywają takie odwzorowania zachowujące kąty (odwzorowania wiernokątne), które są różnowartościowe[2][3].
Własność równokątności może być wyrażona w języku macierzy Jacobiego pochodnej przekształcenia układu współrzędnych. Jeżeli macierz Jacobiego tego przekształcenia ma w każdym punkcie postać pomnożonej przez skalar macierzy obrotu (czyli iloczynu parzystej liczby macierzy symetrii), to przekształcenie jest konforemne. Jeżeli macierz ta dodatkowo jest pomnożona przez macierz symetrii, czyli ma postać iloczynu nieparzystej liczby macierzy symetrii, to odwzorowanie jest wtedy antykonforemne.
Odwzorowania konforemne mogą być definiowane między obszarami z wyższych wymiarów przestrzeni euklidesowej lub, ogólniej, na rozmaitościach riemannowskich.
Analiza zespolona
Zobacz też: geometria inwersyjna.
Ważna rodzina przykładów odwzorowań konforemnych wyrasta z analizy zespolonej. Jeżeli jest otwartym podzbiorem płaszczyzny zespolonej to funkcja
jest konforemna wtedy i tylko wtedy, gdy jest holomorficzna, a jej pochodna nie zeruje się na Ostatni warunek jest spełniony, gdy jest jednokrotna. Jeżeli jest antyholomorficzna (tzn. sprzężona do funkcji holomorficznej), to jest antykonforemna.
Twierdzenie Riemanna o przekształceniu, jedno z głębokich osiągnięć analizy zespolonej, gwarantuje, iż każdemu niepustemu, otwartemu, jednospójnemu właściwemu podzbiorowi odpowiada wzajemnie jednoznaczne odwzorowanie konforemne w koło jednostkowe w Efektywne wyznaczenie funkcji odwzorowującej za pomocą funkcji elementarnych dany obszar jednospójny na koło jednostkowe jest możliwe jedynie dla bardzo specjalnych obszarów, np. dla półpłaszczyzny, koła, jego zewnętrza lub obszaru kątowego (obszaru ograniczonego ramionami kąta).
Odwzorowanie rozszerzonej płaszczyzny zespolonej (która jest konforemnie równoważna sferze) na siebie jest konforemne wtedy i tylko wtedy, gdy jest to przekształcenie Möbiusa (homografia). Dla sprzężenia rozpatrywane odwzorowanie jest antykonforemne (zachowuje kąty, ale odwraca orientację).
Przykładem takiego odwzorowania antykonforemnego jest odwrotność sprzężenia, która odpowiada inwersji względem okręgu jednostkowego. Można to też wyrazić jako wzięcie odwrotności współrzędnej promienia we współrzędnych biegunowych przy zachowaniu kąta.
Przykłady
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Conformal_mapping_from_right_half_plane_to_unit_circle.svg/220px-Conformal_mapping_from_right_half_plane_to_unit_circle.svg.png)
- Odwzorowanie homograficzne jest konforemne.
- Odwzorowanie homograficzne odzwzorowuje górną półpłaszczyznę na koło
- Funkcja wykładnicza odwzorowuje konforemnie pas nieograniczony na wnętrze kąta [4].
Geometria riemannowska
Zobacz też: geometria konforemna.
W geometrii riemanowskiej dwie metryki riemannowskie na gładkiej rozmaitości nazywa się konforemnie równoważnymi, jeżeli dla pewnej dodatniej funkcji określonej na nazywanej współczynnikiem konforemności.
Dyfeomorfizm między dwiema rozmaitościami riemannowskimi nazywa się odwzorowaniem konforemnym, jeżeli metryka po operacji cofnięcia (pullback) jest konforemnie równoważna oryginalnej. Na rozmaitości gładkiej można również zdefiniować strukturę konforemną jako klasę konforemnie równoważnych metryk riemannowskich.
Przykładowo rzut stereograficzny sfery na płaszczyznę powiększoną o punkt w nieskończoności jest przekształceniem konforemnym.
Przestrzeń euklidesowa wyższego wymiaru
Każde przekształcenie konforemne określone na części przestrzeni euklidesowej wymiaru większego niż dwa może być złożone z trzech typów przekształceń: homotetii, izometrii i szczególnego przekształcenia konforemnego (jest ono złożeniem symetrii i inwersji). Dlatego grupa przekształceń konforemnych w przestrzeniach o wymiarze większym niż dwa jest dużo bardziej ograniczona niż w przypadku płaszczyzny, gdzie twierdzenie Riemanna o przekształceniu dostarcza dużą grupę przekształceń konforemnych.
Zobacz też
- diagram Penrose’a
- geometria konforemna
- twierdzenie Carathéodory'ego (odwzorowania równokątne)
Przypisy
- ↑ Franciszek Leja: Funkcje zespolone. T. 29. 1976, s. 72–73, seria: Biblioteka Matematyczna. Autor wymaga, aby krzywe z dziedziny były łukami regularnymi i wyróżnia ponadto „odwzorowania równokątne”, które zachowują kąt między krzywymi oraz „odwzorowania konforemne”, które są holomorficzne i jednokrotne. Stwierdza następnie, że każde odwzorowanie konforemne jest wszędzie równokątne (z zachowaniem zwrotu).
- ↑ Jan Krzyż, Julian Ławrynowicz: Elementy analizy zespolonej. Wyd. 1. Warszawa: WNT, 1981, s. 35, 36. ISBN 83-204-0239-5.
- ↑ Odwzorowanie konforemne, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-21] .
- ↑ Franciszek Leja: Funkcje zespolone. T. 29. 1976, s. 78–80, seria: Biblioteka Matematyczna.
Linki zewnętrzne
- Moduł odwzorowań konforemnych autorstwa Johna H. Mathewsa.
- Interaktywne wizualizacje wielu odwzorowań konforemnych. virtualmathmuseum.org. [zarchiwizowane z tego adresu (2016-02-08)]..
- Odwzorowania konforemne autorstwa Michaela Trotta, The Wolfram Demonstrations Project.
- PWN: 3924931
- Britannica: topic/conformal-mapping
- Universalis: fonctions-analytiques-representation-conforme