矢量是什么

基础信息

• 书名：《矢量是什么》
• 作者：【澳】罗宾・阿里安霍德（Robyn Arianrhod）
• 译者：【英】李永学
• 出版社：中信出版集团，2025 年 7 月出版
• ISBN：9787521776294，字数 228 千字
• 核心主旨：追溯矢量、张量数学概念的完整发展史，梳理从古代数学萌芽到现代科学技术应用的演变脉络；讲解矢量、张量如何成为现代物理、量子计算、AI 大模型、航空航天的底层数学语言，还原一代代数学家、物理学家的思想突破与历史背景。

序言

1. 数学革命的隐秘故事

• 作者开篇指出，人类历史上几次重大思想突破（日心说、相对论、无线电、量子革命、数字革命）广为人知，但同步发生的数学革命却鲜为人知。

• 本书讲述的核心是“矢量”与“张量”这两个概念如何诞生，它们是现代科学和技术的基础语言，能帮助我们以更透明的方式处理空间维度——从机器人手臂、桥梁设计、电磁力计算，到电磁波传播、卫星轨迹、GPS导航等。

• 矢量与张量本质上是同时为多件事编码的信息表示方式：数字只表达数量（重量、身高、钱数），而矢量编码大小与方向（如箭头），张量则进一步成为“多维数组”。

2. 关键历史人物概览

• 麦克斯韦（19世纪苏格兰地主）：第一位认识到矢量语言力量的杰出物理学家，其电磁理论是第一个现代场论，破解了光的本质之谜，预言了无线电波。他的理论起初“太数学、不物理”，难被主流接受。

• 汉密尔顿（爱尔兰数学家）：率先创造“矢量”一词及相关数学理论，还发明了四元数（包含矢量的四维“数字”）。他在麦克斯韦发表电磁理论前6年就预见了这种新语言的应用，但他1865年去世，未能看到麦克斯韦将理论改写为矢量语言。

• 爱因斯坦（生于麦克斯韦去世当年）：第一位展示张量实际威力的重要物理学家，用张量创造弯曲时空和现代宇宙学，预言引力波与引力透镜，量化引力对时间的影响（应用于GPS）。

• 理论的超前性：实验验证麦克斯韦的无线电波预言用了1/4个世纪，验证爱因斯坦的引力波预言用了整整一个世纪。

3. 应用范畴

• 矢量和张量远超物理学领域：工程、遗传学、搜索引擎、人工智能、量子理论等一切需处理大量数据的领域。

4. 回到起点：古代数学

• 约5000年前：美索不达米亚（今伊拉克地区）人在泥板上刻楔形符号，用于经济管理。后又借助手指、鹅卵石、算盘建立抽象数字系统。

• 最早的乘法表可追溯至近4000年前；最古老文献包括正方形/矩形地块的边长和面积表格——这种表格式布局后来演变为数学矩阵，信息列表演变为矢量。

• 公元前1900年左右：普通人可拥有土地后，测量需求更精确。美索不达米亚测量员弄清了如何绘制90°角，可能领先毕达哥拉斯上千年发现勾股定理。

• 普林顿322号泥板与Si.427号泥板（约3700年前）：列出毕达哥拉斯三元组（如3,4,5），Si.427号是私人土地划分计划。

• 古希腊人：因无法测量与星星的距离，转而通过角度确定星位，催生了三角学。托勒密《天文学大成》记录了现存最古老的三角函数表；托勒密还在《地理学》中引入纬度和经度概念（《天文学大成》星表以类似坐标定位1000多颗恒星）。

• 作者强调数学的多元文化史：“希腊数学”指讲希腊语的数学家的成果；希帕蒂亚曾为《天文学大成》写评论；“Almagest”是阿拉伯语“最伟大的”之意，此书留存多亏中世纪阿拉伯译者。

• 古埃及象形数字、托雷斯海峡岛民的拜达姆天鲨传统（北斗七星）、巨石阵、乌迪尤昂石圈等也展示了古代天文学成就；2017年国际天文学联合会以86颗恒星向古代文明致敬。

• 坐标思想历经托勒密→14世纪法国数学家奥雷斯姆→笛卡儿（x-y坐标系），才逐步走向矢量概念。

5. 快速预览：矢量的现代样貌

• 符号：矢量用黑体、帽子、箭头或波浪线表示；不带标记的r只表示大小（标量），如v是速度、v是速率。

• 分量：二维矢量有2个分量，三维有3个，时空矢量有4个（三个空间轴加一个时间轴）。例如向北行驶35英里/小时可写作v=(0,35)；向东北行驶则为(35/√2, 35/√2)。

• 坐标系不止笛卡儿系：还有极坐标(r,θ)、球坐标(r,θ,φ)。爱因斯坦的时空坐标记为(x₁,x₂,x₃,x₄)，四维速度为(v₁,v₂,v₃,v₄)。

• 任意维度的推广：弦理论认为宇宙可能有10、11甚至26个维度；量子力学中电子自旋“上/下”可作二维矢量（量子比特）；商业和技术中，维度可以是问卷问题、房价影响因素、图像像素等。

• 矢量算术的魔力：将矢量视为整体而非分量串时，矢量代数规则威力远超单个数字——麦克斯韦方程以矢量形式易推导出电磁波方程；矢量积用于定义电子自旋，应用于MRI。

6. 打破规则

• 汉密尔顿发现矢量乘法不止一种，且不遵循交换律（a×b≠b×a），这在数学史上引起哗然。

• 有人推测《爱丽丝梦游仙境》中疯帽匠茶会的荒诞（“我看见我吃的”≠“我吃我看见的”）是对汉密尔顿非交换矢量的讽刺（作者真实身份是牛津数学家道奇森），但作者认为难以判断。

• 下一章将讲述符号代数如何让人们学会用字母思考。

第1章 代数的强势崛起

1. 汉密尔顿日与布鲁姆桥

• 每年10月16日，都柏林人从邓辛克天文台走到皇家运河布鲁姆桥，重演数学史上最著名的漫步，庆祝“汉密尔顿日”。

• 1843年10月16日，汉密尔顿与妻子海伦走向皇家科学院途中，灵感降临：三维旋转需要四维数学表达，且必须打破乘法交换律。他用小刀在石桥上刻下公式：
  i² = j² = k² = ijk = −1

• 2019年，布鲁姆桥上竖起用电灯照亮此公式的纪念艺术品。

• i、j、k是虚数（平方为负）。四元数由标量（一维实数）和矢量（三维三分量）组成。

• 20年后麦克斯韦建立电磁场理论；四元数近150年后才实现现实应用（机器人、CGI、分子动力学、手机屏幕旋转、航天器控制）。宇航员尼尔·阿姆斯特朗曾专程到圣三一学院向汉密尔顿雕像致敬。

2. 学会符号化思考

• 代数近4000年前已存在，但大部分时间以文字和数字形式呈现；欧几里得《几何原本》用几何图形证明（如勾股定理、(a+b)²平方式）。图1-1给出勾股定理的几何证明改写：c²=(a+b)²−2ab=a²+b²。

• 花剌子米（9世纪巴格达智慧宫）：“代数”一词源于其《代数学》，被称为“代数之父”；其“还原”（配方法）即二次方程解法；还推广了印度-阿拉伯十进制。“算法”一词也源于其名字。

• 花剌子米只关注正解；7世纪印度数学家婆罗摩笈多同时考虑正负解，思想超前。

• “代数之母”：希帕蒂亚（评论丢番图）；现代的艾米·诺特（“现代代数之母”）；玛丽·萨默维尔（1872年去世前一天仍在研究四元数，头像登上2017年苏格兰皇家银行10英镑钞票）；当代有谢丽尔·普拉格。

• 托马斯·哈里奥特：西尔维斯特称其为“当今代数之父”。其《使用分析学》（1631年死后出版）是第一本完全用符号书写方程的代数教科书——距花剌子米8个世纪，距丢番图14个世纪，说明符号化思维形成之漫长。他一生未发表成果，留下数千页手稿，曾资助沃尔特·罗利爵士的航海事业。

• 符号对比示例：“取未知数的平方，再令未知数与自身相加……” vs “x²−2x=8”。1637年笛卡儿《方法论》附录确立现代符号；+、−、=、×到17世纪才广泛使用。

3. 符号化思考的威力

• E=mc²：爱因斯坦1905年（奇迹年第5篇论文）写下此式，但花两年才完全理解其含义——获得能量即获得质量，一个常识中无实例的“奇怪想法”，实验物理学家几十年后才证实。

• 幂序列 x¹(线)、x²(平方/面积)、x³(立方/体积) 显示早期几何思维；符号代数的灵活性允许写下任意高次幂而无须具象化。

• 从二次方程到三次方程用了3500年。

4. 配方法的古老起源

• 4000年前美索不达米亚泥板上的教学问题：“将正方形一边增加20后面积变为21，正方形面积是多少？”即 x²+20x=21。古代用几何“配平方”：补成大正方形得 (x+10)²=121。

• 美索不达米亚人为解决实际问题（运河、水库、大坝、堤坝）发展了这些方法；近3000年后花剌子米沿用同样方法。

• 1200年前后波斯数学家萨拉夫·图西在三次方程上最早取得进展；1545年意大利卡尔达诺在《大术》中发表一般三次方程解法，用“配立方”的几何方法。

5. 数学决斗、棘手方程与虚数

• 卡尔达诺与塔尔塔里亚：卡尔达诺听闻塔尔塔里亚解决了三次方程，通过提供人脉资源换取方法（条件保密）。后来卡尔达诺发现德尔·费罗更早解决，便认为可违背承诺发表（《大术》中肯定了两人贡献）。塔尔塔里亚愤怒地要求公开决斗（解题竞赛），卡尔达诺拒绝；塔尔塔里亚后来击败了德尔·费罗的学生菲奥。

• 卡尔达诺解方程 x³=6x+40 的复杂文字算法（几何配立方）。

• 棘手方程 x³=15x+4：卡尔达诺方法给出含虚数的解，他虽知x=4是解，仍称虚数解“看似精妙，却毫无用处”。

• 15年后（1560年前后），邦贝利产生“疯狂想法”：把复杂表达式分解为实数与虚数之“复数”，其立方即为卡尔达诺的表达式，两个复数解相加虚部抵消，得x=4，谜团解开。他称虚数为“诡辩术”，但其《代数学》（16世纪70年代）让数学家重新审视虚数。复数后来在薛定谔方程、电磁波处理等现代科技中不可或缺。

6. 哈里奥特的因式分解

• 哈里奥特约1600年首先找到三次方程的一般符号代数解（不用几何），纯粹依赖代数本身（沃利斯的评价）。他受法国韦达（首用大写字母表未知数）启发，用小写字母，是“符号思维大师”。

• 洞见：多项式方程可写成因式相乘，如(x−l)(x−m)(x−n)=0，故三次方程有三个解（可为正负、实虚）——这比卡尔达诺“那个解”的表述先进得多。

• 用哈里奥特方法处理 x³=15x+4：分解为(x−4)(x²+4x+1)=0，配方得三个实数解。后来的数学家发现每个复数本身有三个立方根（通过欧拉公式和棣莫弗定理可证），历史拼图补齐。

7. 本章结论

• 代数符号兴起带来新抽象思维，为微积分铺路，最终发展为矢量分析和张量微积分。

• 代数和几何从此携手并进，相互扩展。

第2章 微积分的诞生

1. 汉密尔顿预言锥形折射

• 布鲁姆桥灵感10年前，汉密尔顿已用微分学预言锥形折射：光波从特定方向进入“双轴”晶体时折射成光锥。今天锥形折射激光束用于光学镊子（操控化学分子或血细胞）和自由空间光通信。

• 1832年，他请实验物理学家好友汉弗莱·劳埃德验证，实验成功。汉密尔顿一举成名——这可能是数学第一次被用来预言未知的物理现象（而非解释已知现象）。随后有一系列数学预言：海王星、无线电波、辐射压力、光子、E=mc²、希格斯玻色子、引力波。

2. 微积分两大分支

• 微分：处理变化率（速度=距离对时间的变化率）。汉密尔顿用导数分析晶体表面光程长度的变化。应用：加热制冷、生物生长衰减、波、生态系统、金融趋势等。

• 积分：源于古代计算面积与体积的难题。现代应用：机翼升力面、原材料面积、承重计算、术中血容量监测等。

• 积分的几何直观：曲线y=f(x)下面积≈许多细长矩形面积之和，矩形无穷多时得精确值（图2-1）。

3. 古代对无穷的回避

• 古代数学家回避无穷。阿默士（约3500年前，莱因德莎草纸书）用八边形近似圆面积（图2-2）：正方形边长9，内接八边形面积81−12=63≈64，得π≈256/81≈3.16（现代值3.14）；周长近似为3.2。

• 1000年后希腊穷竭法：阿基米德从内接正六边形开始不断加倍边数至正96边形，将π精确到3.1408~3.1429之间。

• 积分方法对比：图2-3a用极坐标和倍角公式积分求圆面积πr²；图2-3b用微小弧段ds（毕达哥拉斯定理类比）积分得周长2πr。

• 阿基米德之死：公元前212年罗马围攻叙拉古时被杀（约75岁）。若非其《方法》手稿被中世纪抄写员洗掉（1906年才重见天日），微积分可能早已出现——他已找到球体和曲面体积计算的雏形（旋转体积分）。

4. 牛顿、莱布尼茨与芝诺悖论

• 牛顿是实验物理学家、理论物理学家、应用数学家兼纯数学家。200年间被神化，但“孤独的天才”几乎不存在——他需要同行启发。

• 牛顿：第一个为微积分找到符号化一般算法，证明积分是微分的逆运算。1665–1667年大瘟疫期间在家乡农场取得微积分、光学、引力理论初步突破。童年不幸：遗腹子、被寄养、曾想烧毁继父房子。

• 莱布尼茨：性格开朗，真正的文艺复兴式人物（律师、科学家、发明家、外交家、诗人、语言学家、逻辑学家、哲学家），有约600名通信者。6岁丧父，获法学博士。

• 符号对比：牛顿称无穷小变化为“瞬”（ο），用点标记ẋ；莱布尼茨称“微分”（dt、dx），用dy/dx比率。莱布尼茨符号胜出（追随者约翰·伯努利推广为dy/dx形式）；牛顿的点标记仍用于对时间的微分。

• 两人都常忽略无穷小量（如忽略125美元商品找回的1美分），实践中有效但理论上导致0/0难题。

• 芝诺悖论（约公元前450年）：从A到B须先到一半、再到1/4……永无休止，似乎无法开始运动。解决之道是收敛的无穷级数（几何级数和=1），但完整的极限理论用了2500年才建立（最终由柯西和威尔斯特拉斯确定ε-δ定义）。

5. 哈里奥特与代数微积分的崛起

• 哈里奥特约1600年第一个用数字和符号形式书写级数，用无穷几何级数和极限论证计算螺旋线长度（船沿固定罗盘方向在弯曲地球上驶过的距离，为罗利的航海服务）——现存第一份代数推导曲线长度的文献。

• 沃利斯《无穷算术》（1655年）向代数微积分迈出重要一步，创造了∞符号（罗马人曾用它表示1000）。沃利斯是乡村牧师之子，靠给弟弟讲算术才入门数学，因破译内战密码而获得牛津萨维利安几何学教授职位。

• 霍布斯谴责《无穷算术》是“糟糕的书”和“一堆丑陋的符号”，偏爱几何。

6. 《原理》的发表与争议

• 牛顿《自然哲学的数学原理》（1687年）首次发表微积分一般算法（第二卷引理2），并用其研究运动理论。平方反比定律 F=GmM/r²。

• 牛顿开创现代观点：基于可观测事实量化引力，不推测引力本身是什么（爱因斯坦及其张量应用以此为切入点）。爱因斯坦评价：“在牛顿之前，不存在有关经验世界更深层次特征的自洽物理因果系统。”开普勒定律是积分定律而非微分定律。

• 胡克的剽窃指控：胡克1679年的信激发了牛顿（牛顿在第一版中承认），胡克提出轨道运动由切向和向心两种“运动”组成——将运动视为矢量分量是一大进步。但胡克未推广为数学定律、未推导能量守恒，牛顿愤怒回应：那样的话数学家“只能满足于当一个干巴巴的计算苦力”。现代版权法保护表达而非想法。

7. 杜·夏特莱与《原理》的传播

• 50年后仍有人认为牛顿方法过于数学化。法国的埃米莉·杜·夏特莱（与伏尔泰合作）是牛顿早期支持者。她的彩虹床单干燥实验（紫色先干、红色最慢）揭示颜色与热量的关系。

• 她30岁左右自学数学，聘莫帕蒂和克莱罗为师，伏尔泰称她“牛顿·夏特莱夫人”。她将500多页《原理》译成法语（至今仍是权威法译本），加180页附录（110页概述+70页数学阐述），用莱布尼茨符号重建了牛顿的几十个证明——这对英国人是一种讽刺。

• 约翰·伯努利使微积分符号在欧洲大陆更易接受。正是他们把牛顿几何微积分译为莱布尼茨符号，证明了微积分在物理学和技术中的重要作用。

• 章末引出：速率是标量，速度才是矢量（含方向和速率）。矢量的表示与计算是下一章主题。

第3章 有关矢量的想法

1. 牛顿的矢量性洞见

• 牛顿的关键见解：根据力对物体的影响定义力。第二定律“运动变化”=动量变化率，即 F = d(mv)/dt = ma（黑体表示矢量，但这是事后诸葛）。

• 牛顿的力和动量虽具大小和方向，但不属于真正的数学矢量——当时还没有对它们进行加法或乘法运算的一般概念。

• 平行四边形法则（图3-1）：《原理》前两个推论中清楚地解释了这一规则；关键特点是两个分量独立发挥作用。但牛顿时代的“加法”更准确说是“合成”。

2. 平行四边形法则的前史

• 首次出现在公元前4世纪末亚里士多德学派的《力学问题》中（文艺复兴时期重新发现），启发了塔尔塔里亚和伽利略。

• 塔尔塔里亚（弹道学）：16世纪30年代初计算得出炮身与地面成45°角射程最远。他因战争创伤（儿时被法国士兵划伤嘴和下巴）、缺乏正规教育却成为16世纪初最杰出数学家之一；后因良心谴责烧毁弹道学论文。

• 但他犯了两个错误：(1) 分量不是定义清晰的力或速度；(2) 未掌握“独立分量”思想——像自亚里士多德以来的几乎所有人一样，认为物体不可能同时有两个独立作用的运动分量。他的抛射体轨迹（图3-2）不是抛物线：先沿斜向直线，中途突然向下弯。

3. 伽利略与哈里奥特的突破

• 两人各自独立发现：真空中所有抛射体描绘形状相同的抛物线（y=−ax²+bx+c），因他们意识到分量运动可以独立作用（直觉上理解了牛顿第一定律）。他们需数月计算拟合数据，因为不懂牛顿定律、矢量和微积分。

• 哈里奥特1619年的碰撞分析（图3-3）：受诺森伯兰伯爵（伦敦塔囚犯，建保龄球道）委托分析碰撞力学。他用平行四边形法则详细分析两球碰撞，指定大小和方向，使用可独立作用的分量——是牛顿之前最复杂的矢量分析之一，但未发表。

• 沃利斯1671年的力学论文清楚阐述了平行四边形法则；费马等人在《原理》出版前几十年也有阐述。

4. 复数与矢量的联系

• 牛顿的工作没有直接引发矢量代数探索，转折来自虚数。

• 虚数历史：邦贝利→笛卡儿命名“虚数”（认为它不真实存在）→1777年欧拉创造符号i→高斯使用后流行，并命名“复数”。

• 沃利斯迈出关键一步（用数轴表示负数），也第一个尝试几何表示复数但未成功。

• 欧拉（史上最多产的数学家，28岁右眼失明、59岁双目几乎失明仍坚持研究）：将i与圆函数sin θ和cos θ联系起来。由(sin θ)²+(cos θ)²=1因式分解，借助e的定义提出欧拉公式：e^(iθ)=cos θ+i sin θ。

• 令θ=π得公认最优雅的等式：e^(iπ)+1=0（7个符号连接e、π、0、1、i，欧拉本人从未写下它，但由其公式易推出）。

• 费马大定理：欧拉证明n=3情形（使用复数，a+ib的符号代数）；热尔曼等证明部分特例；怀尔斯20世纪90年代完成完整证明。欧拉是拓荒者。

5. 复平面的诞生

• 复数几何表示：韦塞尔（1799年挪威测量员，被埋没）、高斯（1831年发表）、阿甘（1806年，复平面又称“阿甘平面”）、沃伦（1828年英国人）。

• 图3-6：复平面含实轴与虚轴，点(x,y)代表x+iy。

• 乘i=旋转90°（图3-7）：1×i=i（转90°），i²=−1（再转90°）。复平面展示了虚数通过几何旋转与实数产生联系。

• 复数a+ib可视为从原点到(a,b)的箭头，有模|a+ib|（类似矢量大小）——复平面的发明者们正在接近矢量概念。汉密尔顿将两种方法（物理的与数论的）结合。

6. 汉密尔顿的加入

• 19世纪30年代，汉密尔顿通过沃伦了解复平面，用聪明的方式解决“苹果加橘子”问题：用实数对(a,b)定义复数，直接定义加法乘法规则而无需虚数i：

  • (a,b)+(c,d)=(a+c, b+d)

  • (a,b)×(c,d)=(ac−bd, ad+bc)

• 高斯已接近此想法，但只有汉密尔顿清楚阐述了它。数千年来乘法都是一个数乘另一个数，汉密尔顿的数对乘法规则（混合乘法加法减法）截然不同。

• 背景：德摩根和皮科克正在探索完全符号化的代数——符号不必有具体意义但必须遵循已确立的规则。皮科克首先形式化了加法交换律、乘法交换律、结合律、分配律等。

• 汉密尔顿的“时间代数”哲学：受康德启发，他猜想“或许代数是一种关于时间的科学”。他解释负负得正为“两次连续的反转回到最初方向”。虽最终抛弃此哲学，但正是这种跳出常规的思考引导他发明矢量和四元数。他1841年告诉德摩根：符号(a₁,a₂,…,aₙ)是“一种（复杂）思想的象征”——符号可编码许多信息。

• 汉密尔顿其人：1805年生于都柏林，由精通多种语言的叔叔詹姆斯抚养，13岁精通多门语言（还在学梵文、波斯文、阿拉伯文）。自学法文教科书学的是莱布尼茨微积分。16岁读拉普拉斯《天体力学论》并发现其中平行四边形法则逻辑的错误。22岁任天文学教授和爱尔兰皇家天文学家；预言锥形折射成名；提出新的动力学解释（后来用于薛定谔方程）；30岁受封爵士；32岁任爱尔兰皇家科学院院长。

• 他向70岁的玛丽亚·埃奇沃斯（著名爱尔兰小说家）寻求科学院管理建议并采纳大部分，但没有勇气采纳她允许女性参加讨论的建议（直到1949年女性才成为爱尔兰皇家科学院正式会员；埃奇沃斯1842年成为首位本国女性荣誉会员）。

• 汉密尔顿的关键一步：将复数视为“有向线段”（箭头）。复数乘法=二维平面上的旋转（图3-8）。他由此提出问题：能否用三元组的乘法表示三维空间内的旋转？

• 1841年他读德摩根论文，结论是似乎根本无法用代数形式表示三维几何——这正是汉密尔顿面临的挑战。

第4章 理解空间和存储

1. 三元数的困境

• 1843年秋，汉密尔顿的孩子们每天早餐都问：“爸爸，你能做三元组乘法了吗？”他总摇头：“不能，只能做加法和减法。”

• 尝试路径：将阿甘平面扩展到三维，引入新虚数j，令j²=−1。加法、减法、结合律、封闭性都没问题，唯独乘法：展开(x+iy+jz)(a+ib+jc)需要弄清ij和ji的含义，三元数乘法不封闭。

• 汉密尔顿绝望地尝试：令ij=0（违反两个非零量相乘不为零的规则）；令ij=−ji；令ij=j和ji=i。都违反模数定律（|zw|=|z||w|）。他几乎想放弃。

2. 友谊、婚姻与灵感降临

• 德摩根：伦敦大学学院教授（英国第一所非宗教大学），未满22岁任教授，婴儿时一目失明。妻子索菲亚·弗伦德志同道合。他钦佩牛顿但直言其缺点（与莱布尼茨的优先权之争）。1840–1842年辅导艾达·洛夫莱斯（拜伦之女，第一位导师是玛丽·萨默维尔），她写下被认为是世界上第一个计算机程序的文章——发表于汉密尔顿发现四元数当月，预示了四元数在计算上的价值。

• 汉密尔顿的婚姻：妻子海伦虔诚，因邓辛克天文台偏远焦虑时常离家。1841年海伦离家约一年，酗酒谣言流传；他因婚恋习俗错过初恋凯瑟琳·迪斯尼。近年学术研究（van Weerden）表明其婚姻远比谣言美满。

• 灵感降临：一天他突然想到“我们必须在某种意义上承认空间存在第四维”——引入第三个虚数k=ij，构成四维数 a+ib+jc+kd，模数定律终于成立。如同“电路闭合，火花闪耀”。他在布鲁姆桥上刻下：i²=j²=k²=ijk=−1。

• 由此推出的关键关系：ij=k=−ji, jk=i=−kj, ki=j=−ik（如k²=ijk⇔k=ij）。

• 命名“四元数”（quaternion）。德摩根回忆汉密尔顿的话：“我靠数学谋生，但我是一位诗人”“数学发明的驱动力不是推理，而是想象力”。华兹华斯认为他的想象力更适合数学。薛定谔称他为量子力学核心数学的奠基人。

• 四元数满足模数定律和除交换律外的所有普通法则——乘法不交换。

3. 四元数与现代矢量乘积

• 汉密尔顿将四元数P=w+ix+jy+kz分为：标量w（独立实数）与矢量ix+jy+kz。“矢量”来自拉丁语“搭载者”。

• 关键洞察：用单位虚数基(i,j,k)还是单位矢量基(i,j,k)，分量数值相同——矢量可视为存储数据的装置，分量是数据，基是硬件。（这是事后回顾，从汉密尔顿矢量到现代矢量的发展充满争议，见第8章。）

• 取第二个四元数Q=a+q，展开PQ按标量/矢量分组，得到两种新乘法：
  PQ = wa − p·q + wq + ap + p×q
  （包含22次乘法和11次加减法，极为简洁。）p·q即标量积（点乘），p×q即矢量积（叉乘）。

• 历史注脚：黑体字矢量记号来自赫维赛德的个人偏好；点符号·和叉符号×来自吉布斯。汉密尔顿用S.PQ表示“标量部分”、V.PQ表示“矢量部分”。

• 右手定则（图4-2）：右手四指从p转向q弯曲，拇指指向即p×q方向。故 p×q=−q×p（反交换），四元数乘积因此也不交换。

4. 打破规则与新世界

• 这是4000年数学史上第一个自洽的非交换代数系统（XY≠YX）。汉密尔顿称之为“奇特甚至狂野”的启示，被称为“代数的解放者”。

• 现代应用：

  • 量子力学：海森堡不确定性原理源于位置X与动量P的非交换性：XP−PX=ih（普朗克常数h=6.6260693×10⁻³⁴ J·s 不为零是关键，若可交换则h=0）。

  • 广义相对论：非交换性给出时空曲率的度量。

  • 矩阵是更熟悉的非交换乘法例子。

5. 矩阵的复兴

• 数组表示信息几千年，但直到凯莱（汉密尔顿宣布四元数15年后）阐明运算方式，数组才成为代数实体。

• 凯莱生平：比汉密尔顿小15岁，生于俄罗斯（父亲在圣彼得堡经商），剑桥三一学院第一毕业，因拒绝宣誓接受英国国教而转做律师14年，期间业余写近300篇论文，多才多艺堪比欧拉。1845年发表第一篇四元数论文（第一个公开接纳汉密尔顿想法的人），听过汉密尔顿1848年的四次讲座。

• 前史：中国古代《九章算术》（2000年前）用数组解线性方程组（高斯消元法雏形）；7世纪婆罗摩笈多用数组解二次方程；高斯和艾森斯坦（29岁死于肺结核）的工作奠定基础；行列式先于矩阵发展。

• 凯莱的突破：起初为简洁表示多重线性变换（旋转坐标再平移），发现矩阵“行乘列”乘法（结合两步变换时自然产生）——再次证明乘法不总交换。矩阵也可相加（对应元素相加）。

• 西尔维斯特：1850年创造“矩阵”一词（同年多佛-加莱国际电报电缆开始铺设）。他是犹太人，剑桥不给毕业证，也做了律师，与凯莱共同研究不变量理论。

• 美国的本杰明·皮尔斯和查尔斯·皮尔斯父子成为矩阵和四元数代数先驱。

• 时代背景：铁路、电报、工业革命兴起；尤妮斯·牛顿·富特（1856年）将发表CO₂加热效应论文；梭罗1845年迁往瓦尔登湖。

6. 矩阵的现代应用

• 图像压缩：奇异值分解（SVD）将图像矩阵分解为三个矩阵，“分解掉”天空等不有趣的部分，大幅减少传输信息。

• 搜索引擎：布尔代数（与或非）→萨尔顿（20世纪60年代康奈尔）的矢量空间模型：文档表示为关键词矢量，用标量积 a·b=|a||b|cosθ 衡量夹角（匹配度）。

• 谷歌PageRank：佩奇和布林开发，链接矩阵M反复乘初始排名矢量，迭代至平衡点得排名。

• 机器学习：数据存为矢量、矩阵、张量；通过训练算法调整模型精确度用于预测和分类（心脏病概率、垃圾邮件、人脸识别等）。同时指出AI的伦理问题：种族、性别偏见编入算法等（引O’Neil、Noble、Zuboff的批评）。

• 密码学：16岁爱尔兰女学生萨拉·弗拉纳里探索矩阵非交换性作为加密工具，以凯莱命名其算法。

7. 三维旋转

• 机器人与CGI：旋转矩阵（图4-3）让机器臂绕轴旋转、移动图形特征位置矢量。

• 非交换性实验：把书顺时针转90°（x-y平面）再翻180°（x-z平面），书脊在右；先翻再转则书脊在左！但无标记的球/盒子显示不出（中心对称性=不变性，呼应凯莱的不变量理论）。

• 欧拉早先用球面三角学对二三维旋转做过几何研究；有了四元数，汉密尔顿第一次用纯代数实现空间旋转。

• 方法（凯莱阐述）：取四元数矢量部分 p=ix+jy+kz（令w=0），乘单位四元数U（编码旋转轴和角度），类似二维中乘单位复数b=cos α+i sin α=e^(iα)旋转OA到OB（图4-4）。

• 四元数旋转实例（图4-5）：p绕i轴转2θ度得 a = xi + e^(i2θ)(yj+zk)——注意θ变成2θ的“怪异特点”。

• 四元数 vs 矩阵的效率：调整偏航和俯仰角需两个3×3矩阵相乘（27次乘法+18次加法），四元数只需16次乘法+12次加法。四元数更紧凑高效。

• 万向节锁：三个万向环中两个绕同一轴旋转时只剩两个定位轴；数学上相关旋转矩阵相乘后零太多，无法追踪第三维——阿波罗11号登月任务因此出过麻烦。四元数不存在此问题。

• 1981年NASA首次常规性用四元数编程制导、导航和控制系统；用于模拟月球任务轨道、跟踪火星探测器、平滑计算机图像。

8. 自旋与四元数的联系

• 四元数旋转与基本粒子的数学描述相同：普通物体旋转360°回原点，但电子需720°才回初始状态。

• 历史脉络：

  • 奥斯特1820年发现电流使磁罗盘偏转（电流兼具电磁性质，成为第一个电报系统基石）。

  • 斯特恩-格拉赫实验（1922年汉堡）：银原子束（有一个未配对电子）经磁场偏转，感光板出现两条黑线（斯特恩廉价雪茄的硫与感光板上银原子显影成硫化银——意外“显影剂”）——角动量空间取向量子化，只有两种可能值。

  • 乌伦贝克与戈德斯密特（两位年轻荷兰物理学家）：提出这是自旋角动量，值为±h/4π（归一化普朗克常数h/2π的一半），故电子自旋为1/2。洛伦兹指出若电子真自旋则速度极高——电子并非真旋转。导师埃伦费斯特急着发表了论文：“你们想法很好，但可能错误，不过你们不是名人，不会有什么损失。”

  • 泡利引入三个泡利矩阵描述绕三个空间轴的自旋分量——它们之间的关系完全等同于汉密尔顿的单位四元数i、j、k（任意两个相乘得正或负的第三个）——与85年前布鲁姆桥上的公式完全相同！

  • 狄拉克用相对论量子力学描述电子，证明电子、质子、中子（费米子）都有1/2奇数倍自旋，正因这个1/2需两次360°旋转才回归初始状态（光子等玻色子为整数自旋）。

  • 克莱因和奥帕特实验（1975年，澳大利亚）：用中子物质波衍射分束，一部分经磁场旋转自旋，干涉图样证实自旋需旋转两周（4π）才回初始状态——数学预言成真。

• MRI应用：磁场使体内氢原子自旋谐振，无线电波偏转，捕获自旋返回平衡态时释放的电磁能量成像。

• 作者推测汉密尔顿若知道这一切（包括其汉密尔顿动力学成为量子力学根基），其诗人灵魂必被激荡（引用他的诗《月全食颂》）。他1848年获爱尔兰皇家科学院和爱丁堡皇家学会奖章。

• 章末延伸：约翰·格雷夫斯在汉密尔顿介绍四元数几个月后发明八元数（八维复数）；今天人们研究八元数与标准粒子物理模型的联系（引Rowlands、贝兹等）。布尔的代数逻辑（基于皮科克、德摩根和四元数的基础）驱动了计算机诞生，但他因淋雨感冒早逝未及见之。

第5章 一个出人意料的新玩家和漫长的接纳

1. 汉密尔顿遭遇的阻力

• 1847年英国科学促进会会议上，汉密尔顿的论文引发“温和的小冲突”：皮科克认为他“出色地阐释”，但有人质疑犯错可能性（他答：“我们不应该对人们犯错误的能力设限”）。赫歇尔热烈支持；皇家天文学家艾里（曾赞其锥形折射预言“可能是史上最了不起的”）却对四元数不以为然，声称“他不知道的东西也不值得他知道”。

• 连享有盛名的汉密尔顿都难以让人接受，何况一个自学成才、独居乡村的人——引出格拉斯曼。

2. 格拉斯曼其人

• 与汉密尔顿同年发现类似系统但互不相识（同时独立发现的又一实例）；还有默比乌斯、贝拉维蒂斯也在靠拢，但最终成功的只有汉密尔顿和格拉斯曼。

• 赫尔曼·格拉斯曼：比汉密尔顿小4岁，波美拉尼亚神学家尤斯图斯·格拉斯曼之子，在什切青（今波兰）高中教书。在学校毫无数学天赋，父亲以为他会成为园丁。柏林大学学语言学和神学后，靠父亲编的教科书自学数学，通过国家教师资格考试。

• 从未获得大学教职，也非因缺乏才华或努力。1840年为晋升向柏林考试委员会提交200页潮汐理论论文，考官无法理解其革命性数学基础，论文被拒。

3. 《线性扩张论》（1844年）

• 核心思想：其父将矩形定义为长宽的“几何乘积”——两个几何量相乘创造新的几何对象。赫尔曼推广之：“不仅将边视为长度，而且将之作为有方向的量”。

• 外积：两条有向线（矢量）相乘得到有向面积（与矢量积p×q方向大小等价但解释不同：一个是新矢量，一个是有向面积）。还定义了“内积”（与现代标量积几何定义相同）。

• 关键区别：与汉密尔顿聚焦三维不同，格拉斯曼以抽象方式表达，易推广至n维——他开创了n维线性代数理论，其代数系统中包含张量代数的萌芽。

• 除（反）交换律外，他的代数符合所有常见法则；他明确意识到矢量积是反交换的（与右手定则相符）。

• 反差：他得益于拉格朗日《分析力学》（1788年，扩展牛顿运动概念、发展微分方程理论成为力学语言），称用新系统“得出结果所需时间往往不到拉格朗日工作的1/10”。

4. 《线性扩张论》的冷遇

• 根本问题：汉密尔顿和格拉斯曼都在阐述全新理念，必须发明新词，结果书中充满几十个意义不清、最终被弃用的术语；两人都有过度哲学化倾向（汉密尔顿的时间哲学、格拉斯曼的数学基本概念哲学阐释）。汉密尔顿有声誉护航仍遭出版麻烦，他引述：批评者视其创新“如同妖魔”。

• 赫歇尔读《四元数讲义》：“需要读者花至少一年时间去阅读，但几乎要花一生的时间去消化”；6年后再读仍因“令人分心的怪异哲学阐释”读了3章就放弃。

• 高斯的冷漠回复（1844年格拉斯曼寄书给他）：称自己研究同样想法已半个世纪（1831年发表过部分），且“非常忙”，熟悉那些“特殊术语需要时间”——他从未花时间。

• 默比乌斯（莱比锡）：格拉斯曼专程拜访，友好会面。格拉斯曼等了4个月收到回信：默比乌斯每次尝试阅读都被哲学阐释难倒，但觉得几何加法乘法的基本思想可能对数学发展有些许好处；建议他自己写评论。

• 格鲁内特（期刊编辑）也建议自写总评；格拉斯曼照做但与原书一样难懂——这成为《线性扩张论》唯一的评论。阿佩尔特只读了评论，称书“太古怪、抽象、反直觉”；巴尔策读后“头晕目眩，眼前只剩一片天蓝色”。

• 电磁学论文（1845年）：格拉斯曼用外积处理电动力学，其公式与安培1826年的实验结果公式略有不同——至今哪个更好仍有争议；但格拉斯曼的矢量方法与麦克斯韦理论更适配，19世纪70年代麦克斯韦理论成功后其版本终获承认。

• 默比乌斯的善意：默比乌斯带（预示拓扑学，与利斯廷一起；利斯廷创造了“拓扑”一词——拓扑研究连续形变下不变的性质，如甜甜圈与茶杯都有一个洞）1845年初写信告诉格拉斯曼一个论文竞赛：纪念莱布尼茨200周年诞辰。莱布尼茨1679年致惠更斯信中曾呼吁一种“明显几何的或线性的”新代数（其信1833年才发表）。竞赛挑战太艰巨，格拉斯曼是唯一参赛者。1847年获奖论文发表（附默比乌斯附录），让更多数学家注意到他。

5. 汉密尔顿读格拉斯曼

• 约1850年汉密尔顿才听说此书，笑称“可能需要学会吸烟才能读完它”。

• 1852年秋开始阅读后告诉德摩根这是“一部原创性极强的作品”，如果德国人把他当回事，“可能会将它和我的（作品）相提并论”。他赞赏格拉斯曼“以最显著与完美的独立性”找到相似系统，但称其为“深奥的哲学家”，认为格拉斯曼未能将二维复平面扩展到整个空间。

• 汉密尔顿区分二者：他的四元数主要为代数处理三维几何运算（旋转）并获得非凡应用；格拉斯曼的系统更抽象，三维物理直接应用不如矢量与四元数，但后来的推广更有用，最终带来现代张量分析。

• 汉密尔顿《四元数讲义》前言中承认格拉斯曼独立提出了“用于倾斜（有向）线的各类非交换乘法”。

6. 两人的坚持与沉默

• 汉密尔顿1859年对泰特说：“还有什么能比这更简单和更令人满意的吗？你不觉得我们正在走上一条正确的道路……不要介意那会在什么时候……”

• 格拉斯曼1862年重版《线性扩张论》，减少哲学化、增加数学化，前言写道：“我完全相信，我的努力不会白费。”但第二版也没引起多少关注。到19世纪六七十年代他基本离开数学领域，转而写教科书、研究语言学（70年代翻译1123页的《梨俱吠陀》，获美国东方学会会员资格、图宾根大学荣誉博士），抚养11个孩子（4个夭折）。

7. 创意发酵与非欧几何

• 数学创造力如艺术一样需要时间流行。当汉密尔顿和格拉斯曼探索代数处理几何时，几何领域正发生另一场革命：非欧几何（放弃欧几里得平行公设）——高斯、鲍耶、洛巴切夫斯基。球面上两条“平行线”会相交（赤道经线在北极相交）。

• 这些发现将深刻影响张量的故事（爱因斯坦弯曲时空）。19世纪60年代非欧几何进入主流时，非交换代数和汉密尔顿的复数代数方法也更受关注。

• 又过60年数学家才发明张量分析并重新审视《线性扩张论》，识别出新的张量工具。但对格拉斯曼而言等待太长了。

• 结论：泰特和麦克斯韦的工作使汉密尔顿（而非格拉斯曼）成为现代矢量分析的创造者（一定程度上是历史巧合）；克罗曾令人信服地论证矢量分析起源于汉密尔顿及其继承者。格拉斯曼思想过于笼统难懂；但最初将我们引向张量的正是矢量分析和非欧几何。

第6章 泰特和麦克斯韦：电磁矢量场观念的孕育

1. 童年与友谊

• 泰特和麦克斯韦都于1831年出生在苏格兰（距汉密尔顿发表四元数还有12年），10岁起同读爱丁堡公学。

• 麦克斯韦：幼年丧母，由溺爱且不走寻常路的律师父亲（格伦莱尔庄园领主）抚养。因说话迟缓、举止羞怯、穿自制衣服遭校园欺凌，得“书呆子”绰号。幸有同班同学刘易斯·坎贝尔（后成为古典文学学者，为麦克斯韦写了真挚的传记）友善相待，三人与坎贝尔、泰特一起跻身顶尖学生。

• 16岁三人都进爱丁堡大学；坎贝尔转牛津，泰特转剑桥。

2. 泰特的成功

• 泰特成为1852年高级优等生（剑桥“三足凳”数学荣誉考试第一名，考试由约16次、为期8天的递增难度数学考试组成），又获史密斯奖。他电报报喜：“我非常激动，我几乎说不出话来……我是高级优等生！”母校为他举办特别庆祝活动。

• 泰特在剑桥获得研究员资格，暑假打猎时买了刚出版的汉密尔顿《四元数讲义》（被“四元数”怪名吸引），读了前6章后搁置。（麦克斯韦爱动物不肯打猎钓鱼，擅长与马相处总是带着爱犬。）

3. 麦克斯韦的道路

• 为取悦父亲留在爱丁堡大学一年（通识教育是完美训练场），1850年获学位后回剑桥。剑桥学子发现他“亲切而有趣”，朋友们回忆他做过的种种善举。

• 对考试制度的讽刺：他写长诗《一个优等生的愿景》讽刺死记硬背（“我读过的一切东西，能否对我有丝毫用处”）；1853年又写诗讽刺11月壁炉熄灭后读数学之不智。12年后他将展示自然符号表示的神奇，并主导改革“三足凳”考试使之贴近科学前沿。

• 1854年史密斯奖考试：第8题要求证明斯托克斯定理（将曲线积分与曲面积分联系；由爱尔兰数学家斯托克斯出题，1850年汤姆森在给斯托克斯的信中已提及，很可能是创始人）。麦克斯韦以第二名毕业并与第一名E.J.劳思同获史密斯奖，但未获剑桥研究员职位（被认为太粗心）。

• 积分概念（首次详细介绍）：普通积分对水平变量积分；曲线积分对无穷小线段ds加总（图2-3b求圆周长即其精确版）；曲面积分在整个曲面上做双重积分（图2-3a求圆面积）；三重积分可对体积积分。

4. 电磁学的前史（麦克斯韦1854年的阅读清单）

• 静电学：伏打1800年发明电池后可研究电流；此前只有莱顿瓶储静电（“接吻之电”——接触交换电子；手机屏幕电容屏原理与此相关）。库仑1785年扭秤实验证明电力与距离平方成反比——与牛顿万有引力定律形式相同（惊人巧合）。

• 势理论：拉格朗日引入“势能”概念；功=力×距离（与积分有关）。拉普拉斯、高斯、格林（磨坊主出身的自学成才数学家，43岁以“三足凳”第4名毕业于剑桥）、泊松发展了势理论。“电压”类似温度和压力。

  • 力的分量：F = −∂V/∂x 等（偏导数，因V在整个空间变化）。

  • 拉普拉斯方程：∂²V/∂x²+∂²V/∂y²+∂²V/∂z²=0；泊松证明物理应用中右侧不总为零。麦克斯韦将左侧称为势的“浓度”，即拉普拉斯算子∇²V——不仅出现在势理论，还出现在热、振动和波理论中。

  • 热尔曼与泊松：热尔曼匿名参加法国科学院振动曲面论文竞赛，泊松作为评委严厉批判其论文还擅自提取结论自行研究；她1816年第三次提交最终获奖。振动曲面的数学与重力、电磁方程类似。

  • 局限：拉格朗日、拉普拉斯等只用笛卡儿坐标和分量——整体矢量微积分尚未问世。

• 奥斯特1820年发现电流的磁效应；安培1821年开创电报业，量化电磁效应，开创“电动力学”（麦克斯韦称他“电学界的牛顿”），使用曲线积分和曲面积分，但至1836年去世仍无完整的电磁一般描述。

• 法拉第（1831年，即麦克斯韦和泰特出生那年）发现电磁感应（磁铁在线圈中移动产生电流；数月后美国人亨利独立发现）——发电机原理，开启电气化时代（汤姆森80年代建第一座电灯房屋；爱因斯坦父亲和叔叔在德国经营发电机公司——尽管烧煤令人遗憾）。

• 类比法与“通量”：早期把电当流体类比（“电流”一词即源于此）。麦克斯韦意识到类比可能误导——电根本不是流体。通量：给定时间流经给定曲面的流体量（图6-2：恒定速度v垂直于管道截面A时通量为Av；成θ角时为Av cos θ；任意曲面需曲面积分∫∫ᴠ·dA）。通量积分可推广到引力、电、磁——高斯定律（从高斯定律可推导牛顿定律和库仑定律）。

• 电动机/发电机原理（图6-3）：带电线圈在外磁场中受转矩转动（电动机）；转动线圈改变磁通量感应电流（发电机）。

5. 关键洞察：超距作用的局限

• 麦克斯韦仔细阅读安培、柯西、格林、汤姆森、韦伯等人的研究后意识到：前辈们使用的所有积分（通量、功等）都假设了超距瞬时作用——积分只关心上下限/边界，不考虑中间空间发生的过程。也许这正是没人能破解电磁密码的原因。

6. 法拉第的场概念

• 法拉第出身：13岁辍学，在装订商里博处当学徒（起初连读写都不会），因读《不列颠百科全书》电学文章着迷，在店铺后建简陋实验室，因学识打动戴维，从实验室清洁工做到助手再到英国电磁实验领军人物。

• 力线思想（图6-4a）：铁屑在磁铁周围排列成环——每个铁屑端对端对齐。法拉第推断：即使清除铁屑，磁力仍在原处作用——空间中必有“力线”存在。电荷和磁铁通过它们构建的“场”传递力，而非超距作用——绝妙想法，但他无法将其转化为预言性数学理论。

• 威廉·汤姆森：17岁时借鉴傅里叶的热数学研究，首次从数学角度比较静电与热流动；1851年首次定义“磁力场”。他是唯一尝试数学化法拉第思想的知名理论家。

• 麦克斯韦的处理：1850年爱丁堡英国科学促进会会议上，19岁的羞怯的麦克斯韦勇敢提问（与会者描述“半是困惑，半是焦虑……他断断续续地用带口音的英语提出问题”），汤姆森会后主动接触。他也是颜色视觉先驱（方法用于拍摄第一张彩色照片——苏格兰花格呢缎带）。

• 1854年汤姆森慷慨回信建议他通读全部电磁实验结果。

7. 麦克斯韦的场论之路

• 《论法拉第力线》（1855–1856年冬分两部分提交剑桥哲学学会）：他终于1855年获剑桥研究员职位。寄副本给64岁的法拉第，法拉第热情回复（因终于有人让其被漠视的场概念复活），二人成莫逆之交。

• 父亲1856年4月去世，麦克斯韦继承格伦莱尔领主之位（父子曾设识字项目）；几周后击败凯莱和泰特获阿伯丁大学马修学院教授职位；两年后娶院长之女凯瑟琳·杜瓦（凯瑟琳帮助他做热和颜色实验）。

• 关键哲学选择：微分而非积分。他在1865年论文开头解释：普通积分和有限曲线/曲面积分适用于超距作用，而偏微分方程和体积积分是场的自然语言——微分方程显示物体周围整个空间内事物的变化，如同麦田通过微风传播涟漪。

• 用场的语言重写：法拉第定律（变化磁通量感应电流）、安培定律（拓展加入位移电流——电容器中的有效电流）、高斯-库仑定律的微分形式。数学核心是“积分基本定理”及斯托克斯定理（麦克斯韦将其完整证明归功于汤姆森）和散度定理（高斯、格林、奥斯特罗格拉斯基建立）。

• 局限：麦克斯韦只用了分量形式（未用整体矢量形式书写），但确实谈到了既有方向又有大小的量——他创造了矢量电磁理论。在泰特帮助下几年内将完成整体矢量微积分。

• 顺带：1865年吉布斯正在耶鲁读工程学博士（将成为美国第一位工程学博士），10年后他会读到麦克斯韦方程。

8. 神秘推论：光是电磁波

• 麦克斯韦从场方程推导出电磁效应以横波形式传播（托马斯·杨双缝实验发现的波），且电磁波速度几乎等于光速——不容忽视的巧合。他谦逊地表述：光本身（包括热辐射和其他辐射）是一种电磁扰动，按电磁定律以波形式通过场传播。

• 他统一了电、磁和光，并预言了其他辐射的存在——引导赫兹等人发现无线电波。

• 爱因斯坦写道：“世界上很少有人有这种经历。”麦克斯韦在1865年1月给表兄弟的信中低调地说：“我还有一篇关于光的电磁理论的论文，只要不被证否，我个人认为此文甚佳。”

• 场的定义：标量场（如空气温度分布——空间每点一组数字）；矢量场（电力和磁力——每点既有大小又有方向）。矢量与矢量场的区别：矢量定义在某个点上，矢量场给空间中每点分配一个矢量。

• 类比法假设的隐藏代价再次被强调；理论起初未被热情接受（方程无物理模型解释场是什么），正如牛顿引力理论曾面临的疑问。麦克斯韦早期论文提出过几种力学模型但知道无法证明任何一个存在——他效仿牛顿：数学表达足够了。

9. 四元数终于登场

• 泰特研究热的数学表达：热方程（傅里叶1822年发表；1827年《论地球和星际空间的温度》成为气候科学基石；汤姆森用它做热-电类比）。热方程展示温度在空间内随时间变化（如咖啡冷却）。

• 1857年泰特想起4年前读的《四元数讲义》：汉密尔顿将拉普拉斯算子改造成矢量形式——纳布拉算子∇（汉密尔顿符号，泰特应用之；名字“纳布拉”由其助手威廉·罗伯逊·史密斯提议，取自古代亚述竖琴形状；后吉布斯替换为“德尔”del；现代黑体∇来自赫维赛德）。

• 纳布拉的威力：∇本身是一个矢量算子——可将标量函数变成矢量。力不必写成分量形式，可写成 F = ∇V（或当时的F=▽V）——更简单紧凑清晰，让人看到问题是关于力和势能两个物理量而非一串分量。微妙观点：即便故事中的角色也需要很长时间理解。

• ∇自身点乘得拉普拉斯算子∇·∇=∇²，拉普拉斯方程变成∇²V=0——比看起来更简洁。泰特率先用纳布拉运算以整体矢量微积分形式写出斯托克斯定理和散度定理。

• 泰特与汉密尔顿通信（1858年开始）：汉密尔顿叙述布鲁姆桥往事（“后来，我的孩子们称这座桥为四元数桥”），1859年甚至回忆初恋凯瑟琳·迪斯尼嫁人时的绝望：“那些日子已经过去了。幸福吗？是的，因为我收获了更多的理智和更少的情感。”

• 泰特1859年发表第一篇四元数论文（关于波），1860年升任爱丁堡大学自然哲学教授（麦克斯韦也申请了此职但泰特被认为更合适）。泰特的学生J.M.巴里（《彼得·潘》作者）回忆其课堂：“小眼睛闪烁着迷人的光芒……我曾见过有人因为惧怕泰特的目光而后退”，也曾“像男孩子一样快乐”地用水管对准不肯后退的学生。麦克斯韦课后与感兴趣的学生待几小时（天文学家戴维·吉尔回忆）。二人从中学起就是朋友和竞争对手。

• 下一章预告：泰特将因四元数成就成名，麦克斯韦将提出问题；麦克斯韦将在《电磁通论》中提到泰特的答案，为现代矢量微积分的诞生奠定基础。

第7章 从四元数到矢量的缓慢征程（前半部分，文档至此截断）

1. 泰特继承遗志

• 泰特真正着迷的是四元数的矢量部分——这让他能以更紧凑的方式书写物理方程，特别是应用纳布拉算子时。从牛顿到麦克斯韦，所有人都只能为矢量（力、速度）的每个分量写单独的方程。

• 汉密尔顿1865年去世（麦克斯韦发表电磁场理论几个月后），34岁的泰特准备继承遗志。

2. 讣告与《四元数基础论》

• 泰特为汉密尔顿写37页讣告发表于1866年《北不列颠评论》：敦促读者从“争议的喧嚣”和“知识巨人的战斗”中挣脱；认为“天才”一词用得过滥（天才比聪明更具创造性和原创性），但汉密尔顿确实是最高级别的天才，“足以与任何时代和国家中最伟大的人物，比如拉格朗日和牛顿等人相提并论”；其早期光学和动力学论文显示“对符号的娴熟驾驭和数学语言的流畅运用是无与伦比的”。

• 1867年《四元数基础论》：第一部（相对）易于理解的矢量方法教科书——很像现代矢量分析教材，但符号不同（遵循汉密尔顿原则用希腊字母表示矢量，用S和V代替点积叉积中的点和叉）。泰特告诉读者学习四元数微积分为高年级学生提供“最不寻常的优势……宝贵的思维训练”。

3. 与汤姆森的合作与分歧

• 威廉·汤姆森（未来的开尔文勋爵）：麦克斯韦早年导师；贝尔法斯特出生、格拉斯哥长大，22岁成格拉斯哥大学教授。让他名利双收的是技术成就——1850年代末任铺设大西洋底第一条电报电缆的首席技术顾问（电缆断裂和风暴时他都在船上），从欧洲发出第一封传美的电报；发明许多商业电子仪器；开创热力学（开尔文温标以其命名）。1861年与泰特见面，1867年合著《自然哲学论》（俗称"T与T’"——T指汤姆森，T’指泰特）。

• 合作趣事：泰特1864年信中抱怨汤姆森投入太少（“如果你只是偶尔寄给我些许零碎的东西……那我能做什么？”）；汤姆森指出泰特总搬出莎士比亚、狄更斯和萨克雷的“令人愉快的名言”活跃气氛。两人就着煤气灯在泰特的小书房工作，墙上炭笔写着最伟大科学家名单：汉密尔顿位列第一，其次是法拉第（1867年去世）；汤姆森称麦克斯韦是“一颗正在升起的璀璨明星”，但认为他还太年轻不能入列。

• 关键分歧：汤姆森根本不接受四元数。他使用矢量分量方程，认为整体矢量微积分（通过纳布拉）毫无必要——“你无论如何都是在用分量进行运算”（计算a·b实际算的是a₁b₁+a₂b₂+a₃b₃；证明∇·∇V=0也需分量计算）；解决问题时也总需“将矢量分解成分量”。泰特不得不在合作中让步，不再使用四元数——《自然哲学论》包含很多分量形式的方程（其中一些应用于电磁），未包含四元数和整体矢量微积分。

• 《自然哲学论》影响力很大（含新兴热力学；甚至讨论了计算机器——巴贝奇和洛夫莱斯19世纪40年代提出的可能性从未实现，汤姆森描述了自己的理论设计）。

4. 麦克斯韦的绰号与《电磁通论》计划

• 麦克斯韦的绰号是"dp/dt"——来自泰特1868年《热力学纲要》中热力学第二定律的表达式（p代表压力，J代表焦耳当量，C代表卡诺函数，M与热量有关），JCM恰好是James Clerk Maxwell的首字母（这个绰号实至名归，因为麦克斯韦也对气体动力学理论有贡献）。

• 泰特立即建议麦克斯韦研究《四元数基础论》关于纳布拉的最后二三十页。麦克斯韦对“∇的把戏”已有所了解——他在1865年论文中已用▽作为拉普拉斯算子的简写。

• 麦克斯韦正计划撰写不朽巨著《电磁通论》，总结建立电磁理论的所有已知实验和数学结果，并与主流超距作用理论比较。阅读泰特的书后，他对四元数微积分的可能性兴奋不已。

• 他在为《自然》杂志撰写的汤姆森-泰特“伟大著作”评论中，遗憾其中没有讨论任何矢量规则——尽管作者之一是“汉密尔顿的狂热门徒”。但汤姆森可不是门徒！他认为四元数和整体矢量微积分只是分量方程的简写。19世纪70年代初麦克斯韦发明矢量微积分后告诉泰特：汤姆森没有意识到它是“一把所向披靡的火焰之剑”，能贯穿整个空间，而分量形式不过是笛卡儿蛮力推进的“攻城槌，只会一味地向西和向北推进”。

5. 麦克斯韦与四元数的“若即若离”

• 麦克斯韦在给童年好友刘易斯·坎贝尔的信中写道：“我已转投四元数”，并开始在《电磁通论》中使用它们。但他同时告诉坎贝尔，他想“保留汉密尔顿的思想，但不将运算写成汉密尔顿的形式，因为我认为我和公众都还没有准备好。现在汉密尔顿的矢量概念的价值是无法形容的。”

• 他在1871年3月9日投稿给伦敦数学学会的论文《关于物理量分类的注记》中进一步阐释了这一观点。

6. 《关于物理量分类的注记》的核心思想

• 麦克斯韦首先指出：必须对因科学进步而产生的日益增长的物理量进行分类；如果分类是通过数学类比得出的，则可以帮助解决与已知问题有相同方程形式的新问题。

• 他列举了历史上成功类比：振动弦与电磁波的波方程类比、汤姆森用傅里叶热流分析与法拉第力线的类比、麦克斯韦自己的流线类比。

• 但麦克斯韦认为汉密尔顿将物理量划分为标量和矢量，提供了比类比法更基本的分类方法。他称这一创新“硕果累累”，使四元数的重要性堪与笛卡儿发明坐标系相媲美。

• 他定义了矢量的两个新子范畴：

  • 力：与长度或距离相关的矢量（如曲线积分）；

  • 通量：与面积或曲面积分相关的矢量（如磁感应通量）。

• 到1871年，他发现汉密尔顿的纳布拉算子∇能以整体矢量和矢量场的形式定义这些物理量，并给它们取了特殊名字：“散度”、“旋度”和“梯度”。

7. 名字的力量

• 梯度：麦克斯韦1870年晚秋给泰特的信中首次命名。“∇作用于标量函数的结果可以被称为斜率”——就像直线y=mx+c的斜率。今天写作F=∇V，读作“F等于梯度V”。

• 散度（当时麦克斯韦称之为“收敛”）：∇算子和矢量v的标量积S.∇v=−∇·v。麦克斯韦建议读作矢量场v的“收敛”。后来人们去掉负号，改称“散度”。

  • 在《电磁通论》中，麦克斯韦用此说明“测试电荷上的电力”的散度等于电荷密度ρ的4π倍（即∇·E=4πρ）。他将这一散度称为“电动强度”，即今天的“电场E”。

• 磁场的散度为零：麦克斯韦用符号表示“磁感应”（今天的磁场矢量B）。对静止磁铁，所有场线始于北极终于南极，因此磁场B的散度为零（∇·B=0）。与电荷不同，自然磁铁总有两个极——没有人检测到自然发生的磁单极子。

• 旋度：麦克斯韦给∇×操作取名时考虑了多种名称，包括“旋转”，最终在《电磁通论》第25条和第26条中选择“旋度”。

  • 麦克斯韦定义了矢量势A，使B=∇×A。旋度的散度总是零，因此这实际上等价于∇·B=0。

8. 整体矢量的力量

• 1872年10月19日，麦克斯韦在检查《电磁通论》校样时告诉坎贝尔，出版商平均每13周出版9页（手工排版的时代）。他感谢泰特“帮助我发现了很多错谬之处”。

• 《电磁通论》于1873年出版。同年，麦克斯韦在伦敦皇家学会做纪念瓦特的特别讲座，提醒听众不要在“机械的嘈杂和业务的紧迫”中忘记生活更“高尚”的一面。

• 1873年麦克斯韦在《自然》杂志上评论泰特四元数新书时指出：“四元数或矢量运算确实是一种数学方法，但它也是一种思考方法”——不仅仅是节省计算劳动的工具。

• 麦克斯韦在《电磁通论》开篇简明指出：在“物理推理”而不是计算中，你应该看到的是作为整体的研究对象，而不是专注于它的坐标和分量。

9. 反对者与早期接受者

• 汤姆森是最著名的反对者。他甚至不接受麦克斯韦电磁理论的分量形式，贬低其为“神秘主义”。即使1890年代赫兹证实了无线电波后，汤姆森仍建议同事不要使用“矢量”一词，并说：“四元数是在汉密尔顿完成他真正出色的工作之后产生的。尽管它非常巧妙，但对那些接触过它的人来说，包括克拉克·麦克斯韦，都是邪恶之物。”

• 19世纪90年代，斯托克斯拒绝在课堂上讲授麦克斯韦理论；爱因斯坦年轻时遇到的教授们也是如此。爱因斯坦不得不逃课自学，几年后将麦克斯韦方程纳入1905年的狭义相对论中。

10. 潮流开始转变：威廉·金登·克利福德

• 1873年克利福德28岁，与麦克斯韦（42岁）和泰特同为好友。他是神童，以“三足凳”第二名的成绩从剑桥毕业，对凯莱和西尔维斯特的前沿代数特别感兴趣。

• 1877年在伦敦大学学院做四元数系列讲座；同年撰写宣扬无神论的文章。

• 1878年《动力学要素》：使用矢量代数方法，强调矢量在动力学研究中的重要性。用现代术语“散度”取代了麦克斯韦的“收敛”。

• 泰特在评论中赞扬麦克斯韦的《电磁通论》是“或许除了四元数专业文献之外，第一部在物理学中推广使用矢量方法的著作”——是矢量故事的转折点。

• 克利福德创造“几何代数”：结合汉密尔顿的标量积（格拉斯曼的内积）和格拉斯曼的外积。现代符号表达为：
  ab = a·b + a∧b
  其中∧叫“楔形积”，在三维空间中a∧b等同于叉积a×b。这是汉密尔顿和格拉斯曼两种方法的统一。

• 四元数的优势：除乘积不交换外，遵循所有常规代数法则（结合律、分配律等），可以做除法（有逆q⁻¹使得qq⁻¹=1）。

• 格拉斯曼1877年去世（终年68岁），未能看到自己与汉密尔顿系统的统一。

• 10年后，皮亚诺发现了格拉斯曼的《线性扩张论》，发表了自己的总结和扩展，包括矢量空间的第一个现代公理化定义——矢量概念超越了直观模型（如箭头），变得更加抽象。

11. 跨文化插曲

• 克利福德与文学界：是乔治·艾略特及其伴侣乔治·刘易斯的朋友，经常参加著名的周日下午聚会。艾略特19世纪50年代在“为女士们”成人班学习几何，70年代开始学习非欧几何。

• 刘易斯1873年写《生命与心灵问题》，探讨意识的生物学基础（“新心理学”）。泰特为其审读校样，评论“比分析（数学）公式还要难读得多”。

• 麦克斯韦的诗：在1874年英国科学促进会贝尔法斯特会议后，写诗讽刺进化论和唯物主义辩论的双方极端支持者（“英国驴”式讨论）。布莱克伍德将诗刊登在著名的《布莱克伍德杂志》上。

• 麦克斯韦和克利福德的诀别：

  • 麦克斯韦1879年年末去世，终年48岁（胃癌）。坎贝尔说他“伟大的质朴”品格感动了每个人。

  • 克利福德1879年年初因肺结核病故，年仅33岁。萧伯纳后来对露西·克利福德说，她丈夫“比任何人都聪明，除了阿尔伯特·爱因斯坦，他甚至还补充说：连我都不如他！”

  • 坎贝尔的文章结尾：“所有在这些问题上拥有发言权的人一致同意，麦克斯韦的名字应排在这一名单的最前面。”

第8章 矢量分析终于到来，以及关于四元数的“战争”

1. 麦克斯韦派与电磁波的实验证实

• 麦克斯韦无法见证其理论激励的年轻人取得的成就。信徒团体被称为“麦克斯韦派”：

  • 乔治·菲茨杰拉德：从麦克斯韦方程推导出理论探测电磁波的方法；

  • 奥利弗·洛奇：菲茨杰拉德的朋友和合作者；

  • 海因里希·赫兹。

• 洛奇和赫兹各自独立在实验室制造出电磁波，首次实验证实麦克斯韦理论。赫兹于1888年展示结果；洛奇准备在英国科学促进会演示时发现已有人捷足先登。

• 1901年，马可尼成功发送第一批跨大西洋无线信号，无线时代诞生（发射器由麦克斯韦曾经的学生安布罗斯·弗莱明设计）。

2. 奥利弗·赫维赛德

• 出身：古怪的电报员，从未踏入大学之门。父亲是木版雕刻师（被摄影技术挑战），家境贫困。16岁当电报员，为姨父查尔斯·惠斯通工作。因猩红热导致部分失聪。

• 1873年发表关于惠斯通电桥的论文，汤姆森亲自祝贺；麦克斯韦在《电磁通论》付印最后阶段添加了对赫维赛德论文的引用。

• 赫维赛德读到《电磁通论》后评论：“我看到了它的伟大，比其他著作更伟大，它是最伟大的。”

• 1874年24岁时突然辞职，终身未婚，过着越来越孤独的生活，专心写作，为《电工》撰稿。

• 对矢量分析的贡献：

  • 为矢量引入了黑体字记号；

  • 认为四元数实际应用价值很小（得罪了泰特）；

  • “我从未理解过它。读者应该在矢量分析中彻底摒弃与虚数有关的任何想法。”

  • 将汉密尔顿的虚数基i、j、k变成今天的实数基矢量i、j、k（自身平方为1而非-1），摆脱了汉密尔顿标量积中的负号。

  • 用“div”和“curl”代替点乘和叉乘。

3. 赫维赛德对麦克斯韦方程的著名改变

• 赫维赛德的核心创新：将麦克斯韦方程中的势（矢量势A和标量势ϕ）替换为直接可测的物理场E和B，使之成为主要对象。

• 他说自己“谋杀”了势。他证明了：当涉及分析电磁能量的传输时，用矢量势表达不符合物理实际。

• 将麦克斯韦方程整理为今天教科书上的4个优雅的整体矢量方程：

  • ∇·E = 4πρ（高斯电场定律）

  • ∇·B = 0（磁场无源）

  • ∇×E = −∂B/∂t（法拉第电磁感应定律）

  • ∇×B = ∂E/∂t + 4πJ（安培-麦克斯韦定律）

• 但需注意：麦克斯韦在《电磁通论》中实际上已将20个分量方程简化为5个整体矢量方程。赫维赛德的贡献是：用E和B（而非势）重写、强调对称性、使其更实用。

• 规范理论：虽然势不符合物理实际，但它们使计算更简单。选择“规范”（以A和ϕ表达的方程）能简化计算而不改变E和B的值。今天规范理论不仅用于电磁学，也用于量子理论和相对论。

4. 矢量分析：赫维赛德和吉布斯的数学遗产

• 赫维赛德在《电磁理论》第一卷中详细列出矢量分析的所有规则：“我们生活在一个矢量世界中”，“矢量的代数或语言是极为必要的”。

• 乔赛亚·威拉德·吉布斯（耶鲁大学数学物理教授）：受麦克斯韦《电磁通论》启发，与赫维赛德各自独立探索了没有四元数的矢量。1871年被任命为教授，但因远离主流科学中心也成了局外人——麦克斯韦几乎是唯一认识到吉布斯早期热力学工作重要性的人。

• 吉布斯1881年和1884年自费出版《矢量分析基础》。

• 多重代数背景：本杰明·皮尔斯（哈佛数学教授）受汉密尔顿启发创造了几十种新代数。其子查尔斯·皮尔斯证明只有实数代数、复数代数和四元数代数允许除法成立。

• 吉布斯用点乘（·）和叉乘（×）作为标量积和矢量积的符号。赫维赛德用黑体字但保留S和V。现代符号是两者结合的产物。

• 吉布斯后来发现了格拉斯曼的工作，对格拉斯曼积的一般性印象深刻（尤其可推广到三维以上）。标量积一般化为内积：如果两个矢量各有n个分量，标量积为Σaᵢbᵢ。矢量积只能在三维定义，格拉斯曼的“外积”是它的一般形式。

• 吉布斯写信给格拉斯曼之子，敦促发表其父亲的早期研究；在《矢量分析基础》序言中向格拉斯曼和克利福德致敬，却未提麦克斯韦——引发后世争议。

5. 矢量论战

• 1888年吉布斯给汤姆森、泰特和赫维赛德各送一本《矢量分析基础》。赫维赛德高兴发现他不是唯一研究矢量的人；泰特非常愤怒。

• 19世纪90年代在《自然》等杂志上爆发论战。核心问题：是否应该使用整体矢量系统？若用，应该是汉密尔顿的四元数、格拉斯曼的代数还是吉布斯-赫维赛德的矢量分析？

• 泰特对吉布斯：嘲讽《矢量分析基础》是“混合了汉密尔顿符号和格拉斯曼符号”的“雌雄同体的怪物”。

• 1891年吉布斯在《自然》上礼貌反击。赫维赛德加入，认为第一轮吉布斯占优。

• 泰特质疑超过三维的空间：“物理学家们，你们认为超过三维的空间有什么用？”——仅14年后，青年爱因斯坦就宣告狭义相对论需要4个维度。

• 汤姆森的回忆：“我们在四元数问题上展开了38年的斗争。”他承认泰特被汉密尔顿“吸引”，但泰特永远无法给出一个使用四元数能更容易解决物理问题的例子。

• 麦克法兰（泰特的学生）：提出有可能发展统一四元数和格拉斯曼代数的更完整代数（即后来的克利福德几何代数和张量分析）。他尝试令i、j、k成为实数，但结果不如吉布斯-赫维赛德形式整洁。

• 麦考利（剑桥毕业生，后到塔斯马尼亚大学）：1892年在澳大利亚科学促进会发表论文坚定站在四元数阵营。1893年出版《四元数在物理中的实用性》。

  • 主张学生应该学习四元数而不是笛卡儿几何学。

  • 泰特评论麦考利“抢过汉密尔顿制造的瑰丽武器，立刻闯入丛林寻找大型猎物”。

  • 赫维赛德回归论战：“四元数的和平惨遭蹂躏……四元数的堡垒内一片混乱。”

  • 1905年麦考利放弃四元数，牵头建立塔斯马尼亚的第一座水力发电站。

• 吉布斯的总结（1893年《自然》）：他出色地总结了争论的真正含义——阐释物理量之间的“关系和运算”。他赞扬泰特发展与应用了汉密尔顿的工作。“现代思想的潮流太宽广了，哪怕汉密尔顿的方法也无法限制其发展。”

6. 回归起点与超越矢量

• 与矢量论战有关的历史可追溯到有数学记录之时。这场辩论事关如何以最佳方式表达信息和计算。

• 四元数比矢量更紧凑地表达信息，而四元数和整体矢量都超越分量列表。但汤姆森坚持：既然必须用分量计算，为什么要为整体想出特殊符号？——如果他们生活在数字时代，肯定会改变想法。

• 到20世纪第一个10年，矢量分析确实获胜。四元数暂时蛰伏，直到计算机时代才卷土重来（航空航天导航、生物识别、机器人技术、分子动力学等）。

• 数学家发现了四元数和整体矢量的关键性质，先发展了四维矢量分析，然后n维矢量分析，最终发展了张量分析。

第9章 从空间到时空：矢量的新转折

1. 剑桥女性教育的背景

• 凯莱1863年任剑桥萨德利数学教授，成为女性高等教育的早期支持者。1869年和1871年剑桥成立第一批女子寄宿学院——吉尔顿学院和纽纳姆学院。

• 格蕾丝·奇斯霍姆入读吉尔顿学院，发现凯莱“为人非常热情，但在数学方法上令人窒息地老派”。1893年获得相当于一等学位的资质（女性直到1948年才在剑桥获正式学位）。

• 1897年一项女性学位动议被否决时，男性本科生疯狂庆祝造成10万美元以上损失。

• 奇斯霍姆后来在克莱因指导下于1895年获博士学位（德国官方授予女性的第一个博士学位），嫁给了吉尔顿学院导师威廉·杨。

2. 优美的不变性

• 1894年夏，凯莱（73岁）和泰特（63岁）在爱丁堡皇家学会各自宣读论文，公开表达对矢量论战的数学观点。

• 核心概念——不变性：在不同坐标轴上测量分量时某些事物保持不变的性质。坐标变换是两组坐标之间的关系。

• 矢量在旋转操作下长度不变，标量积和矢量积也保持不变（a·b = ab cos Φ 不因坐标旋转而变）。

• 凯莱对利用不变性解纯数学中的方程感兴趣（如二次方程判别式b²-4ac在坐标变换x’=x+h下不变）。

• 泰特：对矢量和四元数的不变性感兴趣，认为a·b=0提供了清晰的几何解释（垂直性）。

• 凯莱认为四元数的“概念远比它的任何应用都更美好”。

• 现代应用——神经网络：每一层节点必须保证信息关键特征在映射（坐标变换）过程中保持不变。

  • 阿尔法折叠（2022年）：预测了几乎所有已知蛋白质（多达两亿个）的结构。算法必须保证在信息传输时原子间距等关键性质不变，且三维形状的数学表达必须在旋转操作下保持不变。

• 对称性与不变性：雪花的6重对称、立方体的中心对称——不变性与对称性相关，在数学中经常互换使用。

3. 值得铭记的米列娃·马里奇

• 爱因斯坦1900年从苏黎世理工学院毕业，是唯一没有分配到工作的毕业生（教授们认为他太自信而不招人喜欢；身为犹太人的他认为反犹主义可能是原因）。

• 马里奇是班上唯一女生，前期表现优异但因考官性别歧视、紧张和怀孕而两次考试失败。

• 作者审慎讨论了“马里奇是否共同撰写了相对论”这一问题，认为没有确凿证据支持这一点，马里奇本人也从未这样说过。从信件来看，她主要谈论与考试相关的主题，1900年考试成绩表明爱因斯坦数学优异而马里奇不及格。

• 作者认为应从审视破坏其职业生涯的偏见入手，公正对待马里奇作为女性科学先锋的地位。

4. 狭义相对论

• 迈克尔逊-莫雷实验（1887年）：试图检测“以太风”对光速的影响，但失败了（未发现差异）。该实验想法实际出自麦克斯韦（1879年3月19日给托德的信），迈克尔逊因此获1907年诺贝尔奖。

• 洛伦兹和菲茨杰拉德（1895年）：独立提出物体在平行于以太风方向移动时发生“长度收缩”来解释结果。

• 洛伦兹1904年设计了一组坐标变换（“洛伦兹变换”），使麦克斯韦方程在移动参考系中保持相同形式。庞加莱1905年更充分发展了洛伦兹的思想。

• 爱因斯坦1905年独立完成“狭义”相对论。与庞加莱和洛伦兹的论文相比，更简单也更直观。他的出发点是两个简单原理：

  • 相对性原理：物理定律对所有惯性参考系中的观察者具有相同形式；

  • 光速不变原理：真空中的光速与光源的运动无关。

• 与洛伦兹和庞加莱的根本区别：爱因斯坦不需要以太假设，不需要假设客观的物理收缩；关键在于效应是相互的——每个观察者都测量到另一个人的尺子在收缩。因此只有爱因斯坦的理论才是真正相对的理论。

• 洛伦兹变换表明时间和空间测量都是相对的；但两个观察者对时空间隔（由度量给出）达成一致。

5. 群的概念

• “群”是研究不变性等对称的重要工具。洛伦兹变换构成一个群（有单位元、逆元、封闭性、结合律）。

• 如果代表物理定律的方程在参考系变换后仍具有相同形式，则所有观察者都会推导出相同的物理定律——这就是相对性原理在起作用。

6. 四维时空需要四维矢量分析

• 第四维度的文化背景：自1880年代以来，“第四维度”吸引了公众注意。数学家欣顿（乔治·布尔的女婿）专注于将四维几何对象可视化，启发艾勃特写下《平面国》（1884年）。欣顿的妻妹艾丽西亚·布尔·斯托特在四维几何中做出了令人惊叹的结果。

• H.G.威尔斯1895年发表《时间机器》，将时间称为第四维度。

• 闵可夫斯基：爱因斯坦的数学教授，曾称爱因斯坦是“懒狗，从不关心数学”（1905年收回）。他说：“爱因斯坦的理论十分深刻，但其数学表述略显笨拙。”

• 庞加莱发现四维表达式 x²+y²+z²−(ct)² 在洛伦兹变换下保持不变。

• 闵可夫斯基的真正贡献（1907年授课，1908年“空间与时间”演讲）：

  • 意识到这个表达式是“时空”中的“距离”或“间隔”——时空中“事件”之间的间隔，而非普通空间内的距离。

  • 创立了“闵可夫斯基时空”（平坦时空）的概念和“闵可夫斯基度量”。

  • 创立了“世界线”的概念。

  • 宣言：“从此以后，单独的空间和单独的时间注定要消失，变为区区阴影，只有二者的某种结合才能保持独立的真实性。”

• 四维标量积：通过间隔度量的类比定义。若四维矢量a有分量，则标量积为a₁b₁+a₂b₂+a₃b₃−a₄b₄（时间分量符号相反）。

• 闵可夫斯基1909年因阑尾炎手术去世，年仅44岁。希尔伯特告知学生此消息时忍不住失声痛哭。

• 索末菲尔德（闵可夫斯基的朋友）：1910年论文《论相对论I：四维矢量代数》为时空中的四维矢量引入“四矢量”术语。他强调了时空间隔不变性的重要性。他发现需要用“张量”来表达四维麦克斯韦方程的形式不变性。

7. 张量的无穷威力！

• 应力张量的历史渊源：

  • 柯西1828年发表关于平衡体中应力的奠基性论文；

  • 汤姆森1856年在弹性论文中做了相关分析；

  • 麦克斯韦1873年在《电磁通论》中分析磁化物体在电磁场中所受的力，用两个下标的符号来表示应力。

• 麦克斯韦认识到：应力是一个“与空间中的方向相关但并非矢量的物理量”。三维空间内一个矢量有3个分量，但一个应力需要9个分量（Pₕₖ，第一个下标h表示应力作用的面，第二个下标k表示应力的方向）。

• 现代观点：需要用两个矢量构成一个应力张量——一个代表应力作用表面的方向（法线），另一个代表力本身。

• 索末菲尔德遵从闵可夫斯基先例，将E和B的分量重写为双下标量，麦克斯韦方程的现代张量形式基本形成。

第10章 弯曲空间与不变距离：走向张量

1. 爱因斯坦与格罗斯曼的重逢

• 马塞尔·格罗斯曼：爱因斯坦在苏黎世理工学院的老朋友，从未缺席闵可夫斯基的数学课。正是在格罗斯曼一家的帮助下，贫困的爱因斯坦才得到了专利局的工作。

• 1905年爱因斯坦获苏黎世大学博士学位（学位论文献给格罗斯曼）。1911年格罗斯曼将爱因斯坦召回母校（瑞士联邦理工学院ETH）。1912年爱因斯坦被任命为理论物理学讲席教授。

• 1912年开始合作，面对两个主要数学问题：

  • 如何将物理定律从狭义相对论转移到广义相对论；

  • 如何在弯曲时空中找到适当的“距离”或间隔度量。

• 爱因斯坦后来回忆：“我们发现，解决第一个问题的数学方法是现成的，即里奇和列维-齐维塔的绝对微分（张量分析）。至于第二个问题，伯恩哈德·黎曼的曲面理论可以给出答案。”

• 爱因斯坦告诉索末菲尔德：“我一生中从未如此努力。”

2. 曲面数学：卡尔·弗里德里希·高斯

• 高斯的大地测量经历：1821-1825年领导测绘汉诺威王国。发明了最小二乘法（利用数据点拟合曲线的方法，今天用于机器学习中的线性回归）。

• 高斯1828年发表《关于曲面的一般研究》：

  • 创造了度量的概念（距离测量）。

  • 核心想法：如果曲面上两点足够接近，则它们之间的一小块曲面是近似平坦的（“局部平坦”）。

  • 用曲线坐标p和q将曲面参数化（如地球表面的纬线和经线），得到二维度量：
    ds² = E dp² + 2F dp dq + G dq²
    其中E、F、G是p和q的函数。

  • 关键洞察：系数E、F、G及其导数包含了二维生物（“超级智慧蚂蚁”）推算曲面内蕴几何所需的一切信息——不需要知道第三维的存在。

• 内蕴曲率：以弯曲三角形的面积及内角和与180°之间的差值来定义。

  • 平坦空间：三角形内角和=180°；

  • 正曲率曲面（球面）：内角和>180°；

  • 负曲率曲面（马鞍面）：内角和<180°。

• 哈里奥特早在高斯之前就发现了球面三角形内角和公式（但未发表）。高斯的版本更复杂，且不只限于球面。

• E、F、G的本质：实际上是与坐标轴p和q相切的两个单位矢量的标量积——标量积的几何公式给出了这些矢量之间角度的余弦值。

• “绝妙定理”：高斯证明任何曲面的面积都可以由度量系数E、F、G通过曲面积分计算出来。一个小小的方程ds²=E dp²+2F dp dq+G dq²便蕴含了观察整个曲面的全知神视角。

3. 从制图到黑洞：不变性、拓扑和“直”线

• 度量的不变性：高斯证明了其度量在将曲面弯曲成不同形状时保持不变（只要曲面未被撕裂或切割）。

  • 圆柱的表面是内蕴“平坦”的（只是从外部看是弯曲的——外在曲率）；

  • 球面是内蕴弯曲的（无法在不撕裂橙子皮的情况下展平）。

• 拓扑联系：度量的不变性与拓扑有关——处理曲面无须撕裂得以改造的性质。默比乌斯和利斯廷在19世纪40年代开始相关研究。

• 全局高斯-博内定律：将高斯的“局部”曲率定义推广至开曲面，再推广至整个曲面（“整体”）——即拓扑。

• 现代应用——黑洞：

  • 霍金1972年利用整体高斯-博内定律和爱因斯坦方程证明静止黑洞的事件视界拓扑等价于一个球体。

  • 霍金1971年证明黑洞边界面积永远不会减少（2021年被实验证实）。

  • 彭罗斯1965年利用拓扑证明黑洞应该存在于自然界（获2020年诺贝尔物理学奖）。

  • 事件视界望远镜（EHT）2019年首张黑洞直接成像。

4. 高斯的另一个杰出洞见：测地线

• 高斯意识到弯曲的二维曲面本身就是一个“空间”，有自己的距离度量和内蕴几何。

• 直线在普通欧几里得空间内是两点之间的最短距离——那么在曲面上，两点之间的最短距离是什么？

• 约翰·伯努利及其兄弟率先发现球面上两点之间的最短距离是大圆的长度（飞机驾驶员今天沿大圆飞行）。

• 欧拉发明了“变分法”来求最短路径方程。高斯展示了如何将变分法应用于度量，找到曲面上任意两点之间的最短距离——即测地线。

5. 黎曼接过了高斯的接力棒

• 黎曼（1826-1866）：在哥廷根大学在高斯指导下攻读博士。曾转学到柏林大学学习更前沿的课程。

• 挑战：改写高斯关于弯曲二维空间的研究，找出弯曲n维空间的几何规则。

• 流形：黎曼称曲面或弯曲空间为“流形”。从“局部”上看就像一个平坦的n维欧几里得空间。

• 黎曼定义了n维流形的距离度量（线元素）：

  • 平坦n维流形：ds² = dx₁² + dx₂² + … + dxₙ²（微分平方和，黎曼率先用“平坦”一词描述）。

  • 弯曲流形：只有在关注点周围的“局部邻域”才能写成这种形式；度量系数包含曲率信息。

• 1854年就职演讲：77岁高龄的高斯也在听众席上。他认为黎曼是“一位真正的数学家，具有辉煌而丰富的原创力”。

6. 黎曼的里程碑论文（1861年）

• 为巴黎科学院竞赛写的热传导论文（没有赢得竞赛——评委无法领悟其普适方法）。

• 核心内容：

  • 将热方程坐标从笛卡儿坐标转换成新坐标s₁、s₂、s₃（仅有两个维度的函数）。

  • 用双下标符号α_{ι,ι’}表示与导热系数相关的量——在张量被正式定义的40年前，他凭直觉认识到这些就是张量的“分量”。

  • “二次微分形式”：由两个微分的乘积（dx₁dx₂等）组成的表达式，类似于二次方程中的平方。

  • 对称性：黎曼只考虑了热传导在两个方向上相同的情况（α_{ι,ι’} = α_{ι’,ι}）——这是不变性的另一个例子。

• 带有3个和4个下标的量：黎曼提出这些是测量曲面曲率的关键因素——由系数β及其导数的组合而成。这就是黎曼在就职演讲中传达的意思：有一种方法可以从度量系数中提取曲率信息，无论使用哪种坐标系皆如此。

• 今天的命名：

  • 3个下标的量 = 克里斯托费尔符号（不是张量的分量）；

  • 4个下标的量 = 黎曼张量（或黎曼-克里斯托费尔张量）的分量。

• 关键性质：在有度量的空间内，如果黎曼张量等于零，则空间是平坦的；反之亦然。黎曼张量就是告诉你空间弯曲还是平坦的量——通常称为“曲率张量”。

• 克里斯托费尔（苏黎世联邦理工学院数学教授）1869年独立发现了这些量，但未将它们与曲率联系起来。

7. 黎曼之死与遗产

• 1862年患结核病，1866年去世，还不到40岁。他的就职演讲直至1867年才发表；克利福德的英文版《论几何学基础假设》1873年发表于《自然》杂志。

• 黎曼关于热的论文只在1876年出版时才发表，多年来默默无闻。

• 1912年，爱因斯坦和格罗斯曼开始基于黎曼张量构建弯曲时空几何。黎曼为他们提供了第二个问题的答案（弯曲时空的度量）。

第11章 张量的发明及其重要性

1. 里奇的生平

• 格雷戈里奥·里奇（1853-1925）：生于意大利，虔诚的天主教徒。在博洛尼亚大学学习一年后转至比萨大学，1875年获博士学位。

• 1878年赴慕尼黑在克莱因指导下学习（克莱因因发现不变量理论与坐标变换群之间的关系而闻名）。克莱因是“亲切”的导师，给了他“有力的帮助”——让里奇对自己的能力更有信心。

• 1880年被任命为帕多瓦大学数学物理副教授（伽利略、哥白尼和卡尔达诺的前辈），在此度过45年。

• 1884年结婚（与比安卡），同年发表走上张量分析之路的第一篇论文。

2. 里奇的绝对微分学

• 1884年论文与“二次微分形式”的变换性质有关。

• 里奇的目标：“不是进行有关多于三维的空间的存在性及其本质的懒惰讨论”，而是提供对于数学理论的更清晰理解。

• 他没有称新量为“张量”，而是称为“函数系”。将黎曼系的微积分命名为“绝对微分学”——“绝对”意味着不变性。

3. 张量的命名及表示数据的方式

• “张量”术语的起源：起源于汉密尔顿（作为四元数的大小），沃伊特1898年在晶体学著作中首次以现代含义使用，爱因斯坦正式确定。

• 格拉斯曼的外积：可以添加第三个矢量，将平行四边形扩展成一个立方体，以此类推到任意维数。

• 张量积（外积）：将两个张量的信息组合成一个。矢量有一个下标，矩阵有两个。

• 秩（阶）：与从一个坐标系变换为另一个坐标系所需的变换矩阵的数量有关，本质上对应于下标的数量。

  • 标量：秩0（无下标）

  • 矢量：秩1（1个下标）

  • 矩阵：秩2（2个下标）

  • 黎曼张量：秩4（4个下标）

4. 张量和数据科学

• 搜索引擎扩展：矩阵（关键词×文档）→张量（可添加发布日期、作者等额外信息，每种信息有自己的下标）。

• 信号处理：脑电图（EEG）或心电图（ECG）——空间分量、时间分量和频率分量各有自己的下标。

• 图像处理：每个像素的位置在矩阵中（行列为尺寸），彩色图像需要三层矩阵（红绿蓝各一层），第三个下标代表颜色。

• 谷歌张量流：机器学习平台以张量命名。

• 自然语言处理（NLP）中的张量积：将一组单词（矢量表示）与一组语法指令（主语/宾语/动词）结合，产生无歧义的句子表示。

  • 例如：“猫喜欢老鼠”和“老鼠喜欢猫”通过张量积可以区分。

• 量子力学中的张量积：

  • 单个量子比特的状态：|ψ⟩ = α|0⟩ + β|1⟩（叠加态）。

  • 多个量子比特：通过张量积结合。n个量子比特的系统有2ⁿ个复数分量——量子计算机同时进行多重计算的力量来源。

  • 狄拉克符号：右矢|A⟩（列矢量）和左矢⟨A|（行矢量）。

5. 逆变与协变矢量

• 核心区分：

  • 列矢量（逆变矢量/contravariant vector）：用上标表示分量（u¹, u²,…）。

  • 行矢量（协变矢量/covariant vector，又称“1-形式”或“对偶矢量”）：用下标表示分量（v₁, v₂,…）。

  • 里奇分别称矢量和1-形式为“逆变矢量”和“协变矢量”（今天仍在使用）。

• 变换规则的来源：列矢量乘行矢量形成矩阵（张量积），但行矢量乘列矢量得到标量（标量积）。逆变矢量的分量像坐标一样变换；协变矢量的分量按逆矩阵变换。

6. 不变性和学术丑闻

• 里奇的研究受到克里斯托费尔1869年论文的纯粹数学方法启发（而非黎曼的直接工作）。

• 学术丑闻：里奇1884年首次申请晋升正教授失败；1887年再次申请时，竞争对手韦罗内塞提出申诉（声称来自工人家庭需要更多薪水），当局最终给了韦罗内塞职位。有传言说院方阴谋使里奇未能晋升。3年后（1890年）里奇终于获得正教授职位。

7. 指标的处理——里奇的符号系统

• 坐标变换的推广：将旋转方程写成矩阵形式X’=AX，其中A代表任何线性齐次坐标变换。

• 爱因斯坦求和约定：每当有相同的上下标（如σ出现了两次），就将所有这些项加起来，去掉求和符号。重复的指标告诉你这是在求和。

• n维推广：只需让指标跑遍1到n，n个方程（每个上标值对应一个）每个是n项之和——全部包含在一个简洁的方程中。

8. 不变性与张量的定义

• 逆变矢量的分量变换规则：a’^μ = (∂x’^μ/∂x^σ) a^σ

• 协变矢量的分量变换规则：a’_μ = (∂x^σ/∂x’^μ) a_σ

• 标量积a^μb_μ在坐标变换下保持不变——这就是不变性的代数证明。

• 张量的分类（里奇）：

  • 所有指标为上标 → 逆变张量

  • 所有指标为下标 → 协变张量

  • 混合 → 混合张量

9. 现代观点：张量作为算子

• 现代数学家不通过分量变换来定义张量，而是将“全局张量”定义为产生不变量的线性算子。

• 1-形式（协变矢量）作用于矢量得到标量（不变量）。矩阵是混合二阶张量，作用于一个矢量得到另一个矢量。张量的阶越高，它必须作用于越多的矢量或1-形式才能得到标量。

10. 张量符号的惊人算力

• 缩并：将一对上下标设为相同，降低张量的阶。如T^{λμ}当λ=μ时降为标量。

• 内积（以格拉斯曼命名）：通过缩并两个张量的外积形成的混合张量的一对指标得到。

• 度量张量g_{μν}：

  • 定义了标量积：g_{μν}u^μv^ν = u·v

  • 可以升降指标：g^{μν}将协变指标变为逆变指标，反之亦然。

  • 对称性：g_{μν} = g_{νμ}（因为标量积是交换的）。

• 在欧几里得空间内使用笛卡儿坐标：矢量的分量和1-形式之间没有区别（因为度量的唯一非零分量是g₁₁=1=g₂₂）。因此在普通矢量分析中，你没必要担心指标位置的区别。

11. 极简张量微积分——协变导数

• 核心问题：对张量进行微分，导数是一个张量吗？如果不是，张量在物理学中就没用，因为物理现象通常由微分方程建模。

• 答案：一个矢量分量关于坐标的偏导数，通常不会像张量那样变换。

• 里奇的解决方法：使用克里斯托费尔发现的不变表达式——协变导数。在偏导数中加上一个包含克里斯托费尔符号Γ的项：

  • 偏导数用逗号表示：u^μ_{,ν}

  • 协变导数用分号表示：u^μ_{;ν} = u^μ_{,ν} + Γ^μ_{λν}u^λ

• 关键性质：协变导数是一个张量——其值在相关坐标变换下保持不变。

• 在平坦空间和笛卡儿坐标中：克里斯托费尔符号为零（基矢量是常数），偏导数和协变导数之间的区别消失。

• 无人在意：贝特拉米（里奇在博洛尼亚大学的老师）代表评委会质疑张量分析的努力“是否会得到适当的回报”。但里奇后来写道，他的微积分理论“不仅更加优雅，而且可以使论证和结论更加敏锐、清晰”。

第12章 大结局：张量与广义相对论

1. 列维-齐维塔的加入

• 图利奥·列维-齐维塔1890年注册了里奇的课，1894年以几近完美的成绩从帕多瓦大学毕业。29岁成为教授。

• 活泼、不信教的列维-齐维塔与严肃、虔诚的里奇截然不同，但一直是亲密的朋友和同事。

• 1900年，克莱因建议两人写一篇概述介绍张量分析。里奇和列维-齐维塔在《德国数学年刊》上发表了开创性论文。12年后爱因斯坦和格罗斯曼阅读后备感震撼。

2. 最幸福的想法：爱因斯坦在发现张量之前对引力的思考

• 牛顿引力理论的例外：水星轨道近日点进动——每世纪43角秒，牛顿理论无法完全解释。

• 爱因斯坦1907年的“最幸福的想法”：

  • 通过改变参考系，可以想象“消除”地球引力的影响。

  • 自由落体的观察者（如从屋顶掉下的人）感受到的引力为零。

  • 向上加速的参考系（如电梯）可以“制造”一个引力场。

  • 结论：引力与加速度等价（等效原理）——可以设计一个相对论版本的引力理论。

• 推论：

  • 引力必定使光线弯曲（不同于牛顿的论证，因为光子没有静止质量）。

  • 引力红移：引力导致光的频率向红端偏移。

  • 引力使时间变慢：强引力场中的时钟走得更慢（现在用于GPS校准）。

• 1911年布拉格时期：爱因斯坦发表数学推导，量化光线在太阳附近弯曲的程度。发展了静态引力理论（假定时空的空间部分是欧几里得的——后来意识到这是错的）。

• 与亚伯拉罕的辩论：亚伯拉罕是电磁学专家，尖锐批评爱因斯坦的相对论，1912年发表了自己的相对论引力理论（完全基于闵可夫斯基平直时空）。爱因斯坦最初被吸引14天，然后发现了“严重的推理错误”。

3. 为什么爱因斯坦需要帮助

• 核心矛盾：

  • 等效原理说引力等价于加速参考系——光速可变；

  • 相对性原理说物理定律对所有观察者相同——但狭义相对论依赖光速恒定。

• 广义相对论的必然要求：物理定律必须对任何参考系（包括加速参考系）都有效。这意味着不存在单个有限的坐标变换群（如洛伦兹变换），自然法则应该在任何光滑坐标变换下保持不变。

• 没有特殊变换群 → 没有特殊不变度量 → 闵可夫斯基度量必须被完全一般的度量取代：
  ds² = g_{μν} dx^μ dx^ν
  其中g_{μν}通常是坐标的函数。这意味着时空一般是弯曲的。

• 关键洞察：在引力场中，物体和光子沿弯曲的测地线运动。爱因斯坦意识到具有物理意义的是ds（度量整体），而不是单独的坐标微分——所有观察者都必须对它达成一致。

• 爱因斯坦向格罗斯曼发出请求：“格罗斯曼，你必须帮帮我，否则我会疯掉的！”

4. 爱因斯坦和格罗斯曼学习张量微积分

• 格罗斯曼查阅文献，发现了里奇和列维-齐维塔的张量分析论文。

• 激进观点：引力和几何不可分割——度量必须同时描述时空的弯曲几何和引力场本身。引力影响时空几何（曲率），曲率描述引力。

• 大胆推断：度量系数g_{μν}本身不仅代表时空的度量性质，也代表牛顿引力势V的相对论类比。

• 数学挑战：四维时空中对称双指标张量有10个独立分量（而非牛顿的单一方程）→ 需要10个引力场方程。

• 里奇张量R：格罗斯曼发现这就是他们需要的。里奇于1903年发现，是四指标黎曼张量的缩并（令一个上标和一个下标相等并求和）。实际上是数百项之和。

5. 电磁场张量

• 闵可夫斯基已经指明方向：将交织在一起的三维场E和B合并成平坦四维时空中的单个张量F^{μν}（电磁场张量/麦克斯韦张量/法拉第张量），有6个独立分量。

• 索末菲尔德1910年：创造了包含电磁场携带的能量和动量所有基本信息的单个张量T^{μν}——今天称为应力-能量张量或能量-动量张量。

  • T^{41}, T^{42}, T^{43}：能量通量（E×B方向的分量）

  • T^{44}：能量密度

  • 其余分量：麦克斯韦应力（等同于动量通量）

6. 走向广义相对论之路

• 1913年“纲要”理论：爱因斯坦负责物理部分，格罗斯曼负责数学部分。但方程只在某些受限坐标变换下协变，不符合完全广义协变性的要求。

• 爱因斯坦怀着“沉重的心情”说服自己相信不可能找出更一般的理论。

• 1914年：爱因斯坦接受柏林大学教授职位，与格罗斯曼的合作结束。与马里奇的婚姻破裂。

• 贝索访问（1913年6月）：爱因斯坦和贝索尝试用“纲要”理论计算水星近日点进动——只能解释18角秒（应为43角秒）。

• 第一次世界大战（1914-1918）：爱因斯坦作为和平主义者拒绝签署《告文明世界书》。

7. 列维-齐维塔和希尔伯特的出场

• 1914年末，爱因斯坦给他敬重的对手马克斯·亚伯拉罕寄去论文副本；亚伯拉罕将之转给列维-齐维塔。

• 1915年初，列维-齐维塔与爱因斯坦开始通信（十几次），指出爱因斯坦使用张量时的错误。爱因斯坦感激地回信说：“你如此仔细地审查我的论文，这是对我的极大帮助。”

• 1915年夏，爱因斯坦在希尔伯特邀请下访问哥廷根大学，做6场演讲。克莱因和希尔伯特对他印象深刻。希尔伯特鼓励他不要放弃对协变引力场方程的探索。

8. 最终突破（1915年11月）

• 爱因斯坦重新审视了3年前与格罗斯曼放弃的工作（黎曼和里奇张量）。他意识到“纲要”理论走错了方向。

• 11月的4篇论文，逐渐接近最终版本：

  • 11月4日：重回协变性探索

  • 11月11日：改进

  • 11月18日：应用于水星近日点进动——成功解释了全部43角秒！“水星近日点的进动得到了定量解释。”

  • 11月25日：最终版本的广义协变的广义相对论

• 正确的引力场方程：
  R_{μν} − ½g_{μν}R = k T_{μν}
  其中R = g^{μν}R_{μν}是标量曲率，k = 8π。

9. 与希尔伯特的优先权之争

• 希尔伯特在爱因斯坦11月25日提交论文的5天前（11月20日）将论文提交给哥廷根科学院，其中显然也包含正确的引力场方程。

• 争议核心：科里发现希尔伯特论文原始校样上盖有12月6日的印刷日期章，而爱因斯坦的论文早在12月2日就发表了。希尔伯特的校样中似乎根本没包含爱因斯坦方程。

• 大多数学者的共识：缺失部分的上下文表明希尔伯特的方程不曾超越爱因斯坦的方程。广义相对论属于爱因斯坦——如果没有爱因斯坦打下的坚实基础，就不会有“希尔伯特方程”。

• 希尔伯特从未声称自己是共同作者。他赞扬爱因斯坦说：“哥廷根大街上的每个男孩都比爱因斯坦更懂四维几何；然而，最终做出重大贡献的是爱因斯坦，而不是数学家。”

• 爱因斯坦1915年年底主动恢复与希尔伯特的友好关系。

10. 广义相对论的成就

• 方程组代表10个方程（R_{μν}和T_{μν}都是对称的），是“解锁许多宇宙奥秘的关键”：

  • 水星近日点进动

  • 大爆炸奇点

  • 光线的弯曲（1919年和1922年日食观测证实；2019年黑洞阴影成像验证）

  • 引力波（2015年首次探测）

  • 引力对时钟和GPS的影响

  • 参考系拖曳、黑洞、引力透镜等

• 迄今为止，这些方程在每一次检验中都被确证无误。

• 爱因斯坦1916年综述《广义相对论的基础》第一页向贡献的数学家致敬：闵可夫斯基、里奇、列维-齐维塔、高斯、黎曼、克里斯托费尔和格罗斯曼。

• 里奇的荣耀：列维-齐维塔说张量在广义相对论中的本质作用让里奇“公正地得到了他应有的那份荣耀”。

• 1919年：日食观测证实光线弯曲。《伦敦时报》：“科学的革命，宇宙的新理论：牛顿的思想被推翻。”《纽约时报》：“天际星光尽偏斜，科学家为之激动，日食观测结果印证爱因斯坦理论大获全胜。”

第13章 后面发生了什么

1. 艾米·诺特的出场

• 艾米·诺特1915年来到哥廷根大学。她是不变量理论专家，1907年在埃朗根获博士学位。克莱因和希尔伯特邀请她来帮助解决关于广义相对论和能量的问题。

• 1917年克莱因告诉希尔伯特：“如你所知，诺特小姐一直就我的工作提出有效的建议，正是因为她我才理解了这些方程。”

2. 守恒与比安奇恒等式

• 问题背景：爱因斯坦具有超乎常人的直觉，但在解释数学协变性与相对论及等效原理之间的关系时遇到了困难。他的努力帮助后来的数学家明确了坐标变换、参考系、点或事件之间的区别，以及相对论作为“不变性与对称群理论”和作为“协变理论”的区别——这些区别至今仍在讨论中。

• 爱因斯坦1916年的综述论文堪称介绍里奇张量微积分的经典文章——他非常仔细地以简明清晰的方式阐述了张量规则。

• 1916年5月，爱因斯坦询问希尔伯特：他们的两种独立方法（爱因斯坦混合使用张量和汉密尔顿量；希尔伯特使用拉格朗日方法）背后是否有更深层次的原理。希尔伯特回答可能有，并已邀请“诺特小姐”研究这个问题。

• 背景知识——变分法：普通力学中通过最小化“作用量”（拉格朗日量L的积分）推导守恒方程。欧拉和拉格朗日创造了这种方法；矢量先驱汉密尔顿引入了以动量而非速度表示L的替代方法（汉密尔顿量H）。对单个粒子，这样得到的运动方程等价于牛顿第二定律。

• 诺特定理的最简证明示例：牛顿第二定律F = dp/dt，若势V在“沿x方向平移”的坐标变换群下不变（即V与x无关），则∂V/∂x = 0，于是dp_x/dt = 0——动量的x分量守恒。若对称性适用于一切方向，则动量所有分量守恒（动量守恒定律）。

• 两个守恒问题的区分：(1) 运动物体在引力场中的能量和动量守恒（与势V和度量g的对称性有关）；(2) 引力场本身的能量和动量守恒。诺特率先用数学方法证明我们实际上是在谈论不同类型的守恒定律。

• 关键区别：经典力学和狭义相对论中的对称群是有限的，但广义相对论中的对称群是无限的（允许一切可能的点变换）——因此引力场的能量-动量守恒定律确实与力学和狭义相对论中的守恒定律不同。诺特证明了T^{μν}_{;μ}=0方程不是一个物理散度，而是一个数学类比。

• T^{μν}仍有物理意义：一个观察者可以定义一个点处的能量密度、一个系统的总引力能量、由引力波携带的能量通量。因此T在宇宙学和引力辐射研究中扮演至关重要的角色。

• 比安奇恒等式组的意义：4个缩并的比安奇恒等式意味着10个爱因斯坦方程中只有6个是独立的——这给了你任意选择4个坐标（参考系）的自由，以确保每个观察者都能推导出相同的物理定律。

• 爱因斯坦的弯路：他最初尝试用R=kT作为场方程。比安奇恒等式组可以直接证明这个方程是错误的（要保持能量-动量守恒必须令R=0）。如果爱因斯坦当时知道这组恒等式，可以省去很多麻烦！

• 诺特定理被忽视几十年：物理学家很久之后才意识到她的发现的重要性——利用一个基本原则将数学对称性和物理守恒定律统一起来。这一原则的一般性使其比广义相对论适用范围更广（量子力学、弹性力学、流体力学、纯数学和数值分析等）。

• 直到1924年，扬·舒滕和德克·斯特罗伊克才强调了诺特的拉格朗日恒等式与优美的张量恒等式之间的联系：诺特利用了拉格朗日的对称性，而比安奇恒等式组依赖于黎曼张量的对称性。

3. 对诺特的艰难认可

• 斯特罗伊克其人：在莱顿大学学习，教授是爱因斯坦密友埃伦费斯特。他记得埃伦费斯特令人激动的讲座让他觉得科学是“活的”。他后来成为科学史学家，1936年与他人共同创办马克思主义杂志《科学与社会》（至今仍在出版）。他受一种思想激励：科学既塑造社会也受社会影响，科学家对工作负有社会责任和科学责任。

• 诺特遭遇的偏见：1924-1925年斯特罗伊克夫妇在哥廷根度过一年。“哥廷根数学家以讽刺幽默而闻名”，“你必须脸皮厚才能生存”。斯特罗伊克注意到诺特“羞涩且不善言辞，经常成为一些人取笑的对象”（不全是性别歧视——善良的贝塞尔-哈根也受到了同样对待）。

• 1915年诺特申请私人导师资格证被拒——因为身为女性。数学系属于哲学系，大多数成员根本不知道她的数学才华。反对者质问：“我们的士兵回到大学里来，发现他们将受教于一个女人，这时他们会怎么想？”希尔伯特回应说，他认为“候选人的性别”不是一个问题，毕竟大学“不是澡堂”。

• 爱因斯坦的支持：1918年5月他读诺特关于不变量的论文后写信给希尔伯特：“让哥廷根的老卫队在诺特小姐手下回炉再造，这对他们有好处。她真的很懂数学！”读了诺特的守恒定理后又写信给克莱因：“我再次感到，不让她教学实在太不公平了。”他甚至愿意自己去找相关部门争取。

• 1919年6月，战争结束、德国有了民主新政府后，诺特终于获准成为私人导师。她的教授资格论文正是1918年提出的守恒定理；但她一生中后来在抽象代数方面的工作更为出名，因此被称为“现代代数之母”。她也是第一位在相对论中发挥了重要作用的女性。

• 当代女性科学家：巴黎大学教授伊冯·舒凯特·布鲁哈特（从20世纪50年代开始证明广义相对论中的里程碑定理）；澳大利亚国立大学苏珊·斯科特教授（因引力方面的工作获2022年欧洲科学院布莱斯·帕斯卡奖章）；凯蒂·布曼（2019年首次黑洞直接成像算法设计的关键人物）。

4. 黑洞、引力波与张量方程

• 黑洞和引力波是广义相对论的预言之一，尽管爱因斯坦本人对它们是否真的存在持保留态度。但这一切都蕴含在张量方程中——今天求解通常需要数值算法和计算机算力。对研究精确解的人来说，张量指标及其对称性质有助于减轻计算任务。

5. “平行”的含义——列维-齐维塔的平行移动

• 问题：矢量加法的平行四边形法则要求将矢量平移并保持与自身平行。但在曲面上无法这样移动矢量（赤道上平行的经线到极点不再平行）。通常的平行概念仅在曲线近似于直线的局部有意义。

• 列维-齐维塔1917年发现了如何在曲面上“平行移动”矢量——用张量做到这一点。他的平行移动方程有助于证明：曲率导致两条最初平行的测地线彼此偏离（如球面上收束于极点的经线）。在极度弯曲的时空中（如黑洞周围），测地线的收束如此剧烈，靠得太近就会被压碎（平方反比定律还可能使你“四分五裂”）。

• 曲率的直观刻画（图13-2）：

  • 平坦空间：在三角形纸面上，将一支垂直于AB边的铅笔从A点以不同路线（直接移到C，或沿A→B→C）移动到C点，最终方向毫无意外地相同。

  • 球面：将铅笔从赤道A点（切于球面、指向上方）平行移动到极点C：直接移动与沿A→B→C移动的结果相差90度！这就是非交换性在起作用——汉密尔顿一定会惊讶于他的概念竟有如此多的应用。

  • 二维蚂蚁外星人只需沿曲面爬行并注意铅笔在C点的方向变化，就能发现球面的内蕴曲率。

• 与协变导数的联系：在普通矢量分析中对矢量求导时，需比较两个临近点处的矢量——假定它们是平行的。因此在弯曲空间中定义导数（协变导数），矢量必须能以某种平行的方式沿曲线“传运”。列维-齐维塔的平行移动想法能将协变导数和曲率联系起来。

  • 平行移动的定义：沿切矢量为U的曲线移动矢量V时，DV/dt = V_{;μ}U^μ = 0（分号表示协变导数）。

• 舒滕的丧失：扬·舒滕大约在同一时间独立产生了相同想法但未发表。他拿着列维-齐维塔的论文冲进斯特罗伊克办公室：“他也有我的测地移动的系统，只不过他称其为平行移动。”斯特罗伊克说列维-齐维塔的方法更简单，并沉思道：“很少有人意识到，舒滕丧失了一项重大发现的优先权，而这是自里奇发明张量微积分以来最重要的发现。”

• 列维-齐维塔其人：斯特罗伊克1923年与他合作过，形容他活泼、温和、迷人。苏格兰代数几何学家威廉·霍奇称他是他那个时代最知名和最受欢迎的数学家之一。他娶了曾经的学生利比里亚·特雷维萨尼，巡回演讲非常受欢迎。

• 法西斯迫害：20世纪30年代，列维-齐维塔、爱因斯坦、诺特和其他许多犹太学者失去了学术职位。

6. 数学与国际合作

• 1919年英国日食观测：队长亚瑟·爱丁顿认为英国团队证实了德国科学家的理论具有象征意义，从中看到了和平的希望。

• 1928年战后数学大会（意大利组织）：许多德国数学家拒绝前往，但希尔伯特带领德国代表团出现在开幕式上获得热烈掌声。他的讲话：“数学没有界限，包括国界。根据种族对人类加以区分，这是对科学的根本误解……对数学来说，整个世界就是一个国家。”

• 数学家们对是否应参与国际制裁展开了辩论。

7. 卡坦与爱因斯坦的通信

• 1929年，爱因斯坦开始与法国数学家埃利·卡坦通信，讨论带有广义平行概念的空间的可能性。

• 卡坦的贡献：整合前人想法，将其归结为里奇张量微积分的现代微分形式，包括长期被忽视的格拉斯曼方法（卡坦曾深入研究）。他澄清了1-形式作为矢量对偶的想法。

• 绝对平行与挠率：卡坦的“绝对平行”概念允许扭曲平行矢量（列维-齐维塔的定义不允许扭曲，因此广义相对论没有采用）。爱因斯坦曾认为引入挠率可能是统一电磁学和引力的一种方式（与希尔伯特和米耶一样，他的尝试没有成功）。今天人们仍在探索具有扭率的时空（爱因斯坦-卡坦理论）——如作为避免大爆炸奇点的可能方式，或解释物质的内蕴自旋。

• 通信中的相互尊重：爱因斯坦写道：“我为有你这位合作者深感幸运，因为你弥补了我缺乏的东西，那就是令人羡慕的数学能力。”卡坦回复：“我的信件能让你感到有趣，我为此感到自豪……并视之为一种荣耀。”

• 感人的细节：1931年6月13日爱因斯坦写信告诉卡坦，老朋友格罗斯曼发表了一篇批评绝对平行概念的论文，但格罗斯曼患有晚期多发性硬化且病情严重——“我告诉你这一切，是为了敦请你不要公开回复他……格罗斯曼病得太重了，我们应该原谅他批评中的不愉快语气和错误的内容。”5年后格罗斯曼去世，爱因斯坦写信给其遗孀深情悼念。

• 格罗斯曼会议：自1975年以来，人们每隔三四年举办马塞尔·格罗斯曼会议，纪念他在广义相对论中留下的宝贵遗产——同时也低调纪念了里奇、列维-齐维塔和爱因斯坦。

跋

1. 张量进入主流：狄拉克与量子电动力学

• 随着1919年日食探测后广义相对论的成功，张量进入了主流学术界。

• 保罗·狄拉克1927年提出量子电动力学（QED），使用张量及矢量和矩阵，将麦克斯韦电磁理论、电子的量子力学（狄拉克方程）和狭义相对论统一起来——当时他年仅25岁。

• QED帮助启动了量子场论——分析粒子加速器中粒子所需的量子理论。欧洲核子研究组织（CERN）的大型强子对撞机旨在寻找理论预言的新粒子，2012年希格斯玻色子的发现轰动一时。（有物理学家如扎比内·霍森菲尔德对如此高花费是否值得持怀疑态度。）

• 1929年年底狄拉克预言反物质（尤其是正电子，带负电荷电子的镜像）；3年后正电子通过云室实验被发现。今天正电子已被常规应用于PET（正电子发射断层成像）等医学成像。

• 伯莎·斯威尔斯（吉尔顿学院毕业生）：1936年将狄拉克的相对论量子分析扩展到两个电子（包括自旋相互作用）。她曾与玻恩和海森堡一起工作，1940年嫁给地球物理学家哈罗德·杰弗里斯并合著数学物理教科书。

• 相对论量子力学的现代应用：量子化学、材料科学、纳米技术；电子自旋从MRI到量子计算机的量子比特；张量积用于证明量子不可克隆定理、分析量子隐形传态和量子纠缠。

2. 宇宙学：宇宙常数的故事

• 爱因斯坦完成广义相对论后不久开创了相对论宇宙学——张量（尤其是度量）是关键所在。

• 1917年静态宇宙模型：爱因斯坦假设宇宙度量与时间无关、宇宙是球对称的。问题在于重力使物质相互吸引——理论上所有恒星和星系会不断合并，但宇宙中一切都在“正确的位置”。于是他在场方程中增加了“宇宙常数”项以抵消重力的自然吸引倾向。

• 1920年代弗里德曼等数学家发现按广义相对论预言宇宙应该处于膨胀（或收缩）状态；1929年哈勃发现宇宙确实在膨胀的确切证据——爱因斯坦放弃了静态宇宙理论和宇宙常数，曾公开称这个常数是他此生犯下的最大错误。

• 平反：宇宙常数又回来了（至少暂时回来了）——它被设计为“抵消”重力，因此成为寻找导致宇宙加速膨胀的神秘暗能量的理想工具。

3. 矢量与张量的当代地位

• 张量在所有领域重要的两大原因：(1) 解决涉及不变性的问题（广义相对论、量子力学、神经网络）；(2) 表示和处理数据。

• 作者的历史性感慨：当古代美索不达米亚人将数据表刻在泥板上时，他们想不到今天张量需要处理海量数据；当古代中国数学家用类似矩阵的数组求解线性方程组时，想不到这些方程组今天会如此复杂多样（优化商业成本、制定游戏策略、构建薛定谔方程和谷歌页面排名算法）。

• 数值方法：当方程难以精确求解或需要模拟（两个黑洞合并、气候变化）时需要数值方法。牛顿是这种方法的先驱之一。今天数值线性代数（NLA）领域中，张量或基于张量思想的算法正解决令人眼花缭乱的问题（引Lek-Heng Lim《Tensors in Computation》）。

• 思想的演变主线（本书贯穿的主题）：从数字演变到矢量，从古代的表格演变到矩阵，又从矢量和矩阵演变到张量；代数发展成函数微积分，随后发展成矢量和张量的微积分；代数变换方程则发展成张量算子。

• 张量网络（TN）：利用张量作为多重线性映射的现代观念——张量作用于矢量和1-形式得到标量。应用于图像分类的像素数组映射与标记；还使用矩阵方法对张量做出调整（如第4章提及的分解）。

• 思想的巧妙调整：狄拉克的杰出见解——他的张量方程只有在系数是矩阵（而非普通函数如g_{μν}）时才有意义；数据科学中“不规则张量”的概念等。

4. 奇妙的感受（作者结语）

• 本书提及的所有数学工具（代数、微积分、虚数、矢量、四元数、矩阵和张量）今天都不可或缺。作者希望它们能得到更好的监管，因为技术被滥用就会显露阴暗面。

• 人文反思：我们的祖先凝视夜空10万年，在优美风景中寻求慰藉，与地球共存并试图理解自然的秘密——这些让我们成为人类。但科学知识及对“舒适感”的欲望也破坏了自然的微妙平衡（过度砍伐、污染河流、燃烧化石燃料）。

• 科学与自然的关系：自然既可怖也美丽。科学帮助理解并减少可怖的东西（解释日食、天气预报、电力），已成为对抗灾难性气候变化的关键武器。但未来不能完全依赖技术，也不能放弃与自然之间的古老联系。

• 本书的宗旨：分享数学创造中的奇迹，讲述五千年间跨文化的非凡旅程中，这些数学概念如何通过人类的非凡想象力不断演变。

• 优雅的方程：爱因斯坦发现场方程后告诉朋友，在他看来它们“无与伦比地优雅”。书中看到了麦克斯韦方程演变为优美的矢量与张量形式、汉密尔顿在布鲁姆桥上刻下的简洁四元数规则、欧拉方程、牛顿定律的简洁有力等。能够欣赏这种知识之美非常重要，就如同欣赏音乐和艺术之美一样。

• 两类思想家：一类主要出于解决实际问题（数学思想与实际需求携手发展）；另一类主要出于了解和理解的目的（追踪有趣的模式或证明）。我们需要这两类思想家——正是他们让人类既能安全舒适有趣地生活，又能对浩瀚宇宙有深刻理解。这就是数学的力量！

时间线（全书大事年表）

古代

• 约公元前3000年：美索不达米亚和埃及制作已知最早的楔形文字和象形文字数据表。

• 约公元前2000年：美索不达米亚楔形文字乘法表；配平方几何方法求解二次方程。

• 约公元前1700年：普林顿322号泥板证明勾股定理早于毕达哥拉斯。

• 约公元前1650年：埃及阿默士莎草纸书含圆的近似周长面积计算。

• 约公元前300年：欧几里得《几何原本》给出欧几里得空间几何规则。

• 约公元前250年：中国《九章算术》记载高斯消元法雏形。

• 约公元前200年：阿基米德接近微积分概念。

• 约150年：托勒密《天文学大成》《地理学》——三角学及坐标（纬度经度）为矢量诞生奠基。

• 约400年：希帕蒂亚撰写学术评论；415年被杀害。

• 7世纪：婆罗摩笈多同时考虑正负数。

• 约830年：花剌子米《代数学》（“代数”名称由此衍生）；代数符号到17世纪才诞生。

• 约1200年：图西对三次方程做出开创性贡献。

近代早期

• 1540年：卡尔达诺《大术》首次记载三次方程算法，对虚数困惑。

• 1572年：邦贝利《代数学》开创复数数学。

• 1619年：哈里奥特的碰撞力学预示矢量概念，正确使用平行四边形法则。

• 1631年：哈里奥特《使用分析学》——第一本完全符号化的代数教科书。

• 1637年：笛卡儿《方法论》引入x、y符号和笛卡儿坐标系。

• 17世纪70年代：牛顿和莱布尼茨各自独立创建微积分。

• 1687年：牛顿《自然哲学的数学原理》——一般微积分算法、引力理论、力与速度的矢量思想。

• 18世纪初：约翰·伯努利将牛顿证明翻译成莱布尼茨微积分形式。

• 1759年：杜·夏特莱法文版《原理》出版（含用现代微积分书写牛顿证明的附录）。

• 1785年：库仑证明静态电荷力遵从平方反比定律。

• 18世纪80年代：拉格朗日用引力“势”重述牛顿定律；1788年《分析力学》。

• 1799年：拉普拉斯《天体力学论》第一卷。

19世纪

• 1800年：伏打发明电池。

• 1801年：托马斯·杨双缝实验显示光的波性质。

• 19世纪初：阿甘、高斯、韦塞尔、沃伦各自独立发现复数平面表示法。

• 1816年：热尔曼赢得法国科学院数学奖项。

• 1820年：奥斯特发现电流影响磁铁。

• 1821年：安培发明第一个电报系统；法拉第发明第一个电动机原型。

• 1822年：傅里叶推导热方程（1827年应用于气候科学）。

• 1828年：高斯发展非欧几何，定义内蕴几何、度量、内蕴曲率。

• 1831年：法拉第发现电磁感应，发明发电机原型，构想电场和磁场概念；萨默维尔《天空的机制》出版。

• 1832年：汉密尔顿用微积分预言锥形折射——首次数学预言未知物理现象。

• 1837年：汉密尔顿任爱尔兰皇家科学院院长。

• 1843年：汉密尔顿发明四元数和矢量，10月16日在布鲁姆桥刻下基本规则。

• 1844年：格拉斯曼出版《线性扩张论》。

• 1855年：麦克斯韦发表关于法拉第场概念的第一篇论文。

• 1857年：泰特开始应用纳布拉算子并命名。

• 1858年：凯莱将矩阵代数形式化（受四元数启发）。

• 1854与1861年：黎曼将高斯曲率分析推广到任意维数，发现黎曼张量。

• 1865年1月：麦克斯韦电磁场理论发表——推断光是电磁波（方程为分量形式）。

• 1867年：汤姆森和泰特《自然哲学论》（不含四元数）；泰特《四元数基础论》。

• 1870年：麦克斯韦创造散度、梯度、旋度术语。

• 1873年：麦克斯韦《电磁通论》出版——整体矢量形式电磁方程（用四元数表示）、定义应力张量。

• 19世纪70年代：克利福德创建几何代数。

• 19世纪80年代：赫维赛德和吉布斯各自独立创建现代矢量分析；里奇发展绝对微分（张量微积分）。

• 1888年：赫兹和洛奇宣布首次人工制造无线电波；皮亚诺给出矢量空间现代公理化定义。

• 19世纪80年代末至20世纪初：矢量论战（赫维赛德和吉布斯 vs 泰特、麦考利等四元数派；凯莱和汤姆森倾向分量）——最终整体矢量分析胜出。

20世纪至今

• 19世纪90年代末：爱因斯坦与马里奇相恋；马里奇和格罗斯曼是最早发现爱因斯坦天赋的人。

• 1895年：奇斯霍姆成为德国第一位获官方博士学位的女性。

• 1900年：里奇和列维-齐维塔的绝对微分综述发表于《德国数学年刊》——12年后启发爱因斯坦。

• 1905年：爱因斯坦奇迹年——5篇开创性论文，含狭义相对论。（洛伦兹和庞加莱的理论基于以太，不具备完全相对论性质。）

• 1907年：闵可夫斯基创建时空概念。

• 1908-1910年：闵可夫斯基以张量形式书写麦克斯韦方程，死后由索末菲尔德接手；创造能量-动量张量概念。

• 1912年：爱因斯坦与格罗斯曼合作建立广义相对论数学基础。

• 1914-1918年：第一次世界大战；爱因斯坦与马里奇婚姻破裂。

• 1915年：爱因斯坦11月完成广义相对论（与希尔伯特既合作又竞争）。

• 1916-1918年：诺特与克莱因、希尔伯特合作；1918年提出诺特定理。

• 1917年：列维-齐维塔用缩并的比安奇恒等式证明广义相对论与能量-动量守恒的张量联系；定义平行移动。

• 1919年：爱丁顿日食观测证实光线弯曲——爱因斯坦成为超级明星，张量进入主流。

• 1922年：斯特恩-格拉赫发现角动量量子化；乌伦贝克和戈德斯密特证明是自旋；狄拉克用泡利矩阵（与四元数结构完全相同）提供理论支持。

• 1924年：舒滕和斯特罗伊克强调诺特定理与比安奇恒等式组的关系。

• 20世纪20年代：卡坦发展现代微分几何——张量作为算子和线性映射的现代形式。

• 1927年：狄拉克创立QED（25岁）；1929年预言反物质。

• 1960年：庞德和雷布卡实验检测到引力红移。

• 20世纪六七十年代：萨尔顿将矢量和矩阵用于搜索引擎。

• 1981年：NASA常规使用四元数为航天器导航。

• 20世纪90年代末：谷歌网页排名算法使用矢量和矩阵。

• 21世纪初：四元数用于机器人、CGI、分子动力学、手机屏幕旋转、航天器控制。

• 2011年：NASA引力波探测器B证实测地线效应和参考系拖曳预言。

• 2015年：LIGO首次探测到引力波。

• 2017年：国际天文学联合会将86个原住民星名纳入恒星命名体系。

• 2018年：改进测试确认引力红移（等效原理）。

• 2019年：事件视界望远镜首次直接拍摄黑洞（阴影）照片。

• 2020年：彭罗斯因黑洞存在性证明获诺贝尔物理学奖。

• 正在进行：越来越严格的测试不断证实（张量）广义相对论——2019年LARES/LAGEOS卫星确认参考系拖曳；2021年观测黑洞背面X射线；2022年“显微镜”卫星确认等效原理新精度、EHT拍摄银河系中心黑洞照片；2023年ACT利用引力透镜绘制暗物质图、帕克斯射电望远镜发现引力波新证据……

• 今天：四元数、矢量和张量成为物理、工程、信息技术（AI、CGI、搜索引擎）等各种应用的基础，或者说几乎是一切需要精确定位空间内对象、表示与处理信息的领域的基础。

致谢

• 原住民致谢：作者首先向布努隆人致谢——他们是生活在澳大利亚维多利亚州的库林族原住民群体，曾是作者生活和工作的土地（从维利比河到威尔逊角，包括今天墨尔本的一部分）的守护者。

• 出版团队：本书构思归功于芝加哥大学出版社的乔·卡拉米亚（“无与伦比的洞察力和无比热情的鼓励”，撰写矢量和张量故事这一“大胆而富有创意的建议”）；感谢马特·朗、尼古拉斯·莉莉、卡特琳娜·麦克莱恩；尤其感谢苏珊·奥林的一丝不苟的编辑；感谢匿名审稿人和编制索引的托比亚斯·沃尔德隆。

• 照片提供者：剑桥三一学院图书馆（麦克斯韦年轻时的资料）、佩特沃斯庄园（哈里奥特手稿）、都柏林高级研究所和梅努特大学汉密尔顿研究所（汉密尔顿资料）、爱尔兰皇家科学院、詹姆斯·克拉克·麦克斯韦基金会（JCMF，泰特照片；作者推荐参观爱丁堡麦克斯韦出生地博物馆）、剑桥彼得豪斯学院、苏黎世联邦理工学院图书馆（爱因斯坦、马里奇、格罗斯曼和闵可夫斯基的照片）。作者感谢自己工作的莫纳什大学数学学院和图书馆。

• 私人致谢：感谢多年来写信给作者的读者（“对一个孤独的作家来说，成为一个遥远社区的一部分，让我感到谦卑与奇妙”）；感谢朋友吉娜·沃德和伊卡·威利斯的前期反馈；感谢乌苏拉和维尔纳·泰内特夫妇；以及一长串以各种方式支持其工作的朋友。最后“衷心感谢你，我亲爱的摩根”——本书献给摩根。

全书总结

1. 叙事线索

本书以五千年跨文化数学史为经，以矢量与张量概念的演变为纬，讲述了四个关键人物及其思想传承：

2. 主题脉络

• 代数→微积分→矢量→四元数→矩阵→张量的思想演进链条；

标量：在坐标变换下数值保持不变的量。
矢量：既有大小又有方向、加法服从平行四边形法则、且分量按确定规则随坐标变换而变换的量——其变换保证“由它构成的关系”（如垂直、夹角）不因坐标系选择而改变。
张量：矢量按规则（指标数目）的推广，每个指标标记一类信息；其分量在坐标变换下按对应规则变换，使得由它构成的表达式（标量、方程）在一切坐标系中形式不变——张量的本质是编码不变性，而非“多维表格”。

• 不变性/对称性作为贯穿始终的核心概念（从雪花的对称到诺特定理）；

• 符号的力量：从楔形文字表格到爱因斯坦求和约定，新符号需要时间找到最佳形式；

• 思想的接受史：汉密尔顿的“妖魔”、格拉斯曼的埋没、麦克斯韦理论的冷遇、里奇的怀才不遇、诺特的性别歧视，伟大思想被接受往往需要漫长的等待；

• 两类思想家的互补：解决实际问题者与纯粹求知者共同推动了数学与人类文明的进步。

3. 现代意义

矢量与张量不仅是物理学的基础语言，更驱动着工程（机器人、CGI）、信息技术（搜索引擎、AI、机器学习）、医学（MRI、PET）、量子计算等几乎所有需要精确定位空间内对象以及表示与处理信息的领域，这正是5000年前美索不达米亚人在泥板上刻下第一张数据表时所开启的伟大传统的延续。