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 (0)

There are currently no matching articles.