Write with . Since is self-adjoint, is real. The cross term in the squared norm therefore vanishes:This proves the equality and lower bound, and makes both and injective.
If converges, the lower bound shows is Cauchy. Completeness gives and boundedness gives , so the range is closed. Also , so the range is dense. Being both closed and dense, it equals . Hence is bijective, and its lower bound gives
Articles by others on the same topic
There are currently no matching articles.