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

数学におけるストーン・ワイエルシュトラスの定理（）とは、局所コンパクト空間上の連続関数の代数系における部分代数の稠密性に関する定理である。カール・ワイエルシュトラスによって1885年に示されたワイエルシュトラスの近似定理がその原型であり、1937年にマーシャル・ストーンによって大幅に一般化された現在の形の結果が得られた。
ワイエルシュトラスの近似定理は、閉区間上のどんな連続関数も多項式関数によって任意の精度で一様に近似できることを述べている。
ストーン・ワイエルシュトラスの定理は、局所コンパクトハウスドルフ空間 "X" 上定められた複素数値の連続関数の代数系 "C"("X") の部分代数 "A" が一様収束の位相に関して稠密になるための十分条件として、
の二つが両立していること、を挙げている。"X"が実閉区間であるとき多項式関数のなす代数系は上記の条件を共に満たすため、ワイエルシュトラスの近似定理はストーン・ワイエルシュトラスの定理の特別な場合になっている。
ワイエルシュトラスの近似定理.
ワイエルシュトラスが証明したのは以下のような形の近似定理である。
言い換えると閉区間上の連続関数のなす集合において、多項式からなる部分集合は一様ノルム（の誘導する距離）に関して稠密である。したがって、そのような連続関数に対しては一様収束する多項式列が存在する。証明はバーンスタイン多項式かフェイェールの定理を使ってなされることが多い。ワイエルシュトラスは formula_1 に代表されるような良い減少性をもつ関数の高階微分によって表される積分作用素によって、与えられた関数 "f" を近似するような多項式たちの係数を与えた。
実の場合のストーン・ワイエルシュトラスの定理.
閉区間["a","b"]上の連続関数のなす集合は sup-ノルムによってバナッハ環になる。つまり、このノルムに関して位相線型空間として完備であり、各点での値の積をとることによって定まる環の構造について が成り立っているということである。ワイエルシュトラスの近似定理とは、このバナッハ環の中で多項式関数のなす部分環が稠密であるということをのべている。
ストーンは任意のコンパクトハウスドルフ空間 "X" に対し、その上の実数値連続関数のなす環 "C"("X",R) を考察した。この環は sup-ノルムに関してバナッハ環となっているが、その部分環 "A" が稠密になるための決定的な条件とは "A" が "X" の点を分離すること、であるということをストーンは見いだした。これはすなわち、 "X" の異なる二つの点 "x", "y" について "A" の元 "f" であって "f"("x") と "f"("y") とが異なるようなものが存在することである。
ストーン・ワイエルシュトラスの定理は以下のように述べられる。
"C"("X",R)の部分環"A" に対し、"A"の任意の元が連続になるような最も粗い位相を"X"上に考えると、上の条件はこの位相がハウスドルフ位相になることと言い換えられる。したがって、ストーンが述べていることだが、この位相が "X" の元々の位相に一致することと、定数関数を含む部分環 "A" の稠密性とは同値になる。
"X"として閉区間 ["a","b"]をとるとき、多項式関数のなす環は定数関数を含んでかつ "X" の点を分離するので、ストーン・ワイエルシュトラスの定理はワイエルシュトラスの近似定理の拡張になっている。
複素の場合のストーン・ワイエルシュトラスの定理.
コンパクトハウスドルフ空間上の複素数値連続関数のなす環についても部分環の稠密性を導く同様の定理が知られている。
この定理は実の場合のストーン・ワイエルシュトラスの定理と同値になる。実際、上のように "A" が複素共役について閉じたC("X",C) の部分環であるとき、"A"の任意の元の実部は再び "A" に属するし、C("X", R) の部分環 "B" が"X" の各点を分離するならば "A" = "B" + i "B" は上の条件を満たすからである。
局所コンパクト空間に対するストーン・ワイエルシュトラスの定理.
局所コンパクト空間上の連続関数で無限遠で消えているようなものに対しても同様の稠密性の条件を与える定理が成り立っている。非コンパクトな空間に対しては定数関数は無限遠で消えていないため、対応する条件は "X" の任意の点 "x" に対して部分環に属する関数 "f" で "f"("x") ≠ 0 となるようなものがあるかどうか、ということになる。こちらの条件は稠密性の必要条件を与えてもいる。
例.
ストーン・ワイエルシュトラスの定理の仮定は以下のような場合に満たされている。
複素の場合のストーン・ワイエルシュトラスの定理について、複素共役に関する条件が必要なことは以下のような例からわかる。