About: ストーン＝ワイエルシュトラスの定理

数学におけるストーン・ワイエルシュトラスの定理（英語: Stone–Weierstrass theorem）とは、局所コンパクト空間上の連続関数の代数系における部分代数の稠密性に関する定理である。カール・ワイエルシュトラスによって1885年に示されたワイエルシュトラスの近似定理がその原型であり、1937年にマーシャル・ストーンによって大幅に一般化された現在の形の結果が得られた。 ワイエルシュトラスの近似定理は、閉区間上のどんな連続関数も多項式関数によって任意の精度で一様に近似できることを述べている。 ストーン・ワイエルシュトラスの定理は、局所コンパクトハウスドルフ空間 X 上定められた複素数値の連続関数の代数系 C(X) の部分代数 A が一様収束の位相に関して稠密になるための十分条件として、 1. * Aの元によって X の任意の異なる点が分離されること 2. * 関数の複素共役をとる操作について A が閉じていること の二つが両立していること、を挙げている。Xが実閉区間であるとき多項式関数のなす代数系は上記の条件を共に満たすため、ワイエルシュトラスの近似定理はストーン・ワイエルシュトラスの定理の特別な場合になっている。