Almost periodic functions, constructively

B.A.W. Spitters

doi:10.2168/LMCS-1(3:3)2005

Almost periodic functions, constructively

B.A.W. Spitters

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

129 Downloads (Pure)

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.

Original language	English
Pages (from-to)	355-362
Journal	Logical Methods in Computer Science
Volume	1
Issue number	3:3
DOIs	https://doi.org/10.2168/LMCS-1(3:3)2005
Publication status	Published - 2005

Access to Document

10.2168/LMCS-1(3:3)2005

Metis210127Final published version, 134 KB

Cite this

@article{cabc573dc78e4a219692b1a0b831bea5,

title = "Almost periodic functions, constructively",

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.",

author = "B.A.W. Spitters",

year = "2005",

doi = "10.2168/LMCS-1(3:3)2005",

language = "English",

volume = "1",

pages = "355--362",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "3:3",

}

TY - JOUR

T1 - Almost periodic functions, constructively

AU - Spitters, B.A.W.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.2168/LMCS-1(3:3)2005

DO - 10.2168/LMCS-1(3:3)2005

M3 - Article

SN - 1860-5974

VL - 1

SP - 355

EP - 362

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 3:3

ER -

Almost periodic functions, constructively

Abstract

Access to Document

Fingerprint

Cite this