Projector

projection operator

A linear operator $P$ on a vector space $X$ such that $P^2=P$.

Comments

In the Western literature often the term projection is used instead of projector. See also Projection.

If $P$ is a projection, so is $I-P$, and together they define a direct sum decomposition $X\simeq PX\oplus(I-P)X$. Conversely, a direct sum decomposition defines a projection. In Banach space theory a projection is usually also required to be bounded. Given a set $S$ of commuting projections, there is a partial order on $S$, defined by $P\geq Q$ if and only if $PX\supset QX$. The intersection and union of two commuting projections $P,Q$ are, respectively, the projections $PQ$ and $P+Q-PQ$. A Boolean algebra of projections is a set of commuting projections containing the zero and identity operations and which is closed under intersection of projections (i.e., taking the greatest lower bound) and union of projections (i.e., taking the least upper bound). Such Boolean algebras of projections play an important role in (self-adjoint and spectral) operator theory, cf. Spectral measure and [a1].

References

[a1]	N. Dunford, J.T. Schwartz, "Linear operators" , Wiley (Interscience) (1988) pp. Chapts. X; XV