1. Die Abbildung ist symmetrisch, also ist zu zeigen
\(\langle p, q\rangle = \langle q, p\rangle \)
Also für alle p,q
\(p(a) q(a)+p^{\prime}(b) q^{\prime}(b)+p^{\prime \prime}(c) q^{\prime \prime}(c) \)
\( = q(a) p(a)+q^{\prime}(b) p^{\prime}(b)+q^{\prime \prime}(c) p^{\prime \prime}(c) \)
Was wohl klar ist.
2. bilinear , also etwa
\(\langle p+r, q\rangle = \langle p, r\rangle +\langle q, r\rangle \)
Verwende dazu die Linearität der Ableitungen und das Distributivgesetz.
3. pos. definit: \(\langle p, p\rangle \ge 0 \)
\(\langle p, p\rangle \) ist die Summe dreier Quadrate, also OK.