2.1.1向量和m维向量空间的定义及性质 定义(向量)设K是一个数域。K中m个数a1a2,m所组成的一个m元有序数组称为一个m维向量

命题正交矩阵的特征多项式的根的绝对值等于1 证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0 在C内有非零解向量

2.正定二次型: 正惯性指数等于变元个数的实二次型称为正定二次型: 正定二次型的(实对称)矩阵称为正定矩阵 设A=(an)为n阶实对称矩阵,称A的r阶子式

定理3.5.1(线性方程组有解的判别定理): 线性方程组(3.5.1)有解的充要条件是它的 系数矩阵A与增广矩阵A有相同的秩

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=axn+a1x-+…+anx+an∈K[x],定义 f(x)=naxn-+(n-1)a1xn-2+…+an-∈[x] 称f(x)为f(x)的一阶形式微商

2.正定二次型: 正惯性指数等于变元个数的实二次型称为正定二次型: 正定二次型的(实对称)矩阵称为正定矩阵 设A=(an)为n阶实对称矩阵,称A的r阶子式 12 2 为方阵的顺序主子式。 定理设f是实二次型,则下述四条等价:

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0在C内有非零解向量

4.4.1线性变换的特征值与特征向量的定义 定义若存在非零向量ξ∈V,使得对于某个∈K,有A5=5,则称ξ是A的属于特征值λ的特征向量。命题线性空间V中属于确定的特征值λ的特征向量(添加上零向量)构成子空间。证明设51,52是属于的特征向量,Vk,∈K

第六章6-4四维时空空间与辛空间 在狭义相对论中,用三个空间坐标和一个时间坐标来刻画一个物体的运动,称为四维时 空空间 在R上规定一个特殊的度量f(a,B)=x1y1+x2y2+x3y3-x4y4(其中a=( x,x2,x3,x4)',B=(y1,y2,y3,y4)),称为四维时空空间的度量

第六章6-4四维时空空间与辛空间 在狭义相对论中,用三个空间坐标和一个时间坐标来刻画一个物体的运动,称为四维时 空空间 在R上规定一个特殊的度量f(a,B)=x1y1+x2y2+x3y3-x4y4(其中a=( x1,x2,x3,x4),B=(y1,y2,y3,y4),称为四维时空空间的度量 令 1000 0100 I= 0010 L000-1 在R内取定基