Esto puede ser muy fácil pero no me queda muy claro. Agradecería una explicación detallada. Pasé por el caso conmutativo pero más allá de eso me falta intuición.
Sea $A$ sea una C*-álgebra y sea $A^{**}$ sea su álgebra de von Neumann envolvente. Las C*-álgebras duales segundas son discretas, lo que significa que están generadas (débilmente) por proyecciones mínimas.
Q. ¿Es $A^{**}$ generados por proyecciones de la forma $w-\lim_{n\to \infty} f^n$ donde $f\in A$ es un elemento positivo de norma a lo sumo 1?