勵志

勵志人生知識庫

帕施公理

帕施公理是幾何學中關於順序關係的一條重要公理。它由德國數學家帕施(Moritz Pasch)於1882年提出。帕施公理是希爾伯特公理系統中順序公理組第四個公理。這個公理的內容是:設A,B,C是不共線的三點,a是平面ABC上不通過A,B,C中任一點的直線,若a上有一點介於A,B之間,則它必有另一點介於A,C之間或B,C之間。

帕施公理是證明線段存在內點的主要工具,也是歷史上第一個公理系統的一部分。帕施在《新幾何講義》一書中給出了這個公理系統,這個系統包括射影幾何公理系統,他是通過純邏輯的探討,第一次從理論上提出了形式公理學的思想。