## 定义 **转置 (transpose)** $A^T$ 把行变成列。**共轭转置 (conjugate transpose)** $A^* = \overline{A}^T$ 先把行变成列，再对每个元素取**复共轭**（把 $i$ 换成 $-i$）。 $A = \begin{pmatrix} 1 & 2+3i \ 4i & 5 \end{pmatrix} \implies A^T = \begin{pmatrix} 1 & 4i \ 2+3i & 5 \end{pmatrix} \implies A^* = \begin{pmatrix} 1 & -4i \ 2-3i & 5 \end{pmatrix}$ 在 $\mathbb{R}$ 上，$\overline{A} = A$，所以 $A^* = A^T$。共轭转置是转置在 $\mathbb{C}$ 上的推广，而非另一个独立概念。 --- ## 为什么需要共轭转置：内积必须度量长度 共轭转置不是一个聪明的发明——它是一个**被迫的选择**。驱动力来自内积的根本使命：$\langle x, x \rangle$ 必须表现得像向量的**平方长度**，即非负实数，且仅当 $x = 0$ 时为零。 **在 $\mathbb{R}$ 上一切正常**。取 $x \in \mathbb{R}^n$： $\langle x, x \rangle = x^T x = \sum_i x_i^2 \ge 0$ 每一项 $x_i^2 \ge 0$，全为零当且仅当 $x = 0$。转置足以胜任。 **在 $\mathbb{C}$ 上，转置失效**。取 $x = \begin{pmatrix} 1 \ i \end{pmatrix}$： $x^T x = 1^2 + i^2 = 1 + (-1) = 0$ 一个非零向量的"长度"为零。这不是某个定理的故障——**长度本身的概念崩塌了**。一个能把非零向量映到零的长度函数在几何上毫无用处。 **修复方案由公理唯一确定**。内积需要两个性质：对一个变元线性 (linearity)，以及 $\langle x, x \rangle > 0$ 对非零 $x$ 成立 (positive definiteness)。线性把行翻成列——这给出转置。正定性要求 $\bar{z}z = |z|^2 \ge 0$ 而非 $zz = z^2$（后者在 $\mathbb{C}$ 上可以为负）——这给出共轭。两者合在一起： $\langle x, x \rangle = x^* x = \sum_i \bar{x}_i , x_i = \sum_i |x_i|^2 \ge 0$ 长度恢复了。$A^* = \overline{A}^T$ 是唯一满足这两个要求的运算，没有备选方案。 --- ## 核心机制：$z\bar{z}$ vs $z^2$ 共轭转置起作用的微观原因在于一个算术事实。一个复数 $z = a + bi$ 与自身相乘和与自身的共轭相乘，结果截然不同： $z \cdot z = (a+bi)^2 = a^2 - b^2 + 2abi \quad \text{（复数，可以为负）}$ $z \cdot \bar{z} = (a+bi)(a-bi) = a^2 + b^2 \quad \text{（实数，必定非负）}$ 后者就是模的平方 $|z|^2$。共轭转置的全部威力来源于此：它把 $z \cdot z$ 替换成 $z \cdot \bar{z}$，从而恢复了 $\mathbb{R}$ 上"平方必非负"的性质。 --- ## 应用：$AA^T = 0 \implies A = 0$ 在 $\mathbb{R}$ 上成立，在 $\mathbb{C}$ 上需换成 $AA^* = 0$ **在 $\mathbb{R}$ 上**：$AA^T$ 的第 $(i,i)$ 个对角元素为 $\sum_k A_{ik}^2$。若 $AA^T = 0$，则每个对角元素为零。每个 $A_{ik}^2 \ge 0$，一组非负实数之和为零当且仅当每一项为零，所以 $A = 0$。 **在 $\mathbb{C}$ 上反例**：取 $A = (1, , i)$（$1 \times 2$ 矩阵）。 $AA^T = 1 \cdot 1 + i \cdot i = 1 + (-1) = 0$ 但 $A \ne 0$。症结在于 $i^2 = -1$——复数的平方可以为负，"非负项求和"的论证失效。 **正确的推广**：用共轭转置替代转置。 $AA^* = 1 \cdot \bar{1} + i \cdot \bar{i} = 1 \cdot 1 + i \cdot (-i) = 1 + 1 = 2 \ne 0$ 一般地，$AA^_$ 的对角元素为 $\sum_k |A_{ik}|^2 \ge 0$，非负求和论证重新生效。因此 $AA^_ = 0 \implies A = 0$ 在 $\mathbb{C}$ 上成立。 --- ## 更大的图景 $\mathbb{R}$ 携带一个**序结构**：你可以说 $x \ge 0$。$\mathbb{C}$ 没有与乘法兼容的全序。凡是证明依赖于"平方必非负"的定理，从 $\mathbb{R}$ 搬到 $\mathbb{C}$ 时都需要修正。共轭转置正是在这个断裂处架起的桥：它用 $|z|^2$ 恢复了非负性，使得依赖序结构的论证在无序的 $\mathbb{C}$ 中重新成立。 在线性代数中，凡是 $\mathbb{R}$ 上出现 $A^T$ 的场景——内积、正交性、长度、正定性——推广到 $\mathbb{C}$ 时，正确的替代几乎总是 $A^*$，而非 $A^T$。