Kadison transitivity theorem

A family ${\displaystyle {\mathcal {F}}}$ of bounded operators on a Hilbert space ${\displaystyle {\mathcal {H}}}$ is said to act topologically irreducibly when ${\displaystyle \{0\}}$ and ${\displaystyle {\mathcal {H}}}$ are the only closed stable subspaces under ${\displaystyle {\mathcal {F}}}$. The family ${\displaystyle {\mathcal {F}}}$ is said to act algebraically irreducibly if ${\displaystyle \{0\}}$ and ${\displaystyle {\mathcal {H}}}$ are the only linear manifolds in ${\displaystyle {\mathcal {H}}}$ stable under ${\displaystyle {\mathcal {F}}}$.

Theorem. ^[1] If the C*-algebra ${\displaystyle {\mathfrak {A}}}$ acts topologically irreducibly on the Hilbert space ${\displaystyle {\mathcal {H}},\{y_{1},\cdots ,y_{n}\}}$ is a set of vectors and ${\displaystyle \{x_{1},\cdots ,x_{n}\}}$ is a linearly independent set of vectors in ${\displaystyle {\mathcal {H}}}$, there is an ${\displaystyle A}$ in ${\displaystyle {\mathfrak {A}}}$ such that ${\displaystyle Ax_{j}=y_{j}}$. If ${\displaystyle Bx_{j}=y_{j}}$ for some self-adjoint operator ${\displaystyle B}$, then ${\displaystyle A}$ can be chosen to be self-adjoint.

Corollary. If the C*-algebra ${\displaystyle {\mathfrak {A}}}$ acts topologically irreducibly on the Hilbert space ${\displaystyle {\mathcal {H}}}$, then it acts algebraically irreducibly.

• Kadison, Richard (1957), "Irreducible operator algebras", Proc. Natl. Acad. Sci. U.S.A., 43 (3): 273–276, Bibcode:1957PNAS...43..273K, doi:10.1073/pnas.43.3.273, PMC 528430, PMID 16590013.
• Kadison, R. V.; Ringrose, J. R., Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, ISBN 978-0821808191