Definition (Invariant subspace)
Let T∈L(V). A subspace U⊂V is called invariant under T if, for every u∈U, T(u)∈U
Notation
IF T∈L(V,W) and U⊂V is a subspace, then we can restrict T to get a linear map T∣U∈L(U,W) defined by T∣U(u)=T(u) for every u∈U⊂V.
Definition (A-invariant)
Let S⊆Rn be an r-dimensional Subspace. Let A∈Mn(R), we say S is A-invariant if {Aη∣η∈S}=:AS⊆S