Constructive Gelfand duality for C*-algebras

被引：7

作者：

Coquand, Thierry ^{[1
]}

Spitters, Bas ^{[2
]}

机构：

[1] Univ Gothenburg, Dept Comp Sci, Gothenburg, Sweden

[2] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands

来源：

关键词：

THEOREM;

D O I：

10.1017/S0305004109002515

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.

引用

页码：339 / 344

页数：6

共 50 条

[21] A GELFAND DUALITY FOR CONTINUOUS LATTICES
Chen, Ruiyuan
THEORY AND APPLICATIONS OF CATEGORIES, 2024, 41
[22] An introduction to the theory of C*-algebras in constructive mathematics
Takamura, Hiroki
From Sets and Types to Topology and Analysis: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 280 - 292
[23] A constructive proof of the generalized Gelfand isomorphism
Buchstaber, VM
Rees, EG
FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 2001, 35 (04) : 257 - 260
[24] A Constructive Proof of the Generalized Gelfand Isomorphism
V. M. Buchstaber
E. G. Rees
Functional Analysis and Its Applications, 2001, 35 : 257 - 260
[25] A Constructive Proof of the Gelfand—Kolmogorov Theorem
He Wei
Applied Categorical Structures, 2004, 12 : 197 - 202
[26] Gelfand-Naimark theorem of commutative Hopf C*-algebras
Liu, Ming
Jiang, Li-Ning
Journal of Beijing Institute of Technology (English Edition), 2006, 15 (03): : 374 - 378
[27] C*-algebras, Gelfand-Kirillov dimension, and Folner sets
Samet-Vaillant, AY
JOURNAL OF FUNCTIONAL ANALYSIS, 2000, 171 (02) : 346 - 365
[28] Paschke duality for real and graded C*-algebras
Roe, J
QUARTERLY JOURNAL OF MATHEMATICS, 2004, 55 : 325 - 331
[29] Exotic group C*-algebras in noncommutatiye duality
Kaliszewski, S.
Landstad, Magnus B.
Quigg, John
NEW YORK JOURNAL OF MATHEMATICS, 2013, 19 : 689 - 711
[30] GENERAL STONE-GELFAND DUALITY
LAMBEK, J
RATTRAY, BA
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1979, 248 (01) : 1 - 35