Invariant subspace

In

W of V that is preserved by T. More generally, an invariant subspace for a collection of linear mappings is a subspace preserved by each mapping individually.

For a single operator

Consider a vector space ${\displaystyle V}$ and a linear map ${\displaystyle T:V\to V.}$ A subspace ${\displaystyle W\subseteq V}$ is called an invariant subspace for ${\displaystyle T}$, or equivalently, T-invariant, if T transforms any vector ${\displaystyle \mathbf {v} \in W}$ back into W. In formulas, this can be written$${\displaystyle \mathbf {v} \in W\implies T(\mathbf {v} )\in W}$$or[1] $${\displaystyle TW\subseteq W{\text{.}}}$$

In this case, T restricts to an endomorphism of W:^[2]$${\displaystyle T|_{W}:W\to W{\text{;}}\quad T|_{W}(\mathbf {w} )=T(\mathbf {w} ){\text{.}}}$$

The existence of an invariant subspace also has a matrix formulation. Pick a basis C for W and complete it to a basis B of V. With respect to B, the operator T has form $${\displaystyle T={\begin{bmatrix}T|_{W}&T_{12}\\0&T_{22}\end{bmatrix}}}$$ for some T₁₂ and T₂₂, where ${\displaystyle T|_{W}}$ here denotes the matrix of ${\displaystyle T|_{W}}$ with respect to the basis C.

Any linear map ${\displaystyle T:V\to V}$ admits the following invariant subspaces:

• The vector space ${\displaystyle V}$, because ${\displaystyle T}$ maps every vector in ${\displaystyle V}$ into ${\displaystyle V.}$
• The set ${\displaystyle \{0\}}$, because ${\displaystyle T(0)=0}$.

These are the improper and trivial invariant subspaces, respectively. Certain linear operators have no proper non-trivial invariant subspace: for instance,

of a rotation in three dimensions is always an invariant subspace.

If U is a 1-dimensional invariant subspace for operator T with vector v ∈ U, then the vectors v and Tv must be

. Thus $${\displaystyle \forall \mathbf {v} \in U\;\exists \alpha \in \mathbb {R} :T\mathbf {v} =\alpha \mathbf {v} {\text{.}}}$$In fact, the scalar α does not depend on v.

The equation above formulates an

of T) spans an invariant subspace of dimension 1.

As a consequence of the fundamental theorem of algebra, every linear operator on a nonzero finite-dimensional complex vector space has an eigenvector. Therefore, every such linear operator in at least two dimensions has a proper non-trivial invariant subspace.

Determining whether a given subspace W is invariant under T is ostensibly a problem of geometric nature. Matrix representation allows one to phrase this problem algebraically.

Write V as the

P onto W has matrix representation

${\displaystyle P={\begin{bmatrix}1&0\\0&0\end{bmatrix}}:{\begin{matrix}W\\\oplus \\W'\end{matrix}}\rightarrow {\begin{matrix}W\\\oplus \\W'\end{matrix}}.}$

A straightforward calculation shows that W is T-invariant if and only if PTP = TP.

If 1 is the

, then 1-P is projection onto W′. The equation TP = PT holds if and only if both im(P) and im(1 − P) are invariant under T. In that case, T has matrix representation $${\displaystyle T={\begin{bmatrix}T_{11}&0\\0&T_{22}\end{bmatrix}}:{\begin{matrix}\operatorname {im} (P)\\\oplus \\\operatorname {im} (1-P)\end{matrix}}\rightarrow {\begin{matrix}\operatorname {im} (P)\\\oplus \\\operatorname {im} (1-P)\end{matrix}}\;.}$$

Colloquially, a projection that commutes with T "diagonalizes" T.

As the above examples indicate, the invariant subspaces of a given linear transformation T shed light on the structure of T. When V is a finite-dimensional vector space over an

, which decomposes V into invariant subspaces of T. Many fundamental questions regarding T can be translated to questions about invariant subspaces of T.

The set of T-invariant subspaces of V is sometimes called the invariant-subspace lattice of T and written Lat(T). As the name suggests, it is a (

in Lat(T) in said to be a minimal invariant subspace.

In the study of infinite-dimensional operators, Lat(T) is sometimes restricted to only the

invariant subspaces.

Given a collection T of operators, a subspace is called T-invariant if it is invariant under each T ∈ T.

As in the single-operator case, the invariant-subspace lattice of T, written Lat(T), is the set of all T-invariant subspaces, and bears the same meet and join operations. Set-theoretically, it is the intersection $${\displaystyle \mathrm {Lat} ({\mathcal {T}})=\bigcap _{T\in {\mathcal {T}}}{\mathrm {Lat} (T)}{\text{.}}}$$

Let End(V) be the set of all linear operators on V. Then Lat(End(V))={0,V}.

Given a representation of a group G on a vector space V, we have a linear transformation T(g) : V → V for every element g of G. If a subspace W of V is invariant with respect to all these transformations, then it is a subrepresentation and the group G acts on W in a natural way. The same construction applies to representations of an algebra.

As another example, let T ∈ End(V) and Σ be the algebra generated by {1, T }, where 1 is the identity operator. Then Lat(T) = Lat(Σ).

Just as the fundamental theorem of algebra ensures that every linear transformation acting on a finite-dimensional complex vector space has a non-trivial invariant subspace, the fundamental theorem of noncommutative algebra asserts that Lat(Σ) contains non-trivial elements for certain Σ.

One consequence is that every commuting family in L(V) can be simultaneously

of invariant subspaces, that a commuting family generates a commuting algebra, and that End(V) is not commutative when dim(V) ≥ 2.

Left ideals

If A is an

homomorphism

from A to L(A), the algebra of linear transformations on A

The invariant subspaces of Φ are precisely the left ideals of A. A left ideal M of A gives a subrepresentation of A on M.

If M is a left

in A/M, Φ'(a)[b] = [ab]. The kernel of the representation Φ' is the set {a ∈ A | ab ∈ M for all b}.

The representation Φ' is

quotient map

, V + M, is a left ideal in A.

Invariant subspace problem

Main article: Invariant subspace problem

The invariant subspace problem concerns the case where V is a separable Hilbert space over the complex numbers, of dimension > 1, and T is a bounded operator. The problem is to decide whether every such T has a non-trivial, closed, invariant subspace. It is unsolved.

In the more general case where V is assumed to be a Banach space, Per Enflo (1976) found an example of an operator without an invariant subspace. A concrete example of an operator without an invariant subspace was produced in 1985 by Charles Read.

Related to invariant subspaces are so-called almost-invariant-halfspaces (AIHS's). A closed subspace ${\displaystyle Y}$ of a Banach space ${\displaystyle X}$ is said to be almost-invariant under an operator ${\displaystyle T\in {\mathcal {B}}(X)}$ if ${\displaystyle TY\subseteq Y+E}$ for some finite-dimensional subspace ${\displaystyle E}$; equivalently, ${\displaystyle Y}$ is almost-invariant under ${\displaystyle T}$ if there is a finite-rank operator ${\displaystyle F\in {\mathcal {B}}(X)}$ such that ${\displaystyle (T+F)Y\subseteq Y}$, i.e. if ${\displaystyle Y}$ is invariant (in the usual sense) under ${\displaystyle T+F}$. In this case, the minimum possible dimension of ${\displaystyle E}$ (or rank of ${\displaystyle F}$) is called the defect.

Clearly, every finite-dimensional and finite-codimensional subspace is almost-invariant under every operator. Thus, to make things non-trivial, we say that ${\displaystyle Y}$ is a halfspace whenever it is a closed subspace with infinite dimension and infinite codimension.

The AIHS problem asks whether every operator admits an AIHS. In the complex setting it has already been solved; that is, if ${\displaystyle X}$ is a complex infinite-dimensional Banach space and ${\displaystyle T\in {\mathcal {B}}(X)}$ then ${\displaystyle T}$ admits an AIHS of defect at most 1. It is not currently known whether the same holds if ${\displaystyle X}$ is a real Banach space. However, some partial results have been established: for instance, any self-adjoint operator on an infinite-dimensional real Hilbert space admits an AIHS, as does any strictly singular (or compact) operator acting on a real infinite-dimensional reflexive space.

• Invariant manifold
• Lomonosov's invariant subspace theorem

• Abramovich, Yuri A.;
  ISBN 978-0-8218-2146-6
  .

• Beauzamy, Bernard (1988). Introduction to Operator Theory and Invariant Subspaces. North Holland.

• Enflo, Per; Lomonosov, Victor (2001). "Some aspects of the invariant subspace problem". Handbook of the geometry of Banach spaces. Vol. I. Amsterdam: North-Holland. pp. 533–559.

• Gohberg, Israel; Lancaster, Peter; Rodman, Leiba (2006). Invariant Subspaces of Matrices with Applications. Classics in Applied Mathematics. Vol. 51 (Reprint, with list of
  ISBN 978-0-89871-608-5
  .

• Lyubich, Yurii I. (1988). Introduction to the Theory of Banach Representations of Groups (Translated from the 1985 Russian-language ed.). Kharkov, Ukraine: Birkhäuser Verlag.

• Radjavi, Heydar; Rosenthal, Peter (2003). Invariant Subspaces (Update of 1973 Springer-Verlag ed.). Dover Publications.
  ISBN 0-486-42822-2
  .

• ISBN 978-0-387-72828-5
  .