In mathematics, Kadison transitivity theorem is a result in the theory of C*-algebras that, in effect, asserts the equivalence of the notions of topological irreducibility and algebraic irreducibility of representations of C*-algebras. It implies that, for irreducible representations of C*-algebras, the only non-zero linear invariant subspace is the whole space. The theorem, proved by Richard Kadison, was surprising as a priori there is no reason to believe that all topologically irreducible representations are also algebraically irreducible.
Statement A family F {\displaystyle {\mathcal {F}}} of bounded operators on a Hilbert space H {\displaystyle {\mathcal {H}}} is said to act topologically irreducibly when { 0 } {\displaystyle \{0\}} and H {\displaystyle {\mathcal {H}}} are the only closed stable subspaces under F {\displaystyle {\mathcal {F}}} . The family F {\displaystyle {\mathcal {F}}} is said to act algebraically irreducibly if { 0 } {\displaystyle \{0\}} and H {\displaystyle {\mathcal {H}}} are the only linear manifolds in H {\displaystyle {\mathcal {H}}} stable under F {\displaystyle {\mathcal {F}}} . Theorem. If the C*-algebra A {\displaystyle {\mathfrak {A}}} acts topologically irreducibly on the Hilbert space H , { y 1 , ⋯ , y n } {\displaystyle {\mathcal {H}},\{y_{1},\cdots ,y_{n}\}} is a set of vectors and { x 1 , ⋯ , x n } {\displaystyle \{x_{1},\cdots ,x_{n}\}} is a linearly independent set of vectors in H {\displaystyle {\mathcal {H}}} , there is an A {\displaystyle A} in A {\displaystyle {\mathfrak {A}}} such that A x j = y j {\displaystyle Ax_{j}=y_{j}} . If B x j = y j {\displaystyle Bx_{j}=y_{j}} for some self-adjoint operator B {\displaystyle B} , then A {\displaystyle A} can be chosen to be self-adjoint. Corollary. If the C*-algebra A {\displaystyle {\mathfrak {A}}} acts topologically irreducibly on the Hilbert space H {\displaystyle {\mathcal {H}}} , then it acts algebraically irreducibly.
References
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
