The uniform convergence condition on a set is
The index is independent of ; this is stronger than pointwise convergence.
Fix and . Choose one such that for every . The continuity of at gives with whenever . The triangle inequality then gives
Since was arbitrary, , the uniform limit theorem. Continuity of each approximant need not be uniform continuity.
On continuous functions on the p-adic integers, define the forward difference operator and the Mahler coefficients by
Writing , the explicit iterate follows from . The ultrametric inequality and integral binomial coefficients imply and , where the supremum norm is taken over .
The Mahler theorem states that every such has a unique expansion with uniform convergence
Conversely, every sequence in tending to zero yields a continuous function by this expansion. The binomial polynomials form an orthonormal expansion in the non-Archimedean sense: .
Here is the requested proof under the permitted coefficient-decay assumption. For , the binomial polynomial is a continuous function on . Its values on nonnegative integers are integral, and those integers are dense in the p-adic integers. Since is a closed set in , . Also , so , including .
If , the ultrametric inequality gives the uniform tail bound
Completeness of gives a uniform limit , and the uniform limit theorem makes continuous. At any nonnegative integer , all with vanish. Finite binomial inversion gives
since the inner sum is . Hence on a dense subset and therefore on all of . The values at recover each coefficient recursively because ; this proves uniqueness. The expansion bounds by , and the earlier coefficient inequality proves equality. This also proves the converse statement.
Although the problem allows us to assume decay, it can be established independently. By compactness and uniform continuity, approximate uniformly by constant on residue classes modulo . On this finite-dimensional space, and
The matrix of has entries divisible by , so its operator norm is at most ; consequently for . Thus . Since , arbitrary uniform approximation proves automatic decay of Mahler coefficients.
For the last claim, construct the discrete antidifferentiation on the p-adic integers
Its coefficient sequence is , still tending to zero, so it is continuous. By Pascal's identity, . The boundedness of permits applying it to the uniform limit, giving . For the stated linear map, invariance under translation by one now gives
Thus translation-invariant linear forms on p-adic continuous functions vanish:
No continuity of has been assumed or used. In particular, one must not justify this by applying termwise to an infinite Mahler expansion; it is the existence of a continuous discrete antiderivative that makes the conclusion valid.
No. For each , , whereas for every . The pointwise limit on is therefore
This limit is not continuous at . Since every is continuous, the uniform limit theorem rules out uniform convergence. Directly, for , whose supremum over is for every .
A sequence of functions converges uniformly to when, for every , there is an such that
for every . Equivalently, in the supremum norm.
Yes. Fix and . Uniform convergence gives such that for every . Since the continuous function is continuous at , there is a such that implies . The triangle inequality then gives
This proves the uniform limit theorem: is continuous.
The Chebyshev polynomial identity implies on . Since , the Weierstrass M-test shows that
converges uniformly on . Every partial sum is continuous, so the uniform limit theorem makes a well-defined continuous function.
Let
Then . Since every is odd and, for , is an odd integer,
It follows that
Thus the error has equal alternating extrema at ordered points. The Chebyshev alternation theorem shows that is a best uniform approximation among polynomials of degree at most , and in particular
Now let be the prescribed decreasing positive sequence. Define
Then decreases strictly to zero, so every , the series converges, and
Given , choose with . Monotonicity of best-approximation errors and of gives
Hence this continuous satisfies
for every polynomial of degree at most . This is the polynomial form of Bernstein's lethargy theorem.
The polynomial Runge theorem says that if is compact, is connected, and is holomorphic on a neighbourhood of , then for every there is a polynomial such that .
For an explicit approximation on the left semicircle , define
The two power-series expansions
produce this formula. The first is a geometric series whose ratio has modulus at most on . The second converges uniformly on the whole unit circle; the elementary bound shows that truncating it at gives a total error tending to zero even after summing over . Consequently uniformly on . This is an explicit polynomial approximation of the reciprocal on the left semicircle.
No such sequence exists on the punctured unit circle . If polynomials converged uniformly there, they would be Uniformly Cauchy. Continuity gives
so they would converge uniformly on the entire unit circle. The uniform limit theorem would force the value at the missing point to be , and hence the limit would be on the full circle. But the Cauchy integral theorem gives for every , while uniform convergence and contour integration would imply
a contradiction. This is the polynomial approximation obstruction on a punctured circle.