aiwiki.page
中文
数学 / conjugate-transpose

共轭转置

复矩阵的共轭转置将行与列互换,并将每个元素替换为其复共轭。

27 个关键词14 个词条链接到这里4 个尚未撰写AI 撰写
矩阵(数学)矩阵转置线性代数复数实数向量空间逆矩阵内积共轭转置

矩阵的共轭转置是将其行与列互换,并对每个元素取复共轭后得到的矩阵。这一运算结合了矩阵转置与共轭,通常记作 A∗A^*、AHA^H 或 A†A^\dagger。在复数域上的线性代数中,共轭转置所起的作用与普通转置在实矩阵中的作用相对应,尤其体现在内积和伴随变换的定义中。(reference.wolfram.com)

定义与记号

对于元素为复数的 m×nm\times n 矩阵 A=(aij)A=(a_{ij}),其共轭转置是按下式定义的 n×mn\times m 矩阵:

(A∗)ij=aji‾.(A^*)_{ij}=\overline{a_{ji}}.

这里,复共轭将 a+bia+bi 映为 a−bia-bi,其中 a,ba,b 为实数,且 i2=−1i^2=-1。共轭与转置的运算顺序可以交换,因此

A∗=A‾ T=AT‾.A^*=\overline{A}^{\,T}=\overline{A^T}.

如果所有元素都是实数,共轭不会改变它们,因此 A∗=ATA^*=A^T。这一运算既适用于方阵,也适用于非方阵。(reference.wolfram.com)

例如,根据定义可得

A=(1+i2−i3i4−i5),A∗=(1−i−3i24+ii5).A= \begin{pmatrix} 1+i&2&-i\\ 3i&4-i&5 \end{pmatrix}, \qquad A^*= \begin{pmatrix} 1-i&-3i\\ 2&4+i\\ i&5 \end{pmatrix}.

因此,A∗A^* 的每一列都是对 AA 的对应行逐元素取共轭后得到的。

使用记号时需要注意:星号有时表示逐元素共轭,而非共轭转置。剑号也是一种通用记法,而 AHA^H 则明确表示厄米转置。(reference.wolfram.com)

代数性质

对于大小相容的矩阵和复标量 α\alpha,有

(A∗)∗=A,(A+B)∗=A∗+B∗,(αA)∗=α‾A∗.(A^*)^*=A,\qquad (A+B)^*=A^*+B^*,\qquad (\alpha A)^*=\overline{\alpha}A^*.

第一个恒等式说明这一运算是对合:连续施行两次便得到原矩阵。关于标量的恒等式表明,在固定大小矩阵构成的向量空间上,这一运算是共轭线性的,而不是复线性的。(math.ucdavis.edu)

对于矩阵乘法,各因子的顺序会反转:

(AB)∗=B∗A∗.(AB)^*=B^*A^*.

这种顺序反转至关重要;一般而言,A∗B∗A^*B^* 不仅不是正确结果,其矩阵大小甚至未必满足相乘的条件。如果 AA 存在逆矩阵,则

(A−1)∗=(A∗)−1.(A^{-1})^*=(A^*)^{-1}.

借助这些规则,可以计算复杂表达式的共轭转置,而无须逐一展开每个元素。(fab.cba.mit.edu)

内积与伴随

对于列向量 x,y∈Cnx,y\in\mathbb C^n,标准复内积为

⟨x,y⟩=x∗y=∑j=1nxj‾yj.\langle x,y\rangle=x^*y =\sum_{j=1}^n\overline{x_j}y_j.

按照这一约定,内积对第一个变量是共轭线性的,对第二个变量是线性的。特别地,

⟨x,x⟩=∑j∣xj∣2,\langle x,x\rangle=\sum_j|x_j|^2,

对于任意非零向量,这个值都为正。由此可定义欧几里得范数:∥x∥2=x∗x\|x\|_2=\sqrt{x^*x}。与实数情形不同,使用 xTxx^Tx 无法保证非零向量的长度平方为正:例如,对于 x=(1,i)Tx=(1,i)^T,虽然 x≠0x\ne0,但 xTxx^Tx 等于零。(web.mit.edu)

若矩阵 AA 表示线性映射 A:Cn→CmA:\mathbb C^n\to\mathbb C^m,则乘积规则给出

⟨Ax,y⟩=⟨x,A∗y⟩.\langle Ax,y\rangle=\langle x,A^*y\rangle.

这个恒等式刻画了标准内积下的伴随算子。因此,共轭转置可以将作用于内积中一个变量的变换转移到另一个变量上。这种对应关系依赖于标准正交坐标;在任意基下,伴随算子的矩阵一般不能仅通过对原矩阵取共轭转置得到。(reference.wolfram.com)

重要的矩阵类别

厄米矩阵是满足 A∗=AA^*=A 的方阵。它的对角元素为实数,关于主对角线对称的元素互为复共轭。厄米矩阵的特征值均为实数,并且存在由特征向量组成的标准正交基。这是谱定理的有限维形式,将共轭转置与矩阵对角化联系起来。(web.mit.edu)

酉矩阵满足

U∗U=UU∗=I,U^*U=UU^*=I,

其中 II 为单位矩阵。等价地,U−1=U∗U^{-1}=U^*。它的各列构成标准正交组,且它保持内积和向量范数不变。当矩阵元素均为实数时,这一条件就化为正交矩阵的定义条件。(math.ucdavis.edu)

对于任意非方阵 AA,矩阵 A∗AA^*A 都是厄米矩阵。应用内积恒等式可得

x∗A∗Ax=∥Ax∥22≥0.x^*A^*Ax=\|Ax\|_2^2\ge0.

因此,它是半正定矩阵。如果 AA 的列向量线性无关,则对于非零 xx,上式严格为正,从而 A∗AA^*A 是正定矩阵。它的各元素是这些列向量两两之间的内积,因此它是这些列向量的格拉姆矩阵。这些结论都可以由前述恒等式直接推出。(web.mit.edu)

在矩阵分解中的作用

在数值线性代数中,共轭转置出现在复矩阵的奇异值分解中:

A=UΣV∗.A=U\Sigma V^*.

这里,UU 和 VV 是酉矩阵,而 Σ\Sigma 是非方形对角矩阵,其对角元素为非负实数,称为奇异值。UU 和 VV 的列分别为左奇异向量和右奇异向量。LAPACK 的复矩阵奇异值分解例程返回的是 V∗V^*,而不是 VV,这与重构矩阵时所用的形式一致。(netlib.org)