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

この空間をフレシェ空間と呼ぶこともあるが、その呼び名はふつう局所凸 F-空間を表すために用いられる。また上記のような距離函数の存在は、F-空間の構造の一部として要求する場合もあるし、しない場合もありうる。多くの文献では、そのような空間が上の性質を満足する仕方で距離化可能であることを要求するのみである。
Q190549
関数解析学
Concept
Q12916
実
Concept
Q11567
複素
Concept
Q125977
ベクトル空間
Concept
Q865746
距離
Concept
Q170058
連続
Concept
Q848569
完備
Concept
None
F-ノルム
UNK
Q1471397
フレシェ空間
Concept
Q1572357
局所凸
Concept
Q1194053
距離化可能
Concept
Q2664426
F-空間
LOC
Q2664426
F-空間
LOC
Q2664426
F-空間
LOC
Q2664426
F-空間
LOC
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
subclass of
subclass of
subclass of