满秩矩阵及矩满秩分解毕业论文.doc

满秩矩阵及矩阵满秩分解 引言 矩阵是数学中的一个重要的基本概念,是代数学的一个主要研究对象,也是数学研究和应用的一个重要工具.“矩阵”这个词是由西尔维斯特首先使用的,他是为了将数字的矩形阵列区别于行列式而发明了这个述语.而实际上,矩阵这个课题在诞生之前就已经发展的很好了. 一 矩阵的秩 定义1.1[1] 一个矩阵中不等于零的子式的最大阶数叫做这个矩阵的秩.记作 . 利用定义1.1计算矩阵的秩运算量很大,故而给出矩阵秩的第二定义. 定义1.2[2] 矩阵的秩等于的行秩,也等于的列秩,即行秩等于列秩.行秩指矩阵行向量组的秩,列秩指矩阵列向量组的秩. 定理1.1 定义1.1和定义1.2等价. 证明 设的秩为,则有不等于零的阶子式.不妨设位于的左上角,设的前个列向量为.设,使得 考虑线性方程组 因为（2）的系数矩阵 中有一个不等于零的阶子式,所以的秩为,从而线性方程组的（2）只有零解.因此满足（1）式的,也即证明了线性无关. 设是的任意个列向量.考虑线性方程组 因为方程组(3)的系数矩阵 的秩小于,所以（3）有非零解,也即有 . 二 满秩矩阵 2.1满秩矩阵的概念 定义2.1.1 设上的一个矩阵,若,则称为满秩矩阵. 定义2.1.2 设上的一个矩阵,若,则称为行满秩矩阵;若,则称为列满秩矩阵. 命题2.1.1 若上的一个满秩矩阵,则. 命题2.1.2 若矩阵的个行向量线性无关,则称此矩阵为行满秩矩阵;若矩阵的个列向量线性无关,则称此矩阵为列满秩矩阵. 例 2.1.1 ,则的三个列向量 可知线性无关.由命题2.1.2可知,为列满秩矩阵,且. 而的三个行向量 易知线性无关. 由命题2.1.2可知,为行满秩矩阵,且. 2.2满秩矩阵的性质 性质2.2.1 设上的一个矩阵,若为行满秩矩阵,则;若为列满秩矩阵,则. 证法Ι 若为行满秩矩阵,则,即存在的一个不为的阶子式.当,则不存在不为的阶子式,故.同理可证,若为列满秩矩阵,则. 证法Ⅱ 若为行满秩矩阵,则,由命题2.1.2知,有个行向量线性无关;当,则有个列向量线性无关.由此可得的行秩为,列秩为.但这与“的行秩等于的列秩”矛盾,因此,即.同理可证,若为列满秩矩阵,则. 引理2.2.1[3] 设那么: 其中称为“Sylvester不等式”. 性质2.2.2 设若为列满秩矩阵,则;若为行满秩矩阵,则. 证明 若为列满秩矩阵,则,由“Sylvester不等式”知,再由引理2.2.1知,从而. 同理可证,若为行满秩矩阵,则. 引理2.2.2 设,则存在数域上非零的矩阵,使得的充分必要条件为. 其逆否命题可表述为 设,则存在数域上非零的矩阵,使得的充分必要条件为 定理2.2.1 设且,若,则为列满秩矩阵. 证明 由于,故,从而,由引理2.2.2的逆否命题知,又,故,从而,即为列满秩矩阵. 定理2.2.2 设且,若,则为行满秩矩阵. 证明 由于,故,从而,由引理2.2.2的逆否命题知,又,故,从而,即为行满秩矩阵. 引理2.2.3[1] 设为矩阵,即 通过行初等变换和第一种列初等变换能把化成如下形式 进而再利用一系列第三种列初等变换能把化成如下形式 这里 性质2.2.3 若为的列满秩矩阵,则存在行列的行满秩矩阵,使得;若为的行满秩矩阵,则存在行列的列满秩矩阵,使得. 证明 因为为列满秩矩阵,显然,由引理2.2.3知,则存在可逆的阶方阵 将在行和行之间划分成块则为矩阵, 为矩阵,则 知.又由于,而知,故为行满秩矩阵. 同理可证,对于的行满秩矩阵,必存在行列的列满秩矩阵,使得 性质2.2.4 设,且上的一个列满秩矩阵,若,则左消去律成立即. 证明 因为,由,,则即 设 , , , 从而有 , 故有 由于为列满秩矩阵,线性无关,从而即. 性质2.2.5 设,且上的一个行满秩矩阵,若,则右消去律成立即. 证明 因为,又为行满秩矩阵,由性质2.2.3知必存在一列满秩矩阵,使得;由条件知,给等式两边同乘得到. 定理2.2.3 设为矩阵, ,则 (1) 存在行列的列满秩矩阵和行列的行满秩矩阵,使得. (2) 若,其中与为行列的列满秩矩阵,与为行列的行满秩矩阵,则必存在非奇异矩阵使得. 证明 （1）由于,当时,是的一个满秩分解;当时,是的一个满秩分解;当时,我们知道,可通过行初等变换将化形式,也即存在阶可逆矩阵和阶可逆矩阵有 令 则 （2）因为是行列的行满秩矩阵,所以由性质2.2.3知,存在行列的列满秩矩阵,使得,于是在,两边右乘,有. 令知是阶方阵,下证可逆. 由于是行列的列满秩矩阵,所以存在行列的行满秩矩阵,使,从而,所以是阶可