二次型惯性定理

最新推荐文章于 2024-11-19 21:28:12 发布

Nightmare004

最新推荐文章于 2024-11-19 21:28:12 发布

阅读量2.1k

点赞数 5

分类专栏：数学文章标签：线性代数

本文链接：https://blog.csdn.net/qq_39942341/article/details/119907106

版权

数学专栏收录该内容

145 篇文章

订阅专栏

该博客探讨了实二次型通过可逆变换化为唯一规范型的过程，并证明了规范型的唯一性。内容涉及矩阵变换、二次型的标准型和规范型，以及秩的概念。通过变换y_i=1/d_i*z_i消去负项，得到规范型，最后通过反证法证明了秩的唯一性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

任何一个实二次型 $f$ ，都可以经过可逆变换化为唯一规范型
$f=z_1^2+z_2^2 +\dots z_r^2$
其中 $r$ 是 $f$ 的秩

证明：
设可逆变换 $X = C Y$ 化为标准型
$f=d_1 y_1^2 +\dots d_p y_p^2-d_{p+1}y_{p+1}^2 -\dots d_{r} y_{r}^2$
其中 $d_i>0(i=1,2,\dots,r)$

再做 $y_i=\frac{1}{\sqrt{d_i}} z_i(i=1,2,\dots,r)$ ,化为规范型
$f=z_1^2+z_2^2+\dots z_p^2 -z_{p+1}^2-\dots -z_r^2$

现在证明唯一性
设有两个可逆变换 $X=C_1 Y,X=C_2 Z$
使得
$\begin{aligned} f&=y_1^2+y_2^2+\dots y_p^2 -y_{p+1}^2-\dots -y_r^2\\ &=z_1^2+z_2^2+\dots z_q^2 -z_{q+1}^2-\dots -z_r^2 \end{aligned}$
现在要证明 $p = q$
假设 $q < p < r$
设 $C_1=(\xi_1,\xi_2,\cdots,\xi_n),C_2=(\eta_1,\eta_2,\cdots,\eta_n)$
考虑向量组
$\xi_1,\dots,\xi_p,\xi_{r+1},\dots,\xi_{n},\eta_{q+1},\dots ,\eta_{r}$
个数 $p + (n - r) + (r - q) = n + (p - q) > n$
所以线性相关
存在不全为 $0$ 的数 $y_1,\dots,y_p,y_{r+1},\dots ,y_{n},z_{q+1},\dots,z_{r}$
使得
$y_1\xi_1+\dots +y_p\xi_p+y_{r+1} \xi_{r+1}+\dots +y_{n}\xi_{n}+z_{q+1}\eta_{q+1}+\dots +z_{r}\eta_{r}=0$
于是
$\begin{aligned} &\quad y_1\xi_1+\dots +y_p\xi_p+y_{r+1} \xi_{r+1}+\dots +y_{n}\xi_{n}\\ &=-(z_{q+1}\eta_{q+1}+\dots +z_{r}\eta_{r})\\ &=X\neq 0 \end{aligned}$
$f(X)=y_1^2+y_2^2+\dots +y_{p}^2\ge 0$
$f(X)=-z_{q+1}^2\dots -z_{r}^2 < 0$
矛盾
$p < q$ 同理
所以 $p = q$