Dwustosunek

Cross ratio01.svg

Dwustosunek (stosunek anharmoniczny) czterech współliniowych punktów – funkcja postaci[1]:

gdzie punkty A, B, C, D spełniają

oraz jest współrzędną punktu X w układzie współrzędnych na danej prostej. Jest to podstawowe pojęcie geometrii rzutowej.

Jak widać, powyższa definicja zakłada istnienie układu współrzędnych na rozpatrywanej prostej.

Jeśli dwustosunek stosujemy na płaszczyźnie euklidesowej to wystarczy zbudować dowolny kartezjański układ współrzędnych wykorzystując relację przystawania i relację prostopadłości. Jeśli stosujemy go na płaszczyźnie rzutowej to trzeba zbudować jakiś rzutowy układ współrzędnych wykorzystując relację harmoniczności punktów rzutowych

Wybór układu współrzędnych z wielu możliwych nie wpływa na wartość dwustosunku.

Własności arytmetyczne dwustosunku

  1. ( oznacza prostą, jest ciałem liczbowym).

W niektórych ujęciach powyższe własności dołączane są do aksjomatyki 2-wymiarowej geometrii rzutowej[2] jako aksjomaty opisujące pierwotną funkcję dwustosunku.

Ponadto

Rzutowy charakter dwustosunku

Ostatni przykład z poprzedniej sekcji pokazuje, że w istocie dwustosunek jest funkcją o wartościach w zbiorze Zbiór ten można rozumieć jako zbiór liczb rzeczywistych domknięty do okręgu punktem w nieskończoności. Omawiana własność w symbolicznym zapisie przybierze postać:

Taki punkt widzenia można poszerzyć uwzględniając, że w każdym rzeczywistym modelu płaszczyzny(przestrzeni) rzutowej proste są homeomorficzne z okręgiem i tzw. punkty w nieskończoności są tak samo „dobrymi” punktami jak pozostałe, a ich wyjątkowość wynika jedynie z wybranego układu współrzędnych. Inaczej mówiąc, dopuszcza się, aby niektóre z punktów były punktami w nieskończoności:

  1. (stosunek podziału odcinka),

Znak dwustosunku a relacja rozdzielania

Punkty A,B nie rozdzielają punktów C,D. Jednocześnie punkty A,C rozdzielają punkty B,D.

Na prostej rzutowej homeomorficznej z okręgiem zamiast nieprzydatnej relacji leżenia między stosuje się relację rozdzielania, która umożliwia wyróżnienie jednego z dwóch wnętrz odcinka, a przez to zdefiniowanie topologii na prostej rzutowej. W niektórych aksjomatykach rozdzielanie wprowadzane jest jako pojęcie pierwotne[3].

Zachodzi ważna zależność:

  • Jeśli para punktów rozdziela parę punktów to
  • Jeśli para punktów nie rozdziela pary punktów to

Szczególny przypadek rozdzielania punktów C,D przez punkty A,B zachodzi, gdy

W pewnym rzutowym układzie współrzędnych odpowiada to punktom o współrzędnych bowiem

Z samej zasady konstruowania takiego układu wynika, że punkty o tych współrzędnych mogą być wyznaczone przy użyciu czworokąta zupełnego – o punktach takich mówi się wtedy, że tworzą czwórkę harmoniczną lub że rozdzielają się harmonicznie.

Dwustosunek jako niezmiennik przekształceń rzutowych

Dwustosunek jest najprostszą funkcją metryczną będącą niezmiennikiem przekształceń rzutowych. Albo odwrotnie – dwustosunek jest niezmiennikiem dowolnych przekształceń płaszczyzny z przekształceniami rzutowymi włącznie.

Znaczenie tego niezmiennika na tle innych niezmienników ilustruje poniższa tabela (za[2]):

NiezmiennikNajwiększa grupa przekształceń zachowująca niezmiennik
Odległość między punktamiizometrie
Miara kąta w trójkąciepodobieństwa
Stosunek podziału odcinkaprzekształcenia afiniczne
Dwustosunekprzekształcenia rzutowe

Z zestawienia widać, że stosunek podziału odcinka na ogół zmienia się przy przekształceniach rzutowych. Tymczasem dwa różne stosunki podziału (stąd „dwustosunek”) tego samego odcinka zmieniają się proporcjonalnie do siebie. Czyli ich iloraz jest stały:

Tutaj w liczniku i w mianowniku mamy dwa różne podziały odcinka w liczniku punktem w mianowniku punktem

Niezmienniczość dwustosunku względem przekształceń rzutowych można dość łatwo wykazać przy użyciu funkcji homograficznej

gdzie

Funkcja homograficzna jest bowiem analityczną postacią dowolnego przekształcenia rzutowego na prostej, na której określono jakiś układ współrzędnych.

Określamy funkcję przypisującą punktowi o współrzędnej punkt o współrzędnej

dla pewnych p,q,r,s

Wówczas

bowiem, co rachunkowo łatwo sprawdzić

Dwustosunek w modelu Kleina geometrii hiperbolicznej

Ciekawym zastosowaniem dwustosunku jest definicja odległości dwóch punktów w modelu Kleina geometrii hiperbolicznej.

Cross ratio02.svg

Jeśli są punktami płaszczyzny hiperbolicznej, są punktami przecięcia z horyzontem to:

Ponieważ nigdy nie rozdzielają więc dla zachodzi tzn. jest zawsze określona i dodatnia.

Z wyżej omówionych arytmetycznych własności dwustosunku (oraz własności funkcji ln) natychmiast dostajemy:

  • jeśli są współliniowe i leży między to

Nieco trudniejszy jest dowód własności:

  • izometria zachowuje wartość

tutaj izometrie rozkłada się na symetrie osiowe, a te realizuje się za pomocą pewnej kolineacji środkowej, w której środek jest biegunem osi symetrii względem kołowego horyzontu. A skoro kolineacje jako przekształcenia rzutowe zachowują dwustosunek więc zachowują wartość

Wymienione cztery własności funkcji gwarantują, że funkcja jest miarą w modelu Kleina.

Dwustosunek pęku prostych

Cross ratio03.svg

Jeśli pęk czterech prostych przetniemy dwiema różnymi prostymi (nieprzechodzącymi przez środek pęku), to każda z tych dwóch prostych wyznaczy po cztery punkty przecięcia z prostymi pęku. Jedna z tych czwórek punktów tj. jest w oczywisty sposób obrazem pierwszej czwórki w pewnej kolineacji środkowej. Oznacza to, że Ponieważ dwustosunek nie zależy od wyboru tych prostych jest on więc stały dla pęku prostych. I można go przyjąć jako definicję dwustosunku pęku czterech prostych:

Dwustosunek pęku czterech prostych jest dwustosunkiem odpowiednich czterech punktów otrzymanych z przecięcia tego pęku przez dowolną prostą nieprzechodzącą przez środek pęku.
Cross ratio04.svg

Konfiguracja dualna składa się z dwóch pęków prostych oraz i z prostej przecinającej oba pęki w punktach przecięcia się odpowiednich prostych obu pęków.

Zgodnie z powyższą definicją dwustosunku pęku prostych oba pęki mają identyczny dwustosunek.


Cross ratio05.svg

Na płaszczyźnie euklidesowej dwustosunek pęku czterech prostych można wyliczyć wprost z następującego wzoru:

gdzie są współrzędnymi kątowymi wybranych półprostych z prostych pęku.

Wybór początku układu biegunowego ani wybór jednej z dwóch możliwych półprostych na każdej prostej pęku nie wpływa na wartość powyższego wyrażenia.

Poprawność powyższego wzoru (tj. zgodność z definicją dwustosunku pęku prostych) łatwo udowodnić stosując np. twierdzenie sinusów.

Uwaga: Na płaszczyźnie rzutowej zastosowanie ostatniego wzoru wymaga uprzedniego zmetryzowania płaszczyzny, co pozwoli na wprowadzenie pojęcia kąta a tym samym biegunowego układu współrzędnych.

Przypisy

  1. dwustosunek, [w:] Encyklopedia PWN [online] [dostęp 2021-10-13].
  2. a b L. Dubikajtis, Wiadomości z geometrii rzutowej, PZWS, Warszawa 1972.
  3. K. Borsuk, W. Szmielew, Podstawy geometrii, BM 10.

Media użyte na tej stronie

Cross ratio02.svg
odległość w modelu Kleina
Cross ratio01a.svg
ilustracja relacji rozdzielania
Cross ratio05.svg
dwustosunek pęku prostych
Cross ratio03.svg
dwustosunek pęku prostych
Cross ratio04.svg
dwa pęki prostych o identycznym dwustosunku
Cross ratio01.svg
ilustracja dwustosunku czterech punktów