跳转到内容

希尔伯特公理

维基百科,自由的百科全书

希尔伯特公理(Hilbert's Axioms)是欧几里得几何的现代化基石,由大卫·希尔伯特于1899年在其著作 Grundlagen der Geometrie(中译:《几何基础》)中提出。

除本套公理以外,亦有其他对欧几里得几何的公理化尝试,如塔斯基公理​(英语以及伯克霍夫公理​(英语

公理内容

[编辑]

希尔伯特的公理系统由六种基本符号组成。其中,有三种基本对象:直线(简称「线」)、平面(简称「面」);以及三种基本关系

  • 夹(betweenness):一种联系点的三元关系;
  • 落(lies on)/含(containment):一组三种二元关系,分别联系点与直线、点与平面,以及平面与直线;
  • 同(congruence):一组两种二元关系,分别联系两条线段或两个,均以中缀符号 ≅ 表示。

上面提到的线段、角,以及更多诸如三角形之类的概念,均可在点线面的基本对象上,运用夹与含这两种基本关系加以定义。下面所列出的公理中,除非特别声明,所有提及的对象都是互异的。

一、所在

[编辑]
  1. 给定任意两点 AB,存在一条直线 a 同时包含其二者。这记作 AB=aBA=a。 除了「a 包含 AB」,也可以用其他方式表述,例如:「Aa 上的点」「a 穿过了 AB」「a 连接了 AB」。 若点 A 同时落于两条直线 ab 上,也可以说「直线 ab 有公共点 A」。
  2. 给定任意两点 AB,最多只存在一条直线同时包含其二者。这也是说,若对于相异两点 BC,同时有 AB=a 与 AC=a,那么有 BC=a
  3. 一条直线上至少存在两个点;又,至少存在不共线的三个点。
  4. 对于任意不共线三点 ABC,存在一同时包含其三者的平面 α。这记作 ABC=α。 亦可说是「ABC 落于 α 上」「ABCα 上的点」。
  5. 对于任意不共线三点 ABC,最多只存在一个平面同时包含其三者。
  6. 若在直线 a 上的两点 AB 同时落于平面 α 上,那么 a 上的任意点均落于 α 上。又说「直线 a 落于平面 α 上」。
  7. 若平面 αβ 均包含点 A,那么它们至少共同包含另一点 B
  8. 至少存在不共面的四个点。

二、顺序

[编辑]
  1. 对于互异三点 ABC,若 B 夹在 AC 间,则 B 亦夹在 CA 间,且存在一条直线同时包含 ABC
  2. 对于互异两点 AC,至少存在一点 B 落于直线 AC 上,使得 C 夹在 AB 之间。
  3. 直线上的任意三点最多只能有一个夹在其余两者之间。
  4. 给定三点 ABC 与平面 ABC 上不穿过三点中任意一个的直线 α,若 α 穿过线段 AB,则其必然同时穿过线段 ACBC 其中之一。(Pasch 公理​(英语

三、等同

[编辑]
  1. 若点 AB 在直线 a 上且点 A' 在直线 a' 上(可与 a 相同),总可以在 a' 上关于 A' 的任意一侧找到点 B',使得线段 ABA'B' 等同。这记作 ABA'B' 每条线段均与其自身等同,也就是说 ABAB。(自反性) 此公理就是在说,给定任意线段,可以将其“摆”在任意直线上的任意点的任意一侧。
  2. 若线段 AB 同时与线段 A'B'A''B'' 等同,那么 A'B' 亦等同于 A''B''。(传递性
  3. ABBC 为同一直线上仅共点于 B 的两条线段,以及 A'B'B'C' 为另一直线(可与前同)上仅共点于 B' 的两条线段;若 ABA'B'BCB'C'ou,则 ACA'C'
  4. 令 ∠(h,k) 为一角。给定一端点 O' 的射线 h' 以及其一侧的半平面 α'α' 上存在且仅存在一条射线 k' 使得 ∠(h,k) 或 ∠(k,h) 与 ∠(h',k') 等同。这记作 ∠(h,k) ≅ ∠(h',k')。
  5. 若角 ∠(h,k) 等同于角 ∠(h',k'),且 ∠(h',k') 等同于角 ∠(h'',k''),那么 ∠(h,k) 等同于 ∠(h'',k'')。(传递性)
  6. 若在三角形 ABCA'B'C' 中有 ABA'B'ACA'C'、∠BAC ≅ ∠B'A'C',那么可以得到 ∠ABC ≅ ∠A'B'C'(替换字母即可知 ∠ACB ≅ ∠A'C'B' 亦成立)。

四、平行

[编辑]
  1. 对于直线 a 与其外一点 A,其二者所确定的平面内至多有一条直线经过 A 而不与 a 相交。(欧几里得公理

五、连续

[编辑]
  1. ABCD 为任意两条线段,总存在一数 n,使得从 A 出发沿射线 AB 连续构造的 n 条与 CD 等同的线段会经过 B。(阿基米德公理
  2. 欲从既有直线上的点构造新的直线,使得其仍然满足原先元素之间的关系且符合公理一到三以及四-1,这样的尝试是不可能的。(直线完备性公理)

参考文献

[编辑]