证明 vec(A) 的转置乘 vec(A) 等于 tr(A 乘 A 的转置)

要证明 vec(A) 的转置乘 vec(A) 等于 tr(A 乘 A 的转置)，其中 A 是一个矩阵，我们可以使用向量化运算的性质来证明。

首先，我们将矩阵 A 展开为一个列向量，即 vec(A)。假设矩阵 A 是一个 m × n 的矩阵，则 vec(A) 是一个 (mn) × 1 的列向量。

vec(A) 的转置是一个 1 × (mn) 的行向量，记作 vec(A) 的转置。而 A 乘 A 的转置是一个 m × m 的矩阵。

根据向量化运算的定义，vec(AB) 等于 (B 转置 ⊗ I)vec(A)，其中 ⊗ 表示 Kronecker 乘积，I 是适当维度的单位矩阵。

现在，我们来计算 vec(A) 的转置乘 vec(A)：

vec(A) 的转置乘 vec(A) = vec(A) 的转置 × vec(A) = vec(A) 的转置 × (I ⊗ I)vec(A) = (vec(A) 的转置 ⊗ I) × (I ⊗ I)vec(A) = (I ⊗ vec(A) 的转置) × vec(A)

注意到 (I ⊗ vec(A) 的转置) × vec(A) 等于 tr(A 乘 A 的转置)。这是因为 (I ⊗ vec(A) 的转置) × vec(A) 就是 vec(A) 的转置乘 vec(A) 的向量化形式，即：

(I ⊗ vec(A) 的转置) × vec(A) = vec(A 的转置) × vec(A) = vec(A 转置 × A) = vec(A 乘 A 的转置)

因此，我们得到了 vec(A) 的转置乘 vec(A) 等于 tr(A 乘 A 的转置) 的证明。