フレドホルム核

数学の分野におけるフレドホルム核（フレドホルムかく、英: Fredholm kernel）とは、あるバナッハ空間上の核で、その空間の核作用素と関連するものである。フレドホルム積分方程式およびフレドホルム作用素の概念の一つの抽象化であり、フレドホルム理論における主要な研究対象の一つとなっている。その名称は、エリック・イヴァル・フレドホルムにちなむ。フレドホルム核に関する抽象理論の多くは、アレクサンドル・グロタンディークによって研究され、その内容は 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^{*}{\widehat {\,\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\}}\vert \lambda _{i}\vert <\infty \,

が成立している。

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

{\mathcal {L}}_{X}f=\sum _{\{i\}}\lambda _{i}e_{i}^{*}(f)\otimes e_{i}\,

の存在する線型作用素

{\mathcal {L}}_{X}:B\to B

である。

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

{\mbox{tr}}X=\sum _{\{i\}}\lambda _{i}e_{i}^{*}(e_{i})\,

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

p-総和可能な核編集

フレドホルム核は、

\sum _{\{i\}}\vert \lambda _{i}\vert ^{p}<\infty

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

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

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

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