矩阵的最大秩分解

设$m\times n$矩阵
$$A=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right)$$
如果当$m\le n$时，存在有$rankA=m$；或者当$m\ge n$时，存在$rankA=n$,则称这两种长方阵为最大秩长方阵（满秩长方阵），前者又称行最大秩长方阵（行满秩矩阵或矮矩阵），后者又称为列最大值矩阵（列满秩矩阵或高矩阵）
显然最大秩长方阵具有以下性质
$$rank(A{A}^T)=m,A=(a_{ij}{)}_{m\times n},m\le n$$
或者
$$rank(A^{T}A)=n,A=(a_{ij}{)}_{m\times n},m\ge n$$

证明：
$A{A}^{T}x=0\Rightarrow x^{T}A{A}^{T}x=0\Rightarrow \Vert A^{T}x{\Vert }_2^2=0\Rightarrow A^{T}x=0$
所以首位两个方程组同解，所以成立

最大值分解

定义

设$A$为$m\times n$且秩$r>0$的复矩阵，且记为$A\in {\mathbb{C}}_r^{m\times n}$
如果存在矩阵$B\in {\mathbb{C}}_r^{m\times r},C\in {\mathbb{C}}_r^{r\times n}$,使得
$$A=BC$$
则称这种分解为矩阵$A$的最大秩分解（满秩分解）

如果$A$列满秩或者行满秩，则分解的两个因子中，其中一个为单位矩阵，称这种最大秩分解为平凡分解

存在性

设$A\in {\mathbb{C}}_r^{m\times n}$，则一定存在$B\in {\mathbb{C}}_r^{m\times r},C\in {\mathbb{C}}_r^{r\times n}$,使得
$$A=BC$$

证明：
将$A$进行行初等变换，化为行标准型${\tilde{A}}_r$
$${\tilde{A}}_r=\left(\begin{array}{ccccccccccccccc}0& \cdots & 0& 1& \ast & \cdots & \ast & 0& \ast & \cdots & \ast & 0& \ast & \cdots & \ast \\ 0& \cdots & 0& 0& 0& \cdots & 0& 1& \ast & \cdots & \ast & 0& \ast & \cdots & \ast \\ ⋮& & ⋮& ⋮& ⋮& & ⋮& ⋮& & & & ⋮& & ⋮& ⋮\\ 0& \cdots & 0& 0& 0& \cdots & 0& 0& 0& \cdots & 0& 1& \ast & \cdots & \ast \\ 0& \cdots & 0& 0& 0& \cdots & 0& 0& 0& \cdots & 0& 0& 0& \cdots & 0\\ ⋮& & ⋮& ⋮& ⋮& & ⋮& ⋮& & & & ⋮& & ⋮& ⋮\\ 0& \cdots & 0& 0& 0& \cdots & 0& 0& 0& \cdots & 0& 0& 0& \cdots & 0\end{array}\right)$$
(前$r$行非零，后$m-r$行全零)

其中$\ast$表示不一定为$0$元素，在${\tilde{A}}_r$中第$k_j$列的元素除第$j$个元素为$1$外，其余元素均为$0(1\le j\le r)$

显然${\tilde{A}}_r$的第$k_1,k_2,\cdots ,k_r$,则$A$的第$k_1,k_2,\cdots ,k_r$列也是线性无关的，因此，保留$A$的第$k_1,k_2,\cdots ,k_r$列而其他各列都除去，所得的矩阵记为$B$，则$B$是具有最大秩的$m\times r$阶矩阵

${\tilde{A}}_r$的第$j$列可以表示为
$${\tilde{\alpha }}_j=(c_{j1},\cdots ,c_{jp},0,\cdots ,0{)}^T$$
其中后$m-p$个元素为0
$${\tilde{\alpha }}_j=c_{j1}{\tilde{\alpha }}_{k_1}+\cdots +c_{jp}{\tilde{\alpha }}_{k_p}$$
于是
$${\alpha }_j=c_{j1}{\alpha }_{k_1}+\cdots +c_{jp}{\alpha }_{k_p}$$

设除了位于${\tilde{A}}_r$下侧$m-r$个$0$行以外的$r\times n$阶矩阵为$C$，显然$C$行满秩
于是
$$A=BC$$

其实这个证明过程就给出了最大秩分解的求法，先化为行标准型，找到$A$中对应$1$的那几列，作为$B$，然后把行标准型的前$r$行作为$C$

如果用列变换，其实也类似
所以其实最大秩分解是不唯一的

两个最大秩分解之间的关系

设$A\in {\mathbb{C}}_r^{m\times n}$,且
$$A=BC=\tilde{B}\tilde{C}$$
均为$A$的最大秩分解，则
（1）
存在矩阵$Q\in {\mathbb{C}}_r^{r\times r}$，使得
$$B=\tilde{B}Q,C=Q^{-1}\tilde{C}$$
（2）
$$C^H(C{C}^H{)}^{-1}(B^{H}B{)}^{-1}{B}^H={\tilde{C}}^H(\tilde{C}{\tilde{C}}^H{)}^{-1}(\tilde{B}{\tilde{B}}^H{)}^{-1}{\tilde{B}}^H$$

证明：
（1）
$$\begin{array}{rl}BC& =\tilde{B}\tilde{C}\\ BC{C}^H& =\tilde{B}\tilde{C}{C}^H\\ B& =\tilde{B}\tilde{C}{C}^H(C{C}^H{)}^{-1}\\ B& =\tilde{B}{Q}_1\end{array}$$
设$Q_1=\tilde{C}{C}^H(C{C}^H{)}^{-1}$
同理可得
$$C=(B^{H}B{)}^{-1}{B}^H\tilde{B}\tilde{C}=Q_2\tilde{C}$$
设$Q_2=(B^{H}B{)}^{-1}{B}^H\tilde{B}$
$$\begin{array}{rl}BC& =\tilde{B}\tilde{C}\\ \tilde{B}\tilde{C}& =\tilde{B}{Q}_1{Q}_2\tilde{C}\\ {\tilde{B}}^H\tilde{B}\tilde{C}{\tilde{C}}^H& ={\tilde{B}}^H\tilde{B}{Q}_1{Q}_2\tilde{C}{\tilde{C}}^H\\ I& =Q_1{Q}_2\end{array}$$
令$Q=Q_1$,即成立
（2）
$$\begin{array}{rl}& C^H(C{C}^H{)}^{-1}(B^{H}B{)}^{-1}{B}^H\\ & =(Q^{-1}\tilde{C}{)}^H(Q^{-1}\tilde{C}(Q^{-1}\tilde{C}{)}^H{)}^{-1}((\tilde{B}Q{)}^H\tilde{B}Q{)}^{-1}(\tilde{B}Q{)}^H\\ & ={\tilde{C}}^H(Q^{-1}{)}^H(Q^{-1}(\tilde{C}{\tilde{C}}^H)(Q^{-1}{)}^H{)}^{-1}(Q^H({\tilde{B}}^H\tilde{B})Q{)}^{-1}{Q}^H{\tilde{B}}^H\\ & ={\tilde{C}}^H(Q^{-1}{)}^H((Q^{-1}{)}^H{)}^{-1}(\tilde{C}{\tilde{C}}^H{)}^{-1}Q{Q}^{-1}({\tilde{B}}^H\tilde{B}{)}^{-1}(Q^H{)}^{-1}{Q}^H{\tilde{B}}^H\\ & ={\tilde{C}}^H(\tilde{C}{\tilde{C}}^H{)}^{-1}({\tilde{B}}^H\tilde{B}{)}^{-1}{\tilde{B}}^H\end{array}$$