标签:
教育杂谈 |
我们当今的科学无非是建立在种种假设的基础上的,就拿最基本的欧式几何来说,这是数学的基础,而它是建立在五个假设公理之上的,这些公理绝对是无法证明的,尽管常规的说法是不证自明。问题在于,我们必须承认全套欧式几何,否则我们都世界就会变得无法认识,既然这些用来描述世界的理论都建立在一些无法得到证明的假设上,那么我们当然可以宣称世界也是一种假设。
欧几里德几何的五条公理是:
1、任意两个点可以通过一条直线连接。
2、任意线段能无限延伸成一条直线。
3、给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
4、所有直角都全等。
5、若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交。
罗式几何
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。
不存在相似的多边形。
过不在同一直线上的三点,不一定能做一个圆。
黎曼几何
欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的,只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点,不能做直线和已知直线平行”?黎曼几何就回答了这个问题。
黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在,开创了几何学的一片新的广阔领域。
黎曼几何中的一条基本规定是:在同一平面内任何两条直线都有公共点(交点)。在黎曼几何学中不承认平行线的存在,它的另一条公设讲:直线可以无限演唱,但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。
近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是黎曼几何。在广义相对论里,爱因斯坦放弃了关于时空均匀性的观念,他认为时空只是在充分小的空间里以一种近似性而均匀的,但是整个时空却是不均匀的。在物理学中的这种解释,恰恰是和黎曼几何的观念是相似的。
此外,黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础,也应用在微分方程、变分法和复变函数论等方面。
三 种几何的关系
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命题都构成了一个严密的公理体系,各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。
在我们这个不大不小、不远不近的空间里,也就是在我们的日常生活中,欧式几何是适用的;在宇宙空间中或原子核世界,罗氏几何更符合客观实际;在地球表面研究航海、航空等实际问题中,黎曼几何更准确一些。
这就充分说明一点这些假设都有自己的“定义域”,那么在未知的领域是否还有更准确的假设呢?或许科幻文学说做的假设有一天在成为某个领域里的理论基础。及时假设失败了,但毕竟它为我们提供了一种新的思维模式,或许可以让我们有新的体悟和感受
1、任意两个点可以通过一条直线连接。
2、任意线段能无限延伸成一条直线。
3、给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
4、所有直角都全等。
5、若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交。
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线,当两端延长的时候,离散到无穷。
不存在相似的多边形。
过不在同一直线上的三点,不一定能做一个圆。
欧氏几何与罗氏几何中关于结合公理、顺序公理、连续公理及合同公理都是相同的,只是平行公理不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。那么是否存在这样的几何“过直线外一点,不能做直线和已知直线平行”?黎曼几何就回答了这个问题。
黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在,开创了几何学的一片新的广阔领域。
黎曼几何中的一条基本规定是:在同一平面内任何两条直线都有公共点(交点)。在黎曼几何学中不承认平行线的存在,它的另一条公设讲:直线可以无限演唱,但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。
近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是黎曼几何。在广义相对论里,爱因斯坦放弃了关于时空均匀性的观念,他认为时空只是在充分小的空间里以一种近似性而均匀的,但是整个时空却是不均匀的。在物理学中的这种解释,恰恰是和黎曼几何的观念是相似的。
此外,黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础,也应用在微分方程、变分法和复变函数论等方面。
三
这就充分说明一点这些假设都有自己的“定义域”,那么在未知的领域是否还有更准确的假设呢?