Almost periodic functions, constructively
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 ge...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2005-12-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/2263/pdf |
| _version_ | 1797268780999507968 |
|---|---|
| author | Bas Spitters |
| author_facet | Bas Spitters |
| author_sort | Bas Spitters |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-25T01:37:56Z |
| format | Article |
| id | doaj.art-9f8a946af3464ea4ac5fa23789639fc5 |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:37:56Z |
| publishDate | 2005-12-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-9f8a946af3464ea4ac5fa23789639fc52024-03-08T08:33:25ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742005-12-01Volume 1, Issue 310.2168/LMCS-1(3:3)20052263Almost periodic functions, constructivelyBas Spittershttps://orcid.org/0000-0002-2802-0973The 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://lmcs.episciences.org/2263/pdfcomputer science - logic in computer sciencef.4.1 |
| spellingShingle | Bas Spitters Almost periodic functions, constructively Logical Methods in Computer Science computer science - logic in computer science f.4.1 |
| title | Almost periodic functions, constructively |
| title_full | Almost periodic functions, constructively |
| title_fullStr | Almost periodic functions, constructively |
| title_full_unstemmed | Almost periodic functions, constructively |
| title_short | Almost periodic functions, constructively |
| title_sort | almost periodic functions constructively |
| topic | computer science - logic in computer science f.4.1 |
| url | https://lmcs.episciences.org/2263/pdf |
| work_keys_str_mv | AT basspitters almostperiodicfunctionsconstructively |