Operator algebras and a theorem of Dieudonne

DOI10.1007/BF02871920MaRDI QIDQ2568664zbMATH OpenOpenAlexFDO

Authors James K. Brooks, J. D. Maitland Wright, Kazuyuki Saitô

Publication date 19 October 2005

Published in Rendiconti del Circolo Matematico di Palermo (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02871920

Measures and integration on abstract linear spaces (46G12) General theory of (C^*)-algebras (46L05)

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\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Operator algebras and a theorem of Dieudonne

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2568664)