Pasch-axióma

A Wikipédiából, a szabad enciklopédiából

A Pasch-axióma a geometria axiomatikus felépítésében az egyik rendezési axióma, amely kimondja, hogy ha a sík egy háromszögének egyik csúcspontját sem metszi egy egyenes és metszi valamelyik oldalát a háromszögnek, akkor metszi a két másik oldal közül is pontosan az egyiket.[1]

Története[szerkesztés]

Ezt az axiómát Moritz Pasch vizsgálta először részletesen Vorlesungen über neuere Geometrie című munkájában, amely 1882-ben jelent meg. Ebben kimutatta, hogy Euklidész ezt a tulajdonságot anélkül használja fel Elemek című munkájában, hogy explicit axiómaként kimondaná. Ezeket az eredményeket felhasználva vette fel Hilbert ezt az axiómát saját axiómarendszerébe.[2]

Kapcsolódó szócikkek[szerkesztés]

Hivatkozások[szerkesztés]

További információk[szerkesztés]

Jegyzetek[szerkesztés]

  1. „Es seien A, B, C drei nicht in gerader Linie gelegene Punkte und a eine Gerade in der Ebene ABC, die keinen der Punkte A, B, C trifft: wenn dann die Gerade a durch einen Punkt der Strecke AB geht, so geht sie gewiß auch entweder durch einen Punkt der Strecke BC oder durch einen Punkt der Strecke AC.” - David Hilbert: Grundlagen der Geometrie
  2. Lásd: Hilbert: Grundlagen der Geometrie 4. o.