Definition ( invariant subspace) A subspace is called an invariant subspace for a linear transformation if .