数学专业毕业论文-几类与矩阵的秩有关的问题.doc

几类与矩阵的秩有关的问题several types of issues related to the rank of matrix 专 业: 数学与应用数学 作者: 指导老师: 学校二一 摘 要本文研究了与矩阵的秩有关的几类问题, 用定理和实例说明了矩阵的秩在向量的线性关系; 求解线性方程组; 判断空间中点线面的位置关系; 二次型; 线性变换等方面的应用.关键词: 矩阵的秩; 向量; 线性方程组; 位置关系; 二次型; 线性变换abstractthis article study several types of issues related to the rank of matrix, theorem and the examples used the rank of the matrix in the linear relationship between vector, solving linear equations, determine spatial point line surface location relationship, quadratic, linear transformationand other applications.keywords: rank of matrix; vector; linear equations; set relations; quadratic; linear transformationand ii 目录摘 要iabstractii0 引言11矩阵的秩的定义及简单性质12矩阵的秩与向量的线性关系23矩阵的秩与线性方程组的解44矩阵的秩与空间中的点线面位置关系75矩阵的秩与二次型106矩阵的秩与线性变换13参考文献 160 引言 矩阵理论是高等代数的主要内容之一, 在数学及其它科学领域中有着广泛的应用.在矩阵理论中, 矩阵的秩是一个重要的概念. 它是矩阵的一个数量特征, 而且是初等变换下的不变量. 本文归纳了矩阵的秩与向量的线性关系; 线性方程组的求解; 空间中点面位置关系; 二次型理; 线性变换等问题的密切的联系.1 矩阵的秩的定义及简单的公式1.1 矩阵的秩的定义 定义 一个向量组的极大线性无关组所含向量的个数称为这个向量组的秩. 所谓矩阵的行秩就是矩阵的行向量组的秩, 矩阵的列秩就是矩阵的列向量组的秩. 矩阵的行秩等于矩阵的列秩, 并统称为矩阵的秩. 另外, 矩阵的秩等于它的不为零的子式的最高阶数, 这是矩阵的秩的行列式定义.1.2 矩阵的秩的几个简单性质 (1.2.1) 秩() = 0, 当且仅当是零矩阵 (1.2.2) 秩() =, 当且仅当|0 (1.2.3) 设是矩阵, 则秩() (1.2.4) 秩秩+秩(1.2.5) (1.2.6) 设, 分别为与矩阵, 则秩min秩,秩, ,.2 矩阵的秩与向量的线性关系高等代数中, 判断向量组的线性相关性时, 我们的依据是向量组中的其中一个向量是否可以由其余的向量线性表出来. 这种做法简单易懂, 但对一些较为复杂的这类问题时解法复杂, 上述方法有一定的局限性. 我们可以用矩阵的秩的相关知识来解决这类问题. 首先, 有以下的结论.2.1 线性相关性的判断定理2.1 设 令=, 其中是矩阵, 为维列向量, 且= 则线性相关=0有非零解秩.线性无关=0只有零解秩=.例2.1 设为阶方阵, 为个线性无关的维向量, 证明: 秩=的充要条件是, , , 线性无关.证明 令=, 那么0.先证明必要性 设秩=, 所以0. 令 =0 （2.1.1） 用左乘（2.1.1）式得=0. 所以.即 , , , 线性无关.再证明充分性 因为, , , 线性无关，所以=0,从而0, 即 秩=2.2 极大线性无关组定理2.2 （1） : , 若在中存在个线性无关的向量, 且都可以由线性表出, 则称是的一个极大线性无关组, 且称秩=. （2） 两个等价的的向量具有相同的秩.（3） 若=, 其中是矩阵, 若线性无关, 则秩=秩.例2.2 设有向量组（） =, =, =,（） =, =, =.试问：当a为何值时, 向量组（）与（）等价? 当a为何值时, 向量组（）与（）不等价？解 作初等行变换, 有 = （1）当a时, 有行列式=0, 秩=3, 故线性方程组=均有惟一解. 所以可由向量组（）线性表示. 行列式=60, 秩=3, 故可由向量组（）线性表示.因此向量组（）与（）等价.（2）当a=时, 有由于秩秩, 线性方程组=无解, 故向量不能由线性表示. 因此, 向量组（）与（）不等价.3 矩阵的秩与线性方程组的求解线性方程组问题是高等代数中极其重要的一类问题, 在解决和讨论线性方程组的解的问题时, 我们可以运用矩阵的秩的知识.而线性方程组要解决的问题可以归纳为以下三类问题：1. 方程组是否有解？2. 方程组有解时, 解的个数是多少？3. 如何求出解? 对于上述三个问题, 无一不与矩阵的秩有关, 既有下面的定理.3.1 齐次线性方程组的求解定理3.1 设齐次线性方程组 (3.1)系数矩阵的秩. 且方程组(3.1)的解空间为. 则可以得到下列结论, 这里表示方程组(3.1)解空间的维数例3.1 求下列齐次线性方程组的一个基础解系, 并写出全部解 解 设方程组的系数矩阵为为, 将用初等行变换化为阶梯形矩阵=因此 秩=2, 基础解系所含向量个数=42=2所以 原方程的同解方程组为即 ,取=1, =0 代入得 =, =0得解向量 =;取=0, =1 代入得=, =1得解向量=.所以, 为原方程组的一个基础解系那么方程组的全部解为,其中,为任意常数.3.2 非其次线性方程组的求解定理3.2 设有非齐次线性方程组 (3.2)其中. 则有线性方程组(3.2)有解r()=r, 即系数矩阵的秩等于增广矩阵的秩;线性方程组(3.2)有唯一解;线性方程组(3.2)有无穷多组解例3.2 当, 取何值时, 线性方程组无解? 有解? 有解时, 求出一般解.解 对增广矩阵作一系列初等变换：.从而有：当 或者时, 故方程组无解;当, 且时, 0, 0(=1, 2, , ; =1, 2, , ). 称为正惯性指数, 为负惯性指数, 为符号差; 且秩=+, 其中为二次型的矩阵.例5.1 求二次型=的秩与符号差. 解 设对应的矩阵为, 则=,于是由=可得的特征值为 ,所以的秩=, 的符号差=.5.3矩阵的秩与二次型的正定设二次型=, 其中, 那么有以下的结论：正定的正惯性指数与秩都等于,负定的负惯性指数与秩都等于,半正定的正惯性指数与秩相等.例5.2设为阶满秩矩阵, 试证明: ()是一个正定二次型, 这里=.证明 设是满秩矩阵, 令=, 其中=, 则=是非退化线性替换, 且 ()= (5.2.1)由(5.2.1)看出, 此二次型的正惯性指数与秩都等于. 所以 ()是正定二次型.例5.3 设为阶实对称矩阵, 且正定. 为实矩阵. 为的转置矩阵.试证明：为正定矩阵的充分必要条件是秩=.证明 先证明充分性 首先由秩=, 知b0, 而为正定矩阵, 故0此即为正定矩阵.再证明必要性 用反证法 若秩, 则有非零实数解存在, 即=0,但0, 由为正定矩阵, 知 0= (5.3.1)另一方面, 因为=0, 所以 (5.3.2) 由于(5.3.1), (5.3.2)矛盾, 故秩=所以 为正定矩阵的充分必要条件是秩=.6 矩阵的秩与线性变换线性变换问题是高等代数中的一类重要问题, 同时也是线性代数的一个主要研究对象. 在线性空间中, 基于线性空间的一组基, 可以线性变换与矩阵的关系. 而矩阵的秩是矩阵的一个重要的数量特征. 因此, 可以用矩阵的秩来研究线性变换.6.1矩阵的秩与核的计算1设是上的维线性空间, 是的线性变换, 则称集合为的核, 记为或.2 若为v的一组基, 在基下的矩阵为, 则(i) =秩(ii)若秩=, 且的基础解系为, 则=, 其中 且为的一组基.6.2矩阵的秩与值域的计算1设是上的维线性空间, 是的线性变换, 则称集合为的值域, 记为.2 若为的一组基, 在基下的矩阵为, 则(i) =秩(ii) 令=,为的列向量. 若秩=,且为的列向量组的极大线性无关组, 则v=, 其中 且为的一组基.3 +=. 例6.1 设是维线性空间上的线性变换, 试证明: 秩=秩的充分必要条件是=.证明 (1)先证明充分性 设=, 因为 (6.1.1)且, 存在, 使. 于是可设, 其中 则此即 (6.1.2) 由(6.1.1), (6.1.2)即证明=. 故秩=dim=dim=秩. 再证明必要性 设秩=秩, 则秩+dim=dim+dim= =dim+dim (6.1.3) =秩+秩于是 dim=dim (6.1.4)但是 (6.1.5)于是由(6.1.4), (6.1.5)有 = (6.1.6)再证明 = (6.1.7)又因为, 使得, 且, 所以故, 即证明了(6.1.7). 由(6.1.3), (6.1.7). 可得=.致谢 本文是在 的指导和帮助下完成的, 在此对汪老师表示衷心的感谢!参考文献1张禾瑞, 郝鈵新. 高等代数（第五版）m. 北京：高等教育出版社,2007. 2北京大学数学系几何与代数教研室前代数小组. 高等代数(第三版)m. 北京:高等教育出版社,2003. 3丘维声. 高等代数m. 北京: 高等教育出版社, 1996.4钱吉林.高等代数解题精粹m. 北京： 中央民族大学出版社, 2002. 5张贤达. 矩阵分析及应用m. 北京: 清华大学出版社, 2004.6萧永震等. 空间解析几何解题指导m.天津： 天津科学技术出版社. 1990 7刘丁酋. 矩阵分析m. 武昌: 武汉大学出版社, 2003. 8.8雷雪萍. 高等代数中一道习题的推广j. 大学数学, 2006,22（4）：161-1