高等代數(shù)課件(北大版)第六章線性空間§67

§2線性空間的定義與簡單性質(zhì)§3維數(shù)·基與坐標(biāo)§4基變換與坐標(biāo)變換§1集合·映射§5線性子空間§7子空間的直和§8線性空間的同構(gòu)§6子空間的交與和小結(jié)與習(xí)題第六章線性空間11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院§2線性空間的定義§3維數(shù)·基與坐標(biāo)§4基1§6.7子空間的直和一、直和的定義二、直和的判定三、多個(gè)子空間的直和11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院§6.7子空間的直和一、直和的定義二、直和的判定三、多個(gè)2引入有兩種情形：由維數(shù)公式設(shè)為線性空間V的兩個(gè)子空間，此時(shí)

即，必含非零向量.

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院引入有兩種情形：由維數(shù)公式設(shè)為線性空間V的兩個(gè)子空間，3情形2）是子空間的和的一種特殊情況直和此時(shí)

不含非零向量，即

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院情形2）是子空間的和的一種特殊情況直和此時(shí)不含非4一、直和的定義設(shè)為線性空間V的兩個(gè)子空間，若和是唯一的，和就稱為直和，記作注:若有則①分解式唯一的，意即中每個(gè)向量的分解式11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院一、直和的定義設(shè)為線性空間V的兩個(gè)子空間，若和是唯一的5②分解式唯一的不是在任意兩個(gè)子空間的和中都成立.例如，R3的子空間這里，在和中，向量的分解式不唯一，如所以和不是直和.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院②分解式唯一的不是在任意兩個(gè)子空間的和中都成立.例如，R6而在和中，向量

(2,2,2)

的分解式是唯一的，事實(shí)上，對故是直和.都只有唯一分解式：11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院而在和中，向量(2,2,2)的分解式是唯一的，事實(shí)7二、直和的判定分解式唯一，即若1、(定理8)和是直和的充要條件是零向量則必有證：必要性.是直和,的分解式唯一.而0有分解式11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院二、直和的判定分解式唯一，即若1、(定理8)和是直和8充分性.故是直和.設(shè)，它有兩個(gè)分解式有其中于是由零向量分解成唯一，且即的分解式唯一.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院充分性.故是直和.設(shè)，它有兩個(gè)分解式92、和是直和則有即是直和.“”任取證：“”若于是零向量可表成由于是直和，零向量分解式唯一，故11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院2、和是直和則有即是直和.“”任取證：10證：由維數(shù)公式3、和是直和有，是直和.（由2、得之）11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院證：由維數(shù)公式3、和是直和有，是直和.（由2、得之）11總之，設(shè)為線性空間V的子空間，則下面四個(gè)條件等價(jià):2）零向量分解式唯一1）是直和

3）4）4、(定理10)設(shè)U是線性空間V的一個(gè)子空間，稱這樣的W為U的一個(gè)余子空間.則必存在一個(gè)子空間W，使11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院總之，設(shè)為線性空間V的子空間，則下面四個(gè)條件等價(jià):2）12證：取U的一組基把它擴(kuò)充為V的一組基則余子空間一般不是唯一的(除非U是平凡子空間).注意：如，在R3中，設(shè)則但11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院證：取U的一組基把它擴(kuò)充為V的一組基則余子空間一般不是唯135、設(shè)分別是線性子空間的一組基，則是直和線性無關(guān).證：由題設(shè)，若線性無關(guān)，則它是的一組基.從而有11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院5、設(shè)分別是線性子空間的一組基，則是直14反之,若直和，則從而的秩為r＋s.所以線性無關(guān).是直和.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院反之,若直和，則從而的秩為r151、定義中每個(gè)向量的分解式三、推廣多個(gè)子空間的直和都是線性空間V的子空間，若和是唯一的，則和就稱為直和，記作11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院1、定義中每個(gè)向量的分解式三、推廣多個(gè)子空間的直和16四個(gè)條件等價(jià):2）零向量分解式唯一，即3）4）2、判定設(shè)都是線性空間V的子空間，則下面1）是直和

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院四個(gè)條件等價(jià):2）零向量分解式唯一，即3）4）2、判定設(shè)17例1、每一個(gè)n

維線性空間都可以表示成

n

個(gè)一維子空間的直和.證：設(shè)是

n

維線性空間V的一組基,則

而

故得證.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院例1、每一個(gè)n維線性空間都可以表示成n個(gè)一維子空間的直18例2、已知，設(shè)2）當(dāng)時(shí)，證：1）任取有是的子空間.證明：1）是的子空間.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院例2、已知，設(shè)2）當(dāng)時(shí)，證：1）任取有是19又對有從而有

故是的子空間.下證是的子空間.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院又對有從而有故是的子空間.下證是的子空間20又2）先證任取其中再證又是的子空間，11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院又2）先證任取其中再證又是的子空間，11/2321任取從而所以11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院任取從而所以11/23/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院22練習(xí)1設(shè)V1、V2分別是齊次線性方程組①與②的證：解齊次線性方程組①，得其一個(gè)基礎(chǔ)解系①②解空間：證明:11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院練習(xí)1設(shè)V1、V2分別是齊次線性方程組①與②的證23再解齊次線性方程組②.由即得②的一個(gè)基礎(chǔ)解系考慮向量組11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院再解齊次線性方程組②.由即得②的一個(gè)基礎(chǔ)解系考慮向量組24由于

線性無關(guān)，即它為Pn的一組基.又11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院由于線性無關(guān)，即它為Pn的一組基.又11/23/2022252、和是直和證:則練習(xí)：11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院2、和是直和證:則練習(xí)：11/23/2022數(shù)26則零向量還有一個(gè)分解式（*）在(*)式中，設(shè)最后一個(gè)不為0的向量是則(*)式變?yōu)檫@時(shí)，所以，是直和.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院則零向量還有一個(gè)分解式（*）在(*)式中，設(shè)最后一個(gè)不為0的27§2線性空間的定義與簡單性質(zhì)§3維數(shù)·基與坐標(biāo)§4基變換與坐標(biāo)變換§1集合·映射§5線性子空間§7子空間的直和§8線性空間的同構(gòu)§6子空間的交與和小結(jié)與習(xí)題第六章線性空間11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院§2線性空間的定義§3維數(shù)·基與坐標(biāo)§4基28§6.7子空間的直和一、直和的定義二、直和的判定三、多個(gè)子空間的直和11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院§6.7子空間的直和一、直和的定義二、直和的判定三、多個(gè)29引入有兩種情形：由維數(shù)公式設(shè)為線性空間V的兩個(gè)子空間，此時(shí)

即，必含非零向量.

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院引入有兩種情形：由維數(shù)公式設(shè)為線性空間V的兩個(gè)子空間，30情形2）是子空間的和的一種特殊情況直和此時(shí)

不含非零向量，即

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院情形2）是子空間的和的一種特殊情況直和此時(shí)不含非31一、直和的定義設(shè)為線性空間V的兩個(gè)子空間，若和是唯一的，和就稱為直和，記作注:若有則①分解式唯一的，意即中每個(gè)向量的分解式11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院一、直和的定義設(shè)為線性空間V的兩個(gè)子空間，若和是唯一的32②分解式唯一的不是在任意兩個(gè)子空間的和中都成立.例如，R3的子空間這里，在和中，向量的分解式不唯一，如所以和不是直和.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院②分解式唯一的不是在任意兩個(gè)子空間的和中都成立.例如，R33而在和中，向量

(2,2,2)

的分解式是唯一的，事實(shí)上，對故是直和.都只有唯一分解式：11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院而在和中，向量(2,2,2)的分解式是唯一的，事實(shí)34二、直和的判定分解式唯一，即若1、(定理8)和是直和的充要條件是零向量則必有證：必要性.是直和,的分解式唯一.而0有分解式11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院二、直和的判定分解式唯一，即若1、(定理8)和是直和35充分性.故是直和.設(shè)，它有兩個(gè)分解式有其中于是由零向量分解成唯一，且即的分解式唯一.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院充分性.故是直和.設(shè)，它有兩個(gè)分解式362、和是直和則有即是直和.“”任取證：“”若于是零向量可表成由于是直和，零向量分解式唯一，故11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院2、和是直和則有即是直和.“”任取證：37證：由維數(shù)公式3、和是直和有，是直和.（由2、得之）11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院證：由維數(shù)公式3、和是直和有，是直和.（由2、得之）38總之，設(shè)為線性空間V的子空間，則下面四個(gè)條件等價(jià):2）零向量分解式唯一1）是直和

3）4）4、(定理10)設(shè)U是線性空間V的一個(gè)子空間，稱這樣的W為U的一個(gè)余子空間.則必存在一個(gè)子空間W，使11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院總之，設(shè)為線性空間V的子空間，則下面四個(gè)條件等價(jià):2）39證：取U的一組基把它擴(kuò)充為V的一組基則余子空間一般不是唯一的(除非U是平凡子空間).注意：如，在R3中，設(shè)則但11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院證：取U的一組基把它擴(kuò)充為V的一組基則余子空間一般不是唯405、設(shè)分別是線性子空間的一組基，則是直和線性無關(guān).證：由題設(shè)，若線性無關(guān)，則它是的一組基.從而有11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院5、設(shè)分別是線性子空間的一組基，則是直41反之,若直和，則從而的秩為r＋s.所以線性無關(guān).是直和.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院反之,若直和，則從而的秩為r421、定義中每個(gè)向量的分解式三、推廣多個(gè)子空間的直和都是線性空間V的子空間，若和是唯一的，則和就稱為直和，記作11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院1、定義中每個(gè)向量的分解式三、推廣多個(gè)子空間的直和43四個(gè)條件等價(jià):2）零向量分解式唯一，即3）4）2、判定設(shè)都是線性空間V的子空間，則下面1）是直和

11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院四個(gè)條件等價(jià):2）零向量分解式唯一，即3）4）2、判定設(shè)44例1、每一個(gè)n

維線性空間都可以表示成

n

個(gè)一維子空間的直和.證：設(shè)是

n

維線性空間V的一組基,則

而

故得證.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院例1、每一個(gè)n維線性空間都可以表示成n個(gè)一維子空間的直45例2、已知，設(shè)2）當(dāng)時(shí)，證：1）任取有是的子空間.證明：1）是的子空間.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院例2、已知，設(shè)2）當(dāng)時(shí)，證：1）任取有是46又對有從而有

故是的子空間.下證是的子空間.11/24/2022數(shù)學(xué)與計(jì)算科學(xué)學(xué)院又對有從而有故是的子空間.下證是的子空間47又2）先證任取