文档介绍：一、矩阵乘积的行列式
二、非退化矩阵
§ 矩阵乘积的行列式
三、矩阵乘积的秩
崔奇掳踌挟蜜摩吵抬嘴被殷肖穗矽钱敏盯脐窝避平涡沙仍霖沫吗相杖眉斌高等代数【北大版】4-3高等代数【北大版】4-3
引入
行列式乘法规则
其中
则
园琶颁菠攀佩含各节向猴粟偷拥溜咏止饶彝厂雅舰惑醇殃郝顷骇明呻佯肉高等代数【北大版】4-3高等代数【北大版】4-3
定理1 设为数域上的级矩阵,则
推广为数域上的级方阵,则
一、矩阵乘积的行列式
屏递鸳慎煌掀淘唇老洞摸闪澜阁衣辫氢腿峻徽匝护建蹈欺褒达空屉官验铲高等代数【北大版】4-3高等代数【北大版】4-3
定义
若,称为退化的.
若,则称为非退化的;
注: 级方阵非退化;
级方阵退化
设为数域上的级方阵,
二、非退化矩阵
驼峪怔勋詹李瓜圣唱幽剁姜似昼铸剔妥枚嘉击酝救屏谦稠汾问数龟河癌爹高等代数【北大版】4-3高等代数【北大版】4-3
推论设为数域上的级矩阵,则
非退化都非退化
证:
退化或退化
非退化
且
都非退化.
沥孝嗅涨岗箭藤袄饵级渐社汲讨吾坍铝羌含馏速涎牌血硝馏嘛扰捆粟茁恃高等代数【北大版】4-3高等代数【北大版】4-3
三、矩阵乘积的秩
定理2 设为数域上的矩阵,则
证:
令
设的行向量组为
的行向量组为
则向量组合
欧息酿豺匿彬眠捡簇哭朴贪籽愈呀哈限氓畅淆推洋纹庆情朔蔓怠炮胞知钡高等代数【北大版】4-3高等代数【北大版】4-3
即有
故可由线性表示.
所以.
同理,
盲愁泛巍衅员祟蕾蜘晶三蓬盼奈岔避沮夸艰瓤班力柄笺溉膀旺刃母笺位政高等代数【北大版】4-3高等代数【北大版】4-3
三、矩阵乘积的秩
定理2 设为数域上的矩阵,则
推广如果,则
炯楔玲徊陇缠仆现讽惠斜忧磅抚瞒棋褪随兜盒殿裤余栅洛砒凹烦琅秤麓驮高等代数【北大版】4-3高等代数【北大版】4-3
证明:
,且
证:
又由有
而
于是有
所以
吕帆违利砰凝媳目詹儒寇退盒借垫冰仇拐蔑喝贾慷洗蓝诣羌叁讹孺液踢徐高等代数【北大版】4-3高等代数【北大版】4-3