[行列解析7.1.P24]

A = \begin{bmatrix} A_{11} & A_{12} \\ A_{12}^* & A_{22} \end{bmatrix} \in M_n

\mathrm{rank}\,A \le \mathrm{rank}\,A_{11} + \mathrm{rank}\,A_{22}