6
$\begingroup$

Given a function $f$, let us define the translates $f_t(x)=f(x-t)$. A (Bochner) almost-periodic function is a bounded continuous function on $\mathbb R^\nu$ such that the set of functions $\{f_t\vert t\in\mathbb R^\nu\}$ form a precompact set with respect to the supremum norm (a precompact set is a set whose closure is compact).

This definition is taken from Appendix 1 of this paper.

I was wondering if we insisted that the set is compact rather than just precompact, is this equivalent to $f$ being periodic? That is,

Is it true that a bounded continuous function $f$ on $\mathbb R^\nu$ is periodic if and only if the set of functions $\{f_t\vert t\in\mathbb R^\nu\}$ form a compact set with respect to the supremum norm?

| cite | improve this question | | | | |
$\endgroup$
  • $\begingroup$ And if you pick a continuous function vanishing at infinity ? $\endgroup$ – Ayman Moussa Oct 22 '19 at 9:27
  • 4
    $\begingroup$ @Ayman Moussa if the function vanishes at infinity, the closure of the set of translates is certainly not compact, so that function is not almost periodic $\endgroup$ – Darren Ong Oct 22 '19 at 10:10
  • $\begingroup$ Oh sorry. I read too quickly. With the answer below (which is nice by the way), I guess that simply observing that $t\mapsto f_t$ is a continuous bijection from $\mathbb{R}$ to a compact set $K$ is not enough : can someone give a simple example of such a continuous map which is not a homeomorphism ? Of course the other way around ($f:K\rightarrow \mathbb{R}$) is not possible. $\endgroup$ – Ayman Moussa Oct 24 '19 at 9:29
9
$\begingroup$

I would also like to focus on the case $\nu =1$ (to avoid some slightly annoying but probably trivial bookkeeping issues).

Suppose that $\{f_t\}$ is compact. This shows first of all that $f$ is uniformly continuous, or else we could shift problematic points to zero, say, to obtain a sequence with no convergent subsequence.

Now if $f$ wasn't periodic, then $d(s,t)=\|f_s-f_t\|$ defines a translation invariant metric on $\mathbb R$, and $(\mathbb R,d)$ is compact, by assumption. The identity map $(\mathbb R, |\cdot |)\to (\mathbb R, d)$ is continuous (since $f$ is uniformly continuous). This implies that $(\mathbb R,d)$ is still pathwise connected. Moreover, $\mathbb R$ is a topological group also with the metric $d$: for example, if $d(s_n,s), d(t_n,t)\to 0$, then \begin{align*} \|f_{s_n+t_n}-f_{s+t}\| &= \|f_{s_n} - f_{s+t-t_n}\| \le \| f_{s_n}-f_s\| + \|f_s-f_{s+t-t_n}\| \\ & = \|f_s-f_{s_n}\| + \|f_{t_n}-f_t\| \to 0 . \end{align*}

A pathwise connected compact abelian metric group is a torus (see Theorem 8.46(iii) of the tome of Hoffmann and Morris for this step), but clearly this is absurd here since a torus has torsion and $\mathbb R$ doesn't. So $f$ is periodic.

The other direction is of course trivial.

| cite | improve this answer | | | | |
$\endgroup$
  • 3
    $\begingroup$ Great argument! Instead of using the characterization of pathwise connected compact abelian metric groups one could also use that every continuous group isomorphism between two separable locally compact groups is automatically a homeomorphism (this follows from a Baire category argument). $\endgroup$ – Jochen Glueck Oct 22 '19 at 20:22
  • 1
    $\begingroup$ @JochenGlueck: Thanks! I was actually just wondering if there shouldn't be a way to wrap it up with less intimidating (to me) machinery. Also, I don't really understand anything in HM, I just remembered the statement because I had quoted it before, in a completely different context (not on MO). $\endgroup$ – Christian Remling Oct 22 '19 at 20:26
  • 2
    $\begingroup$ By the way, your argument also shows more generally that, if $(T_t)_{t \in \mathbb{R}}$ is a $C_0$-group on a Banach space $X$ and $x\in X$ has compact orbit, then the orbit is periodic. I think that's quite nice. $\endgroup$ – Jochen Glueck Oct 23 '19 at 10:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.