P
Initializing...
Theorem 4.12 (ii) — ‖(A − (λ₂+λ₁)/2)ψ‖ < ((λ₂−λ₁)/2)‖ψ‖ on a k-dimensional span forces dim Ran P_A((λ₁, λ₂)) ≥ k · Prove2Me