Invariant subspace (source code)

= Invariant subspace
{wiki}

An invariant subspace of a representation $V$ is a <vector subspace> $W\subseteq V$ satisfying $\rho(g)W\subseteq W$ for every represented group element $g$.