一个方程，一场双向对话
到现在，你已经见过广义相对论的大图景：引力不是一种横跨空旷空间去拉扯的力，而是时空本身的形状。一颗行星并不会感到有根绳子把它朝太阳拽过去——它只是沿着一条最笔直的可能路径，在被太阳弯曲了的区域里滑行。接下来自然要问的，是工程师式的问题：*给定一些物质，时空究竟会弯多少？*答案是一条单一的关系式，叫做爱因斯坦场方程。
下面就是它，物理学家在黑板上随手写的那种紧凑形式。别被吓到——读完这一课，你就能像读一句话一样读懂每一个符号：
8 pi G
G_uv = --------- T_uv
c^4
\___/ \_____/ \___/
| | |
geometry: a fixed matter & energy:
how curved number what is here and
spacetime is (nature's how it pushes/flows
at a point exchange
rate)
LEFT = curvature of spacetime (the stage's shape)
RIGHT = energy, mass & pressure (the actors filling it)右边：让时空去感受的东西
从右往左读这个方程，因为那才是因果的顺序。右边的符号 T 就是应力-能量张量——一个吓人的名字，背后却是个老实的小账房先生。在空间中的每一点，它把所有能弯曲时空的东西都清点一遍，再把这些总量打包进同一个对象里。关键在于，在爱因斯坦的宇宙里，能产生引力的不只是质量。
- 能量与质量——最显而易见的一项。恒星很重，所以它把时空弯得很厉害。（还记得 E = mc^2 吗：质量*本身*就是能量的一种形式，所以它们记在同一栏。）
- 压强与张力——同样质量下，一团炽热、被挤压的气体产生的引力，要比冷的*多*一点点，因为压强本身也算数。这听起来很奇异，但在恒星内部和宇宙早期，它起着决定性作用。
- 动量与流动——正在运动或流动的物质带着动量，而这同样会塑造时空。一个旋转的物体甚至会拖着时空一起转。
左边：时空弯曲了多少
左边的符号 G（即「爱因斯坦张量」）是几何那一侧：它精确地度量在同一点上时空弯曲得有多厉害。把它想成对这个问题的回答——「这片区域偏离那种平坦、乏味、什么都没发生的时空有多远？」凡是 G 为零的地方，时空就是平的，一个自由粒子会永远沿直线漂行。凡是 G 很大的地方，时空就剧烈弯曲，邻近的路径会弯折、挤到一起——而这恰恰就是我们*体验*为强引力的东西。
请注意，这个方程只把 G 与就在那里、在那一点上的物质联系起来。那么太阳怎么会在远处地球绕行的地方、在它们之间空荡荡的真空里弯曲空间呢？因为场方程是「黏连的」：一点上的曲率必须与紧邻一点的曲率平滑地衔接，于是弯曲会一路向外波及空旷的空间，随距离渐渐淡去——就像在蹦床正中压出的一个凹陷，会一路缓缓倾斜直到边缘。
中间：大自然的汇率
在几何与物质之间，坐着分数 8 pi G / c^4。这不是一个变量——它是一个单一的固定数值，是把千克和焦耳换算成曲率的那个汇率。其中藏着两个著名的常数。大写的 G 是牛顿引力常数，是设定引力整体强弱的那个旋钮。而 c^4——光速的四次方——是个坐在分母上的天文级巨大数字。
分母上那个巨大的 c^4，正是引力之所以显得如此孱弱的原因。它意味着你必须堆起*极其庞大*的能量，才能换来哪怕一丝丝曲率。整个地球——所有的山脉、海洋和熔融的地核——把时空弯曲得如此轻柔，以致它对一颗下落苹果的作用不过是一声耳语。唯有真正的质量怪物，比如坍缩成黑洞的恒星，才能把曲率拧到剧烈而清晰可见的地步。
惠勒的口诀：用一句话讲完整件事
物理学家约翰·惠勒把整条场方程提炼成一句令人难忘的话。这就是你该带出这一课的那一句：
"Spacetime tells matter how to move;
matter tells spacetime how to curve."
-- John A. Wheeler
matter --(curves)--> spacetime
^ |
| |
+-----(steers)----------+
a loop, not a one-way street每一半都对应着方程的一侧。「物质告诉时空如何弯曲」是从右往左读这个方程：应力-能量的账房先生 T 定下几何 G。「时空告诉物质如何运动」则是其后果：一旦弯曲，时空就引导每一个自由物体，沿着穿过它的那条最笔直的可走路径前进，这条路线叫做测地线。月球并不是被某种力拽着；它只是在地球凿出的那道山谷里，循着它所能走的最直的线前行罢了。