A question about definition: Let $\mathcal{H}$ be a separable Hilbert space over $\mathbb{C}$, with $B(\mathcal{H})$ the bounded linear operators on it. What does it mean to have an irreducible subspace for a subalgebra $A \in B(\mathcal{H})$. Is it any subspace that does not contain a proper invariant subspace under $A$, or a closed subspace that does not contain a proper invariant subspace under $A$?
1 Answer
$\begingroup$
$\endgroup$
2
Typically, one only considers closed subspaces of Hilbert spaces.
If someone ever were to consider not necessarily closed subspaces, I would expect them to say that explicitly.

1$\begingroup$ In Halmos, he uses "subspace" if it is a closed linear subspace, and "linear manifold" if it is a linear subspace, not necessarily closed. The linear manifold is rarely used in the study of bounded linear operators. $\endgroup$ Commented Jun 13, 2012 at 12:39

$\begingroup$ Small addedndum to Gerald Edgar's remarks: there has been some work on "operator ranges" (also called "paraclosed subspaces"), namely the linear manifolds inside $H$ that are of the form $T(H)$ for some continuous linear operator $T:H\to H$. $\endgroup$ Commented Jun 13, 2012 at 22:51