Gram 矩阵及其主要性质

Gram 矩阵

假设 $A$ 是一个 $m\times n$ 阶矩阵,

1. 列向量 Gram 矩阵
   $A$ 由列向量 ${\alpha }_i$ 表示, 即
   $$A=\left[\begin{array}{cccc}{\alpha }_1& {\alpha }_2& \cdots & {\alpha }_n\end{array}\right]$$
   则

$$\begin{array}{rl}G& =A^{\mathsf{T}}A\\ & =\left[\begin{array}{c}{\alpha }_1^{\mathsf{T}}\\ {\alpha }_2^{\mathsf{T}}\\ ⋮\\ {\alpha }_n^{\mathsf{T}}\end{array}\right]\left[\begin{array}{cccc}{\alpha }_1& {\alpha }_2& \cdots & {\alpha }_n\end{array}\right]\\ & =\left[\begin{array}{cccc}{\alpha }_1^{\mathsf{T}}{\alpha }_1& {\alpha }_1^{\mathsf{T}}{\alpha }_2& \cdots & {\alpha }_1^{\mathsf{T}}{\alpha }_n\\ {\alpha }_2^{\mathsf{T}}{\alpha }_1& {\alpha }_2^{\mathsf{T}}{\alpha }_2& \cdots & {\alpha }_2^{\mathsf{T}}{\alpha }_n\\ ⋮& ⋮& & ⋮\\ {\alpha }_n^{\mathsf{T}}{\alpha }_1& {\alpha }_n^{\mathsf{T}}{\alpha }_2& \cdots & {\alpha }_n^{\mathsf{T}}{\alpha }_n\end{array}\right]\end{array}$$

2. 行向量 Gram 矩阵
   $A$ 由行向量 ${\beta }_i^{\mathsf{T}}$ 表示, 即
   $$A=\left[\begin{array}{c}{\beta }_1^{\mathsf{T}}\\ {\beta }_2^{\mathsf{T}}\\ ⋮\\ {\beta }_m^{\mathsf{T}}\end{array}\right]$$
   则

$$\begin{array}{rl}G& =A{A}^{\mathsf{T}}\\ & =\left[\begin{array}{c}{\beta }_1^{\mathsf{T}}\\ {\beta }_2^{\mathsf{T}}\\ ⋮\\ {\beta }_m^{\mathsf{T}}\end{array}\right]\left[\begin{array}{cccc}{\beta }_1& {\beta }_2& \cdots & {\beta }_m\end{array}\right]\\ & =\left[\begin{array}{cccc}{\beta }_1^{\mathsf{T}}{\beta }_1& {\beta }_1^{\mathsf{T}}{\beta }_2& \cdots & {\beta }_1^{\mathsf{T}}{\beta }_m\\ {\beta }_2^{\mathsf{T}}{\beta }_1& {\beta }_2^{\mathsf{T}}{\beta }_2& \cdots & {\beta }_2^{\mathsf{T}}{\beta }_m\\ ⋮& ⋮& & ⋮\\ {\beta }_m^{\mathsf{T}}{\beta }_1& {\beta }_m^{\mathsf{T}}{\beta }_2& \cdots & {\beta }_m^{\mathsf{T}}{\beta }_m\end{array}\right]\end{array}$$

6 大性质

下面只考虑列向量 Gram 矩阵

(1) $G=A^{\mathsf{T}}A$ 是对称矩阵

$$G^{\mathsf{T}}=(A^{\mathsf{T}}A{)}^{\mathsf{T}}=A^{\mathsf{T}}A=G$$

(2) 对于实矩阵 $A$ $$\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A^{\mathsf{T}}A)=\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A)$$

证明 $\{\begin{array}{l}A\mathsf{x}=0\\ A^{\mathsf{T}}A\mathbf{x}=0\end{array}$ 同解即可.

证明过程详见经典例题(第３小问)

(3) 若 $A^{\mathsf{T}}A=0$, 则 $A=0$

由上面性质
$$\begin{array}{rl}\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A^{\mathsf{T}}A)& =\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A)\\ & =\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(0)=0\end{array}$$

---

(4) 对于实矩阵 $A$, 则 $A^{\mathsf{T}}A$ 是半正定矩阵
$${\mathbf{x}}^{\mathsf{T}}{A}^{\mathsf{T}}A\mathbf{x}=(A\mathbf{x}{)}^{\mathsf{T}}A\mathbf{x}\ge 0$$

(5) 对于任意 $n$ 阶实对称半正定矩阵 $M$, 存在矩阵 $A$ 使得 $M=A^{\mathsf{T}}A$ 成立.

因为矩阵 $M$ 实对称, 所以 $M$ 可以正交对角化, 即$$M=Q\Lambda Q^{\mathsf{T}}$$ 又因为矩阵 $M$ 半正定, 所以其特征值 $\lambda_i \geq 0 $, 所以可记 $${\Lambda }^{1/2}=\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{g}(\sqrt{{\lambda }_1},\dots ,\sqrt{{\lambda }_n})$$ 且 KaTeX parse error: Expected 'EOF', got '}' at position 29: …2}Q^\{\mathsf T}̲ 则可得
$$\begin{array}{rl}M& =Q\Lambda Q^{\mathsf{T}}\\ & =({\Lambda }^{1/2}{Q}^{\mathsf{T}}{)}^{\mathsf{T}}{\Lambda }^{1/2}{Q}^{\mathsf{T}}\\ & =A^{\mathsf{T}}A\end{array}$$

(6) 若 $A=\left[\begin{array}{cccc}{\alpha }_1& {\alpha }_2& \cdots & {\alpha }_n\end{array}\right]$ 列满秩, 则 $A^{\mathsf{T}}A$ 正定

• 由性质 (2), 知 $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A^{\mathsf{T}}A)=\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(A)=n$
• 因为 $A\mathbf{x}=0$ 只有零解, 结合性质 (4), 对于非零 $\mathbf{x}\in {\mathbb{R}}^n$
  $${\mathbf{x}}^{\mathsf{T}}{A}^{\mathsf{T}}A\mathbf{x}=(A\mathbf{x}{)}^{\mathsf{T}}A\mathbf{x}>0$$

原文链接
[1] matnoble.me/posts/gram
[2] 关注我吧