减少隐士 ⇐ 文章草稿

[Anonymous]

在二次形式的理论中，真正积极的确定形式的“''hermite降低”是另一种真正的积极确定形式，它在下面定义的含义上相当于它的系数相当小。

==定义==
积极的确定形式
： q（x）= \ sum_ {i = 1}^n \ sum_ {j = 1}^nq_ {ij} x_ix_j < /math>
如果满足以下递归定义的条件，则 \ Mathbb r^n < /Math>是''Hermite减少''。
* 0
*表格 q'（x_2，\ dots，x_n）= q_ {11} q（x） - （q_ {11} x_1+\ cdots+\ c_ {1n} x_n）^2 是Hermite降低形式， u \ colon \ colon \ Mathbb z^n \ to \ Mathb z^N n Math