ℝ上连续函数是否为多项式序列逐点极限的思考方法问询

嘿，这个问题确实容易让人卡壳，咱们一步步拆解清楚：

核心结论 #

不是所有ℝ上的连续函数都能表示成多项式序列的逐点极限，存在明确的反例，比如$f(x)=e^{x2}$——这个函数在ℝ上处处连续，但找不到任何多项式序列能在ℝ上逐点收敛到它。

分析你的思路 #

咱们来梳理下你尝试过的方向，看看哪里可以调整：

• Stone-Weierstrass定理的尝试：你想到用$[-n,n]$这样的紧区间是对的，但这里的关键是，Stone-Weierstrass能给出每个紧区间上的一致收敛多项式，但如果直接把这些多项式拼接成序列，对于增长速度超过所有多项式的连续函数（比如$e^{x2}$），这种方法会失效——因为在区间$[-n,n]$上的多项式，在$x=n$处的取值远赶不上$e^{n2}$的增长，没法满足逐点收敛的要求。
• 泰勒级数/高斯卷积的思路：泰勒级数的问题是收敛半径限制，大部分超越函数的泰勒级数只能在有限区间内收敛；高斯卷积本质上是光滑化，但卷积后的函数仍然是整函数（如果用高斯核），没法逼近增长过快的连续函数。
• 插值的思路：插值确实会遇到Gibbs现象，而且就算你用可数个点插值，多项式在插值点之间的行为没法控制，尤其是当函数增长极快时，插值多项式会在区间外“爆炸”，根本没法逐点收敛到目标函数。

正确的思考路径 #

要判断这个问题，咱们可以从多项式的增长特性和逐点极限的约束入手：

1. 多项式的增长上限：任何d次多项式$p(x)$，当$|x|→∞$时，增长速度是$O(|x|^d)$，也就是最多是多项式级的增长。
2. 逐点极限的必要条件：如果多项式序列${p_n(x)}$逐点收敛到$f(x)$，那么对每个固定的$x$，$p_n(x)$最终会逼近$f(x)$；但对于$x→∞$的情况，$f(x)$的增长速度不能超过“所有多项式增长速度的上确界”——而像$e^{x2}$这种超指数增长的连续函数，显然突破了这个限制，因为无论你取多少次多项式，它的增长都赶不上$e^{x2}$，自然没法逐点逼近。
3. Baire函数类的视角：多项式是连续函数（Baire第0类），它们的逐点极限属于Baire第1类函数。虽然所有连续函数都属于Baire第1类（因为第0类包含在第1类里），但Baire第1类函数还要求满足“在任何非空闭集上，函数的连续点集是稠密的”——不过这个性质对连续函数都满足，所以关键还是增长速度的约束。

简单来说，只有那些增长速度不超过多项式级的连续函数，才有可能被多项式序列逐点逼近，而增长过快的连续函数（比如超指数增长的）就做不到。

备注：内容来源于stack exchange，提问作者Maths Wizzard