24小时热门版块排行榜    

CyRhmU.jpeg
南方科技大学公共卫生及应急管理学院2026级博士研究生招生报考通知(长期有效)
查看: 2726  |  回复: 12

caal1984

新虫 (初入文坛)

[交流] 非欧几何证伪了欧几里得几何吗已有8人参与

非欧几何与欧几里得即和的公理前提是矛盾的,那么为何会产生非欧几何,其产生是由于经验的发现还是公理在想象上的更改?非欧几何产生后,对欧几里得即和是否产生了影响?
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

sskkyy

银虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
两个并行的理论,定义的集合不一样。欧氏空间定义的集合是R^n, 非欧几何定义的集合是球面或者上半平面。非欧几何的发现让人们对度量和空间的弯曲有了更多了解。

发自小木虫Android客户端
2楼2016-01-19 21:37:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mygt_hit

专家顾问 (职业作家)

★ ★ ★
小木虫: 金币+0.5, 给个红包,谢谢回帖
Edstrayer: 金币+2 2016-01-21 00:29:26
外行来弄个斧。
欧氏几何和非欧几何的区别在于第五公设。欧氏几何的第五公设是过直线外一点有且只有一条平行线,非欧几何的第五公设则是过直线外一点没有平行线或有不止两条平行线。如果没有平行线,则是黎曼球面几何,正高斯曲率;如果有无穷多平行线,应该是另外的非欧几何,名字我不清楚,副高斯曲率。大概是这样。
欧氏几何和非欧几何不矛盾,是并行不悖的两套体系。根据目前的认识,从宇宙宏观尺度来看,小范围内可看作欧氏几何、即平直空间,高斯曲率为零;大尺度上则是非欧几何,至于是正高斯曲率还是副高斯曲率,好像没有定论。
知其然,知其所以然。
3楼2016-01-19 23:26:42
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

犍为真人

新虫 (初入文坛)


小木虫: 金币+0.5, 给个红包,谢谢回帖
在数学上是不存在“证伪”一说的。数学不是科学。只有科学(像物理、化学)才会被证伪。
因为数学是完全不依赖于实验,而纯粹靠演绎归纳而得出的。
欧式几何与非欧几何,从数学角度看,完全不存在矛盾。他们之间之所以看上去矛盾,是因为它们对某些术语的定义不同。
举个例子,小学时候,我们计算 1-2,得出的结果是无意义。到了中学,1-2 的结果是 -1 。中学时候计算 1/0 得出的结果是无意义,而大学 1/0 = 正无穷大。这些完全不存在矛盾,没有正确与错误之分。
数学永远不会被证伪(不包含数学猜想)。
而科学,以物理来说,则所有的定理都有可能被证伪,所有的定理都相当于数学中的数学猜想。
8楼2016-01-22 21:26:26
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

樱轩

铁杆木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
原谅我文不对题。我想起了阿西莫夫的一句话:“一些人认为地球是平的,他们错了;还有一些人认为地球是圆的,他们也错了;但是如果你认为他们错的程度一样多,那么你比他们还错。”其实就是一个认知程度深次化的问题。

发自小木虫Android客户端
10楼2016-01-23 18:27:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

王姝乙

新虫 (初入文坛)


小木虫: 金币+0.5, 给个红包,谢谢回帖
非欧几何的发展是源于数学家对于平行公设的探究。相比于《几何原本》中其他公设,平行公设描述的十分冗长复杂,欧几里得以后的每个时代里都有数学家想要证明或简化替代它,都没有成功。在对平行公设进行证明的过程中,有数学家想利用反证,用完全不同的公设替代第五公设,发现并不能推出矛盾,反而得到了一个完全不同的完整的公理体系,但他们不敢承认自己的发现。直到高斯,小鲍耶,罗巴切夫斯基各自独立发现非欧几何公理体系,罗巴切夫斯基系统而完整地公开发表其成果,才宣告非欧几何确立,后来黎曼提出曲率空间的概念,对于三维空间有以下三种情形:曲率为正常数、曲率为负常数、曲率恒为零,分别对应黎曼几何(黎曼自己提出的另一种非欧几何)、罗氏非欧几何和欧几里得几何。后来爱因斯坦将黎曼几何用到广义相对论的描述中,非欧几何有了现实物理模型。所以非欧几何是对欧氏几何的扩充,他们并不矛盾。想要更多了解这一部分可以找找看一般数学史的书都有

发自小木虫Android客户端
9楼2016-01-23 17:45:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

caal1984

新虫 (初入文坛)

引用回帖:
3楼: Originally posted by mygt_hit at 2016-01-19 23:26:42
外行来弄个斧。
欧氏几何和非欧几何的区别在于第五公设。欧氏几何的第五公设是过直线外一点有且只有一条平行线,非欧几何的第五公设则是过直线外一点没有平行线或有不止两条平行线。如果没有平行线,则是黎曼球面几 ...

恩,您是很专业的!那非欧几何是在经验上证实后才得到发展的吗?
其实可以说,经验上很难证伪一个理论,对吧
4楼2016-01-20 15:56:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sskkyy

银虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
3楼: Originally posted by mygt_hit at 2016-01-19 23:26:42
外行来弄个斧。
欧氏几何和非欧几何的区别在于第五公设。欧氏几何的第五公设是过直线外一点有且只有一条平行线,非欧几何的第五公设则是过直线外一点没有平行线或有不止两条平行线。如果没有平行线,则是黎曼球面几 ...

负常曲率几何称为双曲几何。

发自小木虫Android客户端
5楼2016-01-20 18:58:26
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mygt_hit

专家顾问 (职业作家)

★ ★ ★
小木虫: 金币+0.5, 给个红包,谢谢回帖
Edstrayer: 金币+2 2016-01-21 00:30:21
引用回帖:
4楼: Originally posted by caal1984 at 2016-01-20 15:56:44
恩,您是很专业的!那非欧几何是在经验上证实后才得到发展的吗?
其实可以说,经验上很难证伪一个理论,对吧...

非欧几何应该是先出现在理论上,就像是纯粹的数学概念。后来有观测证明了物理存在,好像就是1919年爱丁顿用光线偏折证明爱因斯坦的广义相对论,也反映了空间的弯曲性。还有个典型的非欧几何模型是球面几何,这是黎曼的功劳。

理论应该是可以证伪的,要是不能证伪也不能称作科学了。可能不同的理论证实或证伪难度不同。

发自小木虫Android客户端
知其然,知其所以然。
6楼2016-01-21 00:28:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

连续统假说i

木虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
Euclid Geometry是被证明过了的真理,不可能再被证伪(这是数学的特征),只是后人发现它是不完备的.

正如2F所言,二者是并行不悖的.实质上是三者:Bolyai-Lobachevsky Geometry(双曲几何)、Euclid Geometry(平直几何)、Riemann Geometry(低次元为椭圆几何).
数学与吾等同在!
7楼2016-01-21 06:59:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 caal1984 的主题更新
普通表情 高级回复(可上传附件)
信息提示
请填处理意见