Almost periodic functions, constructively
Logic in Computer Science
2017-01-11 v3
Abstract
The almost periodic functions form a natural example of a non-separable normed space. As such, it has been a challenge for constructive mathematicians to find a natural treatment of them. Here we present a simple proof of Bohr's fundamental theorem for almost periodic functions which we then generalize to almost periodic functions on general topological groups.
Keywords
Cite
@article{arxiv.cs/0512009,
title = {Almost periodic functions, constructively},
author = {Bas Spitters},
journal= {arXiv preprint arXiv:cs/0512009},
year = {2017}
}