数学家可以选择研究不同的"宇宙",每个宇宙中"有意义"的东西不同:
宇宙 1:仿射平面(Affine Plane)
没有特殊的点,没有特殊的方向。在这个宇宙中,距离和角度是有意义的,但"从原点出发的距离"没有意义——因为没有原点。
宇宙 2:带原点的平面
有一个特殊的点(原点),但没有特殊的方向。在这个宇宙中,到原点的距离变得有意义了。但"与 x 轴的夹角"仍然没有意义——因为没有特殊的方向。
宇宙 3:带原点和"上"方向的平面
这就是我们在二维平面上画函数图像时用的宇宙。有一个原点,有一个特殊的"上"方向。在这个宇宙中,角度也变得有意义了——因为我们可以测量"从 x 轴向上多少度"。
Step 1:坐标系是人发明的工具,不是空间本身的属性。空间不知道什么是 x 轴、y 轴。
Step 2:我们发明坐标系来帮助计算,但必须确保最终答案不依赖于坐标系的选择。
Step 3:有意义的量是那些不随坐标系改变的量:距离、角度、面积。人为的量是那些随坐标系改变的量:x 坐标、y 坐标。
Step 4:坐标系做了所有计算工作,却在最终答案中被隐藏。就像舞台工作人员:他们让演出成为可能,但观众看不到他们。
Step 5:不同的"宇宙"有不同的有意义的东西。仿射平面中没有原点,所以"到原点的距离"没有意义。带原点的平面中,这个距离就有意义了。
你很少在教科书里听到的东西(却是最重要的):