Pure point spectrum for dynamical systems and mean, Besicovitch and Weyl almost periodicity

Abstract We consider metrizable ergodic topological dynamical systems over locally compact, 
$\sigma $
 -compact abelian groups. We study pure point spectrum via suitable notions of almost periodicity for the points of the dynamical system. More specifically, we characterize pure point spectrum via mean almost periodicity of generic points. We then go on and show how Besicovitch almost periodic points determine both eigenfunctions and the measure in this case. After this, we characterize those systems arising from Weyl almost periodic points and use this to characterize weak and Bohr almost periodic systems. Finally, we consider applications to aperiodic order.

1. Introduction This article is concerned with dynamical systems with pure point spectrum.The dynamical systems in question consist of a continuous action of a locally compact abelian group on a compact metric space together with an invariant probability measure on the space.Pure point spectrum means that there exists an orthonormal basis of eigenfunctions.In a sense, such systems are the simplest possible dynamical systems.Their study is a most basic ingredient in the conceptual theory of dynamical systems as witnessed by such fundamental results as the Halmos-von Neumann theorem or the Furstenberg structure theorem.Accordingly, a variety of characterizations for pure point spectrum has been established over the decades.
Recent years have brought two new lines of interest in such systems.One line is given by a series of works which analyze such systems via (weak) notions of equicontinuity [11,[16][17][18][19]22].The main thrust of these works is to characterize pure point spectrum as well as various strengthened versions thereof (see also [15,23,40,41] for related work).The other line comes from the investigation of aperiodic order.Aperiodic order, also known as mathematical theory of quasicrystals, has emerged as fruitful field of (not only) mathematics over the last three decades; see, e.g., [2] for a recent monograph and [5,24] for recent collections of surveys.A key feature of aperiodic order is the occurrence of (pure) point diffraction.A central result in the mathematical treatment of aperiodic order gives that pure point diffraction can be understood as pure point spectrum of suitable associated dynamical systems.In fact, this result is the outcome of a cumulative effort of various people over the last decades [4,12,21,26,30,32,37].
A common feature of all these works is that their considerations share a flavor of almost periodicity.On an intuitive level this is not surprising.After all, pure point spectrum means that all spectral measures are pure point measures.This, in turn, is equivalent to the Fourier transforms of these measures being almost periodic [20,35].In this way, almost periodicity properties of functions and their averages come into play in a very natural way.
However, what is lacking is a description of pure point spectrum via almost periodicity properties of the points of the dynamical system.The goal of this article it to provide such a characterization and to study some of its consequences.
In order to do so, we introduce for points in dynamical systems the concepts of mean almost periodicity, Besicovitch almost periodicity, Weyl almost periodicity, weak almost periodicity and Bohr almost periodicity, respectively.
After the discussion of the necessary background in §2, our first achievement is Theorem 3.8 in §3.This theorem says that a system has pure point spectrum if and only if every (or even just one) generic point is mean almost periodic.If the dynamical system is ergodic this is then equivalent to almost all points being mean almost periodic.
As for mean almost periodicity of points, in turn various characterizations are discussed in §3.One of them proceeds via averages of distance between the orbit of the point and a shifted orbit.Another characterizes mean almost periodicity of a point via almost periodicity properties of the sampling of continuous functions along the orbit of this point.In this way, we have a rather complete and clear picture of the meaning of mean almost periodic points for general dynamical systems.
This picture ties in with various earlier results.In the case where the group is just the integers, a related characterization via sampling of bounded measurable function is given in [7] for measurable dynamical systems.In the more specific situation of subshifts over a finite alphabet, there is also a characterization of pure point spectrum via the so-called Besicovitch-Hamming almost periodicity of almost all configurations [40, Lemma 5].For constant length substitutions, the equivalence between mean almost periodicity and pure point spectrum was proved in [36,Lemma VI.25].In the particular case of point processes in R d , these results have been established in [21,Theorem 4.4].Moreover, we point out a companion article [31] dealing with fundamental issues in aperiodic order via almost periodicity of measures.As an application, it treats the situation of a special dynamical system, namely translation bounded measures dynamical systems.These systems are particularly relevant to aperiodic order.In these systems, the points are measures and this allows one to work with almost periodicity properties of measures.Of course, this approach it not available for general dynamical systems.
In terms of methods it should be emphasized that our proof of Theorem 3.8 is completely different from those given in [7,31,40].It relies on the characterization of pure point spectrum by Bohr almost periodicity of an averaged metric obtained recently in [29].
In §4, we then introduce Besicovitch almost periodic points.Although the condition of Besicovitch almost periodicity is strictly stronger than mean almost periodicity, we can still show that an ergodic dynamical system has pure point spectrum if and only if almost all points are Besicovitch almost periodic and this holds if and only if there exists one generic Besicovitch almost periodic point (Theorem 4.7).In this respect the difference between mean and Besicovitch almost periodicity is not too large.The advantage of Besicovitch almost periodic points is that they allow for averaging with characters.In particular, it is possible to compute the eigenfunctions via the Besicovitch almost periodic points (Theorem 4.7).In fact, the complete spectral theory of the dynamical system can be directly computed from any single typical Besicovitch almost periodic point (Theorem 4.4).
In §5, we introduce Weyl almost periodic points.Weyl almost periodicity of a point is substantially stronger than Besicovitch almost periodicity.In fact, a point is Weyl almost periodic if and only if its orbit closure is uniquely ergodic and has pure point spectrum with continuous eigenfunctions (Theorem 5.5).In this case, all points in the orbit closure are Weyl almost periodic (Lemma 5.3).To put these results in perspective, we note that Pure point spectrum 527 [11,16] showed that a dynamical system is mean equicontinuous if and only if it is uniquely ergodic with pure point spectrum and continuous eigenvalues.Hence, a point is Weyl almost periodic if and only if its orbit closure is mean equicontinuous.Thus, our results can be understood to provide a natural pointwise counterpart to the results of [16].
In §6, we investigate two special classes of Weyl almost periodic points, namely Bohr and weakly almost periodic points, respectively.This allows us to characterize Bohr and weakly almost periodic dynamical systems.In particular, we reprove a main result of [33].An application of our results to aperiodic order is given in §7.This includes an alternative proof for the main results on measure dynamical systems contained in [31].
Our article gives a comprehensive treatment of most relevant concepts of almost periodicity in the context of pure point spectrum.Some parts of our considerations allow for simple abstractions.As this may be of value for further investigations, we include a brief discussion of some basic results in §8.
It seems that Besicovitch almost periodicity is not well known (for groups other than R) and there is also some ambiguity in the way it is defined.For this reason, we include some appendices discussing the almost periodicity properties needed in this article as well as basic properties of the class of continuous functions with these almost periodicity properties.

Background on dynamical systems, pure point spectrum and the upper mean
In this section, we review the necessary concepts from dynamical systems and introduce the upper mean M, which is crucial for our subsequent considerations.
Throughout the paper, we denote the set of continuous complex-valued functions on the topological space Y by C(Y ).
We consider a compact metric space X equipped with a continuous action of a locally compact, σ -compact, abelian group G.We then call (X, G) a dynamical system (over the space X).Often, we will also be given a probability measure m on X, which is invariant under the action of G.We then call (X, G, m) a dynamical system as well.We write tx instead of α t (x) for t ∈ G and x ∈ X.The composition on G itself is written additively and the neutral element of G is denoted as e.We fix a Haar measure on G, which is unique up to multiplication by a positive constant.The Haar measure of a measurable subset A ⊂ G is denoted by |A| and the integral of an integrable function f on G by f (t) dt.Whenever a dynamical system (X, G) is given, we furthermore make use of: • a metric d on X which generates the topology; Note that a Følner sequence exists in a locally compact abelian group G if an only if G is σ -compact [39,Proposition B6].For this reason, we always assume that G is σ -compact.
The orbit of x is given by Gx := {tx : t ∈ G} and the orbit closure Gx is the closure of the orbit.If the orbit closure of x ∈ X agrees with X, the element x is called transitive.If every x ∈ X is transitive the dynamical system is called minimal.The dynamical system (X, G) is called uniquely ergodic if there exists only one invariant probability measure on X.We then denote this measure by m and call (X, G, m) uniquely ergodic as well.
The dynamical system (X, G, m) is ergodic if any invariant measurable subset A of G satisfies m(A) = 1 or m(A) = 0.If (X, G, m) is ergodic, any Følner sequence has a subsequence (B n ) for which Birkhoff's ergodic theorem holds, that is, is valid for almost every x ∈ X whenever f : X −→ C integrable [34].Whenever a dynamical system (X, G, m) and a Følner sequence holds for any continuous f : X −→ C. If the measure m and the sequence (B n ) are clear from the context, we just speak about generic points.Generic points play a key role in our subsequent considerations as they determine the measure and, in this sense, the whole dynamical system.As is well known (and not hard to see), the set of generic points is measurable and invariant under the group action.Moreover, the set of generic points has full measure if (X, G, m) is ergodic and Birkhoff's ergodic theorem holds along the underlying Følner sequence.Although we do not need it here, it is instructive for our subsequent considerations to note that a converse of sorts holds as well: if m is an invariant probability measure such that the set of m-generic points with respect to some Følner sequence has full measure, then (X, G, m) is ergodic.Thus, ergodicity is a necessary and sufficient condition for having an ample supply of generic points at ones disposal.This is ultimately the reason that most (but not all) of our theorems in the following deal with ergodic systems.
A dynamical system (X, G, m) is said to have pure point spectrum if there exists an orthonormal basis of L 2 (X, m) consisting of eigenfunctions.Here, an f ∈ L 2 (X, m) with f = 0 is called an eigenfunction if for any t ∈ G there exist a ξ(t) ∈ C with in the sense of L 2 (X, m) functions.In this case, each ξ(t) belongs to the group can easily be seen to be a continuous group homomorphism.It is called eigenvalue.Clearly, eigenfunctions to different eigenvalues are orthogonal.As X is compact and metrizable, Pure point spectrum 529 L 2 (X, m) is separable.Hence, the set of eigenvalues is (at most) countable.We denote by P ξ the projection onto the eigenspace of ξ if ξ is an eigenvalue and set P ξ = 0 if ξ is not an eigenvalue.The set of eigenvalues of (X, G, m) will be denoted by Eig(X, G, m).As is well known the set of eigenvalues is a group if (X, G, m) is ergodic.
For our further discussion, we also rely on some concepts defined purely with respect to G (that is, they do not need the dynamical system).Let (B n ) be a Følner sequence, and let B(G) denote the set of bounded measurable real-valued functions on G.Then, we define the associated upper mean via If the Følner sequence is clear from the context we drop the subscript (B n ).Clearly, M gives rise to seminorm on the space of bounded measurable functions on is relatively dense.Here, the supremum norm • ∞ for bounded complex-valued functions on G is defined via f ∞ = sup s∈G |f (s)|.

Mean almost periodic points and pure point spectrum
In this section, we introduce and study mean almost periodic points.The main result of this section then provides a characterization of pure point spectrum via mean almost periodicity of points.
Whenever (X, G) is a dynamical system with metric d and (B n ) is a Følner sequence, we define Clearly, D is a pseudometric.Moreover, the Følner condition on (B n ) easily gives that D is invariant, that is, satisfies D(tx, ty) = D(x, y) for all x, y ∈ X and t ∈ G. Furthermore, for each x ∈ X the function G → [0, ∞), t → D(x, tx), is uniformly continuous.Indeed, continuity at t = 0 is easily seen from the definition.Moreover, due to the invariance and the pseudometric properties we infer ( ♣) When combined with continuity at t = 0, this gives uniform continuity.We refer to D as the averaged metric on X associated to d and (B n ).Remark.Almost periodicity properties with respect to M are often connected with the name of Besicovitch.We use this for a strengthened version to be introduced in the following.Here we stick to the term 'mean' as this seems to be the common term within the study of equicontinuity properties in recent years (see, e.g., [11,16,19] as well as the discussion in Appendix C).
By definition, mean almost periodicity depends on the chosen Følner sequence.In our subsequent discussion of mean almost periodic points, however, we often refrain from explicitly referring to the Følner sequence (B n ) if it is clear from the context which sequence is involved.LEMMA 3.2.Let (X, G) be a dynamical system and let d be a metric on X generating the topology.An x ∈ X is mean almost periodic if and only if the function Proof.Define f on G via f (t) := D(x, tx).We have already noted that the function f is uniformly continuous.Clearly, Bohr almost periodicity of f implies that x is mean almost periodic (as f (0) = 0).Conversely, (♣) gives |f (t + s) − f (s)| ≤ f (t) for all s, t ∈ G and mean almost periodicity of x implies Bohr almost periodicity of f.Our next aim is to discuss independence of this definition from the metric and to provide an alternative way of defining mean almost periodicity via density of superlevel sets.The proofs of the corresponding statements are not difficult and rather close to each other.They rely on some simple facts stated in the next proposition.We denote the characteristic function of a set A ⊂ G by 1 A (that is, 1 A (x) = 1 for x ∈ A and 1 A (x) = 0 for x / ∈ A).
LEMMA 3.4.(Independence of the metric) Let (X, G) be a dynamical system with metrizable X and let (B n ) be a Følner sequence on G.Then, mean almost periodicity of an x ∈ X does not depend on the chosen metric (provided it generates the topology).
Pure point spectrum

531
Proof.Let e, d be two metrics on X, which generate the topology.For x ∈ X and t ∈ G we define the functions d t,x and e t,x on G via d t,x (s) = d(sx, tsx) and e t,x (s) = e(sx, tsx), respectively.We show that for any ε > 0 there exists a δ > 0 such that for any t ∈ G and x ∈ X we have whenever M(e t,x ) < δ holds.The statement with the roles of e and d reversed can be shown analogously and taken together these two statements prove the lemma.Without loss of generality we assume d, e ≤ 1.
Let ε > 0 be given.Choose δ > 0 with d(z, y) < ε/2 whenever e(z, y) < δ .Set If M(e t,x ) < δ, then Proposition 3.3(a) gives Furthermore, we note that, by the definition of δ , we have Given this we can now estimate This is the desired statement.
By the previous lemma mean almost periodicity of a point is independent of the underlying metric.Hence, we can (and will) from now on refrain from specifying a metric when talking about mean almost periodicity.
We define the upper density of a subset A ⊂ G via Dens(A) := M(1 A ).
LEMMA 3.5.(Mean almost periodicity via density of superlevel sets) Let (X, G) be a dynamical system with metrizable X and let (B n ) be a Følner sequence on G.Then, the following assertions for x ∈ X are equivalent: (i) the point x is mean almost periodic; (ii) for any δ > 0 the set of t ∈ G with is relatively dense for any ε > 0.
Proof.We use the notation of the proof of the preceding lemma.(i) ⇒(ii): Let δ > 0 and ε > 0 be arbitrary.By assertion (i), the set of t ∈ G with M(d t,x ) < δε is relatively dense.Now, for any such t ∈ G we obtain from Proposition 3.3(a) M(1 {s:d t,x (s)≥δ} ) < ε.
We finish this section with the discussion of a further characterization of mean almost periodicity via suitable functions.To state this characterization (and similar characterizations in subsequent sections) it is useful to define for x ∈ X and f ∈ C(X) the function

Moreover, we set
Proof.Consider a sequence (f (n) ) in C(X) such that (f (n)  x ) is a Cauchy sequence with respect to • ∞ .Then, a direct ε/3 argument shows that the restrictions of f (n) to the orbit closure of x converge uniformly to a continuous function on the orbit closure.Now, the desired statement follows from Tietze's extension theorem.

A bounded measurable function
is relatively dense.The set of uniformly continuous mean almost periodic functions is an algebra and closed under complex conjugation and uniform convergence (see Appendix B).
As a consequence of the previous considerations, we can now characterize mean almost periodicity via functions.LEMMA 3.7.(Mean almost periodicity via functions) Let (X, G) be a dynamical system and let (B n ) be a Følner sequence on G.For x ∈ X the following assertions are equivalent.
(i) The point x is mean almost periodic.
(ii) Every element from A x is mean almost periodic.
(iii) The set {f ∈ C(X) : f x is mean almost periodic} separates the points of Gx.
(iv) For any s ∈ G the function d (s) x is mean almost periodic, where d (s) ∈ C(X) is defined via d (s) (y) := d(sx, y).
Remark.As the proof shows, condition (iii) could equivalently be formulated with Gx replaced by the whole space X.
Proof.(iv) ⇒(iii): This follows as the d (s) , s ∈ G, clearly separate the points of Gx.
(iii) ⇒(ii): Invoking the corresponding properties of mean almost periodic functions, we can easily see that {f ∈ C(X) : f x is mean almost periodic} is an algebra, which is closed under complex conjugation and uniform convergence.This algebra clearly contains the constant functions.Moreover, by assumption (iii), it separates the points of Gx.Furthermore this algebra contains every function f ∈ C(X), which vanishes on Gx (as f x = 0 for any such functions).Thus, this algebra even separates the points of X.Now, assumption (ii) follows from Stone-Weierstraß' theorem. (ii) is a metric on X, which generates the topology.Moreover, by assumption (ii), the function f x is mean almost periodic for any f ∈ C(X) and, hence, any f ∈ C.This easily gives that the set of t ∈ G with M(s → e(sx, (t + s)x)) < ε is relatively dense (compare with Proposition B.4).Thus, x is mean almost periodic with respect to the metric e.As mean almost periodicity does not depend on the metric, we conclude the proof of assumption (i).
(i) ⇒(iv): Let z ∈ X be arbitrary and define for any t ∈ G and z ∈ X.Now, mean almost periodicity of d z x (•) follows (for any z ∈ X) from assumption (i).
We now come to the main result of this section, which provides a characterization of pure point spectrum via mean almost periodic points.THEOREM 3.8.Let (X, G, m) be a dynamical system and let (B n ) be a Følner sequence on G. Assume that there exists a generic point for (X, G, m).Then, the following assertions are equivalent.
(i) The dynamical system (X, G, m) has pure point spectrum.
(ii) Every generic point of X is mean almost periodic.
(iii) One generic point of X is mean almost periodic.If (X, G, m) is ergodic and the Birkhoff theorem holds along (B n ), these statements are also equivalent to the following statement.
(iv) Almost every x ∈ X is mean almost periodic.

Remark
(a) In the particular case of point processes in R d , this result has been proven in [21,Theorem 4.4].(b) A related result for subshifts over a finite alphabet can be found in [40, Lemma 5].
There, pure point spectrum (i) is characterized via a variant of statement (iv) given by a mean almost periodicity condition on points defined via a metric (close in spirit to what is discussed in Lemma 3.5).
It is worth noting here that in [40] the author works over a finite alphabet and uses a version of the mean defined with lim inf.Under the settings of [40], assuming ergodicity, one can show that the limit exists almost surely, and hence the choice of lim inf or lim sup does not matter.In particular, for ergodic systems, one can deduce [40, Lemma 5] from our result.We prefer to work with lim sup because it defines a pseudo-metric, whereas lim inf only gives rise to a partial semi-metric.(c) The equivalence between mean almost periodicity of an individual element and pure point diffraction has been proven for constant length substitutions in [36,Lemma VI.25], for Meyer sets in [6,21] and in general in [31].
Proof.In the ergodic case almost every point is generic.Hence, (ii) ⇒(iv) and (iv) ⇒(iii) follow.Thus, we now turn to showing equivalence between assertions (i), (ii) and (iii) in the general case.We clearly have (ii) ⇒(iii).To show (i) ⇒(ii) and (iii) ⇒(i) we define The main result of [29] says that assertion (i) is equivalent to d being Bohr almost periodic.Thus, it remains to show that: Then, f t is clearly continuous.Thus, whenever y ∈ X is generic, we find We emphasize that the first part of the preceding theorem does not need an ergodicity assumption and illustrate this using the following example.
Example: pure point spectrum in non ergodic case.Consider {0, 1} with discrete topology and X = {0, 1} Z with product topology.Equip X with the shift action of Z given by α n (x) = x(• − n) for n ∈ Z.Let 1 and 0 be the elements of X which are constant equal to 1 and 0, respectively.Then, clearly each of these elements is invariant under the shift action and so are then the sets {0} and {1}.Thus, is an invariant probability measure (where δ p denotes the unit point mass at p). Obviously, m is not ergodic.The space L 2 (X, m) is two-dimensional and is an orthogonal basis consisting of eigenfunctions (to the eigenvalue 1).In particular, (X, Z, m) has pure point spectrum.Now, consider the point x ∈ X with x(−k) arbitrary for k ≥ 0 and Then, it is not hard to see that x is generic for m with respect to the Følner sequence B n = {1, . . ., 2 n }.Thus, the theorem gives that x is mean almost periodic.In this example neither 0 nor 1 are generic.Hence, m does not give mass to generic points and the set of generic points has measure zero.Note that the construction of x could easily be modified to yield a transitive generic point (by including suitable finite words of slowly increasing length between the blocks of ones and zeros in x).
Combining the previous result, Theorem 3.8, with the characterization of mean almost periodicity via functions in Lemma 3.7, we obtain the following.COROLLARY 3.9.Let (X, G, m) be an ergodic dynamical system with metrizable X and assume that Birkhoff's ergodic theorem holds along (B n ).Then, the following assertions are equivalent.(i) The dynamical system (X, G, m) has pure point spectrum.
(ii) For almost every x ∈ X the set {f ∈ C(X) : f x is mean almost periodic} separates the points of X.
Remark.A variant of this statement (with assertion (ii) replaced by the stronger condition that A x consists only of mean almost periodic functions) is shown in [28] based on an earlier version of [31].Our proof is different.Note also that for ergodic systems over G = Z, it is known that pure point spectrum is equivalent to Z n → f (nx) belonging to the Besicovitch class for almost every x ∈ X whenever f is a bounded measurable function on X, see Theorem 3.22 in [7].The condition of Besicovitch class is stronger than mean almost periodicity (see also the next section).
If the system (X, G, m) is uniquely ergodic, then every x ∈ X is generic irrespective of the underlying Følner sequence (Oxtoby's theorem).Thus, from the previous theorem we obtain immediately the following corollary.COROLLARY 3.10.Let (X, G, m) be a dynamical system and let (B n ) be a Følner sequence on G. Assume that (X, G, m) is uniquely ergodic.Then, the following assertions are equivalent.
(i) The dynamical system (X, G, m) has pure point spectrum.
Remark.The concept of mean almost periodicity depends on the chosen Følner sequence.
To see this, consider X := {0, 1} Z with product topology and the shift action of Z and the Bernoulli measure m (product measure of the measures giving equal weights 1/2 to {0} and {1}).This system is ergodic and m almost every x ∈ X contains arbitrary long stretches of zeros.For each of those x we can then choose a Følner sequence (B n ) with M(s → d(sx, (t + s)x) = 0 for all t ∈ Z (by each B n being chosen 'within' a long stretch of zeros with distance to the boundary of these stretches increasing in n).Hence, each of these x is mean almost periodic.On the other hand, as the system does not have pure point spectrum, we obtain from Theorem 3.8 that not every of these x will be almost periodic with respect to the standard Følner sequence B n = {0, . . ., n} along which Birkhoff's ergodic theorem holds.

Besicovitch almost periodic points and eigenfunctions
In this section, we discuss a strengthened version of mean almost periodicity, namely Besicovitch almost periodicity.We show that pure point spectrum can also be characterized via this strengthened version.In fact, our results can be understood as saying that in a dynamical system with pure point spectrum both eigenfunctions and eigenvalues can be read of from any of its (generic) Besicovitch almost periodic points.We consider a σ -compact, locally compact abelian group together with a Følner sequence (B n ).As usual, the set of all continuous group homomorphisms ξ : G −→ T is denoted as G and called the dual group of G.We say that a bounded function A discussion of basic properties of uniformly continuous Besicovitch almost periodic functions is given in Appendix C.This shows, in particular, that any uniformly continuous Besicovitch almost periodic function is also mean almost periodic and admits an average (see also the following).The discussion also shows that the set of these functions forms an algebra and is closed under uniform convergence.
does not converge (as a 2n = 1 and a 2n+1 = 0 for all n ∈ N).By the discussion in Appendix C (see also Proposition 4.2), this shows that f y is not Besicovitch almost periodic.Hence, y is not Besicovitch almost periodic.
We now give a characterization of Besicovitch almost periodic points via existence of means.To state it, we first introduce some notation.For a bounded measurable function h : G −→ C, we define the mean or average of h with respect to (B n ) by whenever the limit exists.
PROPOSITION 4.2.(Averaging along orbits) Let (X, G) be a dynamical system and let (B n ) be a Følner sequence.Then, the following assertions are equivalent for x ∈ X.
(i) The point x is Besicovitch almost periodic.
(ii) For any f ∈ C(X) there exists a countable set F f ⊂ G such that the limits exist for all ξ ∈ F f and

holds. Moreover, in case that assertions (i) and (ii) hold, A(f ξ) exists and equals zero for
Proof.This is a direct consequence of the definition of Besicovitch almost periodicity of a point and Proposition C.4 in Appendix C. Definition 4.3.(Frequency) Let (X, G) be a dynamical system and let x ∈ X be a Besicovitch almost periodic point.Then, every ξ ∈ G with A(f x ξ) = 0 for some f ∈ C(X) is called a frequency of x.The set of all frequencies of x is denoted by Freq(x).
Here is the first main result of this section.It shows that any Besicovitch almost periodic point completely determines a dynamical system with pure point spectrum.THEOREM 4.4.Let (X, G) be a dynamical system, let (B n ) be a Følner sequence and let p ∈ X be a Besicovitch almost periodic point.Then, there exists a (unique) ergodic probability measure m on X such that p is generic with respect to m.The dynamical system (X, G, m) has pure point spectrum and Eig(X, G, m) = Freq(p) holds.To each eigenvalue ξ ∈ Eig(X, G, m) there exists a (unique) eigenfunction e ξ ∈ L 2 (X, m) with is linear and positive (that is, A(f p ) ≥ 0 for f ≥ 0).Hence, there exists a unique measure m on X with (f ) = X f dm.Clearly, m(X) = X 1 dm = A(1) = 1.By the Følner property of (B n ), the mean A is invariant and, thus, so is .This easily gives that m is invariant.Thus, m is an invariant probability measure.
We now turn to the construction of the eigenfunctions.For ξ ∈ G consider the map This map is obviously linear and defined on a dense subspace of L 2 (X, m).By the Cauchy-Schwarz inequality, A(1) = 1 and the construction of m we find Hence, ξ can be extended to a linear continuous map, again denoted by ξ , on the whole L 2 (X, m).By Riesz's lemma, there exists an e ξ ∈ L 2 (X, m) with e ξ ≤ 1 and for all f ∈ C(X).Define By construction, ξ ∈ G belongs to E if and only if there exists an f ∈ C(X) with A(f p ξ) = 0. Hence, E = Freq(p) holds.In particular, we have A( Pure point spectrum 539 for all t ∈ G.This shows that e ξ is an eigenfunction (to ξ ) for each ξ ∈ E. Clearly, eigenfunctions to different eigenvalues are orthogonal.
Next, we show that the e ξ , ξ ∈ E, are normalized and form a basis.This gives that E = Eig(X, G, m) and together with the already shown E = Freq(p), this will then also imply Eig(X, G, m) = Freq(p).By Parseval's inequality, the definition of m and Proposition 4.2, we have the following: This shows for all f ∈ C(X).This is only possible if e ξ = 1 for all ξ ∈ E and (e ξ ) form an orthonormal basis of L 2 (X, m).
It remains to show ergodicity: for each eigenvalue ξ ∈ E we have constructed an eigenfunction e ξ and we have shown that these form a complete set (that is, e ξ , ξ ∈ E, is an orthonormal basis).Hence (as each of these eigenfunctions belong to different eigenspaces), each eigenspace is one dimensional.In particular.the eigenspace to the eigenvalue 1 is one dimensional and the system is ergodic.
Remark.Note that the proof relies (and only relies) on the characterizing properties of Besicovitch almost periodic points given in Proposition 4.2.
The previous theorem shows that any Besicovitch almost periodic point is generic with respect to a (uniquely determined) measure.It may well be that different Besicovitch almost periodic points are generic with respect to different measures.Consider, for example, the full shift X = {0, 1} Z with T x(n) = x(n + 1).Then, any periodic element of X is Besicovitch almost periodic.Clearly, elements with different periods will not be generic with respect to the same measure.This motivates the following definition.Definition 4.5.(Generic Besicovitch almost periodic points) Let (X, G) be a dynamical system and let (B n ) be a Følner sequence on G.Then, for any invariant probability measure m on (X, G), we denote by Bap(X, G, m) the set of those Besicovitch almost periodic points which are generic with respect to m.

D. Lenz et al
We have the following consequence of the preceding theorem.PROPOSITION 4.6.Let (X, G, m) be a dynamical system and let (B n ) be a Følner sequence.Then, Bap(X, G, m) is a measurable invariant set.
Proof.Clearly, Bap(X, G, m) is invariant as both the set of generic points and the set of Besicovitch almost periodic points are invariant.If Bap(X, G, m) is empty, there is nothing left to show.Thus, consider the case Bap(X, G, m) = ∅.By Theorem 4.4, the dynamical system (X, G, m) then has pure point spectrum and the set of its eigenvalues Eig(X, G, m) equals Freq(p) for any p ∈ Bap(X, G, m).Set E := Eig(X, G, m).

CLAIM. Let D be a dense subset of C(X). Then, we have p ∈ Bap(X, G, m) if and only if the following three points hold:
• A(f p ) exists and equals X f dm for all f ∈ D; Proof of claim.Consider p ∈ Bap(X, G, m).Then, p is generic and the first point holds (even for all f ∈ C(X)).In particular, A(|f p | 2 ) exists.Now, the second and third point follow from Proposition 4.2 as p is Besicovitch almost periodic with set of frequencies given by E.
Consider now a p ∈ X satisfying the three points in the claim.By density of D in C(X), we then easily infer that A(f p ) = X f dm holds for all f ∈ C(X) and A(f p ξ) exists for all f ∈ C(X) and ξ ∈ E. In particular, we have Given this, we can now follow the proof of Theorem 4.4 to conclude the existence of (pairwise orthogonal) eigenfunctions e ξ to ξ ∈ Eig(X, G, m) with e ξ ≤ 1 and for all f ∈ D. As D is dense, this is only possible if e ξ = 1 holds for all ξ ∈ E and the e ξ , ξ ∈ E, are an orthonormal basis.This finishes the proof of the claim.
Given the claim, the desired measurability follows easily: by compactness and metrizability of X we can choose a countable dense subset D of C(X).Then, the claim gives that p ∈ X belongs to Bap(X, G, m) if countably many conditions are satisfied.Clearly, each of these conditions gives a measurable set.
The following theorem can be seen as both a converse to Theorem 4.4 and an analog to Theorem 3.8.THEOREM 4.7.(Discrete spectrum via Besicovitch almost periodic points) Let (X, G, m) be an ergodic dynamical system and let (B n ) be a Følner sequence along which Birkhoff's ergodic theorem holds.Then, the following assertions are equivalent.
(i) The dynamical system (X, G, m) has pure point spectrum.
If one of the equivalent conditions (i), (ii) and (iii) holds, then Eig(X, G, m) = Freq(x) for every x ∈ Bap(X, G, m).Moreover, in this case, for any f ∈ C(X) and ξ ∈ G the function e f ,ξ : Consider now an arbitrary g ∈ C(X).By Birkhoff's ergodic theorem, we can then find a subset X g of X of full measure such that g, e ξ j e ξ j dm( g, e ξ j e ξ j (sx) ds for all x ∈ X g and k ∈ N. Let D ⊂ C(X) be a countable dense subset.Define Then, X has full measure and a short computation gives f , e ξ j e ξ j dm(x) = lim f , e ξ j e ξ j (sx) ds for all f ∈ C(X), x ∈ X and k ∈ N. This, in turn, implies that any x ∈ X is Besicovitch almost periodic: indeed, a short calculation invoking Birkhoff's ergodic theorem and the 542

Cauchy-Schwarz inequality shows
f , e ξ j e ξ j (x) ξ j ( f , e ξ j e ξ j (•x) f , e ξ j e ξ j (sx) ds f , e ξ j e ξ j dm(x) This gives the desired claim.We now turn to the remaining statements.The equality Freq(x) = Eig(X, G, m) for an element x ∈ Bap(X, G, m) directly follows from Theorem 4.4.As for e f ,ξ , we note that it is well defined and invariant (as Bap(X, G, m) is invariant).The equality Freq(x) = Eig(X, G, m) for x ∈ Bap(X, G, m) rather directly gives that e f ,ξ vanishes identically for ξ ∈ G \ Eig(X, G, m).In particular, it has constant modulus on Bap(X, G, m).Now, by Theorem 4.4, for each ξ ∈ E and x ∈ Bap(X, G, m) there exists a normalized eigenfunction e (x) ξ with e f ,ξ (x) = A(f x ξ) = f , e (x)  ξ .
As each eigenspace is one dimensional, the e (x) ξ arising for different x ∈ Bap(X, G, m) will only differ by a factor of modulus one.This gives the statement on constancy of the modulus.
That e f ,ξ is the projection onto the eigenspace of ξ follows from standard theory; see, e.g., [27] for a recent discussion.

Weyl almost periodic points, unique ergodicity and continuity of eigenfunctions
In this section, we consider a strengthening of Besicovitch almost periodicity, namely Weyl almost periodicity.We show that Weyl almost periodicity extends from one point to its orbit closure.This allows us to characterize transitive systems all of whose points are Weyl almost periodic.These are exactly the uniquely ergodic dynamical systems with pure point spectrum and continuous eigenfunctions.This ties in with various recent investigations (see the following for details).
Let (X, G) be a dynamical system.Whenever d is a metric on X generating the topology and (B n ) is a Følner sequence, we define for each n ∈ N the map This gives then rise to the functions for each n ∈ N.Then, each D n can easily be seen to be an invariant metric.Moreover, for each x ∈ X the function t → D n (x, tx) is uniformly continuous (by the argument used in §2 to show uniform continuity of D).The function D n is referred to as the averaged metric on level n.
As discussed in Appendix D, an equivalent alternative characterization is that for each ε > 0 there exist N ∈ N and a relatively dense set R ⊂ G with Remark.It follows from Proposition D.1 that an x ∈ X is Weyl almost periodic if and only if for each ε > 0 there exists a relatively dense set R ⊂ G and an N 0 ∈ N such that D N (x, tx) < ε for all N ≥ N 0 and t ∈ R.
Arguing as in §3 with M replaced by M n we see that Weyl almost periodicity is independent of the chosen metric and the following holds.LEMMA 5.2.Let (X, G) be a dynamical system, let d be a metric on X generating the topology, let (B n ) be a Følner sequence and let D n , n ∈ N, be the associated averaged metrics.Then, the following assertions for x ∈ X are equivalent.
(i) for each continuous f : X −→ C. Now, uniform existence of these averages on the orbit of x is a direct consequence of Weyl almost periodicity.This easily gives uniform existence on the orbit closure.As the orbit closure is X the desired statement on unique ergodicity follows.Denote the unique invariant probability measure by m.By the previous lemma and the transitivity assumption on p, every x ∈ X is Weyl almost periodic.In particular, every element is Besicovitch almost periodic.As (X, G) is uniquely ergodic every x ∈ X is also generic with respect to m.Hence, X = Bap(X, G, m) follows.By Theorem 4.7, this implies pure point spectrum as well as pointwise convergence of the averages A n (f x ξ) to the projection of f onto the eigenspace of ξ for each f ∈ C(X) and ξ ∈ G. Now, by Weyl almost periodicity these averages converge uniformly in x ∈ X.Hence, their limit is continuous and continuity of the eigenfunctions follows.THEOREM 5.5.Let (X, G) be a dynamical system with transitive point p ∈ X.Then, the following assertions are equivalent.
(i) The dynamical system (X, G) is uniquely ergodic with pure point spectrum and continuous eigenfunctions.(ii) The point p is Weyl almost periodic.(iii) Every x ∈ X is Weyl almost periodic.In this case, we have Freq(x) = Eig(X, G, m) for all x ∈ X.
The implication (ii) ⇒(i) and the last part of the theorem were shown in Proposition 5.4.It remains to show the reverse implication (i) ⇒(ii): this follows by a variant of the proof of the corresponding part in Theorem 4.7.We denote the unique invariant measure by m and use the notation introduced in the proof of Theorem 4.7.Thus, we denote the inner product on L 2 (X, m) by •, • and the associated norm by • 2 .As the spectrum is pure point, there exists an orthonormal basis e ξ , ξ ∈ Eig(X, G, m), of L 2 (X, m) with e ξ being an eigenfunction to the eigenvalue ξ for each ξ ∈ Eig(X, G, m).By assumption, each e ξ , ξ ∈ E, can be chosen continuous.By unique ergodicity, we then find for any finite subset A ⊂ Eig(X, G, m) and any y ∈ X: As f ξ , ξ ∈ E, is a basis of L 2 (X, m), the last term becomes arbitrarily small for suitable A ⊂ E. This shows that t → f (ty) is Weyl almost periodic for any y ∈ X.
Remark.Recently, systems satisfying the equivalent conditions of the theorem have attracted substantial interest.
(a) For G = Z various equivalent characterizations of assertion (i) have been investigated in [11].In particular, it is shown there that assertion (i) is equivalent to the topological isomorphy of the system to its maximal equicontinuous factor.The case of general amenable groups G has been studied in [16].In particular, it has been shown there that assertion (i) is equivalent to the continuity of the averaged metric D on X × X.This continuity is known as mean equicontinuity of the system.In this context our preceding result is remarkable as it does not assume control of D on the whole of X × X but just on {(x, tx) : t ∈ G}.In this sense, we have found a pointwise characterization of mean equicontinuity.Note, however, that we require a rather uniform control on the orbit of this one point.
Note that [11,16] also study Besicovitch and Weyl-type averages and metrics defined by them.It then turns out that for the continuity of some maps with respect to these metrics (mean equicontinuity) it is not relevant whether the Besicovitch or the Weyl-type average is considered.This is very different from our previous considerations.The reason is that the continuity condition in [11,16] involves all points of the dynamical system and this then implies unique ergodicity, which ensures uniform behavior of all points.(b) A large class of examples satisfying the conditions of the theorem are weakly almost periodic systems.A recent study of such systems is carried out in [33] to which we refer for a precise definition and further references, see also §6.(c) A most important class of examples for the theorem are dynamical systems arising from regular cut and project schemes.Such systems are at the core of the study of aperiodic order (see [2]).They belong to the special class of dynamical systems known as translation-bounded measure dynamical systems (TMDSs), see §7 for details.In fact, a huge bulk of material in the theory of aperiodic order deals with TMDSs satisfying assertion (i) of the theorem.A characterization of such systems via an almost periodicity property of its points had been missing for a long time.
It was only given recently in [31].The preceding theorem is a generalization of the corresponding result of [31] in that it is not restricted to TMDSs but rather applies to general dynamical systems.
If a system is minimal every point is transitive and we can note the following immediate consequence of the preceding theorem.COROLLARY 5.6.Let (X, G) be a minimal dynamical system.Then, the following assertions are equivalent.
(i) Every point in X is Weyl almost periodic.
(ii) There exists a Weyl almost periodic point in X.
(iii) The dynamical system (X, G) is uniquely ergodic with pure point spectrum and continuous eigenfunctions.

Remark.
A system can well be Weyl almost periodic without being minimal.Consider, for example, the orbit closure in the subshift ({0, 1} Z , Z) of the element ω defined with ω 0 = 1 and ω n = 0 for n = 0.

Weakly and Bohr almost periodic dynamical systems
In the preceding section, we have met Weyl almost periodic points.In this section, we introduce two special classes of Weyl almost periodic points, namely Bohr almost periodic points and weakly almost periodic points.This allows us to reanalyze and characterize weakly almost periodic dynamical system and Bohr almost periodic dynamical system via the new approach in this paper.Specifically, the main result of this section shows that a (transitive) dynamical system is weakly almost periodic (Bohr almost periodic) if and only if every of its points is weakly almost periodic (Bohr almost periodic).We refer to [33] for a recent discussion of Bohr and weakly almost periodic systems including relevance, background and further references.
Let G be a σ -compact locally compact abelian group and denote the set of uniformly continuous and bounded functions on G by C u (G).This space is a Banach space when equipped with the supremum norm (G) with respect to the weak topology of the Banach space (C u (G), • ∞ ).Clearly, any Bohr almost periodic f ∈ C u (G) is weakly almost periodic (as Bohr almost periodicity means, by definition, that the set {f (• − t) : t ∈ G} is relatively compact in the original topology).In fact, a main result on weakly almost periodic functions (see, e.g., [1] or [13,33]) gives that any weakly almost periodic f can be (uniquely  In the subsequent discussion, the weakly almost periodic case and the Bohr almost periodic case can be mostly treated in parallel.To facilitate the reading, we then give statements for the weakly almost periodic case and mention the Bohr almost periodic case in brackets only. With essentially the same proof as Lemma 3.7, we obtain the following statement.LEMMA 6.2.Let (X, G) be a dynamical system and let x ∈ X be given.Then, the following assertions are equivalent.
(i) The point x is weakly (Bohr) almost periodic.
(ii) The weakly (Bohr) almost periodic functions in x is weakly (Bohr) almost periodic, where d (s) ∈ C(X) is defined via d (s) (y) := d(sx, y).and, when an x ∈ X is fixed, we set where the closure is taken in C u (G) with the (usual) supremum norm.We also define Clearly, d is a metric.THEOREM 6.8.Let (X, G) be a dynamical system.For x ∈ X the following assertions are equivalent.

is continuous with range
given by Y (f , x). (iii) There exists a G-invariant metric on Gx generating the topology.(iv) The function d is continuous on Gx. (v) The orbit closure Gx admits a structure of a locally compact group such that G −→ Gx, t → tx, becomes a continuous group homomorphism.In particular, the orbit closure of any Bohr almost periodic point is minimal.
Thus, it suffices to show that f y belongs indeed to Y (f , x) for any y ∈ Gx and π f is continuous on Y (f , x).It is enough to show that π f (y n ) converges to π f (y) whenever (y n ) is a sequence in Gx converging to y ∈ Gx such that π f (y n ) belongs to Y (f , x).Now, it is not hard to see that the functions π f (y n ) converge pointwise to π f (y).Moreover, by assertion (i), the set Y (f , x) is compact and, hence, π f (y n ) has a uniform convergent subsequence.Now, any such subsequence must converge to π f (y) (as uniform convergence implies pointwise convergence).This gives the desired convergence statement.
(ii) ⇒(iii): By assertion (ii), the map d f with d f (y, z) := π f (y) − π f (z) ∞ is a continuous pseudometric on Gx.It is clearly invariant.Now, choose a countable dense subset D ⊂ C(X) separating the points of Gx.Assume without loss of generality that any element of D is normalized, and choose for any As Gx is compact any continuous metric determines its topology.
(iv) ⇒(v): Using the invariant metric d it is not hard to see that there is a group structure on Gx with tx + sx = (t + s)x.Here, we show only that this is well defined.The remaining statements then follow easily.Assume tx = t x and sx = s x.Then triangle inequality and invariance of the metric gives This shows well definedness.
(v) ⇒(i): This is standard.We include some details for convenience of the reader.Let f be a continuous function on X.We have to show that the set S := {f x (t + •) : t ∈ G} = {f tx : t ∈ G} has compact closure in C u (G) with respect to the supremum norm.From assertion (iv), we easily see that π f : Gx −→ C u (G), y → f y , is continuous.Hence, π f (Gx) is compact and, as it clearly contains S, the desired statement follows.
The minimality statement follows directly from assertion (iii).
The preceding result shows that Bohr almost periodic points give rise to minimal orbit closures.In fact, within the weakly almost periodic points one can even characterize the Bohr almost periodic points by minimality of their orbit closures.PROPOSITION 6.9.Let (X, G) be a dynamical system and let x ∈ X be weakly almost periodic.Then, x is Bohr almost periodic if and only if its orbit closure Gx is minimal.
Proof.We have just seen in Theorem 6.8 that the orbit closure of a Bohr almost periodic point is minimal.Thus, consider now a weakly almost periodic point x ∈ X with minimal orbit closure Gx.Then, clearly (Gx, G) is weakly almost periodic by Lemma 6.4(b) and it is minimal (by assumption).Now, as is well known (see, e.g., [33]) any minimal component of a weakly almost periodic system is Bohr almost periodic.Now, the desired claim follows from Lemma 6.4(a).
Remark.We note that a Bohr almost periodic dynamical system does not need to be minimal as can easily be seen by considering the 'disjoint union' of two Bohr almost periodic systems.
It is possible to characterize Bohr almost periodic points by almost periodicity properties of the metric d.THEOREM 6.10.Let (X, G) be a dynamical system with metric d.Then the following assertions are equivalent for a point p ∈ X.
Proof.We show that (i) implies (ii): by assertion (i) and Theorem 6.8, the orbit closure of p is minimal and the function d is a continuous metric on Gp.Let ε > 0 be given.As d is continuous and every Bohr almost periodic point has a minimal orbit, there exists a relatively dense set R ⊂ G with d(sp, p) < ε for all s ∈ R. As d is invariant, this gives for all t ∈ G and s ∈ R. As ε > 0 was arbitrary this gives assertion (ii).
We now show that assertion (ii) implies that p is Bohr almost periodic: it is not hard to see that assertion (ii) implies that t → d(sp, (t + s), p) is Bohr almost periodic for any 552 D. Lenz et al s ∈ G.This easily implies that Lemma 6.2(iv) holds and assertion (i) follows from that lemma.

Application to measure dynamical systems
In this section, we use our results to shed light on recent investigations of aperiodic order.A fundamental issue in the study of aperiodic order is pure point diffraction; see, e.g., [4] for a recent survey.Indeed, understanding of pure point diffraction has been a driving force in the field; see, e.g., the survey article [25].Recently, a complete understanding of pure point diffraction via mean almost periodicity has been provided in [31].That article mostly deals with single measures.However, it also includes results on pure point spectrum of certain dynamical systems, namely measure dynamical systems.Here, we discuss how our results allow one to provide a different approach to these results.
We start with a discussion of TMDSs.Such dynamical systems were brought forward in [3] to provide a systematic framework to study aperiodic order.In our exposition we follow [3] to which we refer for further details, proofs and references.
We denote by C c (G) the vector space of continuous complex-valued functions on G with compact support.This space is equipped with the inductive limit topology of the injections A subset Ω ⊂ M ∞ (G) which is invariant under the translation action is compact if and only if it is vaguely closed and there exists a constant C such that [39,Theorem A.8] Whenever Ω is a compact subset of M ∞ (G), which is invariant under the translation action to and m is an invariant probability measure on X, we call (X, G, m) a dynamical system of translation bounded measures or just TMDS for short.If G is second countable than any TMDS is metrizable.Hence, the theory developed above applies to TMDS whenever G is second countable.Consider now an arbitrary TMDS (Ω, G, m) and define for any ϕ ∈ C c (G) the function Then, N ϕ belongs to C(Ω).In addition, there exists a unique translation bounded measure γ = γ m on (X, G, m) with γ (ϕ * ψ) = N ϕ , N ψ for all ϕ, ψ ∈ C c (G) and all t ∈ G. (Note that [3] uses a different sign in the definition of N (called f there) as well as has the inner product linear in the second argument.This results in a different display of the formula for γ , namely (γ * ϕ * ψ)(0) = f ϕ , f ψ .)The measure γ is called the autocorrelation of the TMDS.This measure allows for a Fourier transform γ which is a (positive) measure on G.It is known as diffraction of the TMDS.Of particular interest in this theory are now those TMDSs whose diffraction is a pure point measure.By a main result of [3] (see references there also for earlier results) the diffraction of a TMDS is pure point if and only if the TMDS has pure point spectrum.Thus, for this reason, TMDSs with pure point spectrum are of utmost relevance in the field of aperiodic order.One particular question is the calculation of the atoms of γ .Here, the basic idea is that Proof.We only discuss mean almost periodicity.The remaining statements follow analogously.
and they would like to thank the Department of Mathematics for hospitality.The work was supported by DFG with grant 415818660(TS) and by NSERC with grants 03762-2014 and 2020-00038(NS), and the authors are grateful for the support.

A. Appendix. Bohr almost periodic functions
In this section, we briefly present some background on Bohr almost periodic function.This is completely standard and can be found in many places.We include a discussion here in order to be self-contained and to set the perspective on the weaker (and less well-known) notions of almost periodicity underlying our considerations.For more details, we refer the reader to [9,35].
Let G be a locally compact abelian group.Recall from §2 that a continuous function The basic idea of the weaker concepts of almost periodicity discussed in the subsequent sections is to replace the supremum norm • ∞ in (♠) and (♥) by suitable (semi)norms arising by averaging procedures.

B. Appendix. Mean almost periodic functions
The main result of this appendix shows that the bounded uniformly continuous mean almost periodic functions form a closed subalgebra of the algebra of bounded uniformly continuous functions on G.This is certainly well known and a proof can be given by standard means.For the convenience of the reader and in order to keep this article self-contained we include a discussion in the following.As our article deals with abelian groups, we assume that the group G in the following is abelian.Note, however, that this is not used in the proofs.We start with a general result on discrete geometry of groups.
(If some of the n does not admit elements, we just remove this n from our list.)Then, for any t ∈ D we can find s t ∈ E and n ∈ {1, . . ., N} such that both t − s t and t n − s n belong to z n + W . Hence, we find Moreover, the set of all t − t n is relatively dense as t is an arbitrary element of the relatively dense D and there are only finitely many t n .This finishes the proof.
Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G. Let f be a uniformly continuous bounded function on G. Let ε > 0 be given.As usual we say that a t ∈ G is an ε-almost period of f if Denote the set of all ε-almost periods of f by AP(f , ε).Then, it is not hard to see that Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G. Let a natural number n and uniformly continuous bounded mean almost periodic functions f 1 , . . ., f n on G be given.Then, the set Proof.This is shown by induction in n.The case n = 1 is clear.Thus, assume now the statement holds for a chosen n.Let ε > 0 and uniformly continuous functions f 1 , . . ., f n+1 be given.Then, the set D := n k=1 AP(f k , ε/3) is relatively dense by assumption.As the functions f k , k = 1, . . ., n + 1, are uniformly continuous we can find an open relatively compact neighborhood V of the neutral element such that for all s ∈ V and k = 1, . . ., n + 1. Set E := AP(f n+1 , ε/3).Then, the previous proposition gives that is relatively dense.On the other hand, it is not hard to see that This finishes the proof.
THEOREM B.3.Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G.Then, the set of all uniformly continuous bounded mean almost periodic functions is invariant under taking complex conjugates and a closed subalgebra of the uniformly continuous bounded functions on G equipped with • ∞ .
Proof.We have to show that the set in question is closed under complex conjugation, sums, products, multiplication by scalars and uniform convergence.It is not hard to see that the set in question is closed under complex conjugation, uniform convergence and multiplication by scalars.
We next show that it is closed under sums: let f , g be mean almost periodic uniformly continuous bounded functions.Then, the previous lemma easily gives that f + g is also mean almost periodic.
Finally, we deal with products: let f , g be mean almost periodic uniformly continuous bounded functions.Then, a short computation gives for any From this we easily obtain Now, the desired statement follows easily from the preceding lemma.
The last statement is clear.
For later use we also note the following proposition.Proof.Choose n 0 large enough so that Remark.The considerations of this section carry over when M • | • | is replaced by any invariant seminorm N on the algebra of bounded uniformly continuous functions on G satisfying: This point is taken up in §8.

C. Appendix. Besicovitch almost periodic functions and existence of means
We consider a σ -compact locally compact abelian group G together with a Følner sequence (B n ).Our aim is to study the set of uniformly continuous bounded functions f : G −→ C, which are Besicovitch almost periodic, that is, they satisfy that for any ε > 0 there exist k For an in-depth study of these functions, we the reader refer to [31].Here, we briefly summarize what is needed for the purposes of the present article.As M is invariant this inequality will then continue to hold if f is replaced by f (• − t) and P is replaced by P (• − t) for any t ∈ G. Now, clearly P is Bohr almost periodic.Hence, there exists a relatively dense set R ⊂ G with P − P (• − t) ∞ < ε for all t ∈ R.This easily gives for all t ∈ R.

563
From the definition and simple algebraic manipulations, we infer the following.LEMMA C.2.Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G.Then, the set of all uniformly continuous bounded Besicovitch almost periodic functions is invariant under taking complex conjugates and a closed subalgebra of the uniformly continuous bounded functions on G equipped with • ∞ .It contains all Bohr almost periodic functions and is contained in the algebra of mean almost periodic functions.
Proof.The set is clearly closed under taking limits with respect to • ∞ as well as under addition and taking complex conjugates.To show that it is closed under multiplication consider f , g in this set and let > 0 be arbitrary.Let P , Q be trigonometric polynomials so that and As Q is Bohr almost periodic, there exists a trigonometric polynomial R such that Q − R ∞ < min{ε/(4 f ∞ + 1), 1}.In particular, Then, This shows that the set in question is closed under multiplication.It clearly contains all Bohr almost periodic functions and is contained in the set of mean almost periodic functions.
Remark.The functions referred to as Besicovitch almost periodic were introduced by Besicovitch in [8] for G = R.A corresponding class of functions was then studied by Følner for general locally compact abelian groups [14].This class, however, does not coincide with the Besicovitch class for G = R. Another approach to Besicovitch almost periodic functions is developed by Davis in [10].An account of these developments with a focus on aperiodic order is given in Lagarias survey [25].Here, we have taken a 'shortcut': for N → ∞.Here, the penultimate step is a direct computation invoking that A is linear with A(η) = 0 for 0 = η ∈ G. Indeed, this shows that f can be approximated in mean by a trigonometric polynomial arbitrarily well.This finishes the proof.

D. Appendix. Weyl almost periodic functions and uniform means
In this appendix, we consider a uniform type of mean.
Let On the other hand, we can easily see that (for large n) the additional averaging over B N does not play a role.More specifically, we can compute as follows: 566 D. Lenz  Now, due to the Følner condition the integrand in the last term can easily be seen to go pointwise to zero for n → ∞.As B N is compact, we find convergence to zero of the integral for each fixed N. As there is no dependence on r ∈ G, this convergence is independent of r ∈ G.This easily gives the desired statement.By the preceding proposition it is possible to replace this condition by the requirement that for each ε > 0 there exists an N ∈ N, k ∈ N, ξ 1 , . . ., ξ k ∈ G and c 1 , . . ., c k ∈ C with As usual it is also possible to characterize this by relative denseness of ε-almost periods.More specifically, as discussed in [38] a measurable bounded f : G −→ C is Weyl almost periodic if and only if for each ε > 0 there exists a relatively dense set D ⊂ G and an N 0 ∈ N with M n f − f (• − t) < ε for all t ∈ D and n ≥ N 0 .By the preceding proposition, validity for all n ≥ N 0 can be replaced by validity for one n.
Clearly, the set of Weyl almost periodic functions forms an algebra, is closed under uniform limits and under multiplication with Bohr almost periodic functions.Moreover, a crucial feature of Weyl mean almost periodic functions is uniform existence of means.exists and is independent of the sequence.In particular, the convergence is uniform in the chosen sequence.
dynamical systems, pure point spectrum and the upper mean 527 3 Mean almost periodic points and pure point spectrum 529 4 Besicovitch almost periodic points and eigenfunctions 536

Definition 4 . 1 .
(Besicovitch almost periodic points) Let (X, G) be a metrizable dynamical system and let (B n ) be a Følner sequence.Then, a point x ∈ X is called Besicovitch almost periodic with respect to (B n ) if A x consists only of Besicovitch almost periodic functions.As in the definition of mean almost periodicity, Besicovitch almost periodicity also depends on the chosen Følner sequence.In our subsequent discussion, however, we often refrain from explicitly referring to the Følner sequence (B n ) if it is clear from the context which sequence is involved.Remark (a) To set this definition in perspective, we refer to Lemma 3.7.This lemma shows that a point is mean almost periodic if and only if A x consists of mean almost periodic functions only.(b) Note also that the statements of Lemma 3.7 remain true (with essentially the same proof) after 'mean almost periodic' is replaced with 'Besicovitch almost periodic'.(c) As Besicovitch almost periodic functions are mean almost periodic, any Besicovitch almost periodic point is mean almost periodic.The converse is not true.To see this consider X := {0, 1} Z with product topology and the shift action of Z. Set B n := {0, . . ., n} for n even and B n = {−n, . . ., −1} for n odd.Consider now y ∈ X with y(k) = 1 for k ≥ 0 and y(k) = 0 otherwise.Then, it is not hard to see that D(y, ny) = 0 for all n ∈ Z.Hence, y is mean almost periodic.On the other hand, consider f : X −→ {0, 1} with f (x) = x(0).Clearly f is continuous.Moreover, x) for all t ∈ G and x ∈ X and has constant modulus on Bap(X, G, m).Remark.By Theorem 4.4, the existence of a generic Besicovitch almost periodic point entails the ergodicity of m.For this reason, the ergodicity assumption in the above theorem cannot be dropped.Proof.The implication (ii) ⇒(iii) is clear.The implication (iii) ⇒(i) follows from Theorem 4.4.We now show (i) ⇒(ii).As the set of generic points has full measure, it suffices to show that almost every x ∈ X is Besicovitch almost periodic.To do so, we denote the inner product on L 2 (X, m) by •, • and the associated norm by • 2 .Let ξ 1 , ξ 2 , ξ 3 , . . ., be an enumeration of Eig(X, G, m).Choose for any ξ ∈ E a normalized eigenfunction e ξ : X −→ C. Without loss of generality, we can assume e ξ (sx) = ξ(s) e ξ (x) for all s ∈ G and x ∈ X. (Otherwise, we could replace e ξ by e ξ defined by e ξ (x) := lim n→∞ 1 |B n | B n e(sx) ξ(s) ds if the limit exists and e ξ (x) = 0 otherwise.)Moreover, for ξ = 1 we choose the constant function 1.
feature of Weyl almost periodic functions is the existence of the limits lim n→∞ 1 |B n | B n +s n f (t) ξ(t) dt irrespective of (and uniform in) the chosen sequence (s n ) ∈ G for each ξ ∈ G, see Appendix D. Definition 5.1.(Weyl almost periodic points) Let (X, G) be a dynamical system, let d be a metric on X generating the topology, let (B n ) be a Følner sequence and let D n , n ∈ N, be the associated averaged metrics.Then, a point x ∈ X is called Weyl almost periodic with respect to d and (B n ) if for every ε > 0 there exists an N ∈ N such that {t ∈ G : D N (x, tx) < ε} is relatively dense.

Definition 6 . 1 .
(Weakly and Bohr almost periodic points) Let (X, G) be a dynamical system.(a) A point x ∈ X is called weakly almost periodic if A x consists only of weakly almost periodic functions.(b) A point x ∈ X is called Bohr almost periodic if A x consists only of Bohr almost periodic functions.Remark.By the discussion preceding the definition, any Bohr almost periodic point is weakly almost periodic and any weakly almost periodic point is Weyl almost periodic.
Here, C K (G) denotes the subspace of C c (G) consisting of functions with support in K.The measures on G are the elements of the dual space of C c (G).The total variation |μ| of a measure μ is the smallest positive measure with |μ(ϕ)| ≤ |μ|(ϕ) for all ϕ ∈ C c (G) with ϕ ≥ 0. A measure μ on G is called translation bounded if its total variation |μ| satisfies μ K := sup |μ|(t + U) < ∞ for one (all) relatively compact open U in G.We denote that set of all translation bounded measures by M ∞ (G) and equip it with the vague topology.Then, G admits a natural action on M ∞ (G) by translations.More specifically, for t ∈ G and μ ∈ M ∞ (G) the measure tμ is defined by

2 (PROPOSITION 7 . 1 .
with (B n ) being a Følner sequence).Validity of this formula is often discussed under the heading of the Bombieri-Taylor conjecture.Having provided the framework of TMDSs, we now discuss how the theory developed in the previous section can be used in the study of aperiodic order.A translation bounded measure ω is called mean almost periodic(Besicovitch almost periodic, Weyl almost periodic, respectively) if for any ϕ ∈ C c (G) the function ω * ϕ : G −→ C, (ω * ϕ)(t) = ϕ(t − s) dω(s),is mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, respectively).Let (Ω, G, m) be a TMDS and let (B n ) be a Følner sequence.Then, for ω ∈ Ω the following assertions are equivalent.(i) The measure ω is mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, weak almost periodic, Bohr almost periodic).(ii) The function t → N ϕ (tω) is mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, weak almost periodic, Bohr almost periodic) for any ϕ ∈ C c (G). (iii) The point ω ∈ is mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, weak almost periodic, Bohr almost periodic).

PROPOSITION B. 4 .
Let (f n ) be a sequence of uniformly continuous bounded mean almost periodic functions on G with f n ≤ 1 for all n.Let c n > 0 with ∞ n=1 c n < ∞ be given.562 D. Lenz et al Then, there exists for any ε > 0 a relatively dense set D in G with M ∞ n=1 c n |f − f (• − t)| < ε for all t ∈ D.

2
by assumption on the f n and the c n .By Lemma B.2 there exists a relatively dense set D in G with M(|f k − f k (• − t)|) < ε/2n 0 for k = 1, . . ., n 0 .Now, the statement follows easily.

PROPOSITION C. 1 .
Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G.Then, any uniformly continuous bounded Besicovitch almost periodic function is mean almost periodic.Proof.Let ε > 0 be given.Choose c 1 , . . ., c k ∈ C and ξ 1 , . . ., ξ k ∈ G such that P := k j =1 c j ξ j satisfies M(|f − P |) < ε.
we have not defined Besicovitch almost periodic functions by some intrinsic features.Instead we have defined them by what would be a main result in a proper theory starting with an intrinsic definition.A crucial feature of Besicovitch almost periodic function is existence of means in the following sense.LEMMA C.3.Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G. Let f : G −→ C be a uniformly continuous, bounded Besicovitch almost periodic function.Then, the limitA(f ) = lim n→∞ 1 |B n | B n f (s) ds exists.Proof.The statement is well known for functions of the formf = k j =1 c j ξ j with ξ 1 , . . ., ξ k ∈ G, c 1 , . . ., c k ∈ C. Itthen follows by a limiting procedure for Besicovitch almost periodic functions.In fact, existence of means together with a Parseval type equality is a characterizing feature of Besicovitch almost periodic functions.PROPOSITION C.4.Let G be a σ -compact locally compact abelian group and let (B n ) be a Følner sequence on G. Let f : G −→ C be a uniformly continuous and bounded.Then, f is Besicovitch almost periodic if and only if there exists a countable set F ⊂ G such that the following three statements hold.• The limit A(|f | 2 ) = lim n→∞ (1/|B n |) B n |f (t)| 2 dt exists.•For any ξ ∈ F the limitA(f ξ) = lim n→∞ 1 |B n | B n f (t) ξ(t) dt exists.• The equality A(|f | 2 ) = ξ ∈F |A(f ξ)| 2 holds.In this case A(f ξ) = 0 holds for all ξ ∈ G \ F .Proof.Let f be Besicovitch almost periodic.Clearly, any ξ ∈ G is Bohr almost periodic and, hence, Besicovitch almost periodic.Thus, f ξ is Besicovitch almost periodic as a product of Besicovitch almost periodic functions.Hence, the second point holds (even for all ξ ∈ G).Similarly, |f | 2 is Besicovitch almost periodic.Given this, the first point follows.The last point is contained in[31].Now, consider f satisfying the three points.Let ξ 1 , ξ 2 , . . .be an enumeration of the ξ ∈ F .A computation involving the Cauchy-Schwarz inequality in the first step, M(1) = 1 Pure point spectrum 565 in the second step and existence of averages A in the third step gives (B n ) be a Følner sequence in G and define for bounded f : G −→ R and n ∈ N M n (f ) := sup r∈G 1 |B n | B n +r f (t) dt.PROPOSITION D.1.For a bounded measurable function f : G −→ R and ε > 0 the following assertions are equivalent.(i) There exists an N ∈ N with M N (f ) < ε.(ii)There exists anN 0 ∈ N with M N (f ) < ε for all N ≥ N 0 .Proof.(ii) ⇒(i): This is clear.(i) ⇒(ii): Consider n ∈ N. Define for r ∈ G C r := 1 |B N | B N 1 |B n | B n +r f (s + t) ds dt.Fubini's theorem and the assumption (i) directly giveC r = 1 |B n | B n +r 1 |B N | B N f (s + t) dt ds ≤ 1 |B n | B n +rM N (f ) ds = M N (f ).

LEMMA D. 2 .
Let G be a locally compact abelian group and let (B n ) be a Følner sequence on G. Let f : G −→ C be a bounded Weyl almost periodic function.Then, for any sequence (r n ) in G the limit lim n→∞ 1 |B n | B n +r n f (s) ds The previous lemma implies, in particular, that any Weyl almost periodic point is Besicovitch almost periodic.It is not hard to see by examples that the converse does not hold.The function D N is lower semi-continuous for each N ∈ N as it is a supremum over continuous functions.From this and the invariance of D N we find D The point x is Weyl almost periodic.(ii)The algebra A x consists of Weyl almost periodic functions.(iii)The set {f ∈ C(X) : f x is Weyl almost periodic} separates the points of X. N (y, ty) ≤ lim inf n→∞ D N (s n x, ts n x) = D N (x, tx)whenever s n x → y for a sequence (s n ) in G.This easily gives the desired statement.PROPOSITION 5.4.Let (X, G) be a dynamical system with transitive element p ∈ X.Let p be Weyl almost periodic.Then (X, G) is uniquely ergodic, has pure point spectrum, all eigenfunctions are continuous and Freq(x) = Eig(X, G, m) holds for all x ∈ X.Moreover, for any f ∈ C(X) and ξ ∈ G, the averages [35,existence of this decomposition is[35, Theorem 4.7.11],whereas the uniqueness follows immediately from[35, Lemma 4.6.8].When combined with (♥) in Appendix A this easily gives that any weakly almost periodic function is Weyl almost periodic.
is relatively dense.Any such t ∈ G is then called an ε-almost period of f.It turns out that a continuous f : G −→ C is Bohr almost periodic if and only if {f (• − t) : t ∈ G} is compact, where the closure is taken with respect to the supremum norm.It is not hard to see that any Bohr almost periodic function is bounded and uniformly continuous.Moreover, the Bohr almost periodic functions form a closed subalgebra of the algebra of all uniformly continuous bounded functions on G.The main structural result on Bohr almost periodic functions is that a function f is Bohr almost periodic if and only if for any ε > 0 there exist k ∈ N, ξ 1 , . . ., ξ k ∈ G and c 1 , . . ., c k ∈ C with PROPOSITION B.1.Let G be a locally compact abelian group.Let D and E be relatively dense subsets of G and V a relatively compact open neighborhood of the neutral element.As both D and E are relatively dense, we can choose an open relatively compact set U ⊂ G with the property that any translate of U intersects both D and E. As addition is continuous on G, we can choose furthermore a relatively compact open neighborhood W with W = −W and W + W ⊂ V .As U is relatively compact, there exist N ∈ N and z 1 , . . .z N ∈ G with Consider now an arbitrary t ∈ D.Then, there exists an s ∈ E with t − s ∈ U .Hence, for any t ∈ D we can find s t ∈ E and n t ∈ {1, . . ., N} with (t − s t ) ∈ z n t + W . Fix now for each n ∈ {1, . . ., N} elements t n ∈ D and s n ∈ E with Then, ((D − D) + V ) ∩ ((E − E) + V ) is relatively dense.Proof.
et al C r − 1 |B n | B n +r f (s) ds = C r − 1 |B N | B N