4
$\begingroup$

Let $H$ denote a Hilbert space and let $\cal A$ be a subalgebra of the algebra ${\cal B}(H)$ of all bounded operators on $H$ such that $\cal A$ consists of compact operators only and such that each vector $v\in H$ lies in the closure of ${\cal A}v$.

Is it true that there must exist an irreducible subspace for $\cal A$?

$\endgroup$
3
  • $\begingroup$ What do you mean by irreducible subspace? Why can't I just take A to be K(H)? $\endgroup$
    – Yemon Choi
    Oct 23, 2012 at 13:42
  • 2
    $\begingroup$ A subspace is irreducible, if it is closed, stable under $A$, and does not contain any closed, $A$-stable subspace other than $0$ or itself. If you take all compact operators, than the entire space is irreducible. $\endgroup$
    – user1688
    Oct 23, 2012 at 13:49
  • $\begingroup$ Right, for some reason I thought you wanted proper irreducible subspaces, but that was my mistaken reading. Thanks for clarification $\endgroup$
    – Yemon Choi
    Oct 24, 2012 at 11:55

2 Answers 2

7
$\begingroup$

Well, if ${\cal A}$ can be non self-adjoint then I think there are easy counterexamples. Let $(e_n)$ be the standard basis of $l^2({\bf N})$ and let ${\cal A}$ be the closed span of the operators $e_n \otimes e_m$ for $n \leq m$ (where $(e_n \otimes e_m) v = \langle v, e_n\rangle e_m$). The condition that any $v$ lie in the closure of ${\cal A}v$ holds because $\sum_1^N e_i \otimes e_i \to I$ strongly.

It's easy to see that the closed invariant subspaces for ${\cal A}$ are precisely the subspaces ${\rm span}\{e_n: n\geq N\}$ for $N \in {\bf N}$, of which there is no nonzero minimum.

$\endgroup$
0
$\begingroup$

Does "subalgebra" mean "C*-subalgebra"? If so then yes, see Arveson, An Invitation to C*-Algebras Theorem 1.4.4.

$\endgroup$
1
  • $\begingroup$ No, that's exactly the point. I don't want the algebra $A$ to be self-adjoint. $\endgroup$
    – user1688
    Oct 23, 2012 at 20:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.