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

ストーン・ワイエルシュトラスの定理について

ストーン・ワイエルシュトラスの定理は、局所コンパクト空間上での連続関数の代数系における部分代数の稠密性に関する重要な結果を示しています。この定理の基盤は、カール・ワイエルシュトラスによって提唱された近似理論にあります。特に、1937年にマーシャル・ストーンによってその理論が大幅に拡張され、広範な条件が考慮されることになりました。

定理の概要

この定理は、局所コンパクトハウスドルフ空間Xにおいて複素数値の連続関数の環C(X)が存在するとき、部分代数Aが一様収束の位相に関して稠密であるための条件を定めています。具体的には、以下の2つの条件が重要です：

1. Aの元により、Xの任意の異なる点が分離されること。
2. 複素共役をとる操作に関して、Aが閉じていること。

これらの条件が満たされる限り、Aは一様収束に関してC(X)内で稠密であるとされます。特に、Xが実閉区間である場合、多項式関数からなる代数系はこれらの条件を満たし、ワイエルシュトラスの近似定理の特別な場合と見なされます。

ワイエルシュトラスの近似定理

ワイエルシュトラスの近似定理は、連続関数が多項式関数によって任意の精度で近似できることを示しています。閉区間 [a, b] 上に定義された連続関数fに対して、任意のε > 0に対して、fを近似する多項式pが存在し、各点xにおいて|f(x) − p(x)| < εを満たすことが保証されます。このようにして、連続関数は多項式列を用いて一様収束を得ることができるのです。

ストーン・ワイエルシュトラスの定理の実情

ストーンが考察したのは、任意のコンパクトハウスドルフ空間Xにおける、実数値の連続関数の環C(X,R)であり、ここでAが稠密性を持つためには、AがXの点を分離する必要があるということが示されています。これにより、異なる二つの点に対して、Aの元がその点に対する値を異ならせることが必要条件となったのです。

結局、ストーン・ワイエルシュトラスの定理は、Xをコンパクトハウスドルフ空間とした場合に特に有用で、Aの部分環がその条件を満たすときに一様収束に関する稠密性が成り立つと言い換えることができます。さらに、多項式関数が定数関数を含み、同様にXの点を分離する場合、この定理はワイエルシュトラスの近似定理の拡張として機能します。

複素数の場合

ストーン・ワイエルシュトラスの定理は、複素数値連続関数でも同様に成り立ちます。つまり、Aが複素共役に対して閉じており、Xの各点を分離すれば、AはC(X, C)においてもsup-ノルムに関して稠密であるとされます。これにより、実数の場合と同様に、複素数の環においても類似の稠密性が成り立つことが確認できます。

局所コンパクト空間における適用

局所コンパクト空間におけるストーン・ワイエルシュトラスの定理は、無限遠で消えるような連続関数に対しても適用されます。この場合、部分環AがXの任意の点を分離し、各点においてAの元でない場合でも、稠密性が保証されます。この条件は、Xの各点における関数によって区別できるかどうかに重点が置かれます。

特に、例としては、円周上のローラン多項式や、コンパクトハウスドルフ空間における直積の元によって表現される関数などが挙げられます。これらの条件が満たされている場合に限り、ストーン・ワイエルシュトラスの定理が適用され、付随する結論が得られます。

まとめ

ストーン・ワイエルシュトラスの定理は、数学、特に解析学や関数空間の理論において非常に重要な役割を果たします。局所コンパクト空間における連続函数の性質を理解するための基盤を提供し、近似理論や関数解析の発展に貢献しています。

もう一度検索