An invariant subspace
of
satisfies
for all
.
We also write this as
.
The simplest example is when
is spanned by a single eigenvector of
.
More generally any invariant subspace can be spanned by a subset of
the eigenvectors of
, although the vectors spanning
do not have to
be eigenvectors themselves.