首页 >出版文学> 狭义与广义相对论浅说>第12章 两者的阶段性1

第12章 两者的阶段性1

空间坐标的定义也出现不可克服的困难,如果这个观察者引用他的标准量杆(与圆盘半径相比,一根相当短的杆),放在圆盘的边上并使杆与圆盘相切,那么,从伽利略坐标系去判断,这根杆的长度就小于1,因为,按照第12节,运动的物体在运动的方向发生收缩。另一方面,如果把量杆沿半径方向放在圆盘上,从K去判断,量杆下会缩短。那么,如果这个观察者用他的量杆先量度圆盘的圆周,然后量度圆盘的直径,两者相除,他所得到的商将不会是大家熟知的数π=3.14?,而是一个大一些的数;而对于一个相对于K保持静止的圆盘,这个操作和运算当然就会准确地得出π。这证明,在转动的圆盘上,或者普遍他说,在一个引力场中,欧几里得几何学的命题并不能严格地成立,至少是如果我们把量杆在一切位置和每一个取向的长度都算作1的话,因而关于直线的观念也就失去了意义:所以我们不能借助于在讨论狭义相对论时所使用的方法相对于圆盘严格地来了坐标x,y,z的定义;而只要事件的坐标和时间的定义还没有给出,我们就不能赋予(在其中出现这些事件的)任何自然律以严格的意义。
这样,所有我们以前根据广义相对论得出的结论看来也就有问题。在实际情况中我们必须作一个巧妙的迂回才能够严格地应用广义相对论的公设。下面我将帮助读者对此作好准备。
欧几里得和非欧几里得连续区域一张大理石桌摆在我的面前,眼前展开了巨大的桌面。在这个桌面上,我可以这样地从任何一点到达任何其他一点,即连续地从一点移动到“邻近的”一点,井重复这个过程若干(许多)次,换言之,亦即无需从一点“跳跃”到另一点,我想读者一定会足够清楚地了解我这里所说的“邻近的”和“跳跃”是什么意思(如果他不过于咬文嚼字的话)。我们把桌面描述为一个连续区来表示桌面的上述性质。
我们设想已经做好了许多长度相等的小杆,它们的长度同这块大理石板的大小相比是相当短的。我说它们的长度相等的意思是,把其中之一与任何其他一个适合起来,它们的两端都能彼此重合,其次我们取四根小杆放在石板上,构成一个四边形(正方形),这个四边形的对角线的长度是相等的,为了保证对角线相等,我们另外用了一根小测杆。我们把几个同样的正方形加到这个正方形上,加上的正方形每一个都有一根杆是与第一个正方形共用的。我们对于这些正方形的每一个都采取同样的做法,直到最后整块石板都铺满了正方形为止。这个排列是这样的,一个正方形的每一边都隶属于两个正方形,每一个隅角都隶属于四个正方形。
如果我们能够把这项工作做好而没有遇到极大的困难,那只要三个正方形相会于一隅角,那么第四个正方形的两个边就已经摆出;因此,这个正方形下余两边的排列位置也就已经完全确定下来,但是这个时候我就不能再调整这个四边形使它的两根对角线相等了。如果这两根对角线出于它们的自愿而相等,那么这是石板和小杆的特别恩赐,对此我只能怀着感激的心情而惊奇不己。如果这个作同法能够成功的话:那么这种令人惊奇的事情我们必然会经验到许多次。
如果凡事都进行得真正顺利,那么我就说石板上的诸点对于小杆而言构成一个欧几里得连续区域,这里小杆曾当作“距离”(线间隔)使用。选取一个正方形的一个隅角作为“原点”我就能够用两个数来表示任一正方形的任一隅角相对于这个原点的位置。我只须说明,我从原点出发,向“右”走然后向“上”走,必须经过多少根杆子才能到达所考虑的正方形的隅角。这两个数就是这个隅角相对于由排列小杆而确定的“笛卡儿坐标系”的“笛卡儿坐标”。
如果将这个抽象的实验作如下改变,我们就会认识到一定会出现这种实验下能成功的情况。我们假定这些杆于是会:“膨胀”的,膨胀的量值与温度升高的量值成正比。我们将石板的中心部分加热,但周围不加热,在这个情况下,我们仍然能够使两根小杆在桌面上的每一个位置上相互重合。但是在加热期间我们的正方形作图就必然会受到扰乱,口为放在桌面中心部分的小杆膨胀了,而放在外围部分的小杆则不膨胀。
对于我们的小杆定义为单位长度而言,这块石板不再是一个欧几里得连续区,而且我们也不再能够直接借助于这些小杆来定义笛卡儿坐标,困为上述的作图法已无法实现了。但是由于有一些其他的事物并不象这些小杆那样受桌子温度的影响(或许丝毫不受影响),因而我们有可能十分自然地支持这样的观点,即这块石板仍是一个“欧几里得连续区”,为此我们必须对长度的量度或比较作一更为巧妙的约定,才能够满意地实现这个欧几里得连续区。
但是如果把各种杆子(亦即用各种材料做成的杆子)放在加热不均匀的石板
上时它们对温度的反应都一样,并且如果除了杆子在与上述实验相类似的实验中的几何得为之外没有其他的方法来探测温度的疚,那么最好的办法就是:只要我们能够使杆子中一根的两端与石板上的两点相重合,我们就规定该两点之间的距离为1;因为,如果不这样做,我们又应该如何来下距离的定义才不致在极大的程度上犯粗略任意的错误呢?这样我们就必须舍弃笛卡儿坐标的方法,而代之以不承认欧几里得几何学对刚体的有效性的另一种方法。读者将会注意到,这里所描述的局面与广义相对性公设所引起的局面(第23节)是一致的。
高斯坐标按照高斯的论述,这种分析方法与几何方法结合起来的处理问题的方式可由下述途径达成,设想我们在桌面上画一个任意曲线系(见图4)。
V=1V=3V=2U=1PU=2图4我们把这些曲线称作u曲线,并用一个数来标明每一根曲线,在图中画出了曲线u=1,u=2和u=3,
我们必须设想在曲线u=1,u=2
之间画有无限多根曲线,所有这些曲线对应于1和2之间的实数,这样我们就有一个u曲线系,而且这个“无限稠密”曲线系布满了整个桌面,这些u曲线必须彼此不相交,并且桌面上的每一点都必须有一根而且仅有一根曲线通过。因此大理石板面上的每一个点都具有一个完全确定的u值。我们设想以同样的方式在这个石板面上画一个v曲线系。这些曲线所满足的条件与u曲线相同,并以相应的方式标以数字,而且它们也同样可以具有任意的形状,因此,桌面上的每一点就有一个u值和一个v值。我们把这两个数称为桌面的坐标(高斯坐标),例如图中的P点就有高斯坐标u=3,
v=1。这样,桌面上相邻两点P和P’就对应于坐标P:
其中du和dv标记很小的数。同样,我们可以用一个很小的数ds表示P和P‘之间的距离(线间隔),好象用一根小杆测量得出的一样。于是,按照高斯的论述,其中g11,g12,g22是以完全确定的方式取决于u和v的量。量
g11,g12,g22决定小杆相对于u曲线和v曲线的行为,因而也就决定小杆相对于桌面的行为。对于所考虑的面上的诸点相对于量杆构成一个欧几里得连续区的情况,而且只有在这个情况下,我们才能够简单地按下式来画出以及用数字标出u曲线和v曲线:
在这样的条件下,u曲线和v曲线就是欧几里得几何学中的直线,并且它们是相互垂直的。在这里,高斯坐标也就成为笛卡儿坐标。显然,高斯坐标只不过是两组数与所考虑的面上的诸点的一种缔合,这种缔合具有这样的性质,即彼此相差很微小的数值各与“空间中”相邻诸点相缔合。