コンパクトハウスドルフ空間上の連続函数

数学解析学、特に函数解析学の分野において、実数あるいは複素数に値を取るコンパクトハウスドルフ空間上の連続函数(コンパクトハウスドルフくうかんじょうのれんぞくかんすう、: continuous functions on a compact Hausdorff space)の空間は基本的な役割を担う。C(X) と表記されるこの空間は、各点ごとの函数の和と定数によるスカラー倍によってベクトル空間となる。さらに、次で定義される一様ノルムによってノルム線型空間にもなる。

この一様ノルムは、X 上の函数の一様収束位相を定義する。空間 C(X) はこのノルムに関してバナッハ環である(Rudin 1973, §11.3)。

性質

[編集]
  • 空間 C(X) は、X が無限空間であるなら(点を分離するので)無限次元である。したがって、一般に局所コンパクトとは限らない。
  • XY が二つのコンパクトハウスドルフ空間で、F : C(X) → C(Y) が複素共役に交換する環の準同型写像であるなら、F は連続である。さらに F はある連続函数 ƒ : Y → X に対して F(h)(y) = h(f(y)) という形を取る。特に C(X) と C(Y) が環として同型なら、XY位相同型な位相空間である。
  • Δ を C(X) 内の極大イデアルの空間とする。このとき、Δ と X の点の間にはある一対一対応が存在する。さらに Δ はすべての複素準同型写像 C(X) → C の集まりと一致する。Δ にこの C(X) との組合せ(すなわち、ゲルファンド変換英語版)に関する始位相英語版を導入する。このとき X は、この位相を備える Δ と位相同型である (Rudin 1973, §11.13)。
  • C(X) 内の列がコーシーであるための必要十分条件は、それが C(X) 内で(一様)有界かつ各点収束することである。特に C(X) は、有限集合 X に対してのみ弱完備となる。

一般化

[編集]

実数値あるいは複素数値連続函数の空間 C(X) は、任意の位相空間 X について定義される。しかしコンパクトでない場合、非有界函数を含むこともあるため、C(X) は一様ノルムについて一般にバナッハ空間であるとは限らない。したがって X 上の有界連続函数の空間 CB(X) がより多く扱われる。この空間は一様ノルムについてバナッハ空間(実際、恒等元を含む可換バナッハ環)である(Hewitt & Stromberg 1965, Theorem 7.9)。

特に測度論では、X局所コンパクトハウスドルフ空間であるような特別な場合を考えることによって更なる一般化が望まれることもしばしばある。この場合、次に述べる CB(X) の二つの部分空間が区別される(Hewitt & Stromberg 1965, §II.7):

  • コンパクトなを持つ函数からなる C(X) の部分集合、C00(X)。これは無限大の近傍において消失する函数の空間と呼ばれる。
  • 任意の ε > 0 に対して x ∈ X\K であれば |f(x)| < ε となるようなコンパクト集合 KX が存在する函数からなる C(X) の部分集合、C0(X)。これは無限大で消失する英語版函数の空間と呼ばれる。

C00(X) の閉包が C0(X) である。特に、後者はバナッハ空間である。

参考文献

[編集]
  • Dunford, N.; Schwartz, J.T. (1958), Linear operators, Part I, Wiley-Interscience .
  • Hewitt, Edwin; Stromberg, Karl (1965), Real and abstract analysis, Springer-Verlag .
  • Rudin, Walter (1973), Functional analysis, McGraw-Hill, ISBN 0-07-054236-8 .
  • Rudin, Walter (1966), Real and complex analysis, McGraw-Hill, ISBN 0-07-054234-1 .