微分几何-陈维桓-从平行公理说起.pptVIP

从平行公理说起 微分几何的历史和现状简介 平行公理 欧几里德在他的名著《几何原本》中，以5个基本假设为基础，把当时人类已经掌握的纷杂的几何知识变成一个演绎系统，使用逻辑推理方法，一共推出了465个定埋。 这个系统所依据的只是几个虽然没有加以证明，但是看起来相当明显，并且合乎人类经验的假设。这几个“不证自明”的事实叫做公理(axioms)。 平行公理 这五个公理是 1. 两点间必可连一条直线； 2. 直线可以任意延长； 3. 已知圆心及半径可作一圆； 4. 凡直角皆相等； 5. 两直线 AB，CD 与另一直线交于 E，F，若 ，则两直线在 BD 侧相交。 平行公理 第五个公理就是有名的平行公理。 它不像前面的四个公理那么自明，亦即那么简单明了，那么众所公认。 虽然前人并不怀疑欧氏几何描述物理空间的真实性，但从有《原本》开始，大家就怀疑平行公理是否可以由其他的四个公理推出，或者可以用另一个更自明的公理来代替。 平行公理通常以如下的等价形式出现：过直线外一点有唯一的一条直线与其平行。所谓平行就是永不相交的意思，这就牵涉到“无穷”——一个不很自明、无法亲身经验到的观念。 欧几里得不采取后一种形式的平行公理，也许也是要使