Graph explorer

V*-algebras

What is the correct noncommutative generalization of the functor $C_0(X) \mapsto \ell^\infty(X)$ for locally compact Hausdorff $X$ having a countable basis? Making the ansatz $K(\ell^2) \mapsto B(\ell^2)$, we expect that every unital $*$-homomorphism $C(\mathbb T) \rightarrow B(\ell^2)$ extend canonically to a unital $*$-homomorphism $\ell^\infty(\mathbb T) \rightarrow B(\ell^2)$. Thus, we expect to extend the continuous functional calculus for a unitary operator on $\ell^2$ to all bounded complex-valued functions. Therefore, we work in a model of set theory where every set of real numbers is Lebesgue measurable; we must assume the consistency of an inaccessible cardinal in order to do so. The axiom of choice necessarily fails in such a model, but our model is carefully chosen to enable the verification of many familiar theorems via a scrutinization of their statements rather than their proofs. This technique significantly lowers the cost of doing interesting mathematics in this unfamiliar setting, and it is explained in detail. By analogy with the ultraweak topology, we define the continuum-weak topology on bounded operators to be the topology given by functionals of the form $x \