F-空間

関数解析学における F-空間（Fくうかん、）とは、実あるいは複素ベクトル空間であって、次を満たすような距離  の定められているもののことを言う: 以下  は実数体  または複素数体  の何れかであるものとして
  でのスカラー乗法は、距離  および  の標準距離に関して連続である。
  での加法は、距離  について連続である。
 距離  はである。すなわち、 内の任意の  および  に対して  が成立する。
 距離空間  は完備である。
演算  はひとつの F-ノルムを定める（一般の F-ノルムには完備性は仮定しない）。平行移動不変性により、もとの距離函数はこの F-ノルムから恢復可能である。したがって、 上の F-空間は、完備 F-ノルムを備えた -線型空間と言っても同じことである。

この空間をフレシェ空間と呼ぶこともあるが、その呼び名はふつう局所凸 F-空間を表すために用いられる。また上記のような距離函数の存在は、F-空間の構造の一部として要求する場合もあるし、しない場合もありうる。多くの文献では、そのような空間が上の性質を満足する仕方で距離化可能であることを要求するのみである。

例 
明らかに任意のバナッハ空間およびフレシェ空間は F-空間である。特に、バナッハ空間は  なる余計な条件までも満たす F-空間となる。

-空間は、任意の  に対して F-空間であり、 ならば局所凸、したがってフレシェ空間であり、実際バナッハ空間ですらある。

例1 
 は F-空間で、連続な半ノルムも連続線型汎関数も持たない（自明な双対空間を持つ）。

例2 
 を複素数値テイラー級数  で単位円板  上  を満たすようなもの全体のなす空間とする。このとき、 に対して  は -ノルム  のもと、F-空間となる。実は、 はである。さらに言えば、 なる任意の  に対して、写像  は  上で有界線形（乗法的汎関数）となる。

注

注釈

出典

参考文献

関連項目 
 

関数解析学
位相線型空間
数学に関する記事