Constructive Theory of Banach algebras
Logic
2012-02-16 v1 Functional Analysis
Abstract
We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary proofs of Wiener's result on the inverse of Fourier series and Wiener's Tauberian Theorem, in a sequel to this paper we show how this can be used in a localic, or point-free, description of the spectrum of a Banach algebra.
Keywords
Cite
@article{arxiv.1002.4011,
title = {Constructive Theory of Banach algebras},
author = {Thierry Coquand and Bas Spitters},
journal= {arXiv preprint arXiv:1002.4011},
year = {2012}
}