リース射影

定義 5.1（「作用素の収束と摂動」§5）

$T$ を閉作用素、 $\Gamma$ を $\rho(T)$ に含まれる正の向きの円周とする。

P_\Gamma(T) = -\frac{1}{2\pi i}\oint_\Gamma (T - z)^{-1}\,dz

（ $z\mapsto(T-z)^{-1}$ はノルム連続なのでリーマン積分としてノルム収束する）を $\Gamma$ に関するリース射影という。

閉包の状態

定義

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

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

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