球面上的几何是黎曼几何，那球面上的蚂蚁感受到的物理世界是欧氏几何吗？ 第1页
1
banach-50 网友的相关建议:
假设蚂蚁足够聪明，知道怎么找到局部最短的线段（称之为测地线），并且蚂蚁知道角度的概念，那么它们会发现在它们的球面世界上，一个测地三角形的内角和是大于180°的，且这个内角和与180°相差的量与该测地三角的面积有关。
现在让一个蚂蚁通过神秘方式穿越到一张平坦的纸上，它会惊讶地发现测地三角形的内角和全是180°，自然就发现原来的空间和现在的空间的结构不一样。
事实上，你在马鞍面（或者说薯片）的鞍点附近画测地三角，内角和是小于180°的，这类几何模型称为双曲模型，欧氏空间和球面也是两种模型，它们三者对应与负曲率，0曲率，和正曲率的空间模型，而这些空间都是黎曼几何研究的范畴。所以题主说的“球面上的几何就是黎曼几何”这句话是不确切的。
黎曼几何所在的背景：黎曼流形 首先就告诉了你这个几何对象上任何两个切向量的内积是怎样定义的，于是你可以定义长度和角度，然后计算一些特殊的量来研究这个空间的性质。
wang-shi-80-62 网友的相关建议:
军事，我因生在中国而骄傲！
https://www.zhihu.com/video/10043012759529881601
相关话题
椭圆的周长如何计算？为什么空间是三维？
为什么圆锥曲线的二级结论那么多而其他章节的就相对要少？
广义相对论为何选择了流形？
为什么大学数学主要学习代数，而不是几何呢？
狼想吃掉羊，狮子要保护羊，他能做到吗？
二维空间有四色定理，那三维空间中存在 n 色定理吗？如果有，那么是几色定理？
所有正方形的数量与所有长方形的数量相等吗？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
什么是直？什么是直线？
前一个讨论
单复变函数的曲面积分有意义吗？
相关的话题
既然点没有长度，为什么线段就有长度？为什么阿基米德不肯向欧几里得学习？
高等数学中学泰勒公式，感觉几何意义很模糊，怎么理解？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
如果换一种几何，圆周率的值会变么？
我们如何在绘画中表现时间的流逝？
为什么偏序集里的哈斯图不能有三角形呢？求证明过程？
曲率公式是怎么推导的？
共有几个三角形？
在一个边长一米的立方体容器内装满圆球，使用直径多少的相同圆球能使装入的圆球总体积达到最大值？
是否所有简单闭曲线都同胚与圆周？
如何看待卡西·曼夫妇发现的可无缝密铺平面的五边形？
曲线围成的面积存在但是真的可求吗？还是说看作一种定义？
微分几何中为什么要用线性函数的观点来看切向量?
蝴蝶定理有多少种证法？
正△ABC，BD=AE，AD、CE交于F，M是AC中点，∠BFM=150°，BD/DC是多少？
逃离丧尸包围的游戏，你能否逃生？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
两点之间线段最短是公理吗？
大家如何理解过去和未来？
一个拓扑流形的不同微分结构是否一定给出在拓扑上同胚的切丛？
康德会如何评价非欧几何？
一道初三数学几何题。目前用arctan和tan的无脑计算可以求出来，请问还有其他方法吗？向量？或其它？
任意给一闭合光滑平面曲线，该曲线每个点都受一个法向的相等的力。那么该曲线所受的合外力是否为零？
如何看待卡西·曼夫妇发现的可无缝密铺平面的五边形？
△ABC中，tanA＋tanB＋tanC＝tanA·tanB·tanC有没有优美直观一点的几何证明？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？