F-空間

関数解析学において、F-空間は特定の性質を持つベクトル空間のクラスを指します。これは、完備性という強力な解析的性質を備えた距離化可能な線型空間として定義されます。

具体的には、実数体 R または複素数体 C 上のベクトル空間 V がF-空間であるとは、以下の条件を満たすような距離 d: V × V → R が定義されていることを言います。

V におけるスカラー乗法（K × V → V）が、距離 d および K の標準距離に関して連続である。
V における加法（V × V → V）が、距離 d について連続である。
距離 d が平行移動不変である。すなわち、任意の x, y, a ∈ V に対して d(x + a, y + a) = d(x, y) が成り立つ。
距離空間 (V, d) が完備である。

この定義における距離 d は、‖x‖ = d(0, x) によってF-ノルムと呼ばれる関数を導きます。平行移動不変性により、元の距離 d は d(x, y) = d(x - y, 0) = ‖x - y‖ という関係によってこのF-ノルムから回復可能です。したがって、F-空間は「完備なF-ノルムを備えた線型空間」として特徴づけることもできます。ただし、文献によっては、距離そのものが存在することを求めるのではなく、上記の性質を満たすように距離化可能であることをF-空間の定義とする場合もあります。

F-空間に関連する重要な空間として、フレシェ空間とバナッハ空間があります。

フレシェ空間: F-空間のうち、特に局所凸性という性質を持つものをフレシェ空間と呼びます。関数解析学の文脈では、単に「F-空間」と言った場合にフレシェ空間を指すことも少なくないため、文脈上の注意が必要です。
バナッハ空間: バナッハ空間はF-空間の最もよく知られた例の一つです。これは、F-ノルムがさらに絶対斉次性 ‖αx‖ = |α|‖x‖ （α ∈ K, x ∈ V）を満たす場合に相当します。バナッハ空間は常にフレシェ空間であるため、F-空間でもあります。

いくつかの具体例を見てみましょう。

任意のバナッハ空間およびフレシェ空間は定義から明らかにF-空間です。
Lp空間: 任意の p ≥ 0 に対して、ルベーグ空間 Lp([0, 1]) はF-空間となります。特に p ≥ 1 の場合、Lp空間は局所凸であり、フレシェ空間、さらにはバナッハ空間となります。しかし、0 ≤ p < 1 の場合は一般に局所凸ではありません。
局所凸でない例 (L1/2[0, 1]): 区間 [0, 1] 上の Lp 空間で p = 1/2 としたもの、L1/2([0, 1]) はF-空間ですが、局所凸ではありません。この空間は、自明なもの（ゼロ汎関数）以外の連続な半ノルムや連続線型汎関数を持たない、つまり双対空間が自明であるという解析的に特異な性質を持ちます。
テイラー級数の空間 Wp(D): 0 < p < 1 に対して、単位円板 D 上の複素数値テイラー級数 f(z) = Σ_{n≥0} an zn で、係数が条件 Σ_{n} |an|^p < ∞ を満たすもの全体の空間 Wp(D) は、‖f‖_p = Σ_{n} |an|^p というF-ノルムを備えたF-空間となります。この空間は準バナッハ環であり、また、単位円板上の任意の点 ζ に対する関数評価写像 f ↦ f(ζ) は、Wp(D) 上の有界線形汎関数となります。

F-空間という概念は、局所凸空間の枠を超えた解析を行う上で有用であり、特に0 < p < 1 の場合のLp空間や、特定の関数空間の性質を理解する上で重要な役割を果たします。

もう一度検索