Thumbnail
Access Restriction
Open

Author Coquand, Thierry ♦ Spitters, Bas
Source arXiv.org
Content type Text
File Format PDF
Date of Submission 2010-02-21
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics
Subject Keyword Mathematics - Logic ♦ Mathematics - Functional Analysis ♦ 46Jxx ♦ 03F60 ♦ 06D22 ♦ math
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.
Description Reference: Journal of Logic and Analysis 2:11 (2010) 1-15
Educational Use Research
Learning Resource Type Article


Open content in new tab

   Open content in new tab