フレシェ空間のソースを表示

{{about|関数解析学における|位相空間論における|T1空間|列型空間の一種|フレシェ・ウリゾーン空間}}
[[数学]]の[[関数解析学]]周辺分野における'''フレシェ空間'''（フレシェくうかん、{{lang-en-short|''Fréchet spaces''}}）は、[[モーリス・フレシェ]]に名を因む、[[位相空間]]の一種である。フレシェ空間は（[[ノルム]]の導く[[距離関数|距離]]に関して[[完備距離空間|完備]]な[[ノルム付き線型空間]]である）[[バナッハ空間]]を一般化するもので、[[平行移動不変距離関数]]に関して完備な[[局所凸空間]]を言う。バナッハ空間との違いは、その距離がノルムから生じるものでなくともよいことである。

フレシェ空間の[[位相構造]]は、バナッハ空間のと比べてノルムがない分だけより複雑なものではあるけれども、[[ハーン・バナッハの定理]]や[[開写像定理 (関数解析)|開写像定理]]、[[バナッハ・シュタインハウスの定理]]などの関数解析学における重要な結果の多くが、フレシェ空間においてもやはり成り立つ。

[[滑らかな関数|無限階微分可能]]な関数の成す空間などは、フレシェ空間の典型例である。

== 定義 ==
フレシェ空間の定義には主に大きく二つの流儀があり、ひとつは[[平行移動不変距離]]を用いるもので、もうひとつは[[半ノルム]]の可算族を用いるものである。

位相線型空間 ''X'' が'''フレシェ空間'''であるとは、以下の三条件を満たすことを言う：

* ''X'' は[[局所凸位相ベクトル空間|局所凸]]である。
* ''X'' の位相は平行移動不変距離（即ち、距離関数 ''d'': ''X'' × ''X'' → '''R''' で、任意の ''a'', ''x'', ''y'' に対して ''d''(''x'', ''y'') = ''d''(''x''+''a'', ''y''+''a'') を満たすもの）から導かれる。これは、''X'' の部分集合 ''U'' が[[開集合]]であることと、''U'' の各点 ''u'' に対して適当な ε > 0 を選べば、集合 {''v'' : ''d''(''u'', ''v'') < ε} が ''U'' に含まれるようにできることとが同値であることを意味する。
* ''X'' は先の ''d'' に関して[[完備距離空間]]である。

ここで注意すべきは、フレシェ空間の二点間の距離として自然なものは存在しないことで、多くの異なる平行移動不変距離が同じ位相を誘導しうる。

先の定義とは別に、ある意味でより実用的な定義が以下のように与えられる。位相線型空間 ''X'' が'''フレシェ空間'''であるとは以下の三条件を満たすことを言う：

* ''X'' は[[ハウスドルフ空間]]である。
* ''X'' の位相は半ノルムの可算族 &#x2016;&bull;&#x2016;<sub>''k''</sub> (''k'' = 0,1,2,…) から誘導される。これは、''X'' の部分集合 ''U'' が開であることと、''U'' の各点 ''u'' において適当な ''K'' ≥ 0 と ε > 0 を選べば、集合 {''v'' : &#x2016;''u'' - ''v''&#x2016;<sub>''k''</sub> < ε for all ''k'' ≤ ''K''} が ''U'' に含まれるようにすることができることとが同値となることを意味する。
* ''X'' はこの半ノルム族に関して完備である。

半ノルム族で定義されるフレシェ空間 ''X'' においては、''X'' 内の点列 (''x<sub>n</sub>'') が ''x'' に収束することと、その点列が所与の半ノルムの各々に関して ''x'' に収束することとが同値になる。

== フレシェ空間の構成法 ==
半ノルム ǁ ⋅ ǁ とはベクトル空間 ''X'' から実数全体の成す集合への写像で、任意のベクトル ''x'', ''y'' とスカラー ''c'' について、以下の三条件
:<math>\|x\| \geq 0,</math>
:<math>\|x+y\| \le \|x\| + \|y\|,</math>
:<math>\|c\cdot x\| = |c| \|x\|</math>
を満たすもののことであったのを思い出そう。ここでさらに ǁ''x''ǁ = 0 が実は ''x'' = 0 を導くならば ǁ ⋅ ǁ はノルムになるが、以下の如くフレシェ空間の構成を可能にするという点において半ノルムのほうが有効である。

フレシェ空間の構成にあたって、ベクトル空間 ''X'' と ''X'' 上の半ノルム族 ǁ ⋅ ǁ<sub>''k''</sub> で以下の二性質を満たすものから始めるのが典型的である。
* 点 ''x'' ∈ ''X'' が ǁ''x''ǁ<sub>''k''</sub> = 0 を全ての ''k'' ≥ 0 に対して満たすならば ''x'' = 0 である。
* ''X'' 内の点列 (''x''<sub>''n''</sub>) が各半ノルム ǁ ⋅ ǁ<sub>''k''</sub> に関して[[コーシー列]]を成すならば、適当な点 ''x'' ∈ ''X'' が存在して (''x<sub>n</sub>'') が各半ノルム ǁ ⋅ ǁ<sub>''k''</sub> に関して ''x'' に収束する。

このとき、これらの半ノルムから（上述の如く）導かれる位相によって ''X'' はフレシェ空間になる。実際、半ノルムに関する条件の前者からはハウスドルフ性が、後者からは完備性がそれぞれ保証される。これと同じ位相を誘導する平行移動不変かつ完備な距離関数を
:<math>d(x,y)=\sum_{k=0}^\infty \frac{\|x-y\|_k}{1+\|x-y\|_k}\;2^{-k}, \quad (x, y \in X)</math>
で定義することができる。

関数 ''u'' → ''u''/(1+''u'') は &#x5b;0, ∞) を単調に &#x5b;0, 1) に写すことに注意すれば、故に上記定義からは ''d''(''x'', ''y'') が「十分小さい」ことと「十分大きな」''K'' が存在して ''k'' = 0,&nbsp;&hellip;,&nbsp;''K'' に対する ǁ''x'' - ''y''ǁ<sub>''k''</sub> が何れも「小さい」こととが同値になることが保証されることがわかる。

== 例 ==
* 任意のバナッハ空間は、ノルムが平行移動不変距離を導き、ノルムの導く距離に関して完備であるから、フレシェ空間である。
* <div style="margin:8px 0px;">無限階微分可能関数 ƒ: &#x5b;0,1] → '''R''' 全体の成す[[ベクトル空間]] ''C''<sup>∞</sup>(&#x5b;0, 1]) は、非負整数 ''k'' で添字づけられる半ノルム族<div style="margin:1ex 2em"><math>
  \|f\|_k = \sup\{|f^{(k)}(x)|: x \in [0,1]\}
</math></div>によってフレシェ空間になる。ただし、ƒ<sup>(''k'')</sup> は ƒ の ''k''-階導関数で ƒ<sup>(0)</sup> = ƒ とする。</div><div style="margin:8px 0px;">このフレシェ空間において、関数列 (ƒ<sub>''n''</sub>) が ''C''<sup>∞</sup>(&#x5b;0, 1]) の元 ƒ に収束する必要十分条件は、各非負整数 ''k'' に対して関数列 (''f''{{su|b=''n''|p=(''k'')}}) が ƒ<sup>(''k'')</sup> に[[一様収束]]することである。
* 無限階微分可能関数 ƒ: '''R''' → '''R''' 全体の成すベクトル空間 ''C''<sup>∞</sup>('''R''') は、非負整数 ''k'', ''n''&nbsp;≥ 0 で添字づけられる半ノルム族<div style="margin:1ex 2em"><math>
   \|f\|_{k, n} = \sup \{ |f^{(k)}(x)| : x \in [-n, n] \}
</math></div>に関してフレシェ空間を成す。 
* ''m''-回連続的微分可能関数 ƒ: '''R''' → '''R''' 全体の成すベクトル空間 ''C''<sup>''m''</sup>('''R''') は、非負整数 ''n''&nbsp;≥ 0 および ''k'' = 0, …,''m'' で添字づけられる半ノルム族<div style="margin:1ex 2em;"><math>
  \|f\|_{k, n} = \sup \{ |f^{(k)}(x)| : x \in [-n, n] \}
</math></div>によってフレシェ空間になる。
* ''H'' を[[整関数]]（ガウス平面上至る所[[正則関数|正則]]な関数）全体の成すベクトル空間とすると、半ノルム族<div style="margin: 1ex 2em;><math>
  \|f\|_{n} = \sup \{ |f(z)| : |z| \le n \}
</math></div>によって ''H'' はフレシェ空間を成す。
* ''H'' を[[指数型]] &tau; の整関数全体の成す空間とすると、半ノルム族<div style="margin: 1ex 2em"><math>
  \|f\|_{n} = \sup_{z \in \mathbb{C}}\,\exp\!\left(-\left(\tau + \frac{1}{n}\right)|z|\right)|f(z)|
</math></div>によって ''H'' はフレシェ空間になる。
* <div style="margin:8px 0px;">''M'' をコンパクト ''C''<sup>∞</sup>-[[多様体]]、''B'' を[[バナッハ空間]]とすると、無限階微分可能写像 ƒ: ''M'' → ''B'' 全てからなる集合 ''C''<sup>∞</sup>(''M'', ''B'') は、各関数の任意の偏導関数のノルムの上限を半ノルムとしてフレシェ空間になる。また、''M'' が（必ずしもコンパクトでない）''C''<sup>∞</sup>-多様体で、コンパクト部分集合からなる可算列 ''K''<sub>''n''</sub> で尽くされる（従って ''M'' の任意のコンパクト部分集合が少なくとも一つの ''K''<sub>''n''</sub> に含まれる）ならば、各空間 ''C''<sup>''m''</sup>(''M'', ''B'') および ''C''<sup>∞</sup>(''M'', ''B'') は自然な仕方でフレシェ空間になる。</div><div style="margin:8px 0px;">実は、どんな有限次元の滑らかな多様体 ''M'' も同様のコンパクト部分集合の入れ子になった和に分解できる。[[リーマン計量]] ''g'' があるならば、それが導く距離を ''d''(''x'', ''y'') とし、''M'' の点 ''x'' を選んで、<div style="margin: 1ex 2em"><math>
  K_n = \{y \in M | d(x,y) \le n \}
</math></div>とすればよい。</div><div style="margin:8px 0px;">''M'' をコンパクト ''C''<sup>∞</sup>-多様体、''V'' を ''M'' 上のベクトル束とし、''M'' 上定義された ''V'' の滑らかな切断全体の成す空間を ''C''<sup>∞</sup>(''M'', ''V'') で表す。接束 ''TM'' および束 ''V'' 上の（存在が保証された）リーマン計量および接続を選んで固定する。切断 ''s'' と、その ''j''-階共変導関数 ''D''<sup>''j''</sup>''s'' に対して<div style="margin: 1ex 2em"><math>
  \|s\|_n = \sum_{j=0}^n \sup_{x\in M}|D^js|
</math></div>（右辺の |⋅| は リーマン計量の導くノルム）と定めると、この半ノルム族に関して''C''<sup>∞</sup>(''M'', ''V'') はフレシェ空間になる。 
* [[実数列空間]] '''R'''<sup>ω</sup> は、数列の第 ''k''-項の[[絶対値]]を ''k''-番目の半ノルムとしてフレシェ空間になる。このフレシェ空間における収束は各項収束を意味する。

完備な平行移動不変距離を持つベクトル空間のすべてがフレシェ空間になるわけではない。例えば、''p'' &lt; 1 に対する[[ルベーグ空間| ''L''<sup>''p''</sup>(&#x5b;0, 1&#x5D;)]] は局所凸ではないのでフレシェ空間でない（[[F空間]]になる）。

== 性質および諸概念 ==
フレシェ空間に連続ノルムが存在するときには、半ノルム族の各半ノルムに連続ノルムを加えて、ノルムにすることができる。''C''<sup>∞</sup>([a,b]) や ''X'' がコンパクトなときの ''C''<sup>∞</sup>(''X'', ''V'') あるいは ''H'' などのバナッハ空間はノルムを持っているが、 '''R'''<sup>ω</sup> や ''C''('''R''') は持っていない。

フレシェ空間の閉部分空間はフレシェ空間である。また、フレシェ空間の閉部分空間による商はフレシェ空間である。フレシェ空間の有限個の直和もフレシェ空間になる。

[[ベールの範疇定理]]に基づく関数解析学の重要な主張のいくらかはフレシェ空間においても成立する。例えば、[[閉グラフ定理]]、[[開写像定理 (関数解析)|開写像定理]]など。

''X'' と ''Y'' がともにフレシェ空間のとき、''X'' から ''Y'' への[[連続写像|連続]][[線型作用素]]全体の成す空間 L(''X'',''Y'') は自然にフレシェ空間になることは'''ない'''。これはバナッハ空間論とフレシェ空間論との大きな違いであり、フレシェ空間上の写像の連続的微分可能の定義を改めることが必要となる（[[ガトー微分]]）：

''X'' と ''Y'' がフレシェ空間、''U'' が ''X'' の開部分集合とし、写像 ''P'': ''U'' → ''Y'' および ''x'' ∈ ''U'', ''h'' ∈ ''X'' をとる。写像 ''P'' が点 ''x'' において ''h'' の方向へ微分可能であるとは、
:<math>D(P)(x)(h) = \lim_{t\to 0} \,\frac{1}{t}\Big(P(x+th)-P(x)\Big)</math>
なる極限が存在することを言う。さらに写像 ''P'' が ''U'' において'''連続的微分可能'''であるとは
:<math>D(P):U\times X \to Y</math>
が連続であることとする。フレシェ空間の[[積位相空間|積]]はやはりフレシェ空間になるので、さらに D(''P'') を微分することを考えることができて、この方法論で ''P'' の高階導関数を定義することができる。

''P''(ƒ) = ƒ′ で定義される微分作用素 ''P'': ''C''<sup>∞</sup>(&#x5b;0,1]) → ''C''<sup>∞</sup>(&#x5b;0,1]) はそれ自身無限階微分可能であり、一階導関数は ''C''<sup>∞</sup>(&#x5b;0,1]) の任意の二元 ƒ および ''h'' に対して
:<math>D(P)(f)(h) = h'</math>
で与えられる。これはフレシェ空間 ''C''<sup>∞</sup>(&#x5b;0,1]) の（有限な ''k'' に対する）バナッハ空間 ''C''<sup>''k''</sup>(&#x5b;0,1]) に対する優位性である。

連続的微分可能写像 ''P'': ''U'' → ''Y'' に対して、[[微分方程式]]
:<math>x'(t) = P(x(t)),\quad x(0) = x_0\in U</math>
は解を持たないかもしれないし、持ったとしても必ずしも一意ではない。これもバナッハ空間の場合との明確な違いである。

[[逆写像定理]]はフレシェ空間においては成り立たない（部分的には[[ナッシュ・モーザーの定理]]で置き換えられる）。

== フレシェ多様体とリー群 ==
{{main|フレシェ多様体}}
（通常の多様体が局所的に[[ユークリッド空間]]であるのと同様にして）「局所的に」フレシェ空間であるような空間として'''フレシェ多様体'''の概念を考えることができる。また[[リー群]]の概念をフレシェ多様体に対するものへ拡張することもできる。これは例えば（通常の）コンパクト ''C''<sup>∞</sup>-多様体 ''M'' が与えられれば、その上の ''C''<sup>∞</sup>-[[微分同相]] ƒ: ''M'' → ''M'' の全体が、いま言った意味での一般化されたリー群を成すことから有用で、この意味でのリー群によって ''M'' の対称性の群をとらえることができるようになる。リー群と[[リー環]]との間の関係も、いくらかはこの拡張された意味のリー群についても成り立つ。

== 一般化 ==
フレシェ空間に対して局所凸という条件を落とせば、[[F空間]]が得られる（これはつまり、平行移動不変で完備な距離を持つベクトル空間である）。

[[LF空間]]はフレシェ空間の可算帰納極限として得られる。

== 参考文献 ==
*{{Citation | last=Rudin | first=Walter | author-link=ウォルター・ルーディン | title=Functional Analysis | publisher=McGraw-Hill Science/Engineering/Math | isbn=978-0-07-054236-5 | year=1991}}
*{{Citation | last=Treves | first=François | title=Topological vector spaces, distributions and kernels | publisher=[[Academic Press]] | location=Boston, MA | year=1967}}

{{Functional Analysis}}
{{DEFAULTSORT:ふれしえくうかん}}
[[Category:位相線型空間]]
[[Category:フレシェ空間|*]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]