順序公理

希爾伯特公理系統中的第二組公理

順序公理(axiom of order)是基本的幾何公理之一,指希爾伯特-歐幾里得幾何系統公理表中的第二組公理,是建立點的位置關係的公理,包括以下四條:1.如果B點介於A和C兩點之間,那麼A,B,C是一直線上的三個不同的點,並且B也介於C和A之間;2.對於任何不同的A,B兩點,在直線AB上至少有一點C,使得B介於A和C之間;3.在一直線上任何不同的三點中,至多有一點介於其餘兩點之間;4.(帕施公理)設A,B,C是不在同一直線上的三點,a是平面ABC上的一直線,它不通過A,B,C中任何一點,如果a有一點介於A和B之間,那麼a必還有一點介於A和C或B和C之間 。

正文


Hilbert的《幾何基礎》的五組公理之一:

順序公理:


II1 若點B介於兩點A,C之間,則A,B,C是一直缐上的互異點,且B也介於C,A之間。
II2 對於任意兩點A,B,直缐AB上至少有一點C存在,使B介於A,C之間。
II3 在共缐三點中,一點介於其它兩點間的情況不多於一次。
II4 設A,B,C是不共缐的三點,a是平面ABC上不通過A,B,C中任一點的一直缐,則若a有一點介於A,B之間那末它必還有一點介於A,C之間或介於B,C之間。

相關條目


數學公里