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