构造性视角下的殆周期函数
计算机科学中的逻辑
2017-01-11 v3
摘要
殆周期函数构成了非可分赋范空间的一个自然例子。因此,对构造性数学家而言,寻找一种对它们的自然处理一直是一项挑战。在此我们给出 Bohr 关于殆周期函数基本定理的一个简单证明,随后将其推广到一般拓扑群上的殆周期函数。
引用
@article{arxiv.cs/0512009,
title = {Almost periodic functions, constructively},
author = {Bas Spitters},
journal= {arXiv preprint arXiv:cs/0512009},
year = {2017}
}