高等代数 · 课程学习笔记

第 P144 集 · 十九:正交空间、辛空间、Hermite变换、Lorentz变换、Minkowski空间

Orthogonal Spaces, Symplectic Spaces, Hermite Transformations, Lorentz Transformations, Minkowski Space
北大丘维声教授 · 清华大学 2011 级 进度 P144 / 151 集 核心概念:Hermite变换 · 洛伦兹变换 · 闵可夫斯基空间 · 辛空间
提示:数学公式渲染组件(KaTeX)加载失败,公式以源码形式显示,不影响阅读内容。联网后刷新即可正常渲染。

☰本集目录

◎学习目标

  1. 理解Hermite(埃尔米特)变换的定义,掌握其矩阵刻画(\(A^*=A\));
  2. 证明Hermite变换的特征值必为实数,理解其在量子力学中的物理意义;
  3. 理解Lorentz变换的时空坐标变换公式及其与内积保持的关系;
  4. 理解Minkowski(闵可夫斯基)空间的结构:以非退化对称双线性型代替正定内积;
  5. 了解正交空间(对称双线性型)和辛空间(斜对称双线性型)的基本概念。

1Hermite(埃尔米特)变换 ⏱ 00:04

类比实内积空间中的对称变换(满足 \(\langle S\alpha,\beta\rangle=\langle\alpha,S\beta\rangle\)),在复酉空间中定义:

定义 · Hermite变换 设 \(A\) 是酉空间 \(V\) 上的线性变换,若对任意 \(\alpha,\beta\in V\) 有
\[ \langle A\alpha,\,\beta\rangle = \langle\alpha,\,A\beta\rangle, \]
则称 \(A\) 为Hermite变换(或自共轭变换)。⏱ 00:19
矩阵刻画:\(A^*=A\)

设 \(A\) 在标准正交基下的矩阵为 \(A\)(仍用同一字母),则 \(A\) 是 Hermite 变换的充分必要条件是:

\[ A^* = A, \quad \text{即}\quad \overline{A}^{\mathsf{T}} = A. \]

证明与实内积空间中对角矩阵的对称性证明完全相同,关键差异是内积含共轭,需多一步共轭转置。⏱ 01:21

术语对照满足 \(A^*=A\) 的矩阵称为Hermite矩阵(或自伴矩阵、厄米矩阵);实情形下就是对称矩阵(\(A^{\mathsf{T}}=A\))。
性质 · Hermite变换是线性变换 Hermite变换一定是线性变换。证明与实内积空间对称变换是线性变换的证明完全相同,一字不改。⏱ 00:41

2Hermite变换的特征值必为实数 ⏱ 03:56

定理 · Hermite变换特征值的实性 设 \(A\) 是酉空间 \(V\) 上的 Hermite变换,\(\lambda_0\) 是 \(A\) 的任一特征值,则
\[ \lambda_0 \in \mathbb{R}. \]
即 Hermite变换的特征值全是实数。⏱ 05:56
证明(利用 Hermite 条件和共轭对称性)

设 \(A\xi_0 = \lambda_0\xi_0\),\(\xi_0\neq 0\)。考虑 \(\langle A\xi_0,\,\xi_0\rangle\):

方法一(右作用):

\[ \langle A\xi_0,\,\xi_0\rangle = \langle\lambda_0\xi_0,\,\xi_0\rangle = \lambda_0\langle\xi_0,\,\xi_0\rangle = \lambda_0\|\xi_0\|^2. \]

方法二(利用 Hermite 条件):

\[ \langle A\xi_0,\,\xi_0\rangle = \langle\xi_0,\,A\xi_0\rangle = \langle\xi_0,\,\lambda_0\xi_0\rangle = \overline{\lambda_0}\,\langle\xi_0,\xi_0\rangle = \overline{\lambda_0}\|\xi_0\|^2. \]

比较两式:

\[ \lambda_0\|\xi_0\|^2 = \overline{\lambda_0}\|\xi_0\|^2\ \Longrightarrow\ \lambda_0 = \overline{\lambda_0}\ \Longrightarrow\ \lambda_0\in\mathbb{R}. \]

因 \(\xi_0\neq 0\),故 \(\|\xi_0\|^2\neq 0\),可以约去。⏱ 05:34

物理意义(丘老师强调) 量子力学中可观测量对应 Hermite算符,其测量结果(特征值)必须是实数。这正是物理学家偏爱 Hermite变换而非一般线性变换的根本原因。⏱ 06:33
推论 · Hermite变换的对角化 设 \(A\) 是 \(n\) 维酉空间 \(V\) 上的 Hermite变换,则存在 \(V\) 的一个标准正交基,使 \(A\) 在此基下的矩阵为实对角矩阵:
\[ A \sim \mathrm{diag}(\lambda_1,\lambda_2,\dots,\lambda_n),\quad \lambda_i\in\mathbb{R}. \]
证明与酉变换对角化定理完全相同(归纳法+不变子空间正交补的不变性),一字不改。⏱ 07:31
不变子空间正交补的不变性(Hermite情形)

若 \(W\) 是 Hermite变换 \(A\) 的不变子空间,则 \(W^{\perp}\) 也是 \(A\) 的不变子空间。证明与酉变换情形完全相同,不重复书写。⏱ 07:20

3Lorentz(洛伦兹)变换与Minkowski(闵可夫斯基)空间 ⏱ 09:13

本段是物理背景的引入。考虑两个惯性参考系:静止系 \(S\)(坐标 \((t,x,y,z)\))和匀速运动系 \(S'\)(坐标 \((t',x',y',z')\)),\(S'\) 沿 \(x\) 轴以速度 \(v\) 运动。

伽利略变换(低速近似,\(v\ll c\))
\[ t'=t,\quad x'=x-vt,\quad y'=y,\quad z'=z. \]
Lorentz(洛伦兹)变换(精确形式)
\[ t'=\frac{t-\dfrac{v}{c^2}x}{\sqrt{1-v^2/c^2}},\quad x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\quad y'=y,\quad z'=z. \]
其中 \(c\) 为光速。⏱ 13:51

Lorentz变换是 \(\mathbb{R}^4\) 上的线性变换。问题是:它是否保持某个"内积"?

关键洞察 若使用标准的正定内积(欧氏距离),Lorentz变换不保持该内积,这与相对论基本原理(所有惯性系物理规律相同)矛盾。⏱ 15:46

丘老师提出:换一个双线性型——取 Minkowski 度量:

Minkowski(闵可夫斯基)内积 对 \(\alpha=(t_1,x_1,y_1,z_1),\ \beta=(t_2,x_2,y_2,z_2)\in\mathbb{R}^4\),定义
\[ f(\alpha,\beta) = -t_1t_2 + x_1x_2 + y_1y_2 + z_1z_2. \]
这是一个非退化对称双线性型,但不是正定的(如 \((1,0,0,0)\) 的"长度平方"为 \(-1\))。⏱ 18:32
定理 · Lorentz变换保持Minkowski内积 Lorentz变换 \(\sigma\) 满足
\[ f(\sigma\alpha,\,\sigma\beta) = f(\alpha,\,\beta), \quad \forall\ \alpha,\beta\in\mathbb{R}^4. \]
特别地,取 \(\alpha=\beta\) 可得时空间隔平方不变:
\[ f(\alpha-\beta,\,\alpha-\beta) = f(\sigma\alpha-\sigma\beta,\,\sigma\alpha-\sigma\beta). \]
这就是相对论中"时空间隔不变性"的数学表述。⏱ 21:16
定义 · Minkowski空间 \(\mathbb{R}^4\) 配上 Minkowski 内积 \(f\) 构成的空间称为Minkowski空间(闵可夫斯基空间),记作 \(\mathbb{R}^{1,3}\)。它是正交空间的一个特例。⏱ 22:00

4正交空间与辛空间 ⏱ 23:36

将内积的概念推广:不要求正定性,只要求非退化。

定义 · 正交空间 数域 \(\mathbb{F}\) 上线性空间 \(V\) 上给定一个非退化对称双线性型 \(f\)(即 \(f(\alpha,\beta)=f(\beta,\alpha)\),且 \(f(\alpha,\beta)=0\ \forall\beta\Rightarrow\alpha=0\)),则 \((V,f)\) 称为正交空间。⏱ 24:48
定义 · 辛空间 数域 \(\mathbb{F}\) 上线性空间 \(V\) 上给定一个非退化斜对称双线性型 \(f\)(即 \(f(\alpha,\beta)=-f(\beta,\alpha)\),且非退化),则 \((V,f)\) 称为辛空间(Symplectic space)。⏱ 27:10
两类空间的对比
性质正交空间辛空间内积空间(传统)
双线性型对称斜对称(Hermite)对称正定
正定性不一定不可能(斜对称⇒ \(f(\alpha,\alpha)=0\))必须
非退化要求要求自动满足
长度/角度不能普遍定义不能定义可以
正交性可以定义可以定义可以
注意 辛空间要求维数为偶数(因为斜对称非退化矩阵的行列式要求偶数阶)。正交空间无此限制。Minkowski空间是正交空间的一个特例(signature \((-,+,+,+)\))。⏱ 27:30

★重点回顾

1
Hermite变换:\(\langle A\alpha,\beta\rangle=\langle\alpha,A\beta\rangle\),矩阵满足 \(A^*=A\)。特征是实数,且可正交对角化(标准正交基下为实对角阵)。
2
特征值实性证明:\(\lambda\|\xi\|^2=\overline{\lambda}\|\xi\|^2\Rightarrow\lambda=\overline{\lambda}\Rightarrow\lambda\in\mathbb{R}\)。这是 Hermite 变换区别于酉变换的核心性质。
3
Lorentz变换:惯性系间的时空坐标变换,保持 Minkowski 内积 \(f(\alpha,\beta)=-t_1t_2+x_1x_2+y_1y_2+z_1z_2\),体现相对论的时空间隔不变性。
4
Minkowski空间:\(\mathbb{R}^4\) 配 Minkowski 内积,是非正定正交空间的典型例子。
5
正交空间与辛空间:将"内积"的概念推广到非退化双线性型(对称→正交空间;斜对称→辛空间),不再要求正定性,但仍保留正交性的概念。

⚠易错点提醒

常见错误
  1. 混淆 Hermite 矩阵与酉矩阵:Hermite 矩阵 \(A^*=A\)(自伴),酉矩阵 \(U^*U=I\)(保距)。前者特征值是实数,后者特征值模为1。
  2. Minkowski内积不是内积:它不满足正定性(存在非零向量长度为0,即"类光矢量"),因此不能定义通常意义上的长度和角度,只能定义正交性。
  3. 辛空间维数必为偶数:斜对称非退化双线性型只在偶数维空间上存在,奇数维辛空间不存在。
  4. "正交"在不同空间中的含义不同:正交空间中的"正交"指关于对称双线性型正交;辛空间中的"正交"指关于斜对称双线性型正交,不要与内积空间的正交混淆。

✎自测与作业

  1. 验证矩阵 \(A=\begin{pmatrix}2&1+i\\1-i&3\end{pmatrix}\) 是 Hermite矩阵,并求其特征值和特征向量。
  2. 验证 Lorentz变换 \(\sigma\) 保持 Minkowski 内积:直接计算 \(f(\sigma\alpha,\sigma\beta)\) 和 \(f(\alpha,\beta)\),验证相等。
  3. 证明:若 \(A\) 是 Hermite变换,则对任意 \(\alpha\),\(\langle A\alpha,\alpha\rangle\) 是实数。
  4. 证明:斜对称双线性型 \(f\) 满足 \(f(\alpha,\alpha)=0\) 对所有 \(\alpha\) 成立(特征不为2的域上)。
  5. (思考)Minkowski空间中"类光矢量"(长度为0的非零矢量)的物理意义是什么?这与因果结构有何关系?
  6. (选做)证明:\(2n\) 维辛空间必存在一组辛标准基 \(\{e_1,\dots,e_n,f_1,\dots,f_n\}\),使得 \(f(e_i,f_j)=\delta_{ij}\),其余配对为0。
课程小结 本集从 Hermite变换出发,建立了量子力学算符的数学框架;通过 Lorentz变换和 Minkowski空间,展示了内积概念的推广如何服务于物理理论。正交空间和辛空间是更一般的结构,后续课程将进一步展开。⏱ 27:45