Can I read Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems on EtoBox?

Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems by Coquand, Thierry; Spitters, Bas is a scholarly article available to read on EtoBox.

What is Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems about?

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 we avoid the use of approximate eigenvalues.

Author

Coquand, Thierry; Spitters, Bas

Published

2008

Language

EN