The intended self-adjoint operator identity is , with the inner product linear in its first argument. The printed second must be . Taken literally, the printed identity forces : put and then vary . Its spectral conclusion is then trivial, but it does not define self-adjointness.
For the corrected identity, is real. If , the Cauchy-Schwarz inequality gives
Thus is injective and bounded below, so its range is closed: a convergent image sequence has a Cauchy sequence of preimages. Its range is dense because its orthogonal complement is , also zero by the same lower bound. Hence it is surjective with inverse norm at most . Therefore

Articles by others on the same topic (0)

There are currently no matching articles.