Deje $H$ ser un espacio de Hilbert separable y deje $K(H)$ ser la C*-álgebra de operadores compactos en $H$. Supongamos que $A$ es *-subalgebra de $K(H)$ que contiene todas las finito-clasificación de los operadores. Dado un *representación de $\pi\colon A\to B(K)$ en algunas de espacio de Hilbert $K$. De lo anterior se sigue que el $\|\pi(a)\|\leqslant \|a\|_{K(H)}$?
Yo estaba tratando de jugar con la singularidad de el *-irreductible a la representación de $K(H)$, pero hasta ahora sin éxito.