arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1002.4011math.LOmath.FA
收藏

巴拿赫代数的构造理论

Constructive Theory of Banach algebras

Thierry Coquand, Bas Spitters

摘要:

我们提出了一种方法来组织一个建设性的发展理论的巴拿赫代数,灵感来自工程的科恩,德Bruijn和主教。我们说明了这一点,给出了维纳的结果的傅里叶级数的逆和维纳的Tauberian定理的初等证明,在本文的续集中,我们展示了如何可以使用在本地的,或点自由,描述的频谱的巴拿赫代数。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑