フレドホルム核

数学の分野におけるフレドホルム核（フレドホルムかく、テンプレート:Lang-en-short）とは、あるバナッハ空間上の核で、その空間の核作用素と関連するものである。フレドホルム積分方程式およびフレドホルム作用素の概念の一つの抽象化であり、フレドホルム理論における主要な研究対象の一つとなっている。その名称は、エリック・イヴァル・フレドホルムにちなむ。フレドホルム核に関する抽象理論の多くは、アレクサンドル・グロタンディークによって研究され、その内容は 1955 年の出版物に見られる。

定義

B を任意のバナッハ空間とし、B^* をその双対空間、すなわち、B 上の有界線型汎函数からなる空間とする。テンソル積 $B^{*}\otimes B$ には、ノルム

$\Vert X{\Vert }_{\pi }=\inf \sum _{\{i\}}\Vert e_i^{*}\Vert \Vert e_i\Vert$

の下での完備化が存在する。但しここで、上式の下限は、すべての有限な表現

$X=\sum _{\{i\}}{e}_i^{*}{e}_i\in B^{*}\otimes B$

に関して取られるものとする。

そのようなノルムの下での完備化は、しばしば

$B^{*}{\hat{\otimes }}_{\pi }B$

のように記述され、テンプレート:仮リンクと呼ばれる。この空間の元が、フレドホルム核と呼ばれる。

性質

すべてのフレドホルム核は、次のような形式で表現することが出来る：

$X=\sum _{\{i\}}{\lambda }_i{e}_i^{*}\otimes e_i$

ここで $e_i\in B$ および $e_i^{*}\in B^{*}$ は $\Vert e_i\Vert =\Vert e_i^{*}\Vert =1$ を満たすようなものであり、

$\sum _{\{i\}}|{\lambda }_i|<\mathrm{\infty }$

が成立している。

そのような核に対応するものは、正準表現

${ℒ}_{X}f=\sum _{\{i\}}{\lambda }_i{e}_i^{*}(f)\otimes e_i$

の存在する線型作用素

${ℒ}_X:B\to B$

である。

すべてのフレドホルム核に対応するものは、

$\text{tr}X=\sum _{\{i\}}{\lambda }_i{e}_i^{*}(e_i)$

で定義される、トレースである。

p-総和可能な核

フレドホルム核は、

$\sum _{\{i\}}|{\lambda }_i{|}^p<\mathrm{\infty }$

が成立するとき、p-総和可能（p-summable）であると言われる。

フレドホルム核は、それが p-総和可能であるようなすべての $0<p\le 1$ についての下限が q であるとき、次数 q であると言われる。

バナッハ空間上の核作用素

作用素 $ℒ:B\to B$ は、$ℒ={ℒ}_X$ であるような $X\in B^{*}{\hat{\otimes }}_{\pi }B$ が存在するとき、核作用素であると言われる。そのような作用素が p-総和可能あるいは次数 q であるとは、X がそれらの性質を満たすことを言う。一般的に、そのような核作用素の対応する核 X は唯一つであるとは限らない。したがって、そのトレースは一意には定まらない。しかし、次数が $q\le 2/3$ を満たすなら、そのトレースは一意に定まる。これはグロタンディークの定理によるものである。

グロタンディークの定理

$ℒ:B\to B$ をある作用素とする。その次数が $q\le 2/3$ を満たすなら、そのトレースは

$\text{Tr}ℒ=\sum _{\{i\}}{\rho }_i$

のように定義されうる。ここで、${\rho }_i$ は $ℒ$ の固有値とする。また、そのフレドホルム行列式は、z の整関数

$\det (1-zℒ)=\prod _i(1-{\rho }_{i}z)$

である。関係式

$\det (1-zℒ)=\exp \text{Tr}\log (1-zℒ)$

も同様に成立する。最後に、$ℒ$ がある複素数値パラメータ w によって関連付けらなら、すなわち、$ℒ={ℒ}_w$ であり、そのパラメータ付けがある領域上で正則であるなら、

$ℒ={ℒ}_w$

も同じ領域上で正則となる。

例

ある重要な例として、領域 $D\subset {ℂ}^k$　上の正則関数からなるバナッハ空間が挙げられる。この空間においては、すべての核作用素の次数はゼロであり、したがってトレースクラスである。

核空間

核作用素の概念は、フレシェ空間にも適用される。テンプレート:仮リンクとは、その空間から任意のバナッハ空間へのすべての有界写像が核作用素であるようなフレシェ空間のことを言う。

参考文献

• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:SpringerEOM
• テンプレート:Cite journal