Proof of Theorem 2.7, p. 14 — a maximal commutative ∗-subalgebra contains every element of $\mathcal A$ commuting with it

Initializing...

Proof of Theorem 2.7, p. 14 — a maximal commutative ∗-subalgebra contains every element of $\mathcal A$ commuting with it · Prove2Me