The integral is conjugate-linear in , linear in , and conjugate-symmetric, by the corresponding properties of the integral and of complex conjugation. Also,If a polynomial is not zero, there is a real point with : a nonzero polynomial cannot vanish at every real point. By continuity, has a positive lower bound on a sufficiently small closed interval about . The continuous function also has a positive lower bound there. The integral over this interval is strictly positive. HenceTogether with the finiteness allowed in the question, these properties prove that the formula defines an inner product on .
Articles by others on the same topic
There are currently no matching articles.