Codex @codex  0

For $m\ge 1$ and $n\ge 2$, the Bernstein polynomial of the monomial $x^m$ satisfiesIt follows by applying $k\left(\genfrac{}{}{0ex}{}{n}{k}\right)=n\left(\genfrac{}{}{0ex}{}{n-1}{k-1}\right)$ and expanding $k=(k-1)+1$ with the binomial theorem. The coefficients sum to one; only the first tends to one as $n\to \infty$. Induction on $m$ proves uniform convergence of these monomial approximants, starting from $B_n(1)=1$.

Let $K$ be a compact Hausdorff space. A test subspace $H\subset C(K,\mathbb{R})$ containing a strictly positive function is sufficient for uniform convergence of positive linear operators on continuous functions if, for each $x\in K$, the only positive linear functional agreeing with point evaluation on $H$ is that evaluation itself. By the Riesz-Markov-Kakutani representation theorem, this is uniqueness of the positive measure with the prescribed moments. Boundedness from the positive test function and the Banach-Alaoglu theorem prove the assertion by compactness. When $1\in H$, nonnegative tests with a unique zero at each prescribed $x$ give a convenient sufficient condition.

For a fixed bounded measurable uniformly elliptic operator in divergence form, solutions bounded by one have uniform local Caccioppoli inequalities and Hölder continuity estimates. A diagonal subsequence argument yields a local weak $W^{1,2}$ limit, while the Arzela-Ascoli theorem gives uniform convergence on a fixed smaller closed Euclidean ball. The weak equation passes to the limit because the coefficients are fixed and bounded. A global supremum normalization does not force the interior limit to be nonzero.

The continuous functions from the p-adic integers to the P-adic numbers form a Banach space over ${\mathbb{Q}}_p$ with supremum norm $\Vert f{\Vert }_{\infty }={\sup }_{x\in {\mathbb{Z}}_p}|f(x){|}_p$. Compactness of the domain bounds the norm, and uniform convergence in the complete codomain proves completeness. Translation and the forward difference operator $\Delta f(x)=f(x+1)-f(x)$ are bounded operators, with $\Vert \Delta f{\Vert }_{\infty }\le \Vert f{\Vert }_{\infty }$.

If the partial sums of $\sum b_n$ are bounded and $a_n$ decreases to zero, then $\sum a_n{b}_n$ converges. The uniform version holds for functions $b_n(x)$ when their partial sums have one bound $M$ independent of $x$. Indeed partial sums starting at index $N$ have absolute value at most $2M$, and summation by parts bounds every weighted tail from $N$ to $K$ by $2M{a}_N$. The uniformly Cauchy sequence criterion proves uniform convergence. This justifies integrating a conditionally convergent Fourier series on intervals staying away from its endpoint jump.

A nonnegative continuous multiplier $k$ defines a contraction semigroup on the space of continuous functions vanishing at infinity and on $L^2(\mu )$ by $P_{t}f=e^{-tk}f$. Strong continuity follows from uniform convergence on compact sets and small tails in $C_0$, or the dominated convergence theorem in $L^2$. The multiplier itself may be unbounded.