Partitioned matrices satisfying certain null space properties (Q794738)

If the complex square matrix M is partitioned as \(M=\left( \begin{matrix} A\quad B\\ C\quad D\end{matrix} \right)\), where A is square, the generalized Schur complement \((M/A)=D-CA^+B\), where \(A^+\) is the Moore-Penrose generalized inverse. The leading element of A is denoted \(a_{11}\) and k denotes the number of rows of A (or of the leading block of any matrix partitioned like M above). The consequences of several restrictions on the blocks of M are examined, among them \((1)\quad C(I-A^+A)=0,\) and \((2)\quad(I-AA^+)B=0.\) A typical result of this paper is: Theorem 2.5. Let M be a matrix such that \(a_{11}\neq 0\). The following are equivalent: (i) M satisfies (1) and (2) for all k; (ii) \((M/A_ t)\) satisfies (1) and (2) for all k and for all t; (iii) \((M/A_ t)\) satisfies (1) and (2) for \(k=1\) and all t.