Pasch-tétel

matematikai állítás

A Pasch-tétel a geometria egyik tétele, amely kimondja, hogy egy egyenes tetszőleges négy pontja mindig megjelölhető címkékkel úgy, hogy a pont az és között és ugyanakkor az és között legyen, a pont pedig az és és ugyanakkor a és között legyen.[1]

Története szerkesztés

Ezt a tételt Moritz Pasch vizsgálta először részletesen Vorlesungen über neuere Geometrie című könyvében, 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 a Pasch-axiómával együtt a Grundlagend der Geometrie első kiadásában. Azonban E. H. Moore amerikai matematikus 1902-ben bebizonyította, hogy ez az állítás levezethető Hilbert többi axiómájából, ezért a Grundlagen der Geometrie 1903-as második kiadásában már csak tételként szerepel az állítás.[2]

Kapcsolódó szócikkek szerkesztés

Hivatkozások szerkesztés

  • Moritz Pasch: Vorlesungen über neuere Geometrie, B. G. Teubner, Leipzig, 1882
  • David Hilbert: Grundlagen der Geometrie, B. G. Teubner, Leipzig, 2. kiadás, 1903
  • Victor Pambuccian: The axiomatics of ordered geometry: I. Ordered incidence spaces. Expositiones Mathematicae 29 (2011), 24-66.

Források szerkesztés

Jegyzetek szerkesztés

  1. „Sind irgend vier Punkte einer Geraden gegeben, so lassen sich dieselben stets in der Weise mit A, B, C, D bezeichnen, daß der mit B bezeichnete Punkt zwischen A und C und auch zwischen A und D und ferner der mit C bezeichnete Punkt zwischen A und D und auch zwischen B und D liegt.”
  2. Lásd: Hilbert: Grundlagen der Geometrie 5. o.