Bài tập 3, Phụ lục 0

Cho E và F là hai không gian vectơ thực và $u$ là một ánh xạ tuyến tính của E vào F; nếu Q và H là các dạng toàn phương dương trên F sao cho $H(x) = 0$ kéo theo $Q(x) = 0$ với $x \in F$, thì $\operatorname{Tr}(Q \circ u / H \circ u) \leq \operatorname{Tr}(Q/H)$.