习题 6, 附录 0

标签 09TF，永久不变。引用为 [Bourbaki, Tag 09TF]。

积分, IX, p. 118

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令E为实数向量空间、Q、H和 $H_0$ E上的正二次形式。假设 $H \leq a \cdot H_0$ ，其中 $a$ 是正实数。证明 $\operatorname{Tr}(Q/H_0) \leq a \cdot \operatorname{Tr}(Q/H)$ 。（约化对于 E 是有限维的情况，由 No. 1 的注 1 确定，然后由命题 1 确定结论，利用 E 的基的存在性，该存在性与 H 和 $H_0$ 正交。）

解答

尚未写出解答。

被以下引用

无。

引用了

Remark 1
Prop. 1