高等代数 具有度量的线性空间(第10章)5 正交空间与辛空间

一.洛伦兹变换与闵可夫斯基空间(10.6)
1.伽利略变换(Galileo Transformation):

2.洛伦兹变换(Lorentz Transformation):

3.闵可夫斯基空间(Minkowski Space):

二.正交空间(10.6)
1.正交空间
(1)正交空间的概念:

(2)正交:

(3)非/全迷向的正交空间:

命题1:如果正交空间$(V,f)$是非迷向的,那么它一定是正则的,即$f$一定是非退化的

命题2:设$charF\ne 2$,若正交空间$(V,f)$是全迷向的,则$f=0$

(4)正交空间的子空间:


(5)正交补:

定理1:设$(V,f)$是域$F$上有限维正则的正交空间,$W$是$V$的1个子空间,则
$$\begin{gathered} (1)\dim W+\dim W^{\perp }=\dim V(11) \\ (2)(W^{\perp }{)}^{\perp }=W(12) \end{gathered}$$

2.正交基
(1)正交基:

定理2:特征不为2的域$F$上的$n$维正交空间$(V,f)$一定存在正交基

(2)标准正交基:

(3)利用正交基表示向量:

命题3:设$(V,f)$是域$F$上的$n$维正则的正交空间,${\alpha }_1,{\alpha }_2...{\alpha }_n$是它的1个正交基,则对$V$中任一向量$\beta$,有$$\beta =\sum _{i=1}^n\frac{f(\beta ,{\alpha }_i)}{f({\alpha }_i,{\alpha }_i)}{\alpha }_i(15)$$

(4)直和与正交:

定理3:设$(V,f)$是域$F$上的正交空间,$W$是$V$的有限维非平凡子空间,则$$V=W\oplus W^{\perp }(16)$$的充要条件是$W$为正则子空间

3.同构映射
(1)概念:

(2)保距同构的判定:

定理4:设$(V_1,f_1),(V_2,f_2)$是特征不等于2的域$F$上的2个$n$维正交空间,则$V_1$到$V_2$的线性同构$\sigma$是保距同构当且仅当$F$上的$n$元二次型$x^{\prime }Ax,y^{\prime }By$等价,其中$A$是$f_1$在$V_1$的1个基${\alpha }_1,{\alpha }_2...{\alpha }_n$下的度量矩阵,$B$是$f_2$在$V_2$的1个基${\beta }_1,{\beta }_2...{\beta }_n$下的度量矩阵,$x=P^{-1}y,P$是$\sigma$关于${\alpha }_1,{\alpha }_2...{\alpha }_n,{\beta }_1,{\beta }_2...{\beta }_n$的矩阵

推论1:设$(V_1,f_1),(V_2,f_2)$是特征不等于2的域$F$上的2个$n$维正交空间,则$V_1$到$V_2$的线性同构$\sigma$是保距同构当且仅当$f_1$在$V_1$的1个基下的度量矩阵$A$与$f_2$在$V_2$的1个基下的度量矩阵$B$合同,即$A=P^{\prime }BP$,其中$P$是$\sigma$关于$V_1$的上述1个基与$V_2$的上述1个基下的矩阵

(3)正交空间保距同构的判定:

定理5:实数域上2个$n$维正交空间$(V_1,f_1),(V_2,f_2)$同构(即保距同构)的充要条件是$f_1$在$V_1$的1个基下的度量矩阵$A$与$f_2$在$V_2$的1个基下的度量矩阵$B$有相同的秩和正惯性指数

定理6:复数域上2个$n$维正交空间$(V_1,f_1),(V_2,f_2)$同构(即保距同构)的充要条件是$f_1$在$V_1$的1个基下的度量矩阵$A$与$f_2$在$V_2$的1个基下的度量矩阵$B$有相同的秩

三.正交空间上的正交变换(10.6)
1.概念:

2.判定:

定理7:设$(V,f)$是域$F$上$n$维正则的正交空间,则$\text{T}$是$V$上的正交变换当且仅当其是$V$到自身的同构映射

定理8:设$(V,f)$是特征不为2的域$F$上$n$维正则的正交空间,$q$是$f$对应的二次函数,则$V$上的线性变换$\text{T}$是正交变换当且仅当下式成立:$$q(\alpha )=q(\text{T}\alpha )(22)$$

定理9:设$(V,f)$是特征不为2的域$F$上$n$维正则的正交空间,$f$在$V$的1个基${\alpha }_1,{\alpha }_2...{\alpha }_n$下的度量矩阵为$A,V$上的1个线性变换$\text{T}$在基${\alpha }_1,{\alpha }_2...{\alpha }_n$下的矩阵是$T$,则$\text{T}$是$V$上的正交变换当且仅当$$T^{\prime }AT=A$$

推论1:条件同定理9,$\text{T}$在$V$的任意1个基下的矩阵$T$的行列式等于$\pm 1$

3.闵可夫斯基空间与广义洛伦兹变换:

四.辛空间(10.6)
1.辛空间:

2.辛基
(1)概念与存在性:

定理10:域$F$上$n$维辛空间$(V,f)$中存在1个基${\delta }_1,{\delta }_{-1}...{\delta }_r,{\delta }_{-r},{\eta }_1...{\eta }_s$,使得$$\begin{gathered} f({\delta }_i,{\delta }_{-i})=-f({\delta }_{-i},{\delta }_i)=1(i=1,2...r) \\ f({\delta }_i,{\delta }_j)=0(i+j\ne 0) \\ f({\delta }_i,{\eta }_k)=0(i=\pm 1...\pm r,k=1,2...s) \\ f({\eta }_j,{\eta }_k)=0(j,k=1,2...s) \end{gathered}$$这个基称为$(V,f)$的辛基

把定理10中的辛基重排一下次序,得到:$${\delta }_1...{\delta }_r,{\delta }_{-1}...{\delta }_{-r},{\eta }_1...{\eta }_s(26)$$这个基也称为辛基,容易看出,$f$在该基下的度量矩阵为$$\left[\begin{array}{ccc}0& I_r& 0\\ -I_r& 0& 0\\ 0& 0& 0\end{array}\right](27)$$推论1:域$F$上有限维正则的辛空间一定是偶数维的

(2)用辛基表示向量:

命题4:设$(V,f)$是$n=2r$维正则的辛空间,其1个辛基是${\delta }_1,{\delta }_{-1}...{\delta }_r,{\delta }_{-r}$,则对$\forall \alpha \in V$,有$$\alpha =\sum _{i=1}^r[f(\alpha ,{\delta }_{-i}){\delta }_i-f(\alpha ,{\delta }_i){\delta }_{-i}](28)$$

3.辛空间及其子空间
(1)辛空间的子空间的性质:

定理11:设$(V,f)$是域$F$上有限维正则的辛空间,$W$是$V$的有限维非平凡子空间,则$$\begin{gathered} (1)\dim W+\dim W^{\perp }=\dim V \\ (2)(W^{\perp }{)}^{\perp }=W \end{gathered}$$

(2)辛空间的分解:

定理12:设$(V,f)$是域$F$上的辛空间,$W$是$V$的有限维非平凡子空间,则$$V=W\oplus W^{\perp }(29)$$的充要条件是$W$为正则的子空间

定理13:域$F$上有限维辛空间$(V,f)$一定能分解成一些2维正则子空间与1维非正则子空间的正交直和

4.辛空间的同构:

定理14:域$F$上2个有限维辛空间$(V_1,f_1),(V_2,f_2)$同构的充要条件是$V_1,V_2$有相同的维数且$f_1,f_2$有相同的矩阵秩

推论1:域$F$上2个有限维正则的辛空间同构的充要条件是它们有相同的维数

五.辛变换(10.6)
1.辛变换
(1)概念:

(2)判定:

定理15:设$(V,f)$是域$F$上有限维正则的辛空间,则$\mathcal{B}$是$V$上的辛变换当且仅当$\mathcal{B}$是$V$到自身的1个同构映射

定理16:设$(V,f)$是$n$维正则辛空间,则$V$上的线性变换$\mathcal{B}$是辛变换当且仅当$$B^{\prime }AB=A$$其中$B$是$\mathcal{B}$在$V$的辛基${\delta }_1...{\delta }_r,{\delta }_{-1}...{\delta }_{-r}$下的矩阵,$A$形如$(31)$式

2.辛矩阵
(1)概念:

(2)性质:

(定理16的)推论1:域$F$上的$n=2r$级矩阵$B$如果是辛矩阵,那么$|B|=\pm 1$

定理17:辛矩阵的行列式等于1