F-空間とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > F-空間の意味・解説 

F-空間

(F-space から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/08/17 21:42 UTC 版)

関数解析学における F-空間(Fくうかん、英語: F-space)とは、あるいは複素ベクトル空間であって、次を満たすような距離 d: V × VR の定められているもののことを言う: 以下 K は実数体 R または複素数体 C の何れかであるものとして

  1. V でのスカラー乗法は、距離 d および K の標準距離に関して連続である。
  2. V での加法は、距離 d について連続である。
  3. 距離 d平行移動不変英語版である。すなわち、V 内の任意の x, y および a に対して が成立する。
  4. 距離空間 (V, d)完備である。

演算 x ↦ || x || := d(0, x) はひとつの F-ノルムを定める(一般の F-ノルム[1]には完備性は仮定しない)。平行移動不変性により、もとの距離函数はこの F-ノルムから恢復可能である[注釈 1]。したがって、K 上の F-空間は、完備 F-ノルムを備えた K-線型空間と言っても同じことである。

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

明らかに任意のバナッハ空間およびフレシェ空間は F-空間である。特に、バナッハ空間は d(αx, 0) = |α|⋅d(x, 0) なる余計な条件までも満たす F-空間となる[2]:59

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

例1

L1/2[0, 1] は F-空間で、連続な半ノルムも連続線型汎関数も持たない(自明な双対空間を持つ)。

例2

Wp(D) を複素数値テイラー級数

で単位円板 D
を満たすようなもの全体のなす空間とする。このとき、0 < p < 1 に対して Wp(D)p-ノルム
のもと、F-空間となる。実は、Wp準バナッハ環英語版である。さらに言えば、|ζ| ≤ 1 なる任意の ζ に対して、写像 ff(ζ)Wp(D) 上で有界線形(乗法的汎関数)となる。

注釈

  1. ^ すなわち、|| yx || = d(0, yx) = d(0 + x, (yx)+ x) = d(x, y)

出典

  1. ^ F-norm in nLab
  2. ^ Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators. Part I: general theory, Pure and Applied Mathematics, 7, New York: Interscience publishers 

参考文献

関連項目




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「F-空間」の関連用語

F-空間のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



F-空間のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのF-空間 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS