F-空間

関数解析学における F-空間（Fくうかん、）とは、実あるいは複素ベクトル空間であって、次を満たすような距離 の定められているもののことを言う: 以下 は実数体 または複素数体 の何れかであるものとして
演算 はひとつの F-ノルムを定める（一般の F-ノルムには完備性は仮定しない）。平行移動不変性により、もとの距離函数はこの F-ノルムから恢復可能である。したがって、 上の F-空間は、完備 F-ノルムを備えた -線型空間と言っても同じことである。
この空間をフレシェ空間と呼ぶこともあるが、その呼び名はふつう局所凸 F-空間を表すために用いられる。また上記のような距離函数の存在は、F-空間の構造の一部として要求する場合もあるし、しない場合もありうる。多くの文献では、そのような空間が上の性質を満足する仕方で距離化可能であることを要求するのみである。
例.
明らかに任意のバナッハ空間およびフレシェ空間は F-空間である。特に、バナッハ空間は なる余計な条件までも満たす F-空間となる。
-空間は、任意の に対して F-空間であり、 ならば局所凸、したがってフレシェ空間であり、実際バナッハ空間ですらある。
例1.
 は F-空間で、連続な半ノルムも連続線型汎関数も持たない（自明な双対空間を持つ）。
例2.
 を複素数値テイラー級数 formula_2 で単位円板 上 formula_3 を満たすようなもの全体のなす空間とする。このとき、 に対して は -ノルム formula_4 のもと、F-空間となる。実は、 はである。さらに言えば、 なる任意の に対して、写像 は 上で有界線形（乗法的汎関数）となる。