Localic metric spaces and the localic Gelfand duality (Q266141): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1411.0898 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A globalisation of the Gelfand duality theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4304740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5522002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An application of descent to a classification theorem for toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3869847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Induced representations and Banach \(^*\)-algebraic bundles. With an appendix due to A. Douady and L. Dal Soglio-Herault / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3942026 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3820598 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4783274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3204651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connected Locally Connected Toposes are Path-Connected / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A globalization of the Hahn-Banach theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frames and Locales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5701012 / rank | |||
Normal rank |
Latest revision as of 19:31, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localic metric spaces and the localic Gelfand duality |
scientific article |
Statements
Localic metric spaces and the localic Gelfand duality (English)
0 references
13 April 2016
0 references
In [Ann. Pure Appl. Logic 137, No. 1--3, 62--103 (2006; Zbl 1103.18001)], \textit{B. Banaschewski} and \textit{C. J. Mulvey} proved that the classical Gelfand duality between commutative \(C^{\ast}\)-algebras and compact Hausdorff topological spaces can be extended via a constructive (in ZF Theory) approach into a Gelfand type duality between \(C^{\ast}\)-algebras and compact completely regular locales. They pointed out, however, that the condition of compact complete regularity is not so natural and something nicer would be expected. More precisely, it would be better to weaken this hypothesis into compact regular (or, equivalently, compact separated). Nevertheless, a non completely regular locale need not have complex-valued continuous functions, so that a Gelfand duality has no reason to exist in a satisfactory way. They suggested therefore a different alternative to get around the problem, namely, an extension into a Gelfand duality between compact regular locales and certain localic \(C^{\ast}\)-algebras yet to be introduced. In this remarkable paper, the author solves the problem by defining, indeed, a notion of localic \(C^{\ast}\)-algebras (called \(C^{\ast}\)-locales) and use this concept to establish the conjecture of Banaschewski and Mulvey. In this regard, he developed a constructive theory of localic metric (as well as, Banach) spaces and their localic completions. More details can be found in this very interesting article.
0 references
Banach locales
0 references
compact regualr
0 references
Gelfand duality
0 references
metric locales
0 references
locales
0 references