固有値の計数関数

定義 2.1（「Dirichlet ラプラシアンの固有値と Weyl 則」§2）

$\lambda\in\mathbb{R}$ について $N(\lambda;A)=\dim\operatorname{Ran}E_A\bigl((-\infty,\lambda]\bigr)\in\{0,1,2,\ldots\}\cup\{\infty\}$ とおく。

閉包の状態

定義

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

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

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