Corollary 45.1.9.label Let $M$ be a diffuse factor, then for each $n \in \natp$, there exist mutually orthogonal equivalent projections $\bracsn{p_j}_{1}^{2^n}\subset \text{Proj}(M)$ such that $\sum_{j = 1}^{2^n}p_{j} = 1$. If $\tau: M \to \complex$ is a tracial state, then $\tau(p_{j}) = 2^{-n}$ for all $1 \le j \le 2^{n}$.

Proof. By Lemma 45.1.8.$\square$

Post a Comment

Name:Email:
Please enter the tag of the current page (1PN) to post the comment.
Tag: