define invariant subspaces, eigenstuff