Vector space/Linear subspace/Projection/Definition

{{ Mathematical text/Definition |Text= Let ${\displaystyle {}K}$ be a field, ${\displaystyle {}V}$ a ${\displaystyle {}K}$-vector space and ${\displaystyle {}U\subseteq V}$ a linear subspace. A linear mapping

${\displaystyle \varphi \colon V\longrightarrow V}$

is called a projection of ${\displaystyle {}V}$ onto ${\displaystyle {}U}$, if ${\displaystyle {}U=\operatorname {Im} \varphi }$ and {{ Relationchain | \varphi {{|}}_U || \operatorname{Id}_{ U } || || || || |pm= }} holds. |Textform=Definition |Category= |Word of definition=Linear Projection }}