Operator algebras and a theorem of Dieudonne (Q2568664): Difference between revisions

Let \(A\) be a \(C^*\)-algebra with dual \(A^{\prime}\) and second dual \(A^{\prime\prime}\), and let \((\phi_n)\;(n=1,2,\ldots)\) be a sequence in \(A^{\prime}\) such that \(\lim \phi_n(a)\) exists for each \(a\) in \(A\). In general, this does not imply that \(\lim \phi_n(x)\) exists for each \(x \in A^{\prime\prime}\), even when \(A\) is commutative. The main result of the present paper says that if \(\lim \phi_n(p)\) exists for each \(p\) which is the range projection of a positive self-adjoint element of the unit ball of \(A\), then \(\lim \phi_n(x)\) does exist for each \(x \in A^{\prime\prime}\). This result can be considered as a non-commutative generalization of a well-known theorem of Dieudonné which states that if \((\mu_n)\) is a sequence of Borel measures on a compact metric space \(K\), and \(\lim \mu_n(U)\) exists for each open set \(U\) in \(K\), then there exists a Borel measure \(\mu\) such that \(\mu_n(g) \rightarrow \mu(g)\) for all bounded Borel functions \(g\) on \(K\).