习题 3, 附录 0

设E和F是E到F中的两个实数向量空间和$u$线性映射；如果 Q 和 H 是 F 上的正二次形式，使得 $H(x) = 0$ 对于 $x \in F$ 意味着 $Q(x) = 0$，则 $\operatorname{Tr}(Q \circ u / H \circ u) \leq \operatorname{Tr}(Q/H)$。