ミニマックス値

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

$A$ を下に有界な自己共役作用素とする。 $n \in \mathbb{N}$ について

\mu_n(A) = \sup_{\varphi_1,\ldots,\varphi_{n-1}\in\mathcal{H}}\ \inf\bigl\{\langle\psi, A\psi\rangle : \psi\in D(A),\ \|\psi\| = 1,\ \psi\perp\varphi_1,\ldots,\varphi_{n-1}\bigr\}

と定める（ $n=1$ では条件なしの下限）。

閉包の状態

定義

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

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