 |
 |
Bas Spitters - Almost periodic functions, constructively
lmcs:2263 - Logical Methods in Computer Science, December 20, 2005, Volume 1, Issue 3 - https://doi.org/10.2168/LMCS-1(3:3)2005Almost periodic functions, constructivelyArticle
Authors: Bas Spitters 
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.
Source: arXiv.org:cs/0512009
Volume: Volume 1, Issue 3
Published on: December 20, 2005
Imported on: July 6, 2005
Keywords: Computer Science - Logic in Computer Science, F.4.1
Classifications
Mathematics Subject Classification 20201
Consultation statistics
This page has been seen 3065 times.
This article's PDF has been downloaded 519 times.