直接用定义计算行列式是很麻烦的事,本节要导出行列式运算的一些性质,利用这些性质,将使行列式的计算大为简化

6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义

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

4.4.2关于特征向量与特征子空间的一些性质 命题线性变换的属于不同特征值的特征向量线性无关。 证明设A为VK上的线性变换,,2,是两两不同的特征值,(1≤i≤t)是 属于特征子空间V的特征向量,设k,k2,k,∈K,使得k5+k252+…+k5=0,两 边用A作用(i=1,2,…,-1),于是得到方程组

4.3.4线性变换的定义与运算 定义线性空间到自身的线性映射称为线性变换,记Hom(V,V)为Endr(V)或End (V)。 例恒同变换

4.2.7线性空间关于一个子空间的同余关系 定义给定K上的线性空间V,M是V的子空间,设a是V的一个向量。如果V的 一个向量a'满足:a-a∈M,则称a'与a模M同余,记作a'=a(modM) 易见,同余关系是V上的一个等价关系

上一节我们定义了向量组的秩,如果把矩阵的每一行看成 一个向量,那么矩阵就是由这些行向量组成的。同样,如果把 矩阵的每一列看成一个向量,则矩阵也可以看作是由这些列向 量组成的。 定义3.4.1所谓矩阵的行秩是指矩阵的行向量所组成的 向量组的秩,矩阵的列秩是由矩阵列向量所称向量组的秩

3.1消元法 a1x+a12x2+…+anxn=b 对一般线性方程组{a21x+a2x2++a2nx(1) amxr +am2x2++. 当m=n,且系数行列式D≠0时,我们知方程组(1)有唯一解, 其解由 Gramer法则给出。但是若此时D=0,我们无法知道此时 方程组是有解,还是无解。同时,当m≠n时,我们也没有解 此方程组(1)的有效方法。因此我们有必要对一般线性方程

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

1.正交变换 设V是n维欧氏空间,A是V内一个线性变换.如果对任意a,B∈V都有