本节摘要:引力透镜用时空弯曲本身称量质量,与被测对象是否发光无关。一束背景星系的光经过前景质量,偏折角只由质量分布决定;当源、透镜、观察者近乎共线,像被拉成爱因斯坦环,环的角半径给出透镜内区质量的封闭公式。本节推导并复算星系团的爱因斯坦半径,说明透镜质量为何与动力学、X 射线质量互相咬合。
牛顿力学里光没有质量,似乎不该被引力拐弯;广义相对论把话说死了——质量弯曲时空,光沿弯曲时空的测地线走。1919 年爱丁顿的日食远征测到星光掠过太阳偏折 1.75 角秒,从此"引力当镜头"从思想实验变成工具。
对一个点质量或球对称聚集,偏折角的近似式是 α = 4GM/(c²b),b 是光线离开质量中心的冲击参数。注意系数是牛顿值的两倍——这是广义相对论的实际贡献,第6章讨论替代引力时这个系数还会回来。把源、透镜、观察者摆成近乎一线,源发出的各方向光都被对称弯向观察者,成一个环。环的角半径 θ_E(爱因斯坦半径)由几何配平决定:
θ_E² = (4GM/c²)·(D_ls/(D_l·D_s))。
M 是角半径内包住的质量。这行公式的妙处:只含引力、光速与距离,不含任何发光性质。一团全黑的质量照样成环。

代入典型星系团参数。取质量 10¹⁵ 太阳质量,透镜角直径距离 1 Gpc,源在 2 Gpc(对应的 D_ls = 1 Gpc):
import math G, c, MS, PC = 6.674e-11, 2.998e8, 1.989e30, 3.0857e16 def einstein(M_msun, Dl_gpc, Ds_gpc): Dl, Ds = Dl_gpc * 1e9 * PC, Ds_gpc * 1e9 * PC # 角直径距离,米 Dls = Ds - Dl th = math.sqrt(4 * G * M_msun * MS / c ** 2 * Dls / (Ds * Dl)) return th, th * 206265 # 弧度与角秒 th, asec = einstein(1e15, 1.0, 2.0) print("M=1e15 Msun,Dl=1.0 Gpc,Ds=2.0 Gpc:") print(" theta_E = %.3e rad = %.0f 角秒" % (th, asec)) th2, asec2 = einstein(1e14, 1.0, 2.0) print("M=1e14 Msun 同距离:theta_E = %.0f 角秒(缩小 %.1f 倍,即 sqrt(10))" % (asec2, asec / asec2))
输出:
M=1e15 Msun,Dl=1.0 Gpc,Ds=2.0 Gpc: theta_E = 3.094e-04 rad = 64 角秒 M=1e14 Msun 同距离:theta_E = 20 角秒(缩小 3.2 倍,即 sqrt(10))
一角分的环——哈勃深场里那些被拉成蓝弧的星系就是这么来的。质量缩到十分之一,环半径按平方根缩到 20 角秒。反演同样干净:测到环,质量就锁死。把上块解出的 θ_E = 3.094e-04 弧度代回去独立复算:
G, c, MS, PC = 6.674e-11, 2.998e8, 1.989e30, 3.0857e16 th = 3.094e-4 # 上块算出的 theta_E,弧度 Dl, Ds = 1e9 * PC, 2e9 * PC # 透镜与源的距离,米 Dls = Ds - Dl Mback = c ** 2 / (4 * G) * th ** 2 * Ds * Dl / Dls / MS print("反演 M = c^2 θ^2 D_s D_l /(4G D_ls) = %.2e Msun" % Mback)
输出:
反演 M = c^2 θ^2 D_s D_l /(4G D_ls) = 1.00e+15 Msun
反演回到 10¹⁵ 太阳质量,一笔不差——这不是巧合,是公式自洽性的演示:测环即测质量,中间没有发光假设插手的余地。
强透镜(成弧、成环)给内区质量,弱透镜给全貌。当偏折远小于星系自身形状噪声时,单个背景星系看不出变化,但几十万个背景星系的平均椭率会朝切向排列——这个统计剪切场反演出来的是投影质量图,覆盖整个星系团甚至更大尺度。2006 年起弱透镜成图成为巡天标配,它画出的质量峰与 X 射线气体、星系光的分布对照,构成下一节与子弹星系团一节的舞台。
⚠️ 常见坑:把透镜质量与维里质量当成必须严格相等的同一量。透镜测的是投影质量(视线方向叠加),维里与流体静力学测的是三维束缚质量,两者换算隔着投影效应与三轴形状的系统误差,咬合到几十个百分点即是佳证。
同样的公式缩到恒星级质量就是微透镜:源与透镜相对运动,像暂时增亮又复原。爱因斯坦半径对 0.5 太阳质量透镜只有毫角秒量级,无法分辨,但增亮事件持续几十天——第4章排查 MACHO 时,这条时间-质量关系就是筛子。
透镜当秤这件事,最早也是兹威基想到的——比第一次实测早了四十二年。1937 年他在一封短文里写下两层意思:其一,星系尺度(而非恒星尺度)的引力透镜原则上可见,因为所需偏折角与质量成正比,星系比恒星重十一个量级;其二,透镜是唯一不依赖发光假设的质量测量,恰好可以审他前一年在后发座团里报的那桩案子。当时没有一台望远镜吃得了角秒级的弧,这篇短文安静地躺了四十多年。1979 年第一个引力透镜(双像类星体 Q0957+561)被发现,1986 年第一段银晕微透镜光变被记录,兹威基的两个预言逐一兑现。这段历史给查案者的提醒很实在:一件证物的"可用性"取决于仪器而非理论,理论该做的只是把测量方案提前写好。
问:透镜质量会不会把"前景投影的杂散质量"也算进来?
答:会,这正是它的口径特点。透镜测的是视线方向的投影面密度,沿光路的所有质量都入镜——这不影响"缺口存在"的结论(发光重子也按投影计,两栏用同一把尺),但解释透镜质量时不能直接把它当三维维里质量用。规范做法是同一团同时给透镜、动力学、X 射线三套口径并声明系统差。
问:背景源自身形状是随机的,凭什么相信剪切信号是真的?
答:随机正是信号的前提。背景星系椭率取向本无偏好,若观测到某区域的平均椭率系统性地朝向(或背向)前景质量中心排列,这个"对齐"无法用源自身解释——唯一的公共原因是引力剪切。统计力越强(背景星系数百万计),对齐的显著性越高,这正是暗物质蛇皮图级质量重构能到高信噪比的原因。
透镜这杆秤立起来了。下一节请第二位证人——发 X 射线的热气体,用它自己的温度与压强独立报数。