Projection/Idempotent/Definition

Linear projection (idempotent)

Let ${}K$ be a field and ${}V$ a ${}K$-vector space. A linear mapping

$\varphi \colon V\longrightarrow V$

is called a projection, if

${}\varphi ^{2}=\varphi \,$

holds.