絕對幾何公理系統

定義

絕對幾何公理系統(absolute geometric axiom system)一種重要的幾何公理系統.指在希爾伯特一歐幾里得幾何系統公理表中去掉平行公理後，所構成的幾何公理系統.因此，絕對幾何公理系統是由三個基本元素(點、直線、平面)、三個基本關係(結合、順序、契約)和四組公理(共19條)構成.這四組公理包括:第一組8條結合公理(參見“結合公理”)，第二組4條順序公理(參見“順序公理”)，第三組5 條契約公理(參見“契約公理”)，第四組2條連續公理(參見“連續公理”).

基本介紹

• 中文名：絕對幾何公理系統
• 外文名：absolute geometric axiom system
• 定義：在希爾伯特一歐幾里得幾何系統公理表中去掉平行公理後，所構成的幾何公理系統