24.欧几里得和非欧几里得连续区域
一张大理石桌摆在我的面前,眼前展开了巨大的桌面。在这个桌面上,我可以这样地从任何一点到达任何其他一点,即连续地从一点移动到“邻近的”一点,井重复这个过程若干(许多)次,换言之,亦即无需从一点“跳跃”到另一点,我想读者一定会足够清楚地了解我这里所说的“邻近的”和“跳跃”是什么意思(如果他不过于咬文嚼字的话).我们把桌面描述为一个连续区来表示桌面的上述性质。
我们设想已经做好了许多长度相等的小杆,它们的长度同这块大理石板的大小相比是相当短的。我说它们的长度相等的意思是,把其中之一与任何其他一个适合起来,它们的两端都能彼此重合,其次我们取四根小杆放在石板上,构成一个四边形(正方形),这个四边形的对角线的长度是相等的,为了保证对角线相等,我们另外用了一根小测杆。我们把几个同样的正方形加到这个正方形上,加上的正方形每一个都有一根杆是与第一个正方形共用的。我们对于这些正方形的每一个都采取同样的做法,直到最后整块石板都铺满了正方形为止。这个排列是这样的,一个正方形的每一边都隶属于两个正方形,每一个隅角都隶属于四个正方形。
如果我们能够把这项工作做好而没有遇到极大的困难,那只要三个正方形相会于一隅角,那么第四个正方形的两个边就已经摆出;因此,这个正方形下余两边的排列位置也就已经完全确定下来,但是这个时候我就不能再调整这个四边形使它的两根对角线相等了.如果这两根对角线出于它们的自愿而相等,那么这是石板和小杆的特别恩赐,对此我只能怀着感激的心情而惊奇不己。如果这个作同法能够成功的话:那么这种令人惊奇的事情我们必然会经验到许多次。
如果凡事都进行得真正顺利,那么我就说石板上的诸点对于小杆而言构成一个欧几里得连续区域,这里小杆曾当作“距离”(线间隔)使用。选取一个正方形的一个隅角作为“原点”我就能够用两个数来表示任一正方形的任一隅角相对于这个原点的位置。我只须说明,我从原点出发,向“右”走然后向“上”走,必须经过多少根杆子才能到达所考虑的正方形的隅角。这两个数就是这个隅角相对于由排列小杆而确定的“笛卡儿坐标系”的“笛卡儿坐标”。
如果将这个抽象的实验作如下改变,我们就会认识到一定会出现这种实验下能成功的情况。我们假定这些杆于是会:“膨胀”的,膨胀的量值与温度升高的量值成正比。我们将石板的中心部分加热,但周围不加热,在这个情况下,我们仍然能够使两根小杆在桌面上的每一个位置上相互重合。但是在加热期间我们的正方形作图就必然会受到扰乱,因为放在桌面中心部分的小杆膨胀了,而放在外围部分的小杆则不膨胀。
对于我们的小杆——定义为单位长度——而言,这块石板不再是一个欧几里得连续区,而且我们也不再能够直接借助于这些小杆来定义笛卡儿坐标,困为上述的作图法已无法实现了。但是由于有一些其他的事物并不象这些小杆那样受桌子温度的影响(或许丝毫不受影响),因而我们有可能十分自然地支持这样的观点,即这块石板仍是一个“欧几里得连续区”,为此我们必须对长度的量度或比较作一更为巧妙的约定,才能够满意地实现这个欧几里得连续区。
但是如果把各种杆子(亦即用各种材料做成的杆子)放在加热不均匀的石板上时它们对温度的反应都一样,并且如果除了杆子在与上述实验相类似的实验中的几何得为之外没有其他的方法来探测温度的疚,那么最好的办法就是:只要我们能够使杆子中一根的两端与石板上的两点相重合,我们就规定该两点之间的距离为1;因为,如果不这样做,我们又应该如何来下距离的定义才不致在极大的程度上犯粗略任意的错误呢?这样我们就必须舍弃笛卡儿坐标的方法,而代之以不承认欧几里得几何学对刚体的有效性的另一种方法。读者将会注意到,这里所描述的局面与广义相对性公设所引起的局面(第23节)是一致的。