フレドホルム核

数学の分野におけるフレドホルム核（フレドホルムかく、）とは、あるバナッハ空間上の核で、その空間の核作用素と関連するものである。フレドホルム積分方程式およびフレドホルム作用素の概念の一つの抽象化であり、フレドホルム理論における主要な研究対象の一つとなっている。その名称は、エリック・イヴァル・フレドホルムにちなむ。フレドホルム核に関する抽象理論の多くは、アレクサンドル・グロタンディークによって研究され、その内容は 1955 年の出版物に見られる。
定義.
"B" を任意のバナッハ空間とし、"B"* をその双対空間、すなわち、"B" 上の有界線型汎函数からなる空間とする。テンソル積 formula_1 には、ノルム
の下での完備化が存在する。但しここで、上式の下限は、すべての有限な表現
に関して取られるものとする。
そのようなノルムの下での完備化は、しばしば
のように記述され、と呼ばれる。この空間の元が、フレドホルム核と呼ばれる。
性質.
すべてのフレドホルム核は、次のような形式で表現することが出来る：
ここで formula_6 および formula_7 は formula_8 を満たすようなものであり、
が成立している。
そのような核に対応するものは、正準表現
の存在する線型作用素
である。
すべてのフレドホルム核に対応するものは、
で定義される、トレースである。
"p"-総和可能な核.
フレドホルム核は、
が成立するとき、"p"-総和可能（"p"-summable）であると言われる。
フレドホルム核は、それが "p"-総和可能であるようなすべての formula_14 は、formula_15 であるような formula_16 が存在するとき、核作用素であると言われる。そのような作用素が "p"-総和可能あるいは次数 "q" であるとは、"X" がそれらの性質を満たすことを言う。一般的に、そのような核作用素の対応する核 "X" は唯一つであるとは限らない。したがって、そのトレースは一意には定まらない。しかし、次数が formula_17 を満たすなら、そのトレースは一意に定まる。これはグロタンディークの定理によるものである。
グロタンディークの定理.
formula_18 をある作用素とする。その次数が formula_17 を満たすなら、そのトレースは
のように定義されうる。ここで、formula_21 は formula_22 の固有値とする。また、そのフレドホルム行列式は、"z" の整関数
である。関係式
も同様に成立する。最後に、formula_22 がある複素数値パラメータ "w" によって関連付けらなら、すなわち、formula_26 であり、そのパラメータ付けがある領域上で正則であるなら、
formula_26
も同じ領域上で正則となる。
例.
ある重要な例として、領域 formula_28　上の正則関数からなるバナッハ空間が挙げられる。この空間においては、すべての核作用素の次数はゼロであり、したがってトレースクラスである。
核空間.
核作用素の概念は、フレシェ空間にも適用される。とは、その空間から任意のバナッハ空間へのすべての有界写像が核作用素であるようなフレシェ空間のことを言う。