Geometria inwersyjna

Geometria inwersyjna – dział geometrii badający przekształcenia płaszczyzny euklidesowej (lub ogólniej: afinicznej) nazywane inwersjami względem okręgów; w szczególności za inwersje uważa się symetrie względem prostych traktowanych w tej geometrii jako szczególny rodzaj okręgów.

Translacja i inwersja zbioru Mandelbrota

Płaszczyznę afiniczną rozszerzoną o nienależący do niej punkt $\infty ,$ tzw. punkt niewłaściwy (w nieskończoności, nieskończenie daleki, idealny), który leży na dowolnej prostej, nazywa się płaszczyzną inwersyjną lub płaszczyzną Möbiusa. Choć jest ona dzięki temu podobna do płaszczyzny rzutowej (w której do płaszczyzny afinicznej dodaje się całą prostą niewłaściwą), to jej cel jest inny – ujednolicenie sposobu traktowania prostych i okręgów na płaszczyźnie afinicznej (np. rzeczywistej lub zespolonej).

Definicja

Płaszczyznę Möbiusa $M$ można zdefiniować jako parę zbiorów $(P,C)$ z relacją incydencji między nimi spełniającą cztery poniższe aksjomaty. Elementy zbiorów $P$ i $C$ nazywa się odpowiednio punktami oraz okręgami. Jeśli punkt $\mathrm {p}$ i okrąg $c$ są incydentne, to mówi się, że „$\mathrm {p}$ leży na $c$” lub „$c$ przechodzi przez $\mathrm {p}$”. Przecięciem dwóch okręgów nazywa się zbiór punktów leżących na obu z nich. Wspomniane aksjomaty to:

• istnieją cztery punkty nieincydentne z żadnym okręgiem,
• dowolna trójka punktów leży na jednym i tylko jednym okręgu,
• każdy okrąg przechodzi przez co najmniej trzy punkty,
• dla dowolnego okręgu $c,$ leżącego na nim punktu $\mathrm {p}$ i nieleżącego na nim punktu $\mathrm {q}$ istnieje jednoznacznie wyznaczony okrąg przechodzący przez te punkty, mający dokładnie jeden punkt przecięcia z $c.$

Konstrukcje

Niech $\infty$ będzie dowolnym punktem abstrakcyjnej płaszczyzny Möbiusa $M,$ nazywanym dalej „punktem niewłaściwym”. Niech $A:={\big (}P\setminus \{\infty \},C_{\infty }{\big )},$ gdzie $C_{\infty }$ jest zbiorem wszystkich okręgów przechodzących przez $\infty .$ Wówczas $A$ jest płaszczyzną afiniczną, w której prosta jest zbiorem punktów właściwych (tzn. nie niewłaściwych) na okręgu przechodzącym przez $\infty .$

W przypadku rzeczywistej lub zespolonej płaszczyzny afinicznej $A$ okrąg $c(\mathrm {o} ,r),$ gdzie $\mathrm {o} =(a,b),$ jest zbiorem rozwiązań $(x,y)$ równania kwadratowego $(x-a)^{2}+(y-b)^{2}=r^{2}.$ Okrąg można określić za pomocą trzech punktów, zaś prosta wyznaczona jest przez dwa. Dodawszy punkt $\infty$ do płaszczyzny afinicznej $A,$ który leży na każdej prostej, rozszerzone o niego proste można nazywać „okręgami” (obok okręgów afinicznych). Dlatego geometrię takiej płaszczyzny nazywa się płaszczyzną Möbiusa.

Odwrotnie, usuwając z rzeczywistej bądź zespolonej płaszczyzny Möbiusa $M$ dowolny punkt $\mathrm {p}$ otrzymuje się (rzeczywistą bądź zespoloną) płaszczyznę afiniczną z jego strukturą okręgów. Proste afiniczne to okręgi $M$ przechodzące przez $\mathrm {p}$ (z usuniętym tym punktem), a okręgi afiniczne to pozostałe okręgi $M.$ Wszystkie takie płaszczyzny są izomorficzne jako struktury incydencji.

Rzeczywista płaszczyzna Möbiusa to jeszcze jeden sposób patrzenia na sferę Riemanna. Niech sfera Riemanna (pomijając jej strukturę zespoloną) leży na podprzestrzeni $\mathbb {R} ^{2},$ tak by była styczna w początku płaszczyzny pewnym jej punktem, „biegunem południowym”. Okręgi przechodzące przez „biegun północny” (antypodyczny względem bieguna południowego) odpowiadają w rzucie stereograficznym prostym, zaś pozostałe okręgi – okręgom na płaszczyźnie. Po rozszerzeniu $\mathbb {R} ^{2}$ o punkt niewłaściwy, biegun północny będzie odpowiadać punktowi niewłaściwemu czyniąc ze sfery model rzeczywistej płaszczyzny Möbiusa.

Nie każda płaszczyzna Möbiusa musi być rzeczywista lub zespolona – okręgi można zdefiniować w płaszczyźnie afinicznej nad dowolnym ciałem, przy czym konstrukcja płaszczyzny Möbiusa ma analogiczną postać.

Automorfizmy

Niżej okręgi przestrzeni inwersyjnej nazywane będą „okręgami uogólnionymi”, z kolei okręgi afiniczne nazywane będą po prostu „okręgami”. Inwersje nie są jedynymi przekształceniami płaszczyzny inwersyjnej, które zachowują uogólnione okręgi.

Jeśli $\infty$ jest punktem stałym danego przekształcenia $T,$ to punkt $\infty$ należy do dowolnej prostej $l.$ Ponieważ $\infty =T(\infty )$ należy do $T(l),$ to przekształcenie $T$ przekształca proste w proste (jest kolineacją), zatem musi być przekształceniem afinicznym. Z tego powodu $T$ można przedstawić jako złożenie podobieństwa i powinowactwa osiowego. Ponieważ nieizometryczne powinowactwo osiowe nie zachowuje okręgów (przekształca je na elipsy), to przekształcenie $T$ zachowujące okręgi uogólnione (proste i okręgi afiniczne) musi być podobieństwem.

Jeżeli $\infty$ nie jest punktem stałym w przekształceniu $T,$ to istnieje punkt $\mathrm {o} ,$ dla którego $T(\mathrm {o} )=\infty .$ Niech $i_{1}$ oznacza inwersję względem okręgu jednostkowego o środku $\mathrm {o} ,$ wtedy $Ti_{1}(\infty )=T(\mathrm {o} )=\infty ,$ co na mocy powyższego rozumowania oznacza, że $Ti_{1}$ jest podobieństwem. Podobieństwo to można przedstawić jako złożenie izometrii oraz jednokładności o środku $\mathrm {o}$ i skali $k^{2},$ którą można z kolei zapisać jako złożenie dwóch inwersji względem okręgów o wspólnym środku $\mathrm {o}$ o promieniach $1$ oraz $k.$ Niech $i_{k}$ oznacza inwersję względem okręgu o promieniu $k,$ zaś $I$ będzie pewną izometrią. Wówczas $Ti_{1}=Ii_{k}i_{1},$ czyli $T=Ii_{k}.$

Oznacza to, że przekształcenia zachowujące okręgi uogólnione są podobieństwami lub złożeniami izometrii z inwersją. Jeśli takie przekształcenie jest nieizometrycznym podobieństwem (tzn. mającym jeden punkt stały), to można je opisać jako złożenie jednokładności i symetrii osiowej bądź obrotu; jednokładność można rozłożyć na złożenie dwóch inwersji, zaś obrót można zapisać jako złożenie dwóch symetrii osiowych. Jeżeli wspomniane przekształcenie jest złożeniem izometrii i inwersji, to każdą izometrię można przedstawić jako złożenie co najwyżej trzech symetrii osiowych. Stąd każde przekształcenie zachowujące okręgi uogólnione jest złożeniem co najwyżej czterech symetrii uogólnionych (tzn. symetrii osiowych lub inwersji).

Linki zewnętrzne

• Eric W.E.W. Weisstein Eric W.E.W., Inversive Geometry, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2023-06-01].
• Michiel Hazewinkel (red.) Encyclopaedia of Mathematics, artykuł „Möbius plane”. Springer-Verlag, Berlin–Heidelberg–New York. ISBN 1-4020-0609-8.