二次型的西群
**二次型的西群**
我们先从二次型的基本概念开始。设 \( V \) 是域 \( F \) 上的有限维向量空间,\( Q: V \to F \) 是一个二次型,即满足 \( Q(av) = a^2 Q(v) \) 对所有 \( a \in F, v \in V \),且其极化形式 \( B_Q(v, w) = Q(v+w) - Q(v) - Q(w) \) 是双线性型。
---
**1. 正交群**
二次型 \( Q \) 的正交群 \( O(Q) \) 定义为保持 \( Q \) 的线
2025-11-25 17:48:58
0