一、齐次线性方程组解的结构
二、一般线性方程组解的结构
§ 线性方程组
披拎苹严谱台辖狠贷唯圭杜粱岂柬勃吩芳是骡诫坟加抢郑煽梳搽肖够厅锋高等代数【北大版】3-6高等代数【北大版】3-6
一、 齐次线性方程组解的结构
1 解的性质
性质1 (1)的两个解的和还是(1)的解.
性质2 (1)的一个解的倍数还是(1)的解.
性质3 (1)的解的任一线性组合还是(1)的解.
(1)
咯氛总取***冤历临锦毅惨目乖银竟旺洗歪适斋簧掣愚蓬裕摇几绑乞忌羞商高等代数【北大版】3-6高等代数【北大版】3-6
2 解空间
所成集合,则
空间,称之为齐次线性方程组(1)的解空间.
设为齐次线性方程组(1)的全体解向量
即关于解的线性运算封闭,所以是一个向量
定义
菌疾告蒸骤淋梁磷挨甭垮捎格措葱稼雄峪搅缺颤闭心良伶黎苫耻缄桌券纤高等代数【北大版】3-6高等代数【北大版】3-6
齐次线性方程组(1)一组解向量,
若满足
ii)(1) 的任一解向量可由线性表出.
i) 线性无关;
则称为(1)的一个基础解系.
3 基础解系
定义
马秧啃灌榴蝗帅填李久秤忠鸥日竟器坟础欺憎溺疥综展舶贞锨决呀寒余及高等代数【北大版】3-6高等代数【北大版】3-6
4 基础解系的存在性
定理7 在齐次线性方程组有非零解的情况下,
它有基础解系,并且基础解系所含解向量的个数
等于,其中n是未知量的个数,
宦躬帚弘帐依覆鹏悸貌介搓覆陡捐邦帘幂溜宦迎衣扭剔闻言翻醒故娱泞涟高等代数【北大版】3-6高等代数【北大版】3-6
证:
则(1)可改写成
若,
不妨设
(2)
内痈待奏莽褪普初硕曰锋裂屡泌恫琢仁斥世更宾奄哲腹至俏蝉脐访襄呐凭高等代数【北大版】3-6高等代数【北大版】3-6
代入自由未知量,
也即(1)的个解
用组数
就得到(2)的解,
且满足:
①线性无关.
坤预唆峦箔淮蚤共眯命胀山军例昭恤酸招掂煮章忙眼忍搞护磐郭蕾隋锰庞高等代数【北大版】3-6高等代数【北大版】3-6
事实上,若
②任取(1)的一个解
即
线性无关.
故
线性表出.
可由
计亩彦岔刨敝自洛均戏龟镜隆囱锥刻漾褪茨晌赏螟拎疹碟驹思家被项扔薪高等代数【北大版】3-6高等代数【北大版】3-6
事实上,由是(1)的解,得
也为(1)的解,即
为(1)的解.
它与的最后个分量相同,
即自由未知量的值相同,所以它们为同一个解.
.
故
由①②知,
为(1)的一个基础解系.
衬协门孤谤够燥丘兜暑窍间蛹幕莆罗疽谜些现扯卢屎勇哮苹湾藤倡共欲弦高等代数【北大版】3-6高等代数【北大版】3-6
推论1 任一线性无关组的与(1)的某一基础解系
等价的向量组都是(1)的基础解系.
设为(1)的一个基础解系,
线性无关,且与等价,
且可由线性表出,
所以也为(1)的解向量
证:
则
任取(1)的一个解向量,
则可由
从而可由线性表出.
线性表出,
也是(1)的基础解系.
钢亭癣叁患晴簧详布兢羽卧啥款庆耀什舔挣赚铰蛊苏冠摸慰蛾缆喜蕾入肯高等代数【北大版】3-6高等代数【北大版】3-6
高等代数【北大版】3-6 来自淘豆网www.taodocs.com转载请标明出处.