A constructive proof of the Stone-Weierstrass theorem

DOI10.1016/S0022-4049(96)00160-0MaRDI QIDQ678829zbMATH OpenOpenAlexFDO

Authors Christopher J. Mulvey, Bernhard Banaschewski

Publication date 9 October 1997

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(96)00160-0

zbMATH Keywords

Gelfand duality theoremGrothendieck topos

Mathematics Subject Classification ID

Topoi (18B25) Rings and algebras of continuous, differentiable or analytic functions (46E25) Presheaves and sheaves in general topology (54B40)

Review text

The authors give a constructive version of the Stone-Weierstrass theorem, which allows a globalization of the Gelfand duality theorem to any Grothendieck topos.

Cites work

• A globalisation of the Gelfand duality theorem
• A non-commutative Gel'fand-Naimark theorem
• An elementary proof of a fundamental theorem in the theory of Banach algebras
• Banach sheaves
• scientific article; zbMATH DE number 3672982 (Why is no real title available?)
• scientific article; zbMATH DE number 3678538 (Why is no real title available?)
• scientific article; zbMATH DE number 3742211 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Stone-Čech compactification of locales. II
• The spectral theory of commutative C^∗-algebras: The constructive spectrum

Cited in

(11)

• About Stone's notion of spectrum
• Point-free version of Kakutani duality
• A globalisation of the Gelfand duality theorem
• A measurable version of the Stone-Weierstrass theorem
• Topos quantum logic and mixed states
• Constructive Gelfand duality for C*-algebras
• A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
• Bidirectional active control of structures with type-2 fuzzy PD and PID
• Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
• Presenting the frame of the unit circle.
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

This page was built for publication: A constructive proof of the Stone-Weierstrass theorem

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