希尔伯特几何公理.pdfVIP

佛山石门中学高二 （2 ）邓乐涛 、符号及一些说明 有三组不同的对象：点，直线，平面 点用 A, B, C,D……来表示； 直线用 a, b, c, d 来表示； 平面用点称为直线几何的元素，点和直线称为平面几何的元素，点、直线和平面称为 立体几何的元素 那么点，几何元素之间又有一定的相互关系 A a AE a ① 点 在直线 上： ② 点 A 在平面 3 上：AQa a a±： fluff ③ 直线 在平面 （直线的每一点都在平面上） ④ 点 B 在点 A 与点 C 之间:B AC （我自己规定的符号） E ⑤ 线段 AB 与 CD 相等:AS =CD （原书是用三号的，不过对于我们不常见，所 以我用了二号） ⑥ 艺与 ZCOD 相等：AOB二丄 COD 等等 （线段，角之类的能在点线面下给出定义，具体在叙述公理的时候再说） 在希尔伯特几何里面，其实点直线和平面是三个未定义的数学对象，在上面给的最基本的关系 也是没有 定义的，也就是说用什么来代表这些东西都是可以的，正如希 尔伯特所说“我们必定可以用桌子、椅子、啤酒杯来代替点、线、面 ”。最简 （ X, y ）, tte |Av-hSy+C 0}, 单的例子就是解析几何：我们定义点是实数对 定义线是 刃 二 其实在这 个定义下， “几何”已经失去了 “直观”的形式了，因为在这个定义下的几何图形就变成了毫无几何直观的数字了，只 是我们方便研究又将它画在了坐标系中而已。 我这里的关系符号E, U,二并不来自于集合论，不要混淆，要再强调的是他们本身没有含义，我 只是借用 过来化简论述罢了。 总之，希尔伯特几何，就是将直观地几何语言（欧氏几何）抽象成了逻辑语言，我们所有的几何 定理都 可以用逻辑推理得到。（其实希尔伯特几何就是完备化的欧氏几 何） I 公理 关联公理 本组公理有八条，是前面所提的点，直线，平面这三组对象之间建立的一种联系： （为了方便论述，以后说二、三……点的，直线或平面是，都是指不同的点，直线或平面） 11： A B, 对于两点 和 恒有一直线弘使得（存在性）； 12： A fie fl 对于两点 和氏 至多有一直线/使得几 （唯一性）； 1, 2, （对于 我们可以说两点确定一直线） 13：—直线上至少有两点，至少有三点不在同一直线上； 14： A, B C, a EGEff ； 对于不在同一直线的三点 和 恒有一平面 使得化 （存在性） A, 对于任一平面《，恒有一点 使得川€盘； Is ： A, B C, a CEff ； 对于不在同一直线的三点 和 至多有一平面 使得礼民 （唯一 性） 4, 5, （对于 我们可以说三点确定一平面） 16：若且乩 B E ff, 贝 y 口 uflf; 17：若两平面厲，卩有一个公共点 A,则他们至少还有一个公共点 B ； Is ：至少有四点不在同一个平面上。 以上。 其实我想用形式语言写出来的，但是实在书上的太难翻译，而且符号难打，所以放弃了