Płaszczyzna zespolona
![]() | Zasugerowano, aby zintegrować ten artykuł z artykułem diagram Arganda (dyskusja). Nie opisano powodu propozycji integracji. |
Płaszczyzna zespolona, płaszczyzna Gaussa[1] – geometryczny model ciała liczb zespolonych Płaszczyzna pełni w nim w stosunku do liczb zespolonych rolę analogiczną do roli, którą pełni prosta rzeczywista względem ciała liczb rzeczywistych.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c6/ImaginaryUnit5.svg/200px-ImaginaryUnit5.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Complex_picture.svg/200px-Complex_picture.svg.png)
Na płaszczyźnie wprowadzamy najpierw prostokątny kartezjański układ współrzędnych, na który składają się dwie prostopadłe do siebie osie współrzędnych przecinające się we wspólnym początku Jedna z osi, oś jest pozioma (oś odciętych), skierowana od lewej strony do prawej, a druga pionowa (oś rzędnych), jest skierowana od dołu do góry. Każdy punkt płaszczyzny jest jednoznacznie opisywany przez dwie współrzędne: odciętą i rzędną będące odpowiednio współrzędnymi rzutów punktu na oś odciętych i oś rzędnych. Każdemu tak opisanemu punktowi płaszczyzny można przyporządkować liczbę zespoloną [2]:
- gdzie
Przyporządkowanie to jest różnowartościowe i obrazem płaszczyzny jest w nim zbiór wszystkich liczb zespolonych. Zatem oba zbiory można utożsamić. W związku z tym oś odciętych nazywa się osią rzeczywistą, a oś rzędnych – osią urojoną (od pierwiastka kwadratowego z minus jedynki, nazywanego pierwiastkiem urojonym). Zapisujemy to następująco:
Działania na liczbach zespolonych określa się następująco. Niech
Wtedy
Stąd wynika, że działania dodawania i mnożenia na płaszczyźnie można określić następująco:
Z definicji tych wynika, że:
- Dla punktów leżących na osi rzeczywistej oba działania można utożsamić z działaniami na liczbach rzeczywistych.
- Dla dowolnego punktu prawdziwa jest równość
- i bardziej ogólnie co oznacza, że mnożenie przez można zinterpretować na płaszczyźnie jako obrót dokoła środka współrzędnych o kąt 90°.
Interpretacja wektorowa liczb zespolonych
Wektorem na płaszczyźnie zespolonej nazywamy odpowiednio skierowany odcinek gdzie Czasami mówi się nie o skierowanym odcinku, ale o parze uporządkowanej punktów. Punkt nazywamy początkiem wektora, a punkt nazywamy końcem wektora. Wektory i są równe, jeśli mają tę samą długość oraz są równoległe i jednakowo skierowane. Warunki te można zastąpić jednym:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Equality_of_vectors_complex_numbers.svg/200px-Equality_of_vectors_complex_numbers.svg.png)
Czworokąt abcd jest równoległobokiem[3].
Dla wektora można określić jego długość (długość odcinka ) oraz współrzędne które są różnicami odpowiednich współrzędnych końca i początku wektora: Jeśli i to
Wektory można mnożyć przez liczby rzeczywiste: Jeśli to
Każdy wektor jest iloczynem pewnej liczby rzeczywistej nieujemnej (długości wektora) przez pewien wektor jednostkowy
Każda liczba zespolona wyznacza jednoznacznie wektor (wektor zaczepiony w punkcie o końcu w punkcie ). Każdy wektor jest równy dokładnie jednemu wektorowi o początku w punkcie Tak więc zbiór liczb zespolonych można utożsamić ze zbiorem wektorów na płaszczyźnie: Można zatem myśleć o liczbach zespolonych jako o wektorach Długość wektora nazywamy modułem liczby zespolonej i oznaczamy ją
Dla dwóch wektorów i można określić ich sumę ( i są końcami wektorów o wspólnym początku ). W tym celu należy poprowadzić wektor równy wektorowi Wtedy Suma tak określona jest przemienna, łączna i ma element neutralny – wektor zerowy.
Iloczyn wektorów (liczb zespolonych)[4] i można określić dwustopniowo. Najpierw dla wektorów jednostkowych i gdzie i a następnie dla dowolnych liczb zespolonych, korzystając z równości:
Dla wektorów jednostkowych i ich iloczynem jest wektor jednostkowy, którego kąt nachylenia do dodatniego kierunku osi jest sumą odpowiednich kątów nachylenia obu czynników.
Uwagi ogólne
Interpretacja ta łączy ze sobą geometrię analityczną, algebrę (w tym liniową ze względu na obecną strukturę liniową) oraz analizę. Możliwość utożsamienia liczb zespolonych z wektorami znana była już pod koniec XVIII wieku Wesselowi, mimo to przez długi czas jej autorstwo przypisywało się Argandowi, stąd też wspomnianą płaszczyzną nazywa się również płaszczyzną Arganda; inną spotykaną nazwą jest też płaszczyzna Gaussa ze względu na zasługi Gaussa na tym polu.
Z punktu widzenia geometrii analitycznej płaszczyzna zespolona to dwuwymiarowa przestrzeń liniowa nad ciałem liczb rzeczywistych z wprowadzonym działaniem mnożenia wektorów, co czyni z niej algebrę (przemienną), wyposażona w iloczyn skalarny, a przez to w indukowaną z niego normę (długość) daną jako moduł (pełniący analogiczną rolę do wartości bezwzględnej liczby rzeczywistej) i generowaną za jej pomocą metrykę (odległość).
Algebra zespolona jest pierścieniem z dzieleniem, co czyni z niej ciało-umożliwia to wprowadzenie na płaszczyźnie zespolonej geometrii inwersyjnej, choć wymaga to pamiętania przypadkach szczególnych (środku okręgu inwersyjnego, który nie jest w tym przekształceniu odwzorowywany). Dzięki bogatej strukturze liczby zespolone mogą służyć jako model geometrii euklidesowej (a więc i afinicznej), geometrii eliptycznej (a więc również rzutowej), czy geometria hiperboliczna. W niniejszym artykule omówiono geometrie euklidesową, afiniczną płaszczyzny zespolonej; pozostałe, wynikłe z obecności dzielenia w liczbach zespolonych opisano w artykule dotyczącym tzw. sfery Riemanna.
Współrzędne biegunowe
Na płaszczyźnie zespolonej wprowadza się układ współrzędnych biegunowych (bądź polarnych). Umożliwia to wyrażenie wektora za pomocą jego długości (odległości od początku układu współrzędnych) oraz kąta skierowanego którego pierwszym ramieniem jest ustalona półprosta – standardowo dodatnia półoś rzeczywista – a drugim dany wektor. W ten sposób wektorowi odpowiada liczba zespolona
gdyż części rzeczywista i urojona są rzutami prostokątnymi na odpowiednie osie, co oznacza, że oraz są trójkątami prostokątnymi.
Dla danej liczby zespolonej liczbę rzeczywistą (wyznaczoną zgodnie z twierdzeniem Pitagorasa)
odpowiadającą długości wektora nazywa się modułem i oznacza z kolei miarę kąta nazywa się argumentem i oznacza Ponieważ to współrzędne biegunowe nie wyznaczają liczby zespolonej w sposób jednoznaczny. Jeśli miara spełnia nierówności bądź (w zależności od umowy, w dalszej części artykułu stosowana będzie pierwsza), to nazywa się ją argumentem głównym bądź wartością główną argumentu liczby i oznacza symbolem
Ponieważ dla dowolnej liczby rzeczywistej zachodzi wzór Eulera,
to liczbę zespoloną można przedstawić w układzie również za pomocą wzoru
O liczbie zespolonej wyrażonej jako mówi się, że jest w postaci algebraicznej bądź kanonicznej, zaś przedstawionej jako nazywa liczbą zespoloną w postaci geometrycznej, trygonometrycznej bądź biegunowej; wyrażoną wzorem określa się jako liczbę zespoloną w postaci wykładniczej.
Przestrzeń liniowa
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4d/ComplexAddition2.jpg/200px-ComplexAddition2.jpg)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/32/Imaginary2Root.svg/200px-Imaginary2Root.svg.png)
Niech liczbom zespolonym oraz odpowiadają odpowiednio wektory
oraz
Wówczas działaniu dodawania liczb zespolonych odpowiada dodawanie wektorów
gdzie przy czym liczbie odpowiada wektor zerowy (argument liczby jest nieokreślony), zaś liczbie przeciwnej do liczby odpowiada wektor przeciwny do wektora tzn.
bądź
Odejmowanie liczb zespolonych:
można wtedy określić wzorem
gdzie Działanie to pozwala wprowadzić na płaszczyźnie zespolonej strukturę afiniczną, bo dla każdych dwóch punktów i
gdzie jest wektorem.
Struktura euklidesowa
Działanie mnożenia wektorów zdefiniowane jest jako
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/69/Complex_conjugate_picture.svg/200px-Complex_conjugate_picture.svg.png)
Dany wektor płaszczyzny zespolonej można poddać symetrii środkowej względem początku układu – wspomnianym odbiciem wektora jest wektor Wprowadza się także symetrię osiową płaszczyzny względem osi rzeczywistej – odbicie osiowe wektora w poszczególnych układach dane jest jako
co w przypadku liczby zespolonej nazywa się sprzężeniem zespolonym liczby Ponieważ sprzężenie (jako symetria) nie zmienia modułu liczby zespolonej (odległości), jest więc izometrią – oś rzeczywista jest prostą stałą tego przekształcenia. Za pomocą sprzężenia można zdefiniować również rzut na osie rzeczywistą i urojoną, odpowiednio
oraz
Na płaszczyźnie zespolonej można wprowadzić iloczyn skalarny,
który indukuje normę, którą jest moduł
wyznaczającą metrykę
Ponadto ponieważ
to można traktować jako iloczyn geometryczny wektorów i będący sumą iloczynu wewnętrznego (symetryczny iloczyn skalarny) i zewnętrznego (antysymetryczny iloczyn wektorowy ):
gdzie jednostka urojona pełni rolę pseudoskalara jednostkowego[5] ustalającego dualność Hodge'a między iloczynem zewnętrznym i iloczynem wektorowym.
Geometria syntetyczna
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/ComplexMulTriangles.svg/200px-ComplexMulTriangles.svg.png)
Zobacz też: geometria syntetyczna.
Działanie dodawania, na płaszczyźnie przeprowadzane zwykle metodą równoległoboku – poszczególne elementy odpowiedniego równoległoboku oblicza się zgodnie z twierdzeniem cosinusów (działanie więc na rozwiązywaniu pewnego trójkąta), pozwala na przedstawienie przesunięć i wprowadza pojęcie równoległości.
Mnożenie przez skalar (liczbę rzeczywistą) wektora, które umożliwia mówienie o jednokładności – w przypadku płaszczyzny zespolonej nie jest to szczególnie interesujące ze względu na możliwość mnożenia wektora przez wektor (mnożenia dwóch liczb zespolonych), które daje dużo większe możliwości – umożliwia ono dodatkowo wprowadzenie obrotu. Tak więc mnożenie funkcjonalnie jest złożeniem obrotu i jednokładności o wspólnym środku – dowód geometryczny opiera się na podobieństwie trójkątów o wspólnym wierzchołku (dla iloczynu i należy rozpatrzeć trójkąty o wierzchołkach oraz ): współczynnikiem podobieństwa jest skala jednokładności, zaś miara kąta obrotu to różnica miar kątów między wektorami. W szczególności mnożeniu przez odpowiada obrót o kąt
W ten sposób uzyskuje się pełną grupę euklidesową przekształceń płaszczyzny zespolonej, gdyż zawiera ona każdą istotną izometrię płaszczyzny: tożsamość, przesunięcie (dodawanie), odbicie (sprzężenie), obrót (iloczyn skalarny, mnożenie). Biorąc pod uwagę strukturę liniową oznacza to, że figury płaszczyzny zespolonej można klasyfikować ze względu na podobieństwo (mnożenie).
Przekształcenie afiniczne parzyste płaszczyzny gdzie jest złożeniem obrotu o kąt i jednokładności względem początku o skali oraz przesunięcia o Do istotnych jego własności należą:
- przekształcanie okręgów na okręgi;
- odwzorowywanie dowolnej prostej na prostą do niej równoległą, czyli bycie dylatacją;
- zachowywanie kątów skierowanych, czyli konforemność;
- zachowanie stosunku podziału
Przekształcenie afiniczne nieparzyste płaszczyzny gdzie jest złożeniem odbicia względem osi rzeczywistej, obrotu o kąt i jednokładności względem początku o skali oraz przesunięcia o Wśród ważnych jego własności wymienia się:
- przekształcanie okręgów na okręgi;
- odwracanie kątów skierowanych, czyli antykonforemność;
- zachowanie stosunku podziału
Jeśli przekształcenie afiniczne nie ma punktów stałych, to jest ono przesunięciem. Jeżeli to przekształcenie to ma dokładnie jeden punkt stały i w przypadku parzystym można je zapisać w postaci a w przypadku nieparzystym można je przedstawić jako gdzie oznacza obraz tego przekształcenia w punkcie zaś Wówczas przekształcenie afiniczne jest złożeniem obrotu wokół o kąt (w przypadku parzystym) bądź odbicia względem prostej przechodzącej przez (w przypadku nieparzystym) oraz jednokładności o skali i środku a więc przekształceniem liniowym. Przekształcenie afiniczne, które ma dwa punkty stałe jest tożsamością.
Ogólnym przekształceniem afinicznym nazywa się odwzorowanie gdzie Zachowuje ono okręgi oraz miary kątów oraz stosunek podziału odcinka. Przekształcenia afiniczne parzyste tworzą podgrupę dylatacji-translacji grupy przekształceń afinicznych.
Niżej przedstawiono kilka przykładów zbiorów opisujących istotne figury na płaszczyźnie zespolonej:
- symetralna odcinka gdzie
- okrąg o środku i promieniu gdzie
- okrąg przechodzący przez trzy liniowo niezależne (tzn. parami niewspółliniowe) punkty
Zastosowania
Osobny artykuł: płaszczyzna S.
Analiza zespolona zajmuje się przede wszystkim funkcjami zespolonymi, tzn. przekształceniami odwzorowującymi podzbiór płaszczyzny zespolonej w inny (być może mający część wspólną lub nawet ten sam) podzbiór. Z tego powodu o elementach dziedziny mówi się często, że leżą w „płaszczyźnie ” bądź „-płaszczyźnie”, z kolei obraz nazywa się zbiorem punktów leżących na „płaszczyźnie ” bądź „-płaszczyźnie”; symbolicznie
gdzie Umożliwia to wyobrażenie przekształcenia jako odwzorowania płaszczyzny (ze współrzędnymi ) w płaszczyznę (ze współrzędnymi ).
W fizyce i inżynierii -płaszczyznę interpretuje się jako dziedzinę czasu modelowaną za pomocą funkcji o wartościach parametryzowanych zmienną czasową. Bada się także tzw. „płaszczyznę ” lub „-płaszczyznę”, która służy odwzorowaniu dziedzin częstotliwości. Z punktu widzenia matematyki przejście od płaszczyzny do płaszczyzny polega na użyciu transformacji Laplace’a; w ten sposób płaszczyzna może służyć jako wygodne narzędzie umożliwiające graficzne przedstawienie tych transformacji. Dokładniej, rzeczywistą funkcję czasu przenosi się na płaszczyznę poprzez całkowanie funkcji z wagą na całej prostej,
przy czym oznacza zwyczajowo liczbę zespoloną.
Aby zrozumieć sposób działania powyższego przekształcenia, należy przywołać myśl przewodnią analizy harmonicznej: funkcje harmoniczne fal sinusoidalnych i cosinusoidalnych są domnażane do sygnału, zaś całkowanie wskazuje sygnał na danej częstotliwości (tzn. energię sygnału w danym punkcie dziedziny częstotliwości). Przekształcenie znane szerzej jako transformacja Laplace’a, zachowuje się podobnie, lecz w większej ogólności: nie tylko wychwytuje częstotliwości, ale także rzeczywiste oddziaływania W ten sposób umożliwia ono obserwację nie tylko odpowiedzi częstotliwościowej, ale także efektów opadania (ang. decay); przykładowo za pomocą przekształceń można poprawnie wymodelować wygaszoną falę sinusoidalną. Z własności transformacji Laplace’a wynika, że mnożenie przez w płaszczyźnie odpowiada różniczkowaniu w odpowiadającej jej rzeczywistej dziedzinie czasu, zaś dzielenie przez odpowiada całkowaniu.
W teorii sterowania płaszczyzny tej używa się np. do badania stabilności układu metodą Nyquista, która polega na analizie charakterystyki amplitudowo-fazowej układu opisanego transmitancją operatorową.
Uogólnienie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Stereographic_projection_in_3D.png/220px-Stereographic_projection_in_3D.png)
Osobny artykuł: sfera Riemanna.
Dołączenie dodatkowego punktu do płaszczyzny zespolonej (tzn. uzwarcenie jej) umożliwia spójne przedstawienie homografii, a w szczególności odwzorowania inwersyjnego, które dzięki tej operacji określone jest na całej, tak rozszerzonej, płaszczyźnie zespolonej. Modelem tej płaszczyzny jest tzw. sfera Riemanna, czyli (dwuwymiarowa) sfera zanurzona w trójwymiarowej przestrzeni euklidesowej, dla której odpowiedniość między punktami sfery a punktami płaszczyzny zadana jest za pomocą rzutu stereograficznego określonego na całej sferze poza punktem rzutu. Choć przekształcenie to nie jest izometrią, tzn. nie zachowuje odległości, ani nie zachowuje pola, to jest konforemne, tzn. zachowuje kąty skierowane, wzajemnie jednoznaczne i gładkie.
Rozszerzenie płaszczyzny o punkt umożliwia odwzorowanie całej sfery (wraz z punktem rzutu), które zachowuje powyższe własności przekształcenia rzutowego. W ten sposób nabiera sensu np. odwzorowanie w przekształceniu czyli inwersja środka okręgu. Jeśli wziąć pod uwagę naturalne przekształcenia sfery Riemanna, jakim jest konforemna homografia, czyli iloraz dwóch funkcji liniowych, to wszystkie proste na płaszczyźnie będą okręgami przechodzącymi przez punkt Dzięki temu proste, nazywane „okręgami niewłaściwymi”, można traktować jako przypadek szczególny okręgów, co umożliwia zwięzłe sformułowania w rodzaju „w homografii okręgi przechodzą na okręgi” (tzn. tak prosta, jak i okrąg może być przeprowadzona na okrąg lub prostą).
Zobacz też
Przypisy
- ↑ liczby zespolone, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-10] .
- ↑ Lew Pontriagin: Metoda współrzędnych. Warszawa: WSiP, 1995, s. 24–32. ISBN 83-02-05257-4.
- ↑ Lew Pontriagin: Metoda współrzędnych. Warszawa: WSiP, 1995, s. 15. ISBN 83-02-05257-4.
- ↑ Lew Pontriagin: Metoda współrzędnych. Warszawa: WSiP, 1995, s. 24–28. ISBN 83-02-05257-4.
- ↑ Casanova G.: Векторная алгебра (tłum. ros.). Москва: Мир, 1976, s. 14, 21.
Linki zewnętrzne
- Ilustracja przekształcenia s-płaszczyzny w z-płaszczyznę
- p
- d
- e
pojęcia podstawowe | |||||||||
---|---|---|---|---|---|---|---|---|---|
płaszczyzna zespolona |
| ||||||||
istotne podzbiory |
| ||||||||
twierdzenia | |||||||||
struktury tworzone przez cały zbiór |
| ||||||||
struktury tworzone przez podzbiory |
| ||||||||
inne pojęcia | |||||||||
powiązane działy matematyki |
| ||||||||
badacze według daty narodzin |
| ||||||||
uogólnienia |