Spitters, Bas - Almost periodic functions, constructively

lmcs:2263 - Logical Methods in Computer Science, December 20, 2005, Volume 1, Issue 3
Almost periodic functions, constructively

Authors: Spitters, Bas

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 : oai:arXiv.org:cs/0512009
DOI : 10.2168/LMCS-1(3:3)2005
Volume: Volume 1, Issue 3
Published on: December 20, 2005
Submitted on: July 6, 2005
Keywords: Computer Science - Logic in Computer Science,F.4.1


Share

Consultation statistics

This page has been seen 49 times.
This article's PDF has been downloaded 18 times.