二次型

定义 1 数域 \(\mathbb{F}\) 上的 \(n\) 元二次齐次函数 \[Q\left(x_1, x_2, \cdots, x_n\right)=\sum_{1 \leqslant i \leqslant j \leqslant n} a_{i j} x_i x_j \]称为 \(\mat