invariant subspaces for self-adjoint *-algebras of operators
In this entry we provide few results concerning invariant subspaces of *-algebras of bounded operators on Hilbert spaces
.
Let be a Hilbert space and its algebra of bounded operators. Recall that, given an operator , a subspace is said to be invariant
for if whenever .
Similarly, given a subalgebra , we will say that a subspace is invariant for if whenever and , i.e. if is invariant for all operators in .
Invariant subspaces for a single operator
Proposition 1 - Let . If a subspace is invariant for , then so is its closure
.
Proof: Let . There is a sequence in such that . Hence, . Since is invariant for , all belong to . Thus, their limit must be in . We conclude that is also invariant for .
Proposition 2 - Let . If a subspace is invariant for , then its orthogonal complement is invariant for .
Proof: Let . For all we have that , where the last equality comes from the fact that , since is invariant for . Therefore must belong to , from which we conclude that is invariant for .
Proposition 3 - Let , a closed subspace and the orthogonal projection onto . The following are statements are equivalent:
- 1.
is invariant for .
- 2.
is invariant for .
- 3.
.
Proof: This part follows directly from Proposition 2.
From Proposition 2 it follows that is invariant for . Since is closed, . We conclude that is invariant for .
Let . From the orthogonal decomposition theorem we know that , hence , where and . We now see that and , where the last equality comes from the fact that . Hence, .
Let . We have that . Since is obviously on the image of , it follows that , i.e. is invariant for .
Proposition 4 - Let , a closed subspace and the orhtogonal projection onto . The subspaces and are both invariant for if and only if .
Proof: From Proposition 3 it follows that is invariant for both and . Then, again from Proposition 3, we see that .
Suppose . Then , and from Proposition 3 we see that is invariant for .
We also have that , and we can conclude in the same way that is invariant for . From Proposition 3 it follows that is also invariant for .
Invariant subspaces for *-algebras of operators
We shall now generalize some of the above results to the case of self-adjoint subalgebras of .
Proposition 5 - Let be a *-subalgebra of and a subspace of . If a subspace is invariant for , then so are its closure and its orthogonal complement .
Proof: From Proposition 1 it follows that is invariant for all operators in , which means that is invariant for .
Also, from Proposition 2 it follows that is invariant for the adjoint of each operator in . Since is self-adjoint, it follows that is invariant for .
Theorem - Let be a *-subalgebra of , a closed subspace and the orthogonal projection onto . The following are equivalent:
- 1.
is invariant for .
- 2.
is invariant for .
- 3.
, i.e. belongs to the commutant of .
Proof: This equivalence follows directly from Proposition 5 and the fact that is closed.
Suppose is invariant for . We have already proved that is also invariant for . Thus, from Proposition 4 it follows that commutes with all operators in , i.e. .
Suppose . Then commutes with all operators in . From Proposition 4 it follows that is invariant for each operator in , i.e. is invariant for .