Let . This operator is self-adjoint, andIf condition (iii) holds, this quadratic form vanishes. For a real inner product, polarization givesTherefore , which is condition (i). This supplies the nontrivial reverse implication needed for the equivalence.
Articles by others on the same topic
There are currently no matching articles.