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