ストーン＝ワイエルシュトラスの定理
閉区間[a,b]上の連続関数のなす集合は sup-ノルムによってバナッハ環になる。つまり、このノルムに関して位相線型空間として完備であり、各点での値の積をとることによって定まる環の構造について ||fg|| < ||f||·||g||が成り立っているということである。ワイエルシュトラスの近似定理とは、このバナッハ環の中で多項式関数のなす部分環が稠密であるということをのべている。
ストーンは任意のコンパクトハウスドルフ空間 X に対し、その上の実数値連続関数のなす環 C(X,R) を考察した。この環は sup-ノルムに関してバナッハ環となっているが、その部分環 A が稠密になるための決定的な条件とは A が X の点を分離すること、であるということをストーンは見いだした。これはすなわち、 X の異なる二つの点 x, y について A の元 f であって f(x) と f(y) とが異なるようなものが存在することである。