|
核型空間（かくけいくうかん）とは、数学において有限次元ベクトル空間の良い性質を多く持つ位相ベクトル空間である．その位相は単位球が急速に小さくなる半ノルムの族により定義される．その要素がある意味で「滑らか」なベクトル空間は核型空間となることが多い；核型空間の典型的な例は，コンパクトな多様体上の滑らかな関数の集合である. 有限次元ベクトル空間はすべて核型である (有限次元ベクトル空間上の作用素はすべて核作用素なので). 核型となるバナッハ空間は, 有限次元のものを除いて存在しない．実際にはこれのある種の逆がしばしば成り立つ：もし「自然に現れる」位相ベクトル空間がバナッハ空間でなければ, それが核型となる可能性が多いにある. 核型空間の理論の多くはアレクサンドル・グロタンディークにより展開され，で出版された. ==定義== この節では核型空間のよく知られた定義のいくつかを挙げる．以下の定義はすべて同値である．核型空間の定義にフレシェ空間であるという条件を付け加えて，もっと限定的な定義をする人もいることに注意. (これは位相が半ノルムの可算族により与えられて完備であることを意味する.) まず背景となる事項から始めよう．局所凸位相ベクトル空間 ''V'' は半ノルムの族により定まる位相を持つ．任意の半ノルムに対し，その単位球は0の対称な閉凸近傍であり，逆に0の任意の対称な閉凸近傍はある半ノルムの単位球である． (複素ベクトル空間に対しては，「対称」という条件は「均衡」に置き換えられる.) ''p'' を ''V'' 上の半ノルムとするとき，''V'' を半ノルム ''p'' で完備化したバナッハ空間を ''Vp'' と書くことにする. ''V'' から ''Vp'' には自然な写像が存在する (単射であるとは限らない). ''q'' を別の半ノルムで，''p'' よりも大きいものとするとき，''Vq'' から ''Vp'' への自然な写像であって，自然な写像 ''V'' → ''Vp'' を ''V'' → ''Vq'' → ''Vp'' のように分解するものが存在する．これはつねに連続である．空間 ''V'' が核型であるとは，これが核作用素になるというより強い条件を満たすことである． 核作用素であるという条件は微妙であり，詳しいことは関連記事を参照されたい． 定義1：核型空間とは，局所凸位相ベクトル空間であって，任意の半ノルム ''p'' に対しより大きい半ノルム ''q'' で ''Vq'' から ''Vp'' への自然な写像が核型となるものが存在する，という性質を持つもの． これは，平たく言えば，ある半ノルムの単位球が与えられたとき，別の半ノルムの単位球で「より小さい」ものをその内側に見つけることが出来ることを，あるいは0の任意の近傍が「より小さい」近傍を含むことを意味する．この条件はすべての半ノルム ''p'' に対して確かめる必要はない；位相を生成する半ノルムの集合，つまり位相の準基底となる半ノルムの集合について確かめれば十分である． 抽象的なバナッハ空間と核作用素を用いる代わりに，ヒルベルト空間とトレースクラス作用素の言葉で定義をあたえることも出来て，こちらの方が理解しやすい．(ヒルベルト空間に対しては核作用素のことをトレースクラス作用素と呼ぶことが多い．) 半ノルム ''p'' がヒルベルト半ノルムであるとは，''V''''p'' がヒルベルト空間になあること．言い換えれば，''p'' が''V'' 上の半正定値半双線形形式から来ること． 定義2：核型空間とは，その位相がヒルベルト半ノルムの族により定義される位相ベクトル空間であって，任意のヒルベルト半ノルム ''p'' に対しより大きなヒルベルト半ノルム ''q'' であって''V''''q'' から ''V''''p'' への自然な写像がトレースクラスになるものが存在する，という性質をみたすもの． トレースクラス作用素の代わりにヒルベルト・シュミット作用素を用いる人もいて，少し差異を生じる．任意のトレースクラス作用素はヒルベルト・シュミット型であり，二つのヒルベルト・シュミット作用素の積はトレースクラスである． 定義3：核型空間とは，その位相がヒルベルト半ノルムの族により定義される位相ベクトル空間であって，任意のヒルベルト半ノルム ''p'' に対しより大きなヒルベルト半ノルム ''q'' であって''V''''q'' から ''V''''p'' への自然な写像がヒルベルト・シュミット型になるものが存在する，という性質をみたすもの． 任意の局所凸位相ベクトル空間からバナッハ空間への核作用素の概念を用いれば，以下のもっと短い定義を与えることができる： 定義4：核型空間とは，局所凸位相ベクトル空間であって任意の半ノルム ''p'' に対し ''V'' から ''V''''p'' への自然な写像が核作用素となるもの. 定義5：核型空間とは，局所凸位相ベクトル空間であってバナッハ空間への任意の連続線形写像が核作用素となるもの． グロタンディークが用いた定義は次のものに近い： 定義6：核型空間とは，局所凸位相ベクトル空間 ''A'' であって，任意の局所凸位相ベクトル空間 ''B'' に対し ''A'' と ''B'' の射影的テンソル積から単射的テンソル積への自然な写像が同型になるもの． 実はこの定義は ''B'' がバナッハ空間の場合を考えれば十分であり，さらに言えば絶対収束する数列のなすバナッハ空間 ''l''1 について確かめれば十分である． 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「核型空間」の詳細全文を読む スポンサード リンク
|