Constructive Gelfand Duality for C*-algebras
نویسنده
چکیده
We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.
منابع مشابه
The Gelfand Spectrum of a Noncommutative C*-algebra: a Topos-theoretic Approach
We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of ‘noncommutative spaces’ is the opposite of the category of C*-algebras. The second, loosely generalising Stone duality, maintains that the category of ‘pointfree spaces’ is the opposite of the cat egory of frames (i.e., complete lattices in which the me...
متن کاملFormal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
We present a constructive proof of the Stone-Yosida representation theorem for Riesz spaces motivated by considerations from formal topology. This theorem is used to derive a representation theorem for f-algebras. In turn, this theorem implies the Gelfand representation theorem for C*-algebras of operators on Hilbert spaces as formulated by Bishop and Bridges. Our proof is shorter, clearer, and...
متن کاملBounded Archimedean `-algebras and Gelfand-neumark-stone Duality
By Gelfand-Neumark duality, the category C∗Alg of commutative C∗algebras is dually equivalent to the category of compact Hausdorff spaces, which by Stone duality, is also dually equivalent to the category uba` of uniformly complete bounded Archimedean `-algebras. Consequently, C∗Alg is equivalent to uba`, and this equivalence can be described through complexification. In this article we study u...
متن کاملFrom Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
C -algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic, probabilistic, quantum) inside categories of C -algebras. At first, this paper concentrates on the com...
متن کاملA constructive proof of the Peter-Weyl theorem
We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C*-algebras to give a proof which may be seen as a direct generalization of Burnside’s algorithm [3]. This algorithm computes the characters of a finite group. We use this proof as a basis for a constructive proof in the style of B...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009