Estaba leyendo un papel en el que se menciona sin la prueba de que todas las dimensiones infinitas $C$* álgebra tiene un infinito-dimensional conmutativa $C$* subalgebra.
Pensando en ello durante 10 minutos, no veo forma de prueba. Es suficiente para crear un elemento con infinito espectro, pero no veo la manera de construir un elemento.
Por otra parte, si uno toma una infinidad de noncommuting infinito y co-infinito proyecciones sobre un espacio de Hilbert, y se lleva a la $C$* álgebra generada por las proyecciones, no veo una razón por la que este contiene un infinito-dimensional conmutativa $C$* subalgebra. (Esto no es claramente una probada contraejemplo.)
Hay una sencilla prueba de este hecho?