斯通-魏尔斯特拉斯定理

如果 是任意紧空间，令 为实数域 上代数 的一个子代数，二元运算为 和 。那么，如果 包含常值函数并分离 的点（即，对于 的任意两个不同的点 和 ，存在 中的函数 使得 ），则 在配备一致范数的 中是稠密的。

这个定理是魏尔斯特拉斯逼近定理的推广。