非欧几何.ppt

非欧几何 数学0913 陈婕 2009530060 非欧几里得几何 Non-Euclidean geometry 非欧几里得几何是一门大的数学分支，一般来讲 ，它有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里得几何不同的几何学，狭义的非欧几何只是指罗氏几何来说的，至于通常意义的非欧几何，就是指罗氏几何和黎曼几何这两种几何。 罗巴切夫斯基几何得来的背景 自从欧几里得提出第五公设（同一平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和小于两直角，则这两直线经无限延长后在这一侧相交以来），一些数学家在思考第五公设能不能不作为公设，而作为定理？能不能依靠前四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于“平行线理论”的讨论。 罗巴切夫斯基几何的背景 到了十九世纪二十年代，俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中，应用反证法，得出了两个重要的结论： 第一，第五公设不能被证明。 第二，在新的公理体系中展开的一连串推理，得到了一系列在逻辑上无矛盾的新的定理，并形成了新的理论 。即罗氏定理，这是第一个被提出的非欧几何学。 罗巴切夫斯基定理 罗巴切夫斯基几何的公理系统和欧几里得几何不同的地方仅仅是把欧式几何平行公理用“从直线外一点，至少可以做两条直线和这条直线平行”来代替，其他公理基本相同。因此，凡是不涉及到平行公理