# The infinite-dimensional torus

## 1 Locally compact abelian groups

Let $\mathbb{N}$ denote the positive integers.

If ${G}_{i}$, $i\in I$, are compact abelian groups, we define their direct product to be the cartesian product

$$\prod _{i\in I}{G}_{i}$$ |

with the coarsest topology such that the projection maps ${\pi}_{i}:{\prod}_{j\in I}{G}_{j}\to {G}_{i}$ are continuous (namely the product topology), with which the direct product is a compact abelian group. We write

$${G}^{\omega}=\prod _{\mathbb{N}}G.$$ |

We shall be interested especially in the compact abelian group $\mathbb{T}={S}^{1}$, and we call ${\mathbb{T}}^{\omega}$ the infinite-dimensional torus.

If ${\mathrm{\Gamma}}_{i}$, $i\in I$, are discrete abelian groups, their direct sum, denoted by

$$\underset{i\in I}{\oplus}{\mathrm{\Gamma}}_{i},$$ |

consists of those elements $x$ of the cartesian product ${\prod}_{i\in I}{\mathrm{\Gamma}}_{i}$ such that the set $\{i\in I:{\pi}_{i}(x)\ne 0\}$ is finite. Let ${p}_{i}:{\oplus}_{j\in I}{\mathrm{\Gamma}}_{j}\to {\mathrm{\Gamma}}_{i}$ be the restriction of ${\pi}_{i}$ to ${\oplus}_{j\in I}{\mathrm{\Gamma}}_{j}$. We give the direct sum the finest topology such that the inclusion maps ${q}_{i}:{\mathrm{\Gamma}}_{i}\to {\oplus}_{j\in I}{\mathrm{\Gamma}}_{j}$, defined by

$$({p}_{j}\circ {q}_{i})(x)=\{\begin{array}{cc}x\hfill & j=i\hfill \\ 0\hfill & j\ne i\hfill \end{array},x\in {\mathrm{\Gamma}}_{i},$$ |

are continuous. With this topology, the direct sum is a discrete abelian group. We write

$${\mathrm{\Gamma}}^{\mathrm{\infty}}=\underset{\mathbb{N}}{\oplus}\mathrm{\Gamma}.$$ |

We shall be interested especially in the discrete abelian group $\mathbb{Z}$, and in the infinite direct sum ${\mathbb{Z}}^{\mathrm{\infty}}$. (I don’t know how significant an object it is, but I mention that the abelian group ${\prod}_{\mathbb{N}}\mathbb{Z}$ is called the Baer-Specker group.)

When speaking about $0$ or $1$ in a locally compact abelian group, it is unambiguous that this symbol denotes the identity element of the group, because there is only one distinguished element in a locally compact abelian group. Often we denote the identity element of a compact abelian group by $1$ and the identity element of a discrete abelian group by $0$.

If ${G}_{1},\mathrm{\dots},{G}_{n}$ are locally compact abelian groups, it is straightforward to check that the cartesian product

$$\prod _{k=1}^{n}{G}_{k}$$ |

with the product topology is a locally compact abelian group. We call this both the direct product and the direct sum and write

$${G}_{1}\oplus \mathrm{\cdots}\oplus {G}_{n}=\underset{k=1}{\overset{n}{\oplus}}{G}_{k}=\prod _{k=1}^{n}{G}_{k}={G}_{1}\times \mathrm{\cdots}\times {G}_{n}.$$ |

## 2 Dual groups

If $G$ is a locally compact abelian group, denote by $\widehat{G}$ its dual group, that is, the set of continuous group homomorphisms $G\to {S}^{1}$. For $g\in G$ and $\varphi \in \widehat{G}$we write

$$\u27e8x,\varphi \u27e9=\varphi (x).$$ |

$\widehat{G}$ has the initial topology induced by $\{\varphi \mapsto \u27e8x,\varphi \u27e9:x\in G\}$, with which it is a locally compact abelian group. If $G$ is compact then $\widehat{G}$ is discrete, and if $G$ is discrete then $\widehat{G}$ is compact.

###### Theorem 1.

Suppose that ${G}_{\mathrm{1}}\mathrm{,}\mathrm{\dots}\mathrm{,}{G}_{n}$ are locally compact abelian groups. Then the dual group of ${G}_{\mathrm{1}}\mathrm{\oplus}\mathrm{\cdots}\mathrm{\oplus}{G}_{n}$ is isomorphic as a topological group to ${\widehat{G}}_{\mathrm{1}}\mathrm{\oplus}\mathrm{\cdots}\mathrm{\oplus}{\widehat{G}}_{n}$.

We prove in the following theorem that for discrete abelian groups, the dual group of a direct sum is the direct product of the dual groups.^{1}^{1}
1
Karl H. Hofmann and Sidney A. Morris, The Structure of Compact Groups, second ed., p. 12, Proposition 1.17. Cf. Walter Rudin, Fourier Analysis on Groups, p. 37, §2.2.3.
In particular, this shows that the dual group of ${\mathbb{Z}}^{\mathrm{\infty}}$ is ${\mathbb{T}}^{\omega}$. Then by the Pontryagin duality theorem^{2}^{2}
2
Walter
Rudin, Fourier Analysis on Groups, p. 28, Theorem 1.7.2.
we get that the dual group of ${\mathbb{T}}^{\omega}$ is ${\mathbb{Z}}^{\mathrm{\infty}}$.

###### Theorem 2.

Suppose that ${\mathrm{\Gamma}}_{i}$, $i\mathrm{\in}I$, are discrete abelian groups and let

$$\mathrm{\Gamma}=\underset{i\in I}{\oplus}{\mathrm{\Gamma}}_{i},G=\prod _{i\in I}{\widehat{\mathrm{\Gamma}}}_{i}.$$ |

Then $\mathrm{\Phi}\mathrm{:}G\mathrm{\to}\widehat{\mathrm{\Gamma}}$, defined by

$$(\mathrm{\Phi}g)(\gamma )=\prod _{i\in I}\u27e8{p}_{i}(\gamma ),{\pi}_{i}(g)\u27e9,g\in G,\gamma \in \mathrm{\Gamma},$$ |

is an isomorphism of topological groups. Here, ${\pi}_{i}\mathrm{:}G\mathrm{\to}{\widehat{\mathrm{\Gamma}}}_{i}$ and ${p}_{i}\mathrm{:}\mathrm{\Gamma}\mathrm{\to}{\mathrm{\Gamma}}_{i}$ are the projection maps.

###### Proof.

The definition of $(\mathrm{\Phi}g)(\gamma )$ makes sense because $\{i\in I:{p}_{i}(\gamma )\ne 0\}$ is finite and hence $\{i\in I:\u27e8{p}_{i}(\gamma ),{\pi}_{i}(g)\u27e9\ne 1\}$ is finite. For $g,h\in G$ and $\gamma \in \mathrm{\Gamma}$,

$(\mathrm{\Phi}(gh))(\gamma )$ | $=$ | $\prod _{i\in I}}\u27e8{p}_{i}(\gamma ),{\pi}_{i}(gh)\u27e9$ | ||

$=$ | $\prod _{i\in I}}\u27e8{p}_{i}(\gamma ),{\pi}_{i}(g)\u27e9\u27e8{p}_{i}(\gamma ),{\pi}_{i}(h)\u27e9$ | |||

$=$ | $(\mathrm{\Phi}g)(\gamma )(\mathrm{\Phi}h)(\gamma )$ | |||

$=$ | $((\mathrm{\Phi}g)(\mathrm{\Phi}h))(\gamma ),$ |

showing that $\mathrm{\Phi}(gh)=\mathrm{\Phi}(g)\mathrm{\Phi}(h)$ and hence that $\mathrm{\Phi}$ is a homomorphism. Suppose that $g\in \mathrm{ker}\mathrm{\Phi}$. For each $i\in I$ and each $\gamma \in {\mathrm{\Gamma}}_{i}$,

$$((\mathrm{\Phi}g)\circ {q}_{i})(\gamma )=(\mathrm{\Phi}g)({q}_{i}(\gamma ))=1,$$ |

where ${q}_{i}:{\mathrm{\Gamma}}_{i}\to Gamma$ is the inclusion map. This is true for all $\gamma \in {\mathrm{\Gamma}}_{i}$, so $(\mathrm{\Phi}g)\circ {q}_{i}$ is the identity element of ${\widehat{\mathrm{\Gamma}}}_{i}$. And this is true for all $i\in I$, so $\mathrm{\Phi}g$ is the identity element of $G$. Therefore $\mathrm{\Phi}$ is one-to-one. Suppose that $\alpha \in \widehat{\mathrm{\Gamma}}$. Define $g\in G$ as follows: for each $i\in I$, take ${\pi}_{i}(g)=\alpha \circ {q}_{i}\in {\widehat{\mathrm{\Gamma}}}_{i}$. Then $g$ satisfies $\mathrm{\Phi}g=\alpha $, hence $\mathrm{\Phi}$ is onto and is therefore a group isomorphism.

A continuous bijection from a compact topological space to a Hausdorff space is a homeomorphism, so to prove that $\mathrm{\Phi}$ is a homeomorphism it suffices to prove that $\mathrm{\Phi}$ is continuous. $\widehat{\mathrm{\Gamma}}$ has the initial topology induced by $\{\alpha \mapsto \u27e8\gamma ,\alpha \u27e9:\gamma \in \mathrm{\Gamma}\}$, which are maps $\widehat{\mathrm{\Gamma}}\to {S}^{1}$, so by the universal property of the initial topology, to prove that $\mathrm{\Phi}$ is continuous it suffices to prove that for each $\gamma \in \mathrm{\Gamma}$,

$$g\mapsto \u27e8\gamma ,\mathrm{\Phi}g\u27e9$$ |

is continuous $G\to {S}^{1}$. For $\gamma \in \mathrm{\Gamma}$, let ${J}_{\gamma}=\{i\in I:{p}_{i}(\gamma )\ne 0\}$, which is a finite set. For each $i\in {J}_{\gamma}$, it is straightforward to check that the map $g\mapsto \u27e8{p}_{i}(\gamma ),{\pi}_{i}(g)\u27e9$ is continuous $G\to {S}^{1}$. Hence the map

$$g\mapsto (\mathrm{\Phi}g)(\gamma )=\prod _{i\in {J}_{\gamma}}\u27e8{p}_{i}(\gamma ),{\pi}_{i}(g)\u27e9$$ |

is continuous $G\to {S}^{1}$, being a product of finitely many continuous functions $G\to {S}^{1}$, and this completes the proof. ∎

Let $G$ be a locally compact abelian group. If ${\mathrm{\Gamma}}_{0}$ is a finite subset of $\widehat{G}$ and ${a}_{\gamma}\in \u2102$ for each $\gamma \in {\mathrm{\Gamma}}_{0}$, we call the function $G\to \u2102$ defined by

$$x\mapsto \sum _{\gamma \in {\mathrm{\Gamma}}_{0}}{a}_{\gamma}\u27e8x,\gamma \u27e9$$ |

a trigonometric polynomial on $G$.
Suppose that $G$ is a compact abelian group. Its dual group $\widehat{G}$ separates points in $G$; this is not immediate and is proved using the inversion
theorem for the Fourier transform.^{3}^{3}
3
Walter Rudin, Fourier Analysis on Groups, p. 24, §1.5.2.
The set of trigonometric polynomials on $G$ is a self-adjoint algebra that contains the constant functions,
so the Stone-Weierstrass theorem then tells us that it is dense in the Banach algebra $C(G)$.
Because $\u2102$ is separable, it follows that if $\widehat{G}$ is countable then $C(G)$ is separable.
In particular, any closed subgroup $G$ of ${\mathbb{T}}^{\omega}$ is a compact abelian group whose dual group one checks to be countable, so
$C(G)$ is separable.

A compact Hausdorff space $X$ is metrizable if and only if the Banach algebra $C(X)$ is separable.^{4}^{4}
4
Charalambos D. Aliprantis and Kim C. Border,
Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 353, Theorem 9.14.
We established in the previous paragraph that if $G$ is a compact abelian group with countable dual group then the trigonometric polynomials are dense in the Banach
algebra $C(G)$. Therefore, every compact abelian group with countable dual group is metrizable. In particular, ${\mathbb{T}}^{\omega}$ and all its closed subgroups
are metrizable. In fact, it is proved in Rudin that for a compact abelian group, (i) being metrizable, (ii) having a countable dual group, and (iii) being isomorphic as a topological group
to a closed subgroup of ${\mathbb{T}}^{\omega}$ are equivalent.^{5}^{5}
5
Walter Rudin, Fourier Analysis on Groups,
p. 38, §2.2.6.

## 3 ${\mathbb{T}}^{\omega}$ and ${\mathbb{Z}}^{\mathrm{\infty}}$

Let ${\pi}_{n}:{\mathbb{T}}^{\omega}\to {S}^{1}$ and ${p}_{n}:{\mathbb{Z}}^{\mathrm{\infty}}\to \mathbb{Z}$ be the projection maps and let ${q}_{n}:\mathbb{Z}\to {\mathbb{Z}}^{\mathrm{\infty}}$ be the inclusion map.

For $x\in {\mathbb{T}}^{\omega}$ and $\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}$,

$$\u27e8x,\gamma \u27e9=\prod _{n\in \mathbb{N}}\u27e8{\pi}_{n}(x),{p}_{n}(\gamma )\u27e9=\prod _{n\in \mathbb{N}}{\pi}_{n}{(x)}^{{p}_{n}(\gamma )},$$ |

where for each $n$, ${\pi}_{n}(x)\in {S}^{1}$ and ${p}_{n}(\gamma )\in \mathbb{Z}$.

Let $m$ be the Haar measure on ${\mathbb{T}}^{\omega}$ such that $m({\mathbb{T}}^{\omega})=1$. Because the dual group of ${\mathbb{T}}^{\omega}$ is ${\mathbb{Z}}^{\mathrm{\infty}}$, for any $f\in {L}^{1}(m)$ the Fourier transform of $f$ is the function $\widehat{f}\in {C}_{0}({\mathbb{Z}}^{\mathrm{\infty}})$ defined by

$$\widehat{f}(\gamma )={\int}_{{\mathbb{T}}^{\omega}}f(x)\u27e8-x,\gamma \u27e9\mathit{d}m(x)={\int}_{{\mathbb{T}}^{\omega}}f(x)\prod _{n\in \mathbb{N}}{\pi}_{n}{(\gamma )}^{-{p}_{n}(x)}dm(x),\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}.$$ |

## 4 Kronecker sets

Suppose that $G$ is a locally compact abelian group and that $E$ is a subset of $G$, which we give the subspace topology. $E$ is called a Kronecker set if for every continuous $f:E\to {S}^{1}$ and every $\u03f5>0$, there is some $\gamma \in \widehat{G}$ such that

$$ |

We first prove the following lemma from Rudin.^{6}^{6}
6
Walter Rudin, Fourier Analysis on Groups, p. 104, Lemma 5.2.8.

###### Lemma 3.

If $$, then the set of polynomials with integer coefficients and $\mathrm{0}$ constant term is dense in the real Banach algebra $C\mathit{}\mathrm{(}\mathrm{[}\alpha \mathrm{,}\beta \mathrm{]}\mathrm{)}$ of continuous functions $\mathrm{[}\alpha \mathrm{,}\beta \mathrm{]}\mathrm{\to}\mathrm{R}$.

###### Proof.

Let $R$ be the closure in $C([\alpha ,\beta ])$ of the set of polynomials with integer coefficients and $0$ constant term. Because $x\in R$, $R$ separates points in $[\alpha ,\beta ]$ and for every $a\in [\alpha ,\beta ]$ there is some $f\in R$ such that $f(a)\ne 0$. It is straightforward to check that $R$ is closed under addition and multiplication. If we show that $\mathbb{R}\subset R$, it will follow that $R$ is an algebra over $\mathbb{R}$, and then by the Stone-Weierstrass theorem we will get that $R$ is dense in $C([\alpha ,\beta ])$, and hence equal to $C([\alpha ,\beta ])$ as $R$ is closed.

Let $c\in \mathbb{R}$, let $p$ be prime, and define

$${S}_{p}(x)=\frac{1-{x}^{p}-{(1-x)}^{p}}{p},x\in [\alpha ,\beta ].$$ |

Using that $p$ is prime, by the binomial theorem it follows that ${S}_{p}$ is a polynomial with integer coefficients and $0$ constant term. Partitioning $\mathbb{R}$ into intervals of length $p$, $c$ lies in one of these intervals and hence there is some integer ${q}_{p}$ such that $$. For $x\in [\alpha ,\beta ]$,

$|{q}_{p}{S}_{p}(x)-c|$ | $\le $ | $\left|c-{\displaystyle \frac{{q}_{p}}{p}}\right|+{\displaystyle \frac{|{q}_{p}|}{p}}({\beta}^{p}+{(1-\alpha )}^{p})$ | ||

$$ | $\frac{1}{p}}+\left(|c|+{\displaystyle \frac{1}{p}}\right)({\beta}^{p}+{(1-\alpha )}^{p}).$ |

Hence ${\parallel {q}_{p}{S}_{p}-c\parallel}_{\mathrm{\infty}}\to 0$ as $p\to \mathrm{\infty}$. ${q}_{p}$ is an integer so for each $p$, ${q}_{p}{S}_{p}$ is a polynomial with integer coefficients and $0$ constant term, so this shows that $c\in R$, completing the proof. ∎

An arc in a topological space is a homeomorphic image of a compact subset of $\mathbb{R}$ of nonzero length. The following theorem shows that
there is an arc in ${\mathbb{T}}^{\omega}$ that is a Kronecker set.^{7}^{7}
7
Walter Rudin, Fourier Analysis on Groups, p. 103, Theorem 5.2.7.

###### Theorem 4.

${\mathbb{T}}^{\omega}$ contains an arc that is a Kronecker set.

###### Proof.

Let $$, define $x:[\alpha ,\beta ]\to {\mathbb{T}}^{\omega}$ by

$$({\pi}_{n}\circ x)(t)=\mathrm{exp}\left(2\pi i{t}^{n}\right),t\in [\alpha ,\beta ],n\in \mathbb{N},$$ |

and let $L$ be the image of $[\alpha ,\beta ]$ under $x$. Assign $L$ the subspace topology inherited from ${\mathbb{T}}^{\omega}$, and suppose that $f:L\to {S}^{1}$ is continuous. One proves that there is a continuous function $h:[\alpha ,\beta ]\to \mathbb{R}$ that satisfies

$$(f\circ x)(t)=\mathrm{exp}(2\pi ih(t)),\alpha \le t\le \beta .$$ |

Let $\u03f5>0$, and by Lemma 3, let ${S}_{m}(x)={\sum}_{j=1}^{m}{a}_{j}{x}^{j}$ be a polynomial with integer coefficients such that $$. Define $\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}$ by ${p}_{j}(\gamma )={a}_{j}$ for $1\le j\le m$ and ${p}_{j}(\gamma )=0$ otherwise. For $t\in [\alpha ,\beta ]$,

$|f(x(t))-\u27e8x(t),\gamma \u27e9|$ | $=$ | $\left|\mathrm{exp}(2\pi ih(t))-{\displaystyle \prod _{n\in \mathbb{N}}}\u27e8{\pi}_{n}(x(t)),{p}_{n}(\gamma )\u27e9\right|$ | ||

$=$ | $\left|\mathrm{exp}(2\pi ih(t))-{\displaystyle \prod _{n=1}^{m}}\u27e8{\pi}_{n}(x(t)),{a}_{n}\u27e9\right|$ | |||

$=$ | $\left|\mathrm{exp}(2\pi ih(t))-{\displaystyle \prod _{n=1}^{m}}\mathrm{exp}(2\pi i{a}_{n}{t}^{n})\right|$ | |||

$=$ | $\left|\mathrm{exp}(2\pi ih(t))-\mathrm{exp}\left({\displaystyle \sum _{n=1}^{m}}2\pi i{a}_{n}{t}^{n}\right)\right|$ | |||

$\le $ | $\left|2\pi h(t)-{\displaystyle \sum _{n=1}^{m}}2\pi {a}_{n}{t}^{n}\right|$ | |||

$=$ | $2\pi |h(t)-{S}_{m}(t)|$ | |||

$$ | $2\pi \u03f5,$ |

using the fact that $|\mathrm{exp}(iA)-\mathrm{exp}(iB)|\le |A-B|$ for $A,B\in \mathbb{R}$. Hence, for every $\u03f5>0$ there is some $\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}$ such that

$$ |

showing that $L$ is a Kronecker set. ∎

## 5 Subgroups

Suppose that $G$ is a locally compact abelian group. For each $x\in G$, let ${t}_{x}:G\to G$ be defined by ${t}_{x}(y)=x+y$, which is a homeomorphism, and let $\sigma :G\to G$ be defined by $\sigma (x)=-x$, which is also a homeomorphism. If $A$ is an open set in $G$ and $B$ is a subset of $G$, then

$$A+B=\bigcup _{x\in B}{t}_{x}(A),$$ |

which is open because ${t}_{x}(A)$ is open for each $x\in B$. Furthermore, if $A$ and $B$ are both compact sets in $G$ then $A\times B$ is compact in $G\times G$ and $A+B$ is the image of $A\times B$ under the continuous map $(x,y)\mapsto x+y$ hence is compact.

By a neighborhood of a point $x$ in a topological space we mean a set such that $x$ lies in the interior of the set, in other words, a set that contains an open neighborhood of the point. The collection of all neighborhoods of a point $x$ is a filter, and a neighborhood base at $x$ is a filter base for the neighborhood filter of $x$. In a locally compact Hausdorff space, every point $x$ has a neighborhood base consisting of compact neighborhoods of $x$.

Let $A:G\times A\to G$ be $A(x,y)=x+y$, which is continuous. If $W$ is a neighborhood of $0$ in $G$, then ${A}^{-1}(W)$ is a neighborhood of $(0,0)$ in $G\times G$. A base for the product topology on $G\times G$ consists of sets of the form ${U}_{1}\times {U}_{2}$ where ${U}_{1},{U}_{2}$ are open sets in $G$, so there are open sets ${U}_{1},{U}_{2}$ in $G$ such that $(0,0)\in {U}_{1}\times {U}_{2}\subset {A}^{-1}(W)$. Each of ${U}_{1}$ and ${U}_{2}$ are then open neighborhoods of $0$ in $G$, so $V={U}_{1}\cap {U}_{2}$ is also an open neighborhood of $0$ in $G$, and then $V\times V$ is open in $G\times G$ and

$$(0,0)\in V\times V\subset {U}_{1}\times {U}_{2}\subset {A}^{-1}(W).$$ |

Hence $A(0,0)\subset A(V\times V)\subset W$, i.e. $0\in V+V\subset W$, and $V+V$ is open because $V$ is open. Therefore, for every neighborhood $W$ of $0$ in a locally compact abelian group, there is some $V$ that is an open neigborhood of $0$ and that satisfies $V+V\subset W$.

Suppose that $G$ is a locally compact abelian group. A subset $E$ of $G$ is called symmetric if $E=-E$. If $N$ is a compact neighborhood of $0$ then $N$ contains an open neighborhood $U$ of $0$. The set $U\cap \sigma (U)$ is an open neighborhood of $0$ and the set $N\cap \sigma (N)$ is compact (an intersection of compact sets in a Hausdorff space is compact) and contains $U\cap \sigma (U)$, hence $N\cap \sigma (N)$ is a compact symmetric neighborhood of $0$ that is contained in $N$. It follows that in a locally compact abelian group, there is a neighborhood base at $0$ consisting of compact symmetric neighborhoods of $0$.

Suppose that $G$ is an abelian group and that $H$ is a subgroup of $G$. We define the quotient group $G/H$ be the collection of cosets of $H$, which is an abelian group where we define

$$(x+H)+(y+H)=(x+y)+H,x,y\in G.$$ |

Let $\pi :G\to G/H$ be the projection map, which is a homomorphism with $\mathrm{ker}\pi =H$.

We are now equipped to define quotient groups in the category of locally compact abelian groups. Suppose that $G$ is a locally compact abelian group and that $H$ is a closed subgroup of $G$. We assign $G/H$ the final topology induced by the projection map $\pi $ (namely, the quotient topology). For $x+H\in G/H$, there is a compact neighborhood $N$ of $x$ in $G$; that is, there is a compact set $N$ and an open set $U$ such that $x\in U\subset N$. Because $\pi $ is continuous, $\pi (N)$ is compact, and because $\pi $ is open, $\pi (U)$ is open, so $\pi (N)$ is a compact neighborhood of $x+H$ in $G/H$. Therefore $G/H$ is locally compact. It remains to prove that $G/H$ is Hausdorff and that addition and negation are continuous to prove that $G/H$ is a locally compact abelian group. Suppose that $x+H,y+H$ are distinct elements of $G/H$, i.e. $x-y\notin H$. The set $y+H={t}_{y}(H)$ is closed because $H$ is closed, and $x\notin y+H$ so $G\setminus {t}_{y}(H)$ is an open neighborhood of $x$, and hence $W={t}_{-x}(G\setminus {t}_{y}(H))$ is an open neighborhood of $0$ such that $x+W$ is disjoint from $y+H$. Because $W$ is an open neighborhood of $0$ there is an open neighborhood $V$ of $0$ such that $V+V\subset W$. Furthermore, there is a compact symmetric neighborhood of $0$, $N$, contained in $V$. If $(x+H+N)\cap (y+H+N)\ne \mathrm{\varnothing}$ then there are ${h}_{1},{h}_{2}\in H$ and ${n}_{1},{n}_{2}\in N$ such that $x+{h}_{1}+{n}_{1}=y+{h}_{2}+{n}_{2}$, and then $x+({n}_{1}-{n}_{2})=y+({h}_{2}-{h}_{1})$. But $-{n}_{2}\in N$ because $N$ is symmetric and so ${n}_{1}-{n}_{2}\in N+N\subset V+V\subset W$, so $x+({n}_{1}-{n}_{2})\in x+W$, and ${h}_{2}-{h}_{1}\in H$, so $y+({h}_{2}-{h}_{1})\in y+H$, contradicting that $x+W$ and $y+H$ are disjoint. Therefore $x+H+N$ and $y+H+N$ are disjoint, and their images under $\pi $ are then disjoint neighborhoods of $x+H$ and $y+H$ in $G/H$, showing that $G/H$ is Hausdorff. It is straightforward to prove that addition and negation are continuous in $G/H$, and therefore $G/H$ is a locally compact abelian group.

If $H$ is a closed subgroup of a locally compact abelian group $G$, the annihilator of $H$, denoted ${\mathrm{\Lambda}}_{H}$, is the set of all $\gamma \in \widehat{G}$ such that

$$\u27e8x,\gamma \u27e9=1,x\in H.$$ |

For each $x\in H$, the map $\gamma \mapsto \u27e8x,\gamma \u27e9$ is continuous
$\widehat{G}\to {S}^{1}$ so the inverse image of $\{1\}$ under this map is closed. ${\mathrm{\Lambda}}_{H}$ is the intersection of all these inverse images hence is closed, and is a closed
subgroup because it is apparent that ${\mathrm{\Lambda}}_{H}$ is a subgroup of $\widehat{G}$.
It can be proved that ${\mathrm{\Lambda}}_{H}$ is the dual of the quotient group $G/H$ and that the quotient group $\widehat{G}/{\mathrm{\Lambda}}_{H}$ is the dual of
$H$.^{8}^{8}
8
Walter Rudin, Fourier Analysis on Groups, p. 35, Theorem 2.1.2.

The following lemma shows that we can extend continuous characters on a closed subgroup to the entire group.^{9}^{9}
9
Walter
Rudin, Fourier Analysis on Groups, p. 36, Theorem 2.1.4.

###### Lemma 5.

Suppose that $H$ is a closed subgroup of a locally compact abelian group $G$. If $\varphi \mathrm{\in}\widehat{H}$, then there is some $\gamma \mathrm{\in}\widehat{G}$ whose restriction to $H$ is equal to $\varphi $.

###### Proof.

$\varphi \in \widehat{H}=\widehat{G}/{\mathrm{\Lambda}}_{H}$, so there is some $\gamma \in \widehat{G}$ such that for all $x\in H$, $\gamma (x)=\varphi (x)$. ∎

Suppose that $G$ is a locally compact abelian group. It can be proved that if $E$ is a compact open set in $G$ and $0\in E$, then $E$ contains a compact open subgroup of $G$.^{10}^{10}
10
Walter Rudin, Fourier Analysis on Groups, p. 41,
Lemma 2.4.3.

We are now equipped to prove the following theorem.^{11}^{11}
11
Walter Rudin, Fourier Analysis on Groups, p. 47, Theorem 2.5.6.

###### Theorem 6.

Suppose that $G$ is a compact group. $G$ is connected if and only if $\gamma \mathrm{\in}\widehat{G}$ having finite order implies that $\gamma \mathrm{=}\mathrm{0}$.

###### Proof.

Assume that $G$ is not connected. Then there is a clopen subset $A$ that is neither $G$ nor $\mathrm{\varnothing}$. Because $G$ is compact, both $A$ and $G\setminus A$ are compact and open, and one of them, call it $E$, contains $0$. Because $E$ is a compact open set containing $0$, $E$ contains a compact open subgroup $H$ of $G$, and $H\ne G$ because $E\ne G$. Because $H$ is open, the singleton $\{0+H\}$ in the quotient group $G/H$ is an open set, and therefore $G/H$ is discrete. But $G$ is compact and $G/H$ is the image of $G$ under the projection map, so $G/H$ is compact. Hence $G/H$ is finite. The dual of $G/H$ is ${\mathrm{\Lambda}}_{H}$, which is a subgroup of $\widehat{G}$. Because $G/H$ contains more than one element (as $H\ne G$), ${\mathrm{\Lambda}}_{H}$ contains some $\gamma \ne 0$, and $\gamma $ has finite order because it is contained in the finite subgroup ${\mathrm{\Lambda}}_{H}$.

Assume that $\gamma \in \widehat{G}$ has order finite order and that $\gamma \ne 0$. Every element of $\gamma (G)$ has finite order and $\gamma (G)\ne \{1\}$, so $\gamma (G)$ is not connected. But if $G$ were connected then $\gamma (G)$, a continuous image of $G$, would be connected, hence $G$ is not connected. ∎

###### Lemma 7.

Suppose that $G$ is a locally compact abelian group. If $A$ is an open subgroup of $G$, then $A$ is closed.

###### Proof.

$A$ is a subgroup of $G$, which gives us

$$A=G\setminus \bigcup _{x\in G\setminus A}(x+A).$$ |

Because each set $x+A$ is open, this shows that $A$ is closed. ∎

## 6 Measures

Suppose that $\mathcal{M}$ is a $\sigma $-algebra on a set $X$.
If $\mu $ is a complex measure on $\mathcal{M}$ we denote by $|\mu |$ its total variation, which is a finite positive
measure on $\mathcal{M}$.^{12}^{12}
12
Walter Rudin, Real and Complex Analysis, third ed., p. 117, Theorem 6.2 and p. 118, Theorem 6.4. The total variation norm of $\mu $ is $\parallel \mu \parallel =|\mu |(X)$.

Suppose that $X$ is a Hausdorff space with Borel $\sigma $-algebra ${\mathcal{B}}_{X}$ and that $\mu $ is a complex Borel measure on $X$. We say that $\mu $ is outer regular if for each $E\in {\mathcal{B}}_{X}$,

$$|\mu |(E)=inf\{|\mu |(V):E\subset V\text{and}V\text{is open}\}$$ |

inner regular if for each $E\in {\mathcal{B}}_{X}$,

$$|\mu |(E)=sup\{|\mu |(F):F\subset E\text{and}F\text{is closed}\},$$ |

and tight if for each $E\in {\mathcal{B}}_{X}$,

$$|\mu |(E)=sup\{|\mu |(K):K\subset E\text{and}K\text{is compact}\}.$$ |

(Because we demand that $X$ be Hausdorff, a compact set is closed and hence belongs to the Borel $\sigma $-algebra of $X$; compact sets need not belong to the Borel $\sigma $-algebra of a topological space that is not Hausdorff.) We remark that the words “inner regular” often means what we call tight. We say that $\mu $ is regular if it is both outer regular and tight, and we also remark that calling a measure regular often means being outer regular and what we call inner regular. What we call a regular complex Borel measure means precisely what Rudin means by these words in Fourier Analysis on Groups, and using Rudin’s notation we define

$$M(X)=\{\mu :\mu \text{is a regular complex Borel measure on}X\}.$$ |

It is a fact that a complex Borel measure on a metrizable space
is outer regular and inner regular,^{13}^{13}
13
Charalambos D. Aliprantis and Kim C. Border,
Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 436, Theorem 12.5. and that a complex Borel measure on a Polish
space is regular.^{14}^{14}
14
Charalambos D. Aliprantis and Kim C. Border,
Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 438, Theorem 12.7.

Suppose that $X$ and $Y$ are locally compact Hausdorff spaces and that $\mu \in M(X)$ and $\lambda \in M(Y)$. It is a fact that there is a unique element of $M(X\times Y)$, denoted $\mu \times \lambda $, such that for any $A\in {\mathcal{B}}_{X}$ and $B\in {\mathcal{B}}_{Y}$,

$$(\mu \times \lambda )(A\times B)=\mu (A)\lambda (B).$$ |

We call $\mu \times \lambda $ the product measure of $\mu $ and $\lambda $.

Suppose that $G$ is a locally compact abelian group with addition $A:G\times G\to G$. For $\mu ,\lambda \in M(G)$, we define the convolution of $\mu $ and $\lambda $ to be the pushforward of the product $\mu \times \lambda $ by $A$,

$$\mu *\lambda ={A}_{*}(\mu \times \lambda ),$$ |

and it can be proved that $\mu *\lambda \in M(G)$, that convolution is commutative and associative, and that
$\parallel \mu *\lambda \parallel \le \parallel \mu \parallel \parallel \lambda \parallel $.^{15}^{15}
15
Walter Rudin, Fourier Analysis on Groups, p. 13,
Theorem 1.3.2; Karl Stromberg, A note on the convolution of regular measures, Math. Scand. 7 (1959), 347–352. Then, with convolution as multiplication and using the total variation norm,
$M(G)$ is a unital commutative Banach algebra, with unity ${\delta}_{0}$.

For $\mu \in M(G)$, the Fourier transform of $\mu $ is the function $\widehat{\mu}:\widehat{G}\to \u2102$ defined by

$$\widehat{\mu}(\gamma )={\int}_{G}\u27e8-x,\gamma \u27e9\mathit{d}\mu (x),\gamma \in \widehat{G}.$$ |

One proves that $\widehat{\mu}$ is bounded and uniformly continuous, and we define

$$B(\widehat{G})=\{\widehat{\mu}:\mu \in M(G)\}.$$ |

## 7 Idempotent measures

If $G$ is a locally compact abelian group and $\mu \in M(G)$, we say that $\mu $ is idempotent if $\mu *\mu =\mu $, and we denote the set of idempotent elements of $M(G)$ by $J(G)$. Because the Fourier transform of a convolution is the product of the Fourier transforms, for $\mu \in M(G)$ we have $\mu *\mu =\mu $ if and only if ${\widehat{\mu}}^{2}=\widehat{\mu}$. But ${\widehat{\mu}}^{2}=\widehat{\mu}$ is equivalent to $\widehat{\mu}$ having range contained in $\{0,1\}$, so for $\mu \in M(G)$, we have that $\mu \in J(G)$ if and only if $\widehat{\mu}$ is the characteristic function of some subset of $\widehat{G}$. For $\mu \in J(G)$, we write

$$S(\mu )=\{\gamma \in \widehat{G}:\widehat{\mu}(\gamma )=1\}.$$ |

Suppose that $\mathrm{\Lambda}$ is an open subgroup of $\widehat{G}$. Then $\mathrm{\Lambda}$ is closed, and the fact that $\mathrm{\Lambda}$ is open implies that the singleton containing the identity in $\widehat{G}/\mathrm{\Lambda}$ is open and hence that $\widehat{G}/\mathrm{\Lambda}$ is a discrete abelian group. Denoting the annihilator of $\mathrm{\Lambda}$ by $H$, which is a closed subgroup of $G$, the quotient group $\widehat{G}/\mathrm{\Lambda}$ is the dual group of $H$ and hence $H$ is compact. Let ${m}_{H}$ be the Haar measure on $H$ such that ${m}_{H}(H)=1$. Taking ${m}_{H}(E)={m}_{H}(E\cap H)$, ${m}_{H}\in M(G)$. If $\gamma \in \mathrm{\Lambda}$ then

$${\widehat{m}}_{H}(\gamma )={\int}_{G}\u27e8-x,\gamma \u27e9\mathit{d}{m}_{H}(x)={\int}_{H}\u27e8-x,\gamma \u27e9\mathit{d}{m}_{H}(x)={\int}_{H}\mathit{d}{m}_{H}(x)={m}_{H}(H)=1.$$ |

If $\gamma \in \widehat{G}\setminus \mathrm{\Lambda}$ then there is some ${x}_{0}\in H$ such that $\u27e8{x}_{0},\gamma \u27e9\ne 1$, and then

$${\int}_{H}\u27e8-x,\gamma \u27e9\mathit{d}{m}_{H}(x)=\u27e8{x}_{0},\gamma \u27e9{\int}_{H}\u27e8-{x}_{0}-x,\gamma \u27e9\mathit{d}{m}_{H}(x)=\u27e8{x}_{0},\gamma \u27e9{\int}_{H}\u27e8-x,\gamma \u27e9\mathit{d}{m}_{H}(x),$$ |

showing that ${\widehat{m}}_{H}(\gamma )=\u27e8{x}_{0},\gamma \u27e9{\widehat{m}}_{H}(\gamma )$, and because $\u27e8{x}_{0},\gamma \u27e9\ne 1$ this implies that ${\widehat{m}}_{H}(\gamma )=0$. Therefore, $\mathrm{\Lambda}=S({m}_{H})$.

If $E={\gamma}_{0}+\mathrm{\Lambda}$, then with

$$d\mu (x)=\u27e8x,{\gamma}_{0}\u27e9d{m}_{(}H)$$ |

we have $\mu \in J(G)$ and $E=S(\mu )$.

## 8 Sidon sets

Let $G$ be a compact abelian group and let $E\subset \widehat{G}$. A function $f\in {L}^{1}(G)$ is called an $E$-function if $\gamma \in \widehat{G}\setminus E$ implies that $\widehat{f}(\gamma )=0$. An $E$-polynomial is a trigonometric polynomial $f$ on $G$ that is an $E$-function.

We call a subset $E$ of $\widehat{G}$ a Sidon set if there is some ${B}_{E}\ge 0$ such that for every $E$-polynomial $f$ on $G$,

$$\sum _{\gamma \in E}|\widehat{f}(\gamma )|\le {B}_{E}{\parallel f\parallel}_{\mathrm{\infty}}.$$ |

We shall use the following lemma later.^{16}^{16}
16
Walter
Rudin, Fourier Analysis on Groups, p. 121, Theorem 5.7.3.

###### Lemma 8.

Suppose that $\mathrm{\Gamma}$ is a discrete abelian group that is the dual group of a compact abelian group $G$. If $E\mathrm{\subset}\mathrm{\Gamma}$ is a Sidon set with constant ${B}_{E}$, then every bounded $E$-function $f$ on $G$ satisfies

$$\sum _{\gamma \in E}|\widehat{f}(\gamma )|\le {B}_{E}{\parallel f\parallel}_{\mathrm{\infty}}.$$ |

## 9 Dirichlet series

Define $\sigma :{\mathbb{Z}}^{\mathrm{\infty}}\to \mathbb{Z}$ by $\sigma (\gamma )={\sum}_{n\in \mathbb{N}}{p}_{n}(\gamma )$, i.e. the sum of the entries of $\gamma $, which makes sense because any element of ${\mathbb{Z}}^{\mathrm{\infty}}$ has only finitely many nonzero entries.

Let $Y$ be those $\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}$ such that ${p}_{n}(\gamma )\ge 0$ for all $n\in \mathbb{N}$,
and let $E=Y\cap {\sigma}^{-1}(1)$.
In other words, the elements of $E$ are those $\gamma \in {\mathbb{Z}}^{\mathrm{\infty}}$ one coordinate of which is $1$ and all other coordinates of which are $0$.
The proof of the following theorem is from Rudin.^{17}^{17}
17
Walter Rudin, Fourier Analysis on Groups, p. 224, Theorem 8.7.9.

###### Theorem 9.

If $f\mathrm{\in}{L}^{\mathrm{\infty}}\mathit{}\mathrm{(}{\mathrm{T}}^{\omega}\mathrm{)}$ and $\widehat{f}\mathit{}\mathrm{(}\gamma \mathrm{)}\mathrm{=}\mathrm{0}$ for all $\gamma \mathrm{\in}X\mathrm{\setminus}Y$, then

$$\sum _{\gamma \in E}|\widehat{f}(\gamma )|\le {\parallel f\parallel}_{\mathrm{\infty}}.$$ |

###### Proof.

$\sigma :{\mathbb{Z}}^{\mathrm{\infty}}\to \mathbb{Z}$ is a continuous group homomorphism, and $\mathrm{ker}\sigma $ is an open subgroup of ${\mathbb{Z}}^{\mathrm{\infty}}$, because ${\mathbb{Z}}^{\mathrm{\infty}}$ is discrete. Because ${\sigma}^{-1}(1)$ is a coset of this open subgroup, there is some $\mu \in J({\mathbb{T}}^{\omega})$ such that $\widehat{\mu}$ is the characteristic function of ${\sigma}^{-1}(1)$, and this $\mu $ satisfies $\parallel \mu \parallel =1$. Define $g:{\mathbb{T}}^{\omega}\to \u2102$ by

$$g(x)=(f*\mu )(x)={\int}_{{\mathbb{T}}^{\omega}}f(x-y)\mathit{d}\mu (y),x\in {\mathbb{T}}^{\omega},$$ |

whose Fourier transform is $\widehat{g}(\gamma )=\widehat{f}(\gamma )\widehat{\mu}(\gamma )$. If $\gamma \notin E$ then $\gamma \notin Y$ or $\gamma \notin {\sigma}^{-1}(1)$. In the first case $\widehat{f}(\gamma )=0$ and in the second case $\widehat{\mu}(\gamma )=0$, and hence $\gamma \notin E$ implies that $\widehat{g}(\gamma )=0$, namely, $g$ is an $E$-function. Also, it is apparent from the definition of $g$ that ${\parallel g\parallel}_{\mathrm{\infty}}\le {\parallel f\parallel}_{\mathrm{\infty}}$.

Suppose that $P$ is an $E$-polynomial. Hence there is a finite subset ${E}_{0}$ of $E$ such that $\gamma \notin {E}_{0}$ implies that $\widehat{P}(\gamma )=0$, and thus there are ${c}_{\gamma}\in \u2102$, $\gamma \in {E}_{0}$, such that

$$P(x)=\sum _{\gamma \in {E}_{0}}{c}_{\gamma}\u27e8x,\gamma \u27e9=\sum _{\gamma \in {E}_{0}}{c}_{\gamma}\prod _{n\in \mathbb{N}}\u27e8{\pi}_{n}(x),{p}_{n}(\gamma )\u27e9,x\in {\mathbb{T}}^{\omega}.$$ |

${E}_{0}\subset E$, so any element of ${E}_{0}$ has one entry $1$, say ${p}_{{n}_{\gamma}}(\gamma )=1$, and all other entries $0$, so

$$P(x)=\sum _{\gamma \in {E}_{0}}{c}_{\gamma}{\pi}_{{n}_{\gamma}}(x).$$ |

Define $x\in {\mathbb{T}}^{\omega}$ by taking ${c}_{\gamma}\cdot {\pi}_{{n}_{\gamma}}(x)=|{c}_{\gamma}|$ for each $\gamma \in {E}_{0}$, and all other entries of $x$ to be $1\in {S}^{1}$; this makes sense because if ${\gamma}_{1},{\gamma}_{2}\in {E}_{0}$ and ${n}_{{\gamma}_{1}}={n}_{{\gamma}_{2}}$ then ${\gamma}_{1}={\gamma}_{2}$. For this $x$, $P(x)={\sum}_{\gamma \in {E}_{0}}|{c}_{\gamma}|$. But it is apparent that ${\parallel P\parallel}_{\mathrm{\infty}}\le {\sum}_{\gamma \in {E}_{0}}|{c}_{\gamma}|$, so

$${\parallel P\parallel}_{\mathrm{\infty}}=\sum _{\gamma \in {E}_{0}}|{c}_{\gamma}|.$$ |

This shows that $E$ is a Sidon set with ${B}_{E}=1$. Therefore by Lemma 8, because $g$ is a bounded $E$-function on ${\mathbb{T}}^{\omega}$ we get ${\sum}_{\gamma \in E}|\widehat{g}(\gamma )|\le {\parallel g\parallel}_{\mathrm{\infty}}$. But $\widehat{\mu}$ is the characteristic function of ${\sigma}^{-1}(1)$ and $E=Y\cap {\sigma}^{-1}(1)$, so

$$\sum _{\gamma \in E}\widehat{f}(\gamma )=\sum _{\gamma \in E}\widehat{f}(\gamma )\widehat{\mu}(\gamma )=\sum _{\gamma \in E}\widehat{g}(\gamma )\le {\parallel g\parallel}_{\mathrm{\infty}}\le {\parallel f\parallel}_{\mathrm{\infty}},$$ |

proving the claim. ∎

Following Rudin, we use the above theorem to prove a theorem about Dirichlet series
due to Bohr.^{18}^{18}
18
Walter Rudin, Fourier Analysis on Groups, pp. 224–225. See also
Maxime Bailleul and Pascal Lefèvre,
Some Banach spaces of Dirichlet series,
arxiv.org/abs/1311.3845

###### Theorem 10 (Bohr).

If

$$\varphi (s)=\sum _{k=1}^{\mathrm{\infty}}\frac{{c}_{k}}{{k}^{s}}$$ |

and $\mathrm{|}\varphi \mathit{}\mathrm{(}s\mathrm{)}\mathrm{|}\mathrm{\le}\mathrm{1}$ for all $s$ such that $\mathrm{Re}\mathit{}s\mathrm{>}\mathrm{0}$, then

$$\sum _{p}|{c}_{p}|\le 1.$$ |

###### Proof.

For $k\in \mathbb{N}$, let $\gamma (k)\in Y$ such that $k={\prod}_{n=1}^{\mathrm{\infty}}{p}_{n}^{{h}_{n}(\gamma (k))}$, where ${p}_{n}$ are the primes and where ${h}_{n}:{\mathbb{Z}}^{\mathrm{\infty}}\to \mathbb{Z}$ are the projection maps; so far we have denoted these projection maps by ${p}_{n}$, rather than using ${h}_{n}$, but the symbol ${p}_{n}$ has such a strong association with the primes that we change notation here. The map $k\mapsto \gamma (k)$ is a bijection $\mathbb{N}\to Y$, and we write ${c}_{\gamma}={c}_{k}$. We shall use the fact that the image of the primes under this bijection is $E$.

Let $s$ be a complex number in the half-plane of convergence of $\varphi $ and write ${z}_{n}(s)={p}_{n}^{-s}=\mathrm{exp}(-s\mathrm{log}{p}_{n})$. Then,

$\varphi (s)$ | $=$ | $\sum _{k=1}^{\mathrm{\infty}}}{c}_{k}{k}^{-s$ | ||

$=$ | $\sum _{\gamma \in Y}}{c}_{\gamma}{\left({\displaystyle \prod _{n=1}^{\mathrm{\infty}}}{p}_{n}^{{h}_{n}(\gamma )}\right)}^{-s$ | |||

$=$ | $\sum _{\gamma \in Y}}{c}_{\gamma}{\displaystyle \prod _{n=1}^{\mathrm{\infty}}}{p}_{n}^{-s{h}_{n}(\gamma )$ | |||

$=$ | $\sum _{\gamma \in Y}}{c}_{\gamma}{\displaystyle \prod _{n=1}^{\mathrm{\infty}}}{z}_{n}{(s)}^{{h}_{n}(\gamma )$ |

Defining $T:\mathbb{R}\to {\mathbb{T}}^{\omega}$ by

$$({\pi}_{n}\circ T)(\sigma )=\mathrm{exp}(-i\sigma \mathrm{log}{p}_{n}),n\in \mathbb{N},\sigma \in \mathbb{R},$$ |

we have, as ${z}_{n}(i\sigma )=\mathrm{exp}(-i\sigma \mathrm{log}{p}_{n})$,

$$\varphi (i\sigma )=\sum _{\gamma \in Y}{c}_{\gamma}\prod _{n=1}^{\mathrm{\infty}}\u27e8{\pi}_{n}(T(\sigma )),{h}_{n}(\gamma )\u27e9=\sum _{\gamma \in Y}{c}_{\gamma}\u27e8T(\sigma ),\gamma \u27e9.$$ |

One checks that the function $f:{\mathbb{T}}^{\omega}\to \u2102$ defined by $f(x)={\sum}_{\gamma \in Y}{c}_{\gamma}\u27e8x,\gamma \u27e9$ satisfies the conditions of Theorem 9, and thus gets

$$\sum _{p}|{c}_{p}|=\sum _{\gamma \in E}|{c}_{\gamma}|=\sum _{\gamma \in E}|\widehat{f}(\gamma )|\le {\parallel f\parallel}_{\mathrm{\infty}}$$ |

I do not see why ${\parallel f\parallel}_{\mathrm{\infty}}\le 1$. However, granted this, the claim follows. ∎

## 10 Descriptive set theory

If $(X,d)$ is a compact metric space,
$C(X,X)$ is a Polish space with the uniform metric $(f,g)\mapsto {sup}_{x\in X}d(f(x),g(x))$.
We denote by $H(X)$ the group of homeomorphisms of $X$, which one proves is a ${G}_{\delta}$ set in $C(X,X)$.
Because $H(X)$ is a ${G}_{\delta}$ set in a Polish space, it is a Polish space with the subspace topology.
A homeomorphism $h$ of $X$ is said to be minimal if there is no proper closed subset of $X$ that is invariant under $h$, and is called
distal if $x\ne y$ implies that there is some $\u03f5>0$ such that for all $n\in \mathbb{N}$, $d({h}^{n}(x),{h}^{n}(y))>\u03f5$.
It has been proved (Beleznay-Foreman) that the collection of minimal distal homeomorphisms of ${\mathbb{T}}^{\omega}$ is a Borel ${\mathbf{\Sigma}}_{1}^{1}$-complete
set in $H({\mathbb{T}}^{\omega})$.^{19}^{19}
19
Alexander S. Kechris, Classical Descriptive Set Theory, p 262, Theorem 33.22.

## 11 Further reading

Albeverio, Sergio, Daletskii, Alexei and Kondratiev, Yuri, Stochastic analysis on (infinite-dimensional) product manifolds, Stochastic dynamics (Bremen, 1997), 339–369, Springer, New York, 1999.

Aoki, Nobuo and Totoki, Haruo, Ergodic automorphisms of ${T}^{\mathrm{\infty}}$ are Bernoulli automorphisms, Publ. RIMS, Kyoto Univ. 10 (1975), 535–544.

Balasubramanian, R., Calado, B. and Queffélec, H., The Bohr inequality for ordinary Dirichlet series, Studia Math. 175 (2006), no. 3, 285–304.

Bendikov, A. and Saloff-Coste, L., On the sample paths of diagonal Brownian motions on the infinite dimensional torus, Ann. Inst. H. Poincaré Probab. Statist. 40 (2004), no. 2, 227–254.

Bendikov, A., Lévy measures for symmetric stable semigroups on torus ${\mathrm{T}}^{\mathrm{\infty}}$. Functional analysis, 173–181, Narosa, New Delhi, 1998.

Bendikov, A. and Saloff-Coste, L., Spaces of smooth functions and distributions on infinite-dimensional compact groups, J. Funct. Anal. 218 (2005), no. 1, 168–218.

Bendikov, A. D., Symmetric stable semigroups on the infinite-dimensional torus, Exposition. Math. 13 (1995), no. 1, 39–79.

Berg, Christian, On Brownian and Poissonian convolution semigroups on the infinite dimensional torus, Invent. Math. 38 (1976/77), no. 3, 227–235.

Berg, Christian, Potential theory on the infinite dimensional torus, Invent. Math. 32 (1976), no. 1, 49–100.

Biroli, Marco and Maheux, Patrick, Logarithmic Sobolev inequalities and Nash-type inequalities for sub-markovian symmetric semigroups, https://hal.inria.fr/hal-00465177v1/document

Fournier, John, Extensions of a Fourier multiplier theorem of Paley, Pacific J. Math. 30 (1969), 415–431.

Haezendonck, J., Les groupes commutatifs de Lebesgue-Rohlin, Acad. Roy. Belg. Bull. Cl. Sci. (5) 58 (1972), 344–353.

Hastings, H. M., On expansive homeomorphisms of the infinite torus, The structure of attractors in dynamical systems (Proc. Conf., North Dakota State Univ.)

Hedenmalm, Håkan and Saksman, Eero, Carleson’s convergence theorem for Dirichlet series, Pacific Journal of Mathematics 208 (2003), no. 1, 85–109.

Helson, Henry, Hankel forms and sums of random variables, Studia Math. 176 (2006), no. 1, 85–92.

Holley, R. and Stroock, D., Diffusions on an infinite-dimensional torus, J. Funct. Anal. 42 (1981), no. 1, 29–63.

Jessen, B., The theory of integration in a space of an infinite number of dimensions, Acta Math. 63 (1934), no. 1, 249–323.

Kholshchevnikova, N. N., Uniqueness for trigonometric series with respect to an increasing number of variables, Proc. Steklov Inst. Math. 2005, Function Theory, suppl. 2, S160–S166.

Lind, D. A., Ergodic automorphisms of the infinite torus are Bernoulli, Israel J. Math. 17 (1974), 162–168.

Olsen, Jan-Fredrik, Local properties of Hilbert spaces of Dirichlet series, J. Funct. Anal. 261 (2011), no. 9, 2669–2696.

Saksman, Eero and Seip, Kristian, Integral means and boundary limits of Dirichlet series, Bull. Lond. Math. Soc. 41 (2009), no. 3, 411–422.

Saloff-Coste, Laurent, Probability on groups: random walks and invariant diffusions, Notices Amer. Math. Soc. 48 (2001), no. 9, 968–977.

Skorikov, A. V., Bessel potentials in spaces with a mixed norm on the group ${\mathrm{T}}^{\mathrm{\infty}}$, Moscow Univ. Math. Bull. 48 (1993), no. 6, 1–4

Stackelberg, Olaf P., Metric theorems related to the Kronecker-Weyl theorem mod $m$, Monatsh. Math. 82 (1976), no. 1, 57–69.

Sugita, Hiroshi and Takanobu, Satoshi, A limit theorem for Weyl transformation in infinite-dimensional torus and central limit theorem for correlated multiple Wiener integrals, J. Math. Sci. Univ. Tokyo 7 (2000), no. 1, 99–146.

Tanaka, Jun-ichi, Dirichlet series induced by the Riemann zeta-function, Studia Math. 187 (2008), no. 2, 157–184.

Taylor, Thomas J. S., Applications of harmonic analysis on the infinite-dimensional torus to the theory of the Feynman integral, Functional integration with emphasis on the Feynman integral (Sherbrooke, PQ, 1986), Rend. Circ. Mat. Palermo (2) Suppl. No. 17 (1987), 349–362 (1988).