Proposisi 6.2.10.

Untuk setiap matriks \(A\text{,}\) komplemen ortogonal dari \(\col(A)\) adalah \(\nul(A^T)\text{;}\) yaitu,
\begin{equation*} \col(A)^\perp = \nul(A^T)\text{.} \end{equation*}
dalam konteks