JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

度规:时空的尺子

如果时空会弯曲,那就得有个东西在里面记录距离与时长。这位记账员就是度规——一条写作 ds^2 的规则,它丈量时空中的每一段空隙,并悄悄把全部引力都存了进去。

每张地图都需要一根比例尺

想象一张画着山脉的纸质地图。光有地图毫无用处,直到有人在角落印上一根小小的比例尺:「1 厘米 = 10 千米」。正是这根小尺,把一幅没有意义的图画变成了真实的距离——它告诉你两座小镇到底相隔多远,哪怕在平铺的纸上它们看起来只是两个挨着的小点。在爱因斯坦的引力里,时空就是这片地貌,而扮演比例尺角色的那条规则,就叫[[spacetime-metric|度规]]。没有它,时空图不过是一幅涂鸦;有了它,每一段空隙都变成可测量的时长或距离。

为时空升级过的勾股定理

你其实已经见过度规那位平直的祖先。在一张普通的纸上,两个邻近点之间的距离遵循勾股定理:ds^2 = dx^2 + dy^2。在平直时空里、周围没有引力时,规则几乎一样,只是带上了时空间隔那个著名的减号——时间和空间是相减,而不是相加。我们在每个小步前面写一个「d」(dt、dx),表示「一小点」:

  flat paper (space only):     ds^2 =  dx^2 + dy^2 + dz^2     (all plus)

  flat spacetime (no gravity): ds^2 = -(c dt)^2 + dx^2 + dy^2 + dz^2
                                       |________|   |_________________|
                                        time term      space terms
                                       (the MINUS is what makes it spacetime)

   dt = a tiny step in time      c  = speed of light, to put time and
   dx,dy,dz = tiny steps in space     space in the same units
平直时空的度规:勾股定理,再给时间项加上一个叛逆的减号。

把它念出来,几乎是友好的:要找出两个相邻事件之间「真正的空隙」ds,就取过了多少时间、取在空间里移动了多少,再用那个减号把它们组合起来。每一项前面坐着的那些数字——这里不过是 +1 和 -1——就是度规的分量。它们是配方上的旋钮。在平直时空里,这些旋钮永不变动。而引力的全部把戏,就是让这些旋钮随地点而改变。

当尺子随地点而改变

关键的一跃在这里。在一个弯曲的曲面上——比如地球的表皮——比例尺不再处处相同。在赤道附近,一度经度横跨一大片汪洋;在极点附近,同样的一度却是你几乎一步就能跨过的小距离。地图上的坐标「经度」和「纬度」并没有变,可它们所代表的真实距离变了。制作地球仪的人正是靠让比例尺取决于你*身在何处*来把这件事记下来。这条随地点而变的比例尺规则,恰恰就是一个弯曲空间的度规。

   on the globe, the SAME coordinate step = DIFFERENT real distance

   pole   * . *          one step of 'longitude' here  =  tiny real gap
         *  .  *
        *   .   *
       *    .    *
  ====*=====.=====*====   one step of 'longitude' here  =  huge real gap
  (equator)                (so the metric's dial is bigger near the equator)

   the coordinates never changed --- only the metric (the scale) did
在弯曲曲面上,度规随位置变化:同样的坐标步长,对应不同的真实距离。

爱因斯坦的大胆在于:他说时空也是这么干的。在像太阳这样的重物附近,度规的分量——dt 和 dx 前面那些旋钮——会相对于它们的平直取值轻轻地胀大或缩小。深陷其中的钟会走慢一丝;尺子会伸长一点。正是这根尺子随地点而起的变化,被我们感受为引力。没有什么东西在「拉」你;质量附近的度规只是被「倾斜」了,使得最直的那条路也朝它弯过去。

度规承载着全部几何——以及全部引力

一旦你知道了处处的度规,你就知道了关于那片时空的一切几何信息。想求一条蜿蜒小径的长度?沿途把 ds 加起来。想知道一位旅行者腕表记下的时间?度规直接交给你。想要那条最直的路线——自由下落的行星和松手的苹果实际所走的测地线?它同样完全由度规所规定。度规不是关于时空的众多事实里的一项;它就是那一项,是从中读出每一次测量、每一条轨道的总规则。

  1. 距离与时长:用度规的配方把小步组合起来,再沿路径累加。这是得到真实长度或真实流逝时间的唯一途径。
  2. 曲率:去问当你四处移动时,度规的旋钮如何变化。如果它们扭转的方式是任何换图都无法消除的,那么这片时空就真的弯了——而这种曲率,就是由几何构成的引力。
  3. 运动:自由的物体沿测地线运动,也就是度规所容许的「最直」路径。弯曲度规,你就弯曲了这些路径——这正是行星绕轨、苹果坠落的原因。

诚实的小字注脚

再给你一颗定心丸:我们在这里一个东西也没推导,而且是故意的。算出一个真实的度规——比如太阳周围那个、你以后会以「史瓦西解」之名遇到的——所需的工具超出了本级。但那个*思想*完全用不着它们。度规是一根聪明的、懂得「看地方」的比例尺;曲率是这根比例尺拒绝被捋平;引力则是这种拒绝从内部感受起来的样子。把这幅图景记牢,将来你遇到那些方程时,它们就会像穿了正装的老朋友一样亲切。