Theorem 4.12 (i) — ⟨ψ, Aψ⟩ < λ‖ψ‖² on a k-dimensional span forces dim Ran P_A((−∞, λ)) ≥ k

Initializing...

Theorem 4.12 (i) — ⟨ψ, Aψ⟩ < λ‖ψ‖² on a k-dimensional span forces dim Ran P_A((−∞, λ)) ≥ k · Prove2Me