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)2005
Almost periodic functions, constructivelyArticle

Authors: Bas Spitters ORCID

    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.

    https://doi.org/10.2168/LMCS-1(3:3)2005
    Source: arXiv.org:cs/0512009
    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
    Licence: arXiv.org - Non-exclusive license to distribute

    Share and export

    Consultation statistics

    This page has been seen 1421 times.
    This article's PDF has been downloaded 384 times.