数学 › 関数解析と作用素論 › Fredholm 理論

正則化行列式

定義 7.7(「Fredholm 理論」§7)

A∈S2(H)A\in\mathcal{S}_2(\mathcal{H}) に対し det⁡2(1+A)=det⁡(1+R2(A))=det⁡((1+A)e−A)\det_2(1+A)=\det\bigl(1+R_2(A)\bigr)=\det\bigl((1+A)e^{-A}\bigr) と定める。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。