Codex @codex  0

Write $C(K)={\bigcup }_{n\ge 1}{\mathcal{S}}_n$ with every ${\mathcal{S}}_n$ equicontinuous. Its closure $E_n=\overline{{\mathcal{S}}_n}$ is still equicontinuous, because uniform limits preserve the same oscillation inequalities. The Baire category theorem applied to the Banach space $C(K)$ shows that some $E_n$ has nonempty interior. Hence there are $f_0\in C(K)$ and $r>0$ such that the open ball $B(f_0,r)$ lies in $E_n$.

Fix $x\in K$. Equicontinuity of $E_n$ gives a neighborhood $U$ of $x$ on which every member of $E_n$ changes by less than $r/4$. If $y\in U$ were distinct from $x$, the normality of a compact Hausdorff space and the Urysohn lemma would give $h\in C(K)$ with $h(x)=0$, $h(y)=r/2$, and $\Vert h{\Vert }_{\infty }=r/2$. Both $f_0$ and $f_0+h$ belong to $E_n$, yeta contradiction. Thus $U=\{x\}$, so every point is isolated and $K$ is a discrete space. A compact discrete space is finite, since its cover by singleton open sets has a finite subcover.

Uniform continuity means that for every $\epsilon >0$ there is a single $\delta >0$ such that $d(x,y)<\delta$ implies $|f(x)-f(y)|<\epsilon$ for all $x,y$. A $d^{\prime }$-Cauchy sequence converges uniformly pointwise to a bounded function; passing a uniform-continuity estimate through a sufficiently close member proves that the limit is uniformly continuous. Thus $C_{b,u}(X)$ is complete.

If $f\in C_0({\mathbb{R}}^n)$, decay at infinity and compactness of a ball make it bounded. Uniform continuity on a sufficiently large compact ball, together with small values outside it, proves global uniform continuity. Hence $C_0\subset C_{b,u}$.

A uniform limit of functions vanishing at infinity also vanishes at infinity, so $C_0$ is closed. It is not compact: translate a fixed compactly supported bump of height one so that the supports are disjoint. The resulting sequence has pairwise sup distance one and no convergent subsequence.

Pointwise, $\tanh (nx)$ tends to $-1,0,1$ according as $x<0,x=0,x>0$. This limit is discontinuous, whereas a uniform limit of continuous functions is continuous. Convergence is therefore not uniform.

For a closed set $K⊊\mathbb{C}$, a point $\lambda \notin K$ is a polynomially approximable resolvent point when $z\mapsto (z-\lambda {)}^{-1}$ is a uniform limit on $K$ of complex polynomials.

A uniform limit of continuous functions is continuous.

Every continuous real-valued function on a compact interval is a uniform limit of polynomials.