Suppose . Every vector has the decompositionIf also belongs to , then . HenceOn its image of a linear map, acts as the identity; on its kernel of a linear map, it acts as zero. Concatenate a basis of the image with a basis of the kernel. The resulting matrix is , where .
Conversely, this block matrix squares to itself, so any linear map having that matrix in a basis satisfies . Thus projection operators are precisely the linear maps with this block form. This is an algebraic projection; no inner product or orthogonality is required.
Articles by others on the same topic
There are currently no matching articles.