其实不用纠结Stone-Weierstrass定理的多项式逼近路径——这条路线反而会让你卡在“如何把多项式转成A值阶梯函数”的环节。我们可以直接利用紧集上连续函数的一致连续性，结合A的稠密性来构造目标阶梯函数，步骤非常清晰：

步骤1：利用一致连续性确定区间分割精度 #

因为$f$在紧区间$[a,b]$上连续，根据一致连续性定理，对给定的$\epsilon>0$，存在$\delta>0$，使得对任意$x,y\in[a,b]$，只要$|x-y|<\delta$，就有$|f(x)-f(y)|<\frac{\epsilon}{2}$。

步骤2：分割$[a,b]$为足够小的开区间 #

取正整数$n$满足$\frac{b-a}{n}<\delta$，将$[a,b]$划分为$n$个小区间：
$$a=x_0 < x_1 < x_2 < \dots < x_n = b$$
记每个开区间$I_k=(x_{k-1},x_k)$，显然每个$I_k$的长度都小于$\delta$，且所有$I_k$的并集覆盖$(a,b)$。

步骤3：利用$A$的稠密性选取区间对应值 #

对每个$k=1,2,\dots,n$，取$I_k$的中点$m_k=\frac{x_{k-1}+x_k}{2}$。因为$A$在$\mathbb{R}$中稠密，所以存在$a_k\in A$，使得：
$$|f(m_k)-a_k|<\frac{\epsilon}{2}$$

步骤4：构造$A$值阶梯函数$f_\epsilon$ #

定义$f_\epsilon:\mathbb{R}\to\mathbb{R}$如下：

• 对任意$x\in I_k$（$k=1,\dots,n$），令$f_\epsilon(x)=a_k$；
• 对$x\in(-\infty,a]\cup[b,+\infty)$，令$f_\epsilon(x)=0$（和$f$的支撑集保持一致）。

步骤5：验证一致逼近条件 #

现在我们要证明$\sup_{x\in\mathbb{R}}|f(x)-f_\epsilon(x)|\leq\epsilon$，分两种情况讨论：

1. 当$x\notin[a,b]$时：$f(x)=0$且$f_\epsilon(x)=0$，显然$|f(x)-f_\epsilon(x)|=0\leq\epsilon$；
2. 当$x\in[a,b]$时：$x$必然属于某个$I_k$，此时$|x-m_k|<\frac{\delta}{2}<\delta$，根据一致连续性：
   $$|f(x)-f(m_k)|<\frac{\epsilon}{2}$$
   再结合步骤3中$|f(m_k)-a_k|<\frac{\epsilon}{2}$，由三角不等式得：
   $$|f(x)-f_\epsilon(x)|=|f(x)-a_k|\leq|f(x)-f(m_k)|+|f(m_k)-a_k|<\frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon$$

这样就完成了证明！本质上是用一致连续性把函数的“波动”控制在小范围内，再用稠密子集$A$的元素去“拟合”每个小区间内的函数值，最终得到满足要求的阶梯函数。

内容的提问来源于stack exchange，提问作者Squird37