Geometria afiniczna
Z Wikipedii
Geometria afiniczna - jedna z możliwych geometrii, której szczególnym przypadkiem jest euklidesowa. Podstawową figurą geometryczną w tej geometrii jest (podobnie jak w geometrii euklidesowej) prosta, podstawowym pojęciem jest równoległość dwóch prostych a podstawowym odwzorowaniem tzw. odwzorowanie afiniczne. Treścią tej teorii jest m.in. badanie własności figur geometrycznych niezmienniczych ze względu na grupę tych przekształceń. Tutaj bowiem obok podobieństw (przesunięć, obrotów i jednokładności) dochodzą jeszcze rozciąganie i zgniatanie wzdłuż jakiejś prostej. Te ostatnie deformacje mogą być efektem np. rzutowań równoległych. W ujęciu F. Kleina geometria afiniczna jest pewną grupą odwzorowań pośrednią między grupą podobieństw a grupą przekształceń rzutowych.
[edytuj] Aksjomatyka i modele
W syntetycznym podejściu geometria afiniczna może być zbudowana na bazie geometrii euklidesowej ale zubożonej o pojęcie przystawania. Aksjomatyka opisuje więc własności punktu, prostej i ich wzajemnego położenia oraz opisuje relację leżenia punktu między dwoma innymi punktami. Relację przystawania odcinków (a właściwie par punktów) równoległych można zdefiniować przy użyciu pojęcia równoległości i relacji leżenia między. Niestety tak zdefiniowana relacja przystawania jest zredukowana do pojedynczych prostych. Skutkiem tego nie można porównywać odcinków leżących na prostych nierównoległych, nie da się porównywać kątów o nierównoległych ramionach, nie ma też możliwości zdefiniowania kąta prostego nie ma więc pojęcia prostopadłości. Nie ma wreszcie możliwości odkładania trójkąta. Mimo to zachodzi tu spora część twierdzeń geometrii euklidesowej (m.in. liczne własności równoległoboków, twierdzenie Talesa, topologia na prostej i płaszczyźnie).
Geometrię afiniczną na płaszczyźnie można także otrzymać startując z geometrii rzutowej na płaszczyźnie rzutowej. W tym celu wystarczy na płaszczyźnie rzutowej wskazać dowolną prostą i nazwać ją prostą w nieskończoności, a wszystkie punkty incydentne z tą wybraną prostą wystarczy nazwać punktami w nieskończoności. Wówczas zwykłe proste uznamy za równoległe jeśli przecinają się w jakimś punkcie w nieskończoności. Relację leżenia między dla punktów zwykłych definiujemy korzystając z pojęcia relacji rozdzielania czterech punków, spośród których jeden jest punktem w nieskończoności.
Geometria afiniczna ma analityczny model w postaci przestrzeni afinicznej, w której przestrzeń liniowa nie ma określonego iloczynu skalarnego.
[edytuj] Odwzorowanie afiniczne
Odwzorowanie afiniczne jest wzajemnie jednoznacznym odwzorowaniem płaszczyzny zachowującym współliniowość punktów tzn.:
jeżeli punkty p,q,r są współliniowe, to ich obrazy p',q',r' także są współliniowe.
Jedną z równoważnych definicji może być taka: jest to odwzorowanie, w którym obrazem każdej prostej jest prosta. Przy ujęciu rzutowym (patrz wyżej) odwzorowanie afiniczne jest odwzorowaniem rzutowym zachowującym wybraną prostą rzutową w "nieskończoności".
- Z definicji odwzorowania afinicznego wynika, że zachowuje ono
- równoległość prostych i przecinanie się prostych
- relację leżenia punktu między dwoma innymi punktami. Stąd wynika m.in., że obrazem odcinka jest odcinek, trójkąta trójkąt itd.. Wynika także, że obrazem dowolnej figury wypukłej jest figura wypukła.
- stosunek długości dwóch odcinków leżących na wspólnej prostej lub przynajmniej równoległych. W szczególności obraz środka odcinka jest środkiem jego obrazu. Jest to w zasadzie odpowiednik twierdzenia Talesa.
- Ważne własności odwzorowań afinicznych
- Dla dowolnych trzech niewspółliniowych punktów p,q,r i dowolnych trzech niewspółliniowych punktów p',q',r' istnieje dokładnie jedno odwzorowanie afiniczne f płaszczyzny na siebie takie, że
- Każde odwzorowanie afiniczne jest złożeniem podobieństwa i powinowactwa osiowego.