TheoremBase

A Continuous Lattice-Periodic Function is Uniformly Continuous

A continuous function that repeats over the integer lattice is uniformly continuous on the whole of Euclidean space, because it is determined by its values on a compact box.

Statement

We work in the setting of Product Measures and Lebesgue Measure on ℝⁿ: Standing Notation and Background and in the setting of Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation, both used here with a natural number nn satisfying 1≤n1\le n, exactly as in Lattice-Periodic Functions and the Periodic Function Classes, whose reading of continuity on Rn\mathbb{R}^{n} is in force. From the first setting we take Euclidean space Rn\mathbb{R}^{n} with its norm ∥ ⋅ ∥\lVert\,\cdot\,\rVert, distance dEd_{E}, topology and the notions of closed, bounded and compact set. Let Zn\mathbb{Z}^{n} be the integer lattice, let Zn\mathbb{Z}^{n}-periodicity be as defined there, and let CperC_{\mathrm{per}} abbreviate the class Cper(Rn)C_{\mathrm{per}}(\mathbb{R}^{n}).

1. (Uniform continuity) Let w∈Cperw\in C_{\mathrm{per}}. Then ww is uniformly continuous as a map from Rn\mathbb{R}^{n} with dEd_{E} to R\mathbb{R} with the metric of The Absolute Value Metric on the Real Numbers. Explicitly, for every real number θ\theta with 0<θ0<\theta there is a real number rr with 0<r0<r such that

∣w(x)−w(z)∣≤θfor all x,z∈Rn with ∥x−z∥≤r.|w(x)-w(z)|\le\theta\qquad\text{for all }x,z\in\mathbb{R}^{n}\text{ with }\lVert x-z\rVert\le r .

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…