标签：教程 psi 二次 算术 phi 笔记 cdots ax oplus
二次型
令\(V\)是交换环\(K\)上的模，如果函数\(Q: V \to K\)满足
- 对任意\(a\in K, v \in V\)，都有\(Q(ax) = a^2 Q(x)\)
- \(Q(x+y) - Q(x) - Q(y)\)是双线性形式。
那么\((V,Q)\)就称为\(K\)上的二次型。本章中，我们设\(K\)为特征不为2的域，因此我们可以定义两个向量\(x,y \in V\)的内积为
\[x. y = \frac{1}{2}(Q(x+y) -Q(x) - Q(y)) \]可以发现\(x. y = y. x\)且\(Q(x) = x. x\)（如果特征为2则不成立）。如果\(x. y =0\)则称\(x,y\)正交，与一个集合\(H\)正交的子空间记为\(H^ \perp\)。\(V^ \perp\)称为二次型的根，它的余维数称为二次型\((V, Q)\)的秩，如果\(V^ \perp = 0\)我们就称\((V, Q)\)是非退化二次型。
等价、直和与表示
通过内积，我们还可以将二次型写成矩阵形式：令\(A_{ij} = e_i . e_j\)，则\(A\)是对称矩阵且\(Q(x) = x^\top A x\)。\(A\)的行列式也称\(Q\)的行列式。对于非退化二次型，\(A\)是可逆矩阵。两个二次型\(\psi, \phi\)如果满足\(\phi(x) = \psi(Cx)\)则称\(\phi, \psi\)等价，记为\(\phi \sim \psi\)。显然此时\(A_\phi = C^\top A_\psi C\)。
令\((Q, V)\)和\((Q', V')\)是\(K\)上两个二次型，我们定义两个新的二次型\(V \oplus V' \to K\)，称为\(V, V'\)的直和：
\[(Q \oplus Q')(v, v') = Q(v) + Q'(v') \]\[(Q \ominus Q')(v, v') = Q(v) - Q'(v') \]如果存在\(x\neq 0 \in V\)满足\(Q(x) = a\)，就称\(Q\)表示\(a\)。对于非退化的\(Q(X_1, \dots , X_{n})\)，我们有以下3个等价命题：
- \(Q\)表示\(a\)。
- \(Q \sim H \oplus ax^2\)，其中\(H\)是秩为\(n-1\)的二次型。
- \(Q \ominus ax^2\)表示0。
这个等价命题有助于使用归纳法证明二次型的性质。
有限域上的二次型
\(F_q\)上秩为n的非退化二次型是以下2种形式之一
- \(x_1^2 + \cdots + x_{n-1}^2 + x_n^2\)
- \(x_1^2 + \cdots + x_{n-1}^2 + ax_n^2\)
其中\(a\)是\(F_q\)中非平方的元素。
要证明这一点，我们令
\[Q_r = x_1^2 + \cdots + x_r + a(x_{r+1} + \cdots + x_n) \]我们只需证明\(Q_r \sim Q_s\)当且仅当\(r = s \mod 2\)。
标签：教程,psi,二次,算术,phi,笔记,cdots,ax,oplus 来源： https://www.cnblogs.com/euler57721/p/15610587.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。