Orthogonal projection matrix (source code)

= Orthogonal projection matrix

A complex matrix $P$ represents an <orthogonal projection> exactly when
$$
P^2=P=P^\dagger.
$$
Its image and kernel are orthogonal complements.