核型空間のソースを表示

'''核型空間'''（かくけいくうかん）とは、[[数学]]において有限次元[[ベクトル空間]]の良い性質を多く持つ[[位相ベクトル空間]]である．その位相は[[単位球面|単位球]]が急速に小さくなる[[半ノルム]]の族により定義される．その要素がある意味で「滑らか」なベクトル空間は核型空間となることが多い；核型空間の典型的な例は，[[コンパクト空間|コンパクトな]][[多様体]]上の[[滑らかな関数]]の集合である.

有限次元ベクトル空間はすべて核型である (有限次元ベクトル空間上の作用素はすべて[[核作用素]]なので). 核型となる[[バナッハ空間]]は, 有限次元のものを除いて存在しない．実際にはこれのある種の逆がしばしば成り立つ：もし「自然に現れる」位相ベクトル空間がバナッハ空間で'''なければ''', それが核型となる可能性が大いにある.

核型空間の理論の多くは[[アレクサンドル・グロタンディーク]]により展開され，{{harv|Grothendieck|1955}}で出版された.

==定義==
この節では核型空間のよく知られた定義のいくつかを挙げる．以下の定義はすべて同値である．核型空間の定義に[[フレシェ空間]]であるという条件を付け加えて，もっと限定的な定義をする人もいることに注意. (これは位相が半ノルムの'''可算'''族により与えられて完備であることを意味する.)

まず背景となる事項から始めよう．[[局所凸位相ベクトル空間]] ''V'' は半ノルムの族により定まる位相を持つ．任意の半ノルムに対し，その単位球は0の対称な閉凸近傍であり，逆に0の任意の対称な閉凸近傍はある半ノルムの単位球である． (複素ベクトル空間に対しては，「対称」という条件は「[[均衡集合|均衡]]」に置き換えられる.)

''p'' を ''V'' 上の半ノルムとするとき，''V'' を半ノルム ''p'' で完備化したバナッハ空間を ''V<sub>p</sub>'' と書くことにする. ''V'' から ''V<sub>p</sub>'' には自然な写像が存在する (単射であるとは限らない).

''q'' を別の半ノルムで，''p'' よりも大きいものとするとき，''V<sub>q</sub>'' から ''V<sub>p</sub>'' への自然な写像であって，自然な写像 ''V'' → ''V<sub>p</sub>'' を ''V'' → ''V<sub>q</sub>'' → ''V<sub>p</sub>''　のように分解するものが存在する．これはつねに連続である．空間 ''V'' が核型であるとは，これが[[核作用素]]になるというより強い条件を満たすことである． 核作用素であるという条件は微妙であり，詳しいことは関連記事を参照されたい．

'''定義1'''：'''核型空間'''とは，局所凸位相ベクトル空間であって，任意の半ノルム ''p'' に対しより大きい半ノルム ''q'' で ''V<sub>q</sub>'' から ''V<sub>p</sub>'' への自然な写像が[[核作用素|核型]]となるものが存在する，という性質を持つもの．

これは，平たく言えば，ある半ノルムの単位球が与えられたとき，別の半ノルムの単位球で「より小さい」ものをその内側に見つけることが出来ることを，あるいは0の任意の近傍が「より小さい」近傍を含むことを意味する．この条件はすべての半ノルム ''p'' に対して確かめる必要はない；位相を生成する半ノルムの集合，つまり位相の[[位相空間#位相の比較、生成|準基底]]となる半ノルムの集合について確かめれば十分である．

抽象的なバナッハ空間と核作用素を用いる代わりに，ヒルベルト空間とトレースクラス作用素の言葉で定義をあたえることも出来て，こちらの方が理解しやすい．(ヒルベルト空間に対しては核作用素のことをトレースクラス作用素と呼ぶことが多い．) 半ノルム ''p'' が'''ヒルベルト半ノルム'''であるとは，''V''<sub>''p''</sub> がヒルベルト空間になあること．言い換えれば，''p'' が''V'' 上の半正定値半双線形形式から来ること．

'''定義2'''：'''核型空間'''とは，その位相がヒルベルト半ノルムの族により定義される位相ベクトル空間であって，任意のヒルベルト半ノルム ''p'' に対しより大きなヒルベルト半ノルム ''q'' であって''V''<sub>''q''</sub> から ''V''<sub>''p''</sub> への自然な写像がトレースクラスになるものが存在する，という性質をみたすもの．

トレースクラス作用素の代わりに[[ヒルベルト＝シュミット作用素|ヒルベルト・シュミット作用素]]を用いる人もいて，少し差異を生じる．任意のトレースクラス作用素はヒルベルト・シュミット型であり，二つのヒルベルト・シュミット作用素の積はトレースクラスである．

'''定義3'''：'''核型空間'''とは，その位相がヒルベルト半ノルムの族により定義される位相ベクトル空間であって，任意のヒルベルト半ノルム ''p'' に対しより大きなヒルベルト半ノルム ''q'' であって''V''<sub>''q''</sub> から ''V''<sub>''p''</sub> への自然な写像がヒルベルト・シュミット型になるものが存在する，という性質をみたすもの．

任意の局所凸位相ベクトル空間からバナッハ空間への核作用素の概念を用いれば，以下のもっと短い定義を与えることができる：

'''定義4'''：'''核型空間'''とは，局所凸位相ベクトル空間であって任意の半ノルム ''p'' に対し ''V'' から ''V''<sub>''p''</sub> への自然な写像が[[核作用素]]となるもの.

'''定義5'''：'''核型空間'''とは，局所凸位相ベクトル空間であってバナッハ空間への任意の連続線形写像が核作用素となるもの．

グロタンディークが用いた定義は次のものに近い：

'''定義6'''：'''核型空間'''とは，局所凸位相ベクトル空間 ''A'' であって，任意の局所凸位相ベクトル空間 ''B'' に対し ''A'' と ''B'' の射影的テンソル積から単射的テンソル積への自然な写像が同型になるもの． 

実はこの定義は ''B'' がバナッハ空間の場合を考えれば十分であり，さらに言えば絶対収束する数列のなすバナッハ空間 ''l''<sup>1</sup> について確かめれば十分である．

==例==
*核型空間の無限次元の例で簡単なものとして，すべての急減少数列 ''c''=(''c''<sub>1</sub>, ''c''<sub>2</sub>,...) の空間がある．(「急減少」とは任意の多項式 ''p'' に対し ''c<sub>n</sub>p''(''n'') が有界であること．) 各実数 ''s'' に対し，ノルム {{math|{{norm|&bull;}}{{sub|''s''}}}} を
: {{math|1={{norm|''c''}}<sub>''s''</sub> = sup {{abs|''c''<sub>''n''</sub>}}''n''<sup>''s''</sup>}}
により定義することが出来る．このノルムによる完備化を ''C''<sub>''s''</sub> とするとき， ''s''≥''t'' であれば ''C''<sub>''s''</sub> から ''C''<sub>''t''</sub> への自然な写像が存在し， ''s''&gt;''t''+1 であればこれは核作用素である．これは本質的には級数 Σ''n''<sup>''t''&minus;''s''</sup> が絶対収束することによる．特に各ノルム {{math|{{norm|&bull;}}{{sub|''t''}}}} に対し別のノルム {{math|{{norm|&bull;}}{{sub|''t''+2}}}} であって ''C''<sub>''t''+2</sub> から ''C''<sub>''t''</sub> への写像が核作用素であるものを見つけることが出来る．従ってこの空間は核型である．

*任意のコンパクト多様体上の滑らかな関数のなす空間は核型である．

*<math> \mathbf{R}^n </math>上の急減少関数のなす[[シュワルツ空間]]は核型空間である．

*複素平面上の[[整関数]]のなす空間は核型である．

*核型空間の列の帰納極限は核型である．

*核型フレシェ空間の[[回帰的空間#局所凸空間|強双対]]は核型である．

*核型空間の族の直積は核型である．

*核型空間の完備化は核型である (実際，空間が核型であるためにはその完備化が核型であることが必要十分).

*二つの核型空間の{{仮リンク|位相テンソル積|label=位相テンソル積|en|topological tensor product}}は核型である．

==性質==
核型空間は多くの点で有限次元空間に似ており，多くの良い性質を持つ．

*局所凸ハウスドルフ位相ベクトル空間が核型であるためには，その完備化が核型であることが必要十分である．

*フレシェ空間が核型であるためには，その強双対が核型であることが必要十分．

*核型空間の任意の有界部分集合は前コンパクト (つまり完備化における閉包がコンパクト).

*''X'' が擬完備 (すなわちすべての有界閉部分集合が完備) な核型空間であれば，''X'' はハイネ・ボレルの性質を持つ (つまり，''X'' の任意の有界閉集合はコンパクト).

*核型で擬完備な[[モンテル空間]]は[[樽型空間]]である.

*核型空間の双対空間の任意の同等連続な閉集合は，コンパクトかつ距離化可能である (強双対位相の下で).

*すべての核型空間は，ヒルベルト空間の直積の部分空間になる．

*すべての核型空間は，ヒルベルトノルムを構成する半ノルムの基底を持つ．

*すべての核型空間はシュワルツ空間である．

*すべての核型空間は近似性質<ref>Schaefer p. 110</ref>を持つ．

*核型フレシェ空間の有界閉部分集合はコンパクトである．(位相ベクトル空間の部分集合 ''B'' が有界であるとは，0の任意の近傍 ''U'' に対し正の実数 ''λ'' が存在して ''B'' が ''λU'' に含まれること.) これは核型フレシェ空間に対する[[ハイネ・ボレルの定理]]の言い換えであり，有限次元の場合の類似である．

*核型空間の任意の部分空間，および閉部分空間による任意の商空間は核型である．

*''A'' が核型で ''B'' を任意の局所凸位相ベクトル空間とすれば，''A'' と ''B'' の射影的テンソル積から単射的テンソル積への自然な写像は同型写像である．大まかに言うと，このことはテンソル積のふさわしい定義が一つしかないことを意味する．この性質は核型空間 ''A'' を特徴づける．

*位相ベクトル空間の測度の理論において，核型フレシェ空間の双対空間上の任意の連続なシリンダー測度は[[ラドン測度]]に拡張できる，という基本的な定理がある．シリンダー測度の構成は容易なことが多いが，それがラドン測度でなければ応用上十分でないから (例えば，一般に可算加法性すら満たさない)，この結果は有用である．

==ボホナー・ミンロスの定理==
核型空間 ''A'' 上の連続汎関数 ''C'' が'''特性汎関数''' であるとは，''C''(0) = 1 であり，任意の複素数 <math>z_j</math> と <math>x_j\in A</math> , ''j'',''k'' = 1, ..., ''n'', に対し
:<math>\sum_{j=1}^n \sum_{k=1}^n z_j \bar z_k C(x_j - x_k) \ge 0</math>

となること．核型空間 ''A'' 上の連続汎関数が与えられたとき，'''ボホナー・ミンロスの定理'''は，双対空間 <math>A'</math> 上の[[確率測度]]が

:<math>C(y) = \int_{A'} e^{i\langle x,y\rangle} d\mu(x) </math>

で与えられ，一意に定まることを保証する．これは[[フーリエ逆変換]]の核型空間への拡張である．

特に，''A'' がヒルベルト空間 <math>H_k</math> により

:<math>A=\bigcap_{k=0}^\infty H_k</math>,

と表される核型空間であれば，ボホナー・ミンロスの定理より双対空間上に特性関数 <math>e^{-\frac{1}{2}\|y\|_{H_0}^2}</math> を持つ確率測度，すなわちガウス測度の存在が保証される．このような測度を'''ホワイトノイズ測度'''と呼ぶ．''A'' がシュワルツ空間であれば，対応する[[確率要素]]は確率超過程になる．

==強核型空間==
'''強核型空間'''とは，局所凸位相ベクトル空間であって，任意の半ノルム ''p'' に対しより大きい半ノルム ''q'' が存在して ''V<sub>q</sub>'' から ''V<sub>p</sub>'' への自然な写像が強い意味で[[核作用素|核型]]になる，という性質を持つもの．

==関連項目==
*[[フレドホルム核]]
*[[核作用素]]
*[[トレースクラス]]
*{{仮リンク|ゲルファントの三つ組|en|rigged Hilbert space}}

==参考文献==
* {{Cite journal|last=Grothendieck|first= Alexandre|authorlink=Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires|year= 1955 |series=Mem. Am. Math. Soc.|volume=16|ref=harv}}
* {{Cite journal|last1=Gel'fand|first1= I. M.|first2= N. Ya. |last2=Vilenkin|title=Generalized Functions – vol. 4: Applications of harmonic analysis|year=1964 |oclc=310816279|ref=harv}}
* Takeyuki Hida and Si Si, ''Lectures on white noise functionals'', World Scientific Publishing, 2008. ISBN 978-981-256-052-0
* T. R. Johansen, ''[http://www.math.uni-paderborn.de/~johansen/seminars/minlos.pdf The Bochner-Minlos Theorem for nuclear spaces and an abstract white noise space]'', 2003. 
*{{SpringerEOM|title=Nuclear space|author=G.L. Litvinov|urlname=Nuclear_space}}
*{{Cite book | last1=Pietsch | first1=Albrecht | title=Nuclear locally convex spaces | origyear=1965 | url=https://books.google.com/books?id=v6IdSAAACAAJ | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete | isbn=978-0-387-05644-9 | year=1972 | volume=66 | mr=0350360 | ref=harv | postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}}}
* {{cite book |last=Robertson |first=A.P. |author2=W.J. Robertson  |title= Topological vector spaces |series=Cambridge Tracts in Mathematics |volume=53 |year=1964 |publisher= [[Cambridge University Press]] | page=141}}
* {{Cite book | isbn = 9780387987262 | title = Topological Vector Spaces | last1 = Schaefer | first1 = Helmuth H. | year = 1999 | publisher = [[Springer-Verlag]] | location = New York | last2 = Wolff | first2 = M.P. | series = [[Graduate Texts in Mathematics|GTM]] | volume = 3  | pages =  }}<!-- Schaefer, H.H. (1999) Topological Vector Spaces -->
* {{cite book | last = Schaefer | first = Helmuth H.  | year = 1971 | title = Topological vector spaces  | series=[[Graduate Texts in Mathematics|GTM]] | volume=3  | publisher = Springer-Verlag | location = New York | isbn = 0-387-98726-6 | page=100 }}

<references />

{{Functional Analysis}}
{{デフォルトソート:かくけいくうかん}}
[[Category:作用素論]]
[[Category:位相線型空間]]
[[Category:数学に関する記事]]