DIDACTICS OF MATHEMATICS 5-6(9-10)

Podobne dokumenty
Funkcje analityczne. Wykład 4. Odwzorowania wiernokątne. Paweł Mleczko. Funkcje analityczne (rok akademicki 2016/2017) dla każdego s = (s.

Funkcje analityczne. Wykład 4. Odwzorowania wiernokątne. Paweł Mleczko. Funkcje analityczne (rok akademicki 2017/2018)

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012

Liczby zespolone. x + 2 = 0.

Funkcje analityczne. Wykład 3. Funkcje holomorficzne. Paweł Mleczko. Funkcje analityczne (rok akademicki 2016/2017) z = x + iy A

FUNKCJE ZESPOLONE Lista zadań 2005/2006

Kurs wyrównawczy - teoria funkcji holomorficznych

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

Zagadnienia brzegowe dla równań eliptycznych

1. Liczby zespolone Zadanie 1.1. Przedstawić w postaci a + ib, a, b R, następujące liczby zespolone (1) 1 i (2) (5)

Wykład 16. P 2 (x 2, y 2 ) P 1 (x 1, y 1 ) OX. Odległość tych punktów wyraża się wzorem: P 1 P 2 = (x 1 x 2 ) 2 + (y 1 y 2 ) 2

Matematyka A kolokwium 26 kwietnia 2017 r., godz. 18:05 20:00. i = = i. +i sin ) = 1024(cos 5π+i sin 5π) =

III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.

Zapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.

Funkcje analityczne. Wykład 1. Co to są i do czego służą funkcje analityczne? Funkcje analityczne (rok akademicki 2016/2017)

III. Funkcje rzeczywiste

3. FUNKCJA LINIOWA. gdzie ; ół,.

Przestrzenie wektorowe

Zad.3. Jakub Trojgo i Jakub Wieczorek. 14 grudnia 2013

Analiza funkcjonalna 1.

PRZEWODNIK PO PRZEDMIOCIE

Liczby zespolone. Magdalena Nowak. 23 marca Uniwersytet Śląski

Rozdział 2. Liczby zespolone

Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.


SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

Repetytorium z matematyki ćwiczenia

Matematyka liczby zespolone. Wykład 1

Wykład 15. Matematyka 3, semestr zimowy 2011/ listopada 2011

PRZEWODNIK PO PRZEDMIOCIE

Funkcja jest różnowartościowa w zbiorze A wtedy i tylko wtedy, gdy różnym argumentom funkcja ta przyporządkowuje różne wartości.

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013

Elementy geometrii analitycznej w R 3

Zajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria

Matematyczne Metody Fizyki II

Zbiory wypukłe i stożki

1.1. Rachunek zdań: alternatywa, koniunkcja, implikacja i równoważność zdań oraz ich zaprzeczenia.

Spis treści. Księgarnia PWN: Andrzej Ganczar - Analiza zespolona w zadaniach. Wstęp... Oznaczenia... Zadania. 1. Liczby zespolone...

Zagadnienia do małej matury z matematyki klasa II Poziom podstawowy i rozszerzony

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.

ALGEBRA z GEOMETRIA, ANALITYCZNA,

Rozdział VII. Przekształcenia geometryczne na płaszczyźnie Przekształcenia geometryczne Symetria osiowa Symetria środkowa 328

Uniwersytet Śląski w Katowicach str. 1 Wydział Matematyki, Fizyki i Chemii

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

Zakres na egzaminy poprawkowe w r. szk. 2013/14 /nauczyciel M.Tatar/

Definicja punktu wewnętrznego zbioru Punkt p jest punktem wewnętrznym zbioru, gdy należy do niego wraz z pewnym swoim otoczeniem

Funkcja kwadratowa. f(x) = ax 2 + bx + c = a

Rozkład materiału: matematyka na poziomie rozszerzonym

Funkcje liniowe i wieloliniowe w praktyce szkolnej. Opracowanie : mgr inż. Renata Rzepińska

Zadania egzaminacyjne

K P K P R K P R D K P R D W

Przekształcenia całkowe. Wykład 1

Elementy logiki (4 godz.)

ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ zadania z odpowiedziami

Liczby zespolone i ich zastosowanie do wyprowadzania tożsamości trygonometrycznych.

Funkcje analityczne. Wykład 2. Płaszczyzna zespolona. Paweł Mleczko. Funkcje analityczne (rok akademicki 2017/2018)

1 Relacje i odwzorowania

Poniżej przedstawiony został podział wymagań na poszczególne oceny szkolne:

Spis treści. Rozdział I. Wstęp do matematyki Rozdział II. Ciągi i szeregi... 44

PLAN WYNIKOWY DLA KLASY DRUGIEJ POZIOM PODSTAWOWY I ROZSZERZONY. I. Proste na płaszczyźnie (15 godz.)

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

Rozdział 2. Liczby zespolone

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

FUNKCJA LINIOWA. A) B) C) D) Wskaż, dla którego funkcja liniowa określona wzorem jest stała. A) B) C) D)

WYMAGANIA EDUKACYJNE Rok szkolny 2018/2019

ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ

WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY TRZECIEJ NA ROK SZKOLNY 2011/2012 DO PROGRAMU MATEMATYKA Z PLUSEM

Funkcje wielu zmiennych

dr inż. Ryszard Rębowski 1 WPROWADZENIE

Matematyka licea ogólnokształcące, technika

Jarosław Wróblewski Analiza Matematyczna 2, lato 2016/17

Indukcja matematyczna

Zagadnienia na egzamin poprawkowy z matematyki - klasa I 1. Liczby rzeczywiste

Propozycja szczegółowego rozkładu materiału dla 4-letniego technikum, zakres podstawowy i rozszerzony. Klasa I (90 h)

Informacja o przestrzeniach Hilberta

WYBRANE DZIAŁY ANALIZY MATEMATYCZNEJ. Wykład II

ZAGADNIENIA PROGRAMOWE I WYMAGANIA EDUKACYJNE DO TESTU PRZYROSTU KOMPETENCJI Z MATEMATYKI DLA UCZNIA KLASY II

Funkcja liniowa i prosta podsumowanie

M10. Własności funkcji liniowej

TRYGONOMETRIA FUNKCJE TRYGONOMETRYCZNE KĄTA SKIEROWANEGO

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

AUTORKA: ELŻBIETA SZUMIŃSKA NAUCZYCIELKA ZESPOŁU SZKÓŁ OGÓLNOKSZTAŁCĄCYCH SCHOLASTICUS W ŁODZI ZNANE RÓWNANIA PROSTEJ NA PŁASZCZYŹNIE I W PRZESTRZENI

MATeMAtyka klasa II poziom rozszerzony

wymagania programowe z matematyki kl. III gimnazjum

2) R stosuje w obliczeniach wzór na logarytm potęgi oraz wzór na zamianę podstawy logarytmu.

ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ

Funkcje hiperboliczne

Pakiet edukacyjny do nauki przedmiotów ścisłych i kształtowania postaw przedsiębiorczych

WYMAGANIA EDUKACYJNE Z MATEMATYKI W KLASIE II A ROK SZKOLNY 2013/ ZAKRES PODSTAWOWY

1 + iϕ n. = cos ϕ + i sin ϕ. e n z n n n. c M n z n, c n z Mn.

Wykład Matematyka A, I rok, egzamin ustny w sem. letnim r. ak. 2002/2003. Każdy zdający losuje jedno pytanie teoretyczne i jedno praktyczne.

Definicja i własności wartości bezwzględnej.

Wymagania edukacyjne z matematyki w klasie III A LP

WYMAGANIA Z WIEDZY I UMIEJĘTNOŚCI NA POSZCZEGÓLNE STOPNIE SZKOLNE DLA KLASY CZWARTEJ H. zakres rozszerzony. Wiadomości i umiejętności

Rozkład materiału KLASA I

Wskazówki do zadań testowych. Matura 2016

MATEMATYKA. kurs uzupełniający dla studentów 1. roku PWSZ. w ramach»europejskiego Funduszu Socjalnego« Adam Kolany.

VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.

WSTĘP DO ANALIZY I ALGEBRY, MAT1460

Transkrypt:

DIDACTICS OF MATHEMATICS 5-6(9-10) The Publishing House of the Wroclaw University of Economics Wroclaw 2009

Editors Janusz Łyko Antoni Smoluk Referee Włodzimierz Odyniec (The Hercen University, St Petersburg) Proof reading Joanna Szynal Setting Elżbieta Szlachcic Cover design Robert Mazurczyk Front cover painting: W. Tank, Sower (private collection) Copyright by the Wrocław University of Economics Wrocław 2009 PL ISSN 1733-7941

TABLE OF CONTENTS JAN FLOREK, JACEK JUZWISZYN, ANDRZEJ MISZTAL, JERZY SACAŁA O ciągu Ulama, równaniu Pella i rotacjach rynku finansowego [On Ulam sequence, Pell s equation and rotations of the financial market]... 5 MAREK BIERNACKI Effectiveness of mathematical education [Skuteczność edukacji matematycznej]... 19 JAN FLOREK Równania Cauchy ego-riemanna i przekształcenia konforemne [Cauchy-Riemann equations and conformal maps]... 33 PIOTR DNIESTRZAŃSKI, ANDRZEJ WILKOWSKI O paradoksie Halla i rzucaniu monetą [On Hall s paradox and coin flipping]... 43 TADEUSZ JANASZAK O kreśleniu wykresów funkcji wymiernych z użyciem programu Matlab [Some remarks about the construction of the rational function with the use of Matlab programme]... 53 ANDRZEJ WILKOWSKI Notes on normal distribution [Uwagi o rozkładzie normalnym]... 71 WIKTOR EJSMONT Production function as a measure of school education quality [Funkcja produkcji jako miernik jakości kształcenia szkoły]... 79 RAFAŁ KORZONEK Uwagi o granicznych rozkładach ekstremalnych statystyk pozycyjnych [Selected issues on the limit distributions of extreme order statistics]... 89 TADEUSZ JANASZAK O konieczności nauczania liczb rzeczywistych i trygonometrii hiperbolicznej w kontekście użycia programu Matlab [Some remarks about the necessity of teaching about complex numbers and hiperbolic trigonometry in the context of Matlab programme]... 99 WIKTOR EJSMONT Efektywność nauczania we wrocławskich liceach [Efficiency of teaching at high schools in Wroclaw]... 111 ANTONI SMOLUK Corrigendum I... 129 ANTONI SMOLUK Corrigendum II... 131

D I D A C T I C S O F M A T H E M A T I C S No. 5-6 (9-10) 2009 Jan Florek (Wrocław) RÓWNANIA CAUCHY EGO-RIEMANNA I PRZEKSZTAŁCENIA KONFOREMNE Abstract. We consider relations between the existence of a complex derivative for a complex function f and the existence of a tangent function L( z) az bz to f, which preserves angles in the point 0, as well as relations with the Cauchy-Riemann equations. We discuss also properties of some conformal maps on the plane. Key words: complex derivative, Cauchy-Riemann equations, conformal map, exponential function, homographic function. 1. Niech u będzie funkcją rzeczywistą dwóch zmiennych rzeczywistych określoną w otoczeniu punktu (x 0, y 0 ). Mówimy, że funkcja u ma pochodną zupełną w punkcie (x 0, y 0 ) (S. Saks, A. Zygmund (1959), rozdział I; B.W. Szabat (1974), rozdział I; W. Rudin (1986), rozdział 8; F. Leja (1977), rozdział IV), jeżeli istnieje para liczb rzeczywistych (α, β) taka, że funkcje oraz są styczne w punkcie (0, 0): U(x, y) = u(x + x 0, y + y 0 ) u(x 0, y 0 ) x0 y0 L(x, y)= αx + βy, L x, y U x y lim 0. 2 2 x y Para (α, β), o ile istnieje, wyznaczona jest jednoznacznie i nazywa się gradientem

34 Jan Florek u x funkcji u w punkcie (x 0, y 0 ). Każdą funkcję zespoloną f u x, y, x, y 0 0 0 0 y x iy ux iy ivx iy możemy traktować jako funkcję wektorową,,,, f x y u x y v x y dwóch zmiennych rzeczywistych o wartościach w R 2. Powstaje następujące pytanie: Jaką własność ma funkcja zespolona f w punkcie z 0 = x 0 + iy 0, jeżeli odpowiadające jej funkcje rzeczywiste u oraz v mają pochodne zupełne w punkcie (x 0, y 0 )? Odpowiedź jest następująca: Funkcja zespolona f ma słabą pochodną zespoloną w punkcie z 0 (B.W. Szabat (1974), rozdział I; W. Rudin (1986), rozdział 11; F. Leja (1977), rozdział IV), czyli istnieje para liczb zespolonych (a, b) taka, że funkcje oraz są styczne w punkcie 0: F z f z z f z L z az bz 0 0 F z L z lim 0. z0 z Para (a, b), o ile istnieje, jest wyznaczona jednoznacznie i nazywa się gradientem f z f z z, z 0 0 funkcji zespolonej f w punkcie z 0. Ponadto mamy następującą zależność między gradientem funkcji f a gradientami funkcji u i v: f 1 u v i v u z 2 x y 2 x y z x, y x, y 0 0 0 0 0,

Równania Cauchy ego-riemanna i przekształcenia konforemne 35 f 1 u v i v u z 2 x y 2 x y z x, y x, y 0 0 0 0 0 2. Niech f będzie funkcją zespoloną określoną w otoczeniu punktu z 0. Mówimy, że funkcja f ma pochodną zespoloną w punkcie z 0 (S. Saks, A. Zygmund (1959), rozdział V; B.W. Szabat (1974), rozdział I; W. Rudin (1986), rozdział 10; F. Leja (1977), rozdział IV), jeżeli istnieje liczba zespolona a taka, że funkcje oraz F z f z z f z Lz 0 0 az są styczne w punkcie 0. Liczba a wyznaczona jest jednoznacznie i nazywa się pochodną f (z 0 ) funkcji zespolonej f w punkcie z 0. Analizując zależności między gradientem funkcji zespolonej f = u + iv a gradientami funkcji rzeczywistych u i v, łatwo zauważyć, że następujące warunki są równoważne: (1) funkcja f ma pochodną zespoloną w punkcie z 0, (2) funkcja f ma słabą pochodną zespoloną w punkcie z 0 oraz f z z 0 0 (3) funkcje u, v mają pochodne zupełne w punkcie (x 0, y 0 ) oraz spełnione są równania Cauchy ego-riemanna: u x u y v y x, y x, y 0 0 0 0 v x x, y x, y 0 0 0 0 3. Zauważmy, że jeśli równania Cauchy ego-riemanna zapiszemy w postaci macierzowej, to uderzające jest podobieństwo otrzymanej macierzy do macierzy obrotu płaszczyzny wokół środka układu współrzędnych. Zauważmy również, że niezerowe przekształcenie liniowe L(z) = az jest złożeniem obrotu o kąt arg(a) wokół punktu 0 i podobieństwa o skali a i środku 0. Sugeruje to, że funkcja f, mająca niezerową pochodną w punkcie,,..

36 Jan Florek z 0, zachowuje kąty w tym punkcie (S. Saks, A. Zygmund (1959), rozdział I; B.W. Szabat (1974), rozdział I; W. Rudin (1986), rozdział 14; F. Leja (1977), rozdział IV): dla dwu dowolnych promieni P i P, wychodzących z punktu z 0, kąt, który tworzą ich obrazy f(p) i f(p) w punkcie f(z 0 ), jest taki sam, jak kąt między promieniami P i P, zarówno pod względem miary, jak i orientacji. Bardziej precyzyjnie, niech : [α, β] C będzie drogą taką, że (α) = z 0. Funkcja f odwzorowuje drogę na drogę * = f taką, że *(α) = f(z 0 ). Jeżeli f (z 0 ) 0, to spełnione są następujące implikacje: a) Jeżeli i * są kątami nachylenia do osi rzeczywistych stycznych do i * w punktach z 0 i f(z 0 ), to * = arg f (z 0 ). b) Jeżeli S(t) i S*(t) i są długościami łuku i *, które odpowiadają odcinkowi [α, t], to S*( t) lim f ' z0. t0 St () Rozważmy dla przykładu funkcję f(z) = z 2 o pochodnej f (z) = 2z. Funkcja ta odwzorowuje siatkę współrzędnych biegunowych na siatkę współrzędnych biegunowych. A więc kąty proste wyznaczone przez siatkę zostały zachowane w każdym punkcie z 0. Zauważmy również, że obrazem łuku o długości s (leżącego na półokręgu o środku 0 i promieniu r) jest łuk o długości 2rs (leżący na okręgu o środku 0 i promieniu r 2 ). Pokażemy teraz, że funkcja zespolona ma w danym punkcie niezerową pochodną zespoloną, wtedy i tylko wtedy gdy ma słabą pochodną zespoloną oraz gdy przekształcenie styczne L() z az bz zachowuje kąty w punkcie 0. W tym celu wystarczy udowodnić następujące twierdzenie. Twierdzenie. Przekształcenie L() z az bz zachowuje kąty w punkcie 0 a 0 b = 0. Dowód. Zauważmy najpierw, że przekształcenie zachowuje kąty w punkcie 0, jeśli L() z az bz L(c) 0 dla c 0,

Równania Cauchy ego-riemanna i przekształcenia konforemne 37 arg L c arg L(1) arg c dla c 0. Wtedy dla każdej liczby zespolonej c takiej, że c = 1, spełnione są następujące równoważności: 1 1 L c L c arg Lc arg L1 arg c L c L c ac bc ac bc a bcc a b. ac bc ac bc a bcc a b Ponieważ zbiór liczb zespolonych postaci a bcc dla c 1 tworzy okrąg o środku a i promieniu b, to zbiór liczb zespolonych postaci a bcc a bcc dla c 1 tworzy łuk okręgu o środku 0 i promieniu 1. Stąd ostatnia równość w powyższym ciągu równoważności jest możliwa wtedy i tylko wtedy, gdy b = 0. Ponieważ przekształcenie L jest niezerowe, to a 0. 4. Mówimy, że funkcja zespolona f jest w danym punkcie konforemna (S. Saks, A. Zygmund (1959), rozdział V; B.W. Szabat (1974), rozdział IV; W. Rudin (1986), rozdział 14; F. Leja (1977), rozdział IV), jeżeli jej pochodna jest w tym punkcie różna od zera. Dwa obszary płaszczyzny zespolonej są konforemnie równoważne (S. Saks, A. Zygmund (1959), rozdział V; B.W. Szabat (1974), rozdział IV; W. Rudin (1986), rozdział 14; F. Leja (1977), rozdział X), jeżeli istnieje funkcja wzajemnie jednoznaczna jednego obszaru na drugi, która jest konforemna w punktach pierwszego obszaru. Można pokazać, że wtedy funkcja odwrotna jest również konforemna w punktach drugiego obszaru. Twierdzenie Riemanna mówi, że każdy obszar (nie będący płaszczyzną), który jest homeomorficzny z otwartym kołem jednostkowym, jest również z nim konforemnie równoważny. Z twierdzenia Liouville a wynika, że przypadek całej płaszczyzny musi być wykluczony (każda funkcja ograniczona i różniczkowalna na całej płaszczyźnie zespolonej jest stała).

38 Jan Florek W kolejnych paragrafach przedstawimy i omówimy własności najważniejszych funkcji konforemnych określonych na całej płaszczyźnie (funkcja wykładnicza, przekształcenia liniowe) lub na płaszczyźnie bez skończonej liczby punktów (przekształcenia homograficzne). 5. W. Rudin w pierwszym zdaniu prologu Real and Complex Analysis pisze: Funkcja wykładnicza jest najważniejszą funkcją w matematyce. Funkcję wykładniczą w analizie zespolonej określa się w ten sam sposób, co w analizie rzeczywistej (S. Saks, A. Zygmund (1959), rozdział I; B.W. Szabat (1974), rozdział I; W. Rudin (1986), prolog; F. Leja (1977), rozdział III) za pomocą szeregu lub ciągu: exp z n z, n! n0 z expz lim 1 n n. Funkcja wykładnicza, podobnie jak jej odpowiednik w analizie rzeczywistej, jest równa swojej pochodnej zespolonej Spełnia ona równanie funkcyjne exp exp( z) exp( z). z z exp z z. 1 2 1 exp Można ją również przedstawić w postaci trygonometrycznej exp( z) exp( x) cos y isin y, gdzie z = x + iy. Stąd wynika, że funkcja wykładnicza nie ma pierwiastków i jest okresowa, z urojonym okresem podstawowym 2i. Funkcja wykładnicza odwzorowuje konforemnie płaszczyznę na płaszczyznę bez jednego punktu. Przekształca ona układ kartezjański (x, y) na układ biegunowy, :, exp,, x y x x y y. Na rysunku 1 przedstawiona jest siatka kartezjańska i jej obraz przy odwzorowaniu wykładniczym siatka biegunowa. Pas n 2

Równania Cauchy ego-riemanna i przekształcenia konforemne 39 odwzorowany jest wzajemnie jednoznacznie na płaszczyznę z usuniętym środkiem układu współrzędnych. Funkcja wykładnicza przekształca również prostą przechodzącą przez początek układu współrzędnych, która nie jest osią tego układu, na spiralę logarytmiczną. Oczywiście kąty, pod jakimi ta prosta przecina proste y = y 0 i x = x 0 oraz odpowiednia spirala logarytmiczna przecina półprostą = y 0 i okrąg = exp(x 0 ), są jednakowe. A wszystko to wynika z faktu, że funkcja wykładnicza jest konforemna. 2πi e 1 e 0 e 1 1 0 1 oś rzeczywista Rys. 1. Siatka współrzędnych kartezjańskich (po lewej stronie) i jej obraz przy odwzorowaniu wykładniczym siatka współrzędnych biegunowych (po prawej stronie) 6. Przekształcenie wzajemnie jednoznaczne płaszczyzny zespolonej postaci az b, gdzie a 0, nazywamy przekształceniem liniowym (S. Saks, A. Zygmund (1959), rozdział I; W. Rudin (1986), rozdział 14; F. Leja (1977), rozdział IV). Każde przekształcenie liniowe jest złożeniem następujących przekształceń: przesunięć: z z + b, obrotów: z az, a = 1, podobieństw: z rz, r > 0.

40 Jan Florek Przekształcenia liniowe mają następujące własności: (1) tworzą grupę (ze względu na złożenie), (2) przekształcają okrąg i prostą odpowiednio na okrąg i prostą, (3) są jedynymi przekształceniami różnowartościowymi i konforemnymi płaszczyzny. 7. Jeżeli do płaszczyzny zespolonej C dodamy nowy punkt zwany, to otrzymany zbiór nazywa się płaszczyzną zespoloną domkniętą (S. Saks, A. Zygmund (1959), rozdział V; W. Rudin (1986), rozdział 13; F. Leja (1977), rozdział II). Prostą w płaszczyźnie zespolonej z dodanym punktem nazywa się okręgiem niewłaściwym płaszczyzny zespolonej domkniętej (S. Saks, A. Zygmund (1959), rozdział V; F. Leja (1977), rozdział II). Dwa punkty płaszczyzny zespolonej domkniętej nazywa się symetrycznymi względem okręgu C (S. Saks, A. Zygmund (1959), rozdział V; F. Leja (1977), rozdział II), jeżeli się pokrywają i leżą na tym okręgu lub jeśli każdy okrąg przechodzący przez te dwa punkty jest ortogonalny do okręgu C, czyli przecina ten okrąg pod kątem prostym. Nietrudno zauważyć, że w przypadku, gdy okrąg jest niewłaściwy, czyli jest prostą, definicja ta jest równoważna definicji symetrii względem prostej. Przekształceniem homograficznym (S. Saks, A. Zygmund (1959), rozdział V; B.W. Szabat (1974), rozdział I; W. Rudin (1986), rozdział 14; F. Leja (1977), rozdział IV) nazywamy przekształcenie płaszczyzny zespolonej domkniętej postaci az b cz d, gdzie: a, b, c, d są liczbami zespolonymi takimi, że ad bc 0. Jeśli c 0, to punkt d/c przechodzi w punkt, a punkt w punkt a/c. Warunek ad bc 0 nakładamy po to, by wyeliminować przypadek zdegenerowania w stałą, gdy licznik jest proporcjonalny do mianownika. Każde przekształcenie homograficzne jest złożeniem przekształceń następujących typów: przesunięć, obrotów, podobieństw oraz inwersji zdefiniowanej następująco: inwersja: z 1/z. Przekształcenia homograficzne mają następujące własności: (1) tworzą grupę (ze względu na złożenie), (2) przekształcają okrąg na okrąg (być może niewłaściwy), (3) ich niezmiennikiem jest symetria względem okręgu jeżeli punkty p, q są symetryczne względem okręgu C i jeżeli przy przekształceniu homo-

Równania Cauchy ego-riemanna i przekształcenia konforemne 41 graficznym punkty te przechodzą odpowiednio na punkty p 1, q 1 oraz okrąg C na okrąg C 1, to punkty p 1, q 1 są symetryczne względem okręgu C 1, (4) są jedynymi przekształceniami różnowartościowymi i konforemnymi płaszczyzny, z której usunięto skończoną liczbę punktów. Ad (1). Przekształcenie odwrotne względem przekształcenia homograficznego jest również homograficzne. Sprawdzamy to, wyrażając z przez ; otrzymujemy d b z. c a Podobnie sprawdzamy łatwo, że złożenie dwóch przekształceń homograficznych jest przekształceniem homograficznym. Ad (2). Wystarczy sprawdzić, że inwersja przekształca okrąg na okrąg. Rozważmy dla przykładu homografię z i,. z i i i oś rzeczywista 0 1 Rys. 2. Okręgi, względem których są symetryczne punkty i, i (po lewej stronie) z i i ich obrazy przez homografię (po prawej stronie) z i Ponieważ obrazem punktów i, i są odpowiednio punkty 0,, a te ostatnie są symetryczne względem okręgów o środku w początku układu, to przeciwobrazem tych okręgów są okręgi pawie oczka, względem których

42 Jan Florek są symetryczne punkty i, i. W szczególności przeciwobrazem okręgu {z: z = 1} jest prosta rzeczywista (rys. 2). i i oś rzeczywista 0 1 Rys. 3. Proste równoległe do prostej rzeczywistej (po lewej stronie) z i i ich obrazy przez homografię (po prawej stronie) z i Obrazem prostych równoległych do prostej rzeczywistej są okręgi styczne do okręgu {z: z =1} w punkcie 1 (rys. 3). Literatura F. Leja (1977). Funkcje zespolone. PWN. Warszawa. W. Rudin (1986). Analiza rzeczywista i zespolona. PWN. Warszawa. S. Saks, A. Zygmund (1959). Funkcje analityczne. PWN. Warszawa. B.W. Szabat (1974). Wstęp do analizy zespolonej. PWN. Warszawa.