LF空間のソースを表示
←
LF空間
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[数学]]における '''LF-空間'''（エルエフくうかん、{{lang-en-short|''LF-space''}}）は、ベクトル空間の一類で、一口に言えば[[シュヴァルツ超函数]]の構成法を抽象化するものである。LF-空間の名は、それが[[フレシェ空間]]の増大列の合併（正確には、狭義の可算[[帰納極限]]と呼ばれるもの）になっていることに由来する (inductive '''L'''imit of '''F'''-space)。 == 定義 == '''LF-空間'''とは、[[局所凸空間]] ''E'' であって、以下の性質を持つフレシェ空間の列 (''E''<sub>''n''</sub>) を持つものを言う。 # ''E''<sub>''n''</sub> は単調増大: 任意の ''n'' ∈ '''N''' について ''E''<sub>''n''</sub> ⊂ ''E''<sub>''n''+1</sub> が成り立つ。 # 各 ''n'' ∈ '''N''' に対して、''E''<sub>''n''</sub> の位相は ''E''<sub>''n''+1</sub> からの[[誘導位相|部分空間の位相]]である。 # ''E'' は ''E''<sub>''n''</sub> すべての合併に等しい。 # ''E'' の位相は、任意の包含写像 ''E''<sub>''n''</sub> ⊂ ''E'' を連続にする最も細かい局所凸位相である。 このような性質を満たすフレシェ空間列 (''E''<sub>''n''</sub>) を LF-空間 ''E'' の定義列と呼ぶ。特に定義列の各項が[[バナハ空間]]である場合の LF-空間を LB-空間とも呼ぶ。 == 例 == 任意のフレシェ空間 ''E'' は、定値列 ''E''<sub>''n''</sub> = ''E'' を定義列として、LF-空間である。 '''K'''-値有限列全体の成す[[数列空間]] ''c''<sub>00</sub> = ''c''<sub>00</sub>('''K''') は、(''n'' + 1)-番目以降の全ての項が 0 となるような数列全体の成す部分空間を '''K'''<sup>''n''</sup> と同一視するとき、'''K'''<sup>''n''</sup> を定義列とする LF-空間、特に LB-空間を成す。空間 ''c''<sub>00</sub> の位相は、任意の半ノルムが位相を定める最も細かい凸位相である。 [[シュヴァルツ超函数]]論における構成を振り返ると、コンパクト集合 ''K'' ⊂ '''R'''<sup>''m''</sup> と ''K'' に台を持つ無限回微分可能函数の空間 ''C''<sup>∞</sup>(''K'') に対し、開集合 Ω ⊂ '''R'''<sup>''m''</sup> 上の[[試験函数]]の空間は : <math>\mathcal{D}(\Omega) := \bigcup\{C^{\infty}(K);\; K\subset \Omega\}</math> で与えられる。<math>\mathcal{D}(\Omega)</math> は任意の包含写像 : <math>C^{\infty}(K)\subset{\mathcal D}(\Omega)</math> を連続とする最も細かい局所凸位相を持つから、<math>{\mathcal D}(\Omega)</math> は LF-空間である。定義フレシェ空間列は、Ω 内のコンパクト集合列 (''K''<sub>''n''</sub>) で、各 ''K''<sub>''n''</sub> が ''K''<sub>''n''+1</sub> の内部に含まれ、かつ ''K''<sub>''n''</sub> 全ての合併が Ω を被覆するものに対する (C<sup>∞</sup>(''K''<sub>''n''</sub>)) で与えられる。ここで、<math>\mathcal{D}(\Omega)</math> の位相が、コンパクト集合列の取り方に依らないことに注意。 == 性質 == === 有界性 === LF-空間 ''E'' における[[有界性]]は、''E'' の定義列を用いて次のように述べることができる： * 集合 ''B'' ⊂ ''E'' が有界であるための必要十分条件は、適当な自然数 ''n'' ∈ '''N''' を選べば ''B'' ⊂ ''E''<sub>''n''</sub> かつ ''B'' が ''E''<sub>''n''</sub> において有界とできることである。 === 連続性 === LF-空間 ''E'' から別の局所凸空間 ''F'' への[[線型作用素]]の連続性は、''E'' の定義列 (''E''<sub>''n''</sub>) によって次のように特徴付けることができる： 線型作用素 ''T'': ''E'' → ''F'' が連続となるのは、任意の制限 : <math>T|_{E_n}\colon E_n\to F</math> が全て連続となるときである。 === 完備性 === {{訳語疑問点範囲|[[ゴットフリート・ケーテ|ケーテ]]の減少定理により、|date=2012年10月}}任意の LF-空間は[[完備空間|完備]]である。 === 他の空間との関係 === LF-空間は[[樽型空間|樽型]]、[[ボルノロジー空間|有界型]]かつ{{仮リンク|超ボルノロジー空間|label=超有界型|de|Ultrabornologischer Raum}}であり、[[ウェブ付き空間|ウェブ]]を持つ。故に、バナッハ空間論でよく知られた古典的な三定理は LF-空間に対して一般化することができる。 ; [[バナハ・シュタインハウスの定理]]（一様有界性原理）: (''T''<sub>α</sub>)<sub>α∈''I''</sub> を局所凸空間の間の連続線型作用素 ''E'' → ''F'' の族で、''E'' は LF-空間かつ集合 {''T''<sub>α</sub>(''x''); α ∈ ''I''} が各 ''x'' ∈ ''E'' に対して有界とすると、(''T''<sub>α</sub>)<sub>α∈''I''</sub> は同程度連続、即ち各近傍 ''V'' ⊂ ''F'' に対して適当な近傍 ''U'' ⊂ ''E'' を選んで、''T''<sub>α</sub>(''U'') ⊂ ''V'' が全ての α ∈ ''I'' に対して成り立つようにできる。 ; [[開写像定理 (関数解析)|開写像定理]]: LF-空間の間の連続線型な全射 ''T'': ''E'' → ''F'' は開である。 ; [[閉グラフ定理]]: LF-空間の間の線型写像 ''T'': ''E'' → ''F'' はそのグラフが閉集合ならば連続である。 == 応用 == シュヴァルツ超函数論では、開集合 Ω ⊂ '''R'''<sup>''m''</sup> 上の超函数を、線型写像 : <math>T\colon \mathcal{D}(\Omega)\to \mathbb{R}</math> で、以下の連続性条件: : ''K'' ⊂ Ω がコンパクトで、<math>\mathcal{D}(\Omega)</math> 内の ''K'' に台を持つ函数列 (''f''<sub>''n''</sub>) が一様に ''f''<sub>''n''</sub> → 0 を満たすならば、''T''(''f''<sub>''n''</sub>) → 0 が成り立つ。 を満たすものと定義する。この定義において、この連続性条件が位相に関する連続性を表していることは、一見してわかりよいものではない。実はこれに関しては、<math>\mathcal{D}(\Omega)</math> が[[ボルノロジー空間]]ゆえ、点列連続性を考えれば十分なのである。つまり、コンパクト集合 ''K'' ⊂ Ω について ''C''<sup>∞</sup>(''K'') 上の ''T'' に対する制約条件を与えることに他ならない。先に述べた LF-空間上の線型作用素の連続性に対する性質から、実際に <math>\mathcal{D}(\Omega)</math> の LF-空間としての位相に関する連続性が導かれる。 このようにして、LF-空間 <math>\mathcal{D}(\Omega)</math> 上の連続線型汎函数として定義されるシュヴァルツ超函数の概念的構造が表される。 == 参考文献 == * K. Floret, J. Wloka: ''Einführung in die Theorie der lokalkonvexen Räume'', Lecture Notes in Mathematics 56, 1968 * {{citation|first=François|last=Treves|title=Topological Vector Spaces, Distributions and Kernels|publisher=Academic Press|year=1967|page=126 ff}}. Dover 2006, ISBN 0-486-45352-9 {{DEFAULTSORT:Lえるえふくうかん}} [[Category:位相線型空間論]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
テンプレート:訳語疑問点範囲
(
ソースを閲覧
)
LF空間
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報