Proširena euklidska ravnina
Zasnovati neku geometriju znači na skupove osnovnih elemenata i osnovnih relacija među njima (koji se ne definiraju, ali su nam intuitivno jasni) primijeniti jedan sustav aksioma (tvrdnji koje se ne dokazuju, a uzimaju se kao istinite i intuitivno su nam jasne) i pomoću njih definirati sve ostale figure te izvesti sve moguće posljedice (teoreme).
Projektivnu geometriju možemo opisati kao proučavanje geometrijskih svojstava koja se pri centralnom projiciranju, koje ćemo opisati kasnije, ne mijenjaju. Centralna projekcija najbliža je slici koja nastaje u našem oku. Uočite da se aksiomi A1 i A2 mogu dobiti jedan iz drugog zamjenom riječi pravac i točka. Ova činjenica uvjetuje dualitet projektivne geometrije, tj. ako je u projektivnoj ravnini istinita neka tvrdnja bit će istinita i ona koja nastaje tako da u prvoj zamijenimo riječi točka i pravac te spajati i sjeći (ležati na i prolaziti kroz). Stoga ako u projektivnoj geometriji dokažemo neki teorem, dokazali smo i njemu dualni. Pojmove čije su definicije povezane na takav način nazivamo dualnim pojmovima. Na primjer, sljedeće su dvije tvorevine dualne: niz točaka (p) - čine ga sve točke ravnine koje leže na pravcu p, pramen pravaca (P) - čine ga svi pravci ravnine koji prolaze točkom P. Nadopunjujemo sada euklidsku ravninu na sljedeći način: Beskonačno daleki elementi ravnine (pravac i točke na njemu) realni su kao i svi ostali elementi ravnine. Ovako nadopunjenu euklidsku ravninu nazivamo proširenom euklidskom ravninom ili realnom projektivnom ravninom. To je projektivna ravnina i u njoj se svaka dva pravca sijeku (paraleni se pravci sijeku u beskonačno dalekoj točki). Projektivna geometrija ne koristi mjeru (udaljenost točaka i veličinu kuteva). Mjera je karakteristika euklidske geometrije, a u inženjerstvu je neophodna. Stoga ćemo u našem predmetu proširenu euklidsku ravninu (a kasnije i prostor) koristiti za izvođenje nekih općenitih zaključaka o ravninskim (prostornim) figurama, dok ćemo za konstrukciju (na papiru ili računalu) koristiti euklidsku ravninu (prostor) u kojoj za sve elemente (konačne) vrijedi euklidska metrika. * Za relaciju incidencije u našem jeziku često koristimo i izraze "ležati na" (točka leži na pravcu), "prolaziti kroz" (pravac prolazi kroz točku), "spajati" (pravac spaja točke), "sjeći" (pravci se sijeku) i slično. Za točke koje leže na istom pravcu kažemo da su kolinearne, a za pravce koji prolaze istom točkom kažemo da su konkurentni. Sonja Gorjanc - 3DGeomTeh - Razvojni projekt Sveučilišta u Zagrebu |