关于斯通—外尔斯特拉斯定理的改进

[1]中讲述了Stone—Weierstrass定理,本文证明了把紧拓扑空间这个条件改为完全有界的度量空间后类似的结论也成立。引理1 关于紧度量空间,一个函数当且仅当它一致连续时,才是连续的。证明可参见[2]第244页。