线性代数课件-线性空间

1、第四章 线性空间 线性空间是线性代数中最基本的概念之一，线性空间理论是线性代数的“几何理论”。 第一节 线性空间的定义与例子线性空间是线性代数最基本的概念之一，也是线性空间是线性代数最基本的概念之一，也是一个抽象的概念，它是向量空间概念的推广一个抽象的概念，它是向量空间概念的推广线性空间是为了解决实际问题而引入的，它是线性空间是为了解决实际问题而引入的，它是某一类事物从量的方面的一个抽象，即把实际问题某一类事物从量的方面的一个抽象，即把实际问题看作向量空间，进而通过研究向量空间来解决实际看作向量空间，进而通过研究向量空间来解决实际问题问题一、线性空间的定义 若对于任一数若对于任一数 与任一元素

2、与任一元素 ，总有唯，总有唯一的一个元素一的一个元素 与之对应，称为与之对应，称为 与与 的积，的积，记作记作r v v 定义定义 设设 是一个非空集合，是一个非空集合， 为实数域如果为实数域如果对于任意两个元素对于任意两个元素 ，总有唯一的一个元，总有唯一的一个元素素 与之对应，称为与之对应，称为 与与 的和，记作的和，记作v ,v vrrv ,;,设设;0, 0)3( 都有都有对任何对任何中存在零元素中存在零元素在在vv;)1( ;)2( 如果上述的两种运算满足以下八条运算规律，那如果上述的两种运算满足以下八条运算规律，那么么 就称为数域就称为数域 上的向量空间（或线性空间）上的向量空间（

3、或线性空间）vr;1)5( ;)6( .)8( ;)7( ; 0 ,)4( 使使的的负负元元素素都都有有对对任任何何vv2 向量空间中的向量不一定是有序数组向量空间中的向量不一定是有序数组3 判别线性空间的方法：一个集合，对于定判别线性空间的方法：一个集合，对于定义的加法和数乘运算不封闭，或者运算不满足八条义的加法和数乘运算不封闭，或者运算不满足八条性质的任一条，则此集合就不能构成线性空间性质的任一条，则此集合就不能构成线性空间 说明说明1 凡满足以上八条规律的加法及乘数运算，凡满足以上八条规律的加法及乘数运算，称为称为线性运算线性运算（）一个集合，如果定义的加法和乘数运（）一个集合，如果定义

4、的加法和乘数运算是通常的实数间的加乘运算，则只需检验对运算是通常的实数间的加乘运算，则只需检验对运算的封闭性算的封闭性例例 实数域上的全体实数域上的全体 矩阵，对矩阵的加法矩阵，对矩阵的加法和数乘运算构成实数域上的线性空间，记作和数乘运算构成实数域上的线性空间，记作 nm nmr ,nmnmnmcba ,nmnmda .是是一一个个线线性性空空间间nmr 线性空间的判定方法线性空间的判定方法., 0101量空间量空间向向数乘多项式的乘法构成数乘多项式的乘法构成对于通常的多项式加法对于通常的多项式加法即即记作记作的多项式的全体的多项式的全体次数不超过次数不超过raaaaxaxapxpxpnnnn

5、nn 例2例2通常的多项式加法、数乘多项式的乘法两种运通常的多项式加法、数乘多项式的乘法两种运算满足线性运算规律算满足线性运算规律)()(0101bxbxbaxaxannnn )()()(0011baxbaxbannn xpn )(01axaxann )()()(01axaxann xpn .对运算封闭对运算封闭xpn.0, , 0101间间空空和乘数运算不构成向量和乘数运算不构成向量对于通常的多项式加法对于通常的多项式加法且且次多项式的全体次多项式的全体 araaaaxaxapxqnnnnnn例3例3p0000 xxnxqn .对运算不封闭对运算不封闭xqn例例 正弦函数的集合正弦函数的集合

6、 .,sinrbabxasxs 对于通常的函数加法及数乘函数的乘法构成线性空对于通常的函数加法及数乘函数的乘法构成线性空间间 221121sinsinbxabxass xbxaxbxasincossincos2211 xbbxaasincos2121 bxa sin.xs 11111sinsinbxabxas xs 是一个线性空间是一个线性空间. xs例例 在区间在区间 上全体实连续函数，对函数的上全体实连续函数，对函数的加法与数和函数的数量乘法，构成实数域上的线性加法与数和函数的数量乘法，构成实数域上的线性空间空间,ba一般地一般地例例 正实数的全体，记作正实数的全体，记作 ，在其中定义加法

7、，在其中定义加法及乘数运算为及乘数运算为 r ., rbaraaabba 验证验证 对上述加法与乘数运算构成线性空间对上述加法与乘数运算构成线性空间 r（）一个集合，如果定义的加法和乘数运（）一个集合，如果定义的加法和乘数运算不是通常的实数间的加乘运算，则必需检验是算不是通常的实数间的加乘运算，则必需检验是否满足八条线性运算规律否满足八条线性运算规律证明证明;, rabbarba., raarar 所以对定义的加法与乘数运算封闭所以对定义的加法与乘数运算封闭下面一一验证八条线性运算规律：下面一一验证八条线性运算规律：;)1(abbaabba );()()()(2(cbacabcabcba 有有

8、对任何对任何中存在零元素中存在零元素, 1)3( rar;11aaa 使使有负元素有负元素,)4(1 rara; 111 aaaa;1)5(1aaa ;)6(aaaaa ; )7(aaaaaaaa baababba )()()8(所以所以 对所定义的运算构成线性空间对所定义的运算构成线性空间 r. baba 1 1零元素是唯一的零元素是唯一的证明证明假设假设 是线性空间是线性空间v中的两个零元中的两个零元素，素，210 ,0.0,021 由于由于,0 ,021v 所以所以.000 ,000121212 则对任何则对任何 ，v 有有.000000212211 二、线性空间的性质2 2负元素是唯一

9、的负元素是唯一的证明证明 假设假设 有两个负元素有两个负元素 与与 ， 那么那么. 0, 0 则有则有0 0. 向量向量 的负元素记为的负元素记为 . . 00;1; 00. 3 证明证明 ,101010 . 00 , 0011111 .1 10 0 . 0 4如果如果 ，则则 或或 . 0 0 0 证明证明假设假设,0 那么那么 011 . 0 .11 又又. 0 同理可证：若同理可证：若 则有则有0 . 0 三、线性空间的子空间定义定义2 2设设 是一个线性空间，是一个线性空间， 是是 的一个非空子的一个非空子集，如果集，如果 对于对于 中所定义的加法和乘数两种运算中所定义的加法和乘数两种

10、运算也构成一个线性空间，则称也构成一个线性空间，则称 为为 的子空间的子空间vlvvvll定理线性空间定理线性空间 的非空子集的非空子集 构成子空间的充分构成子空间的充分必要条件是：必要条件是： 对于对于 中的线性运算封闭中的线性运算封闭vlvl解解(1)不构成子空间不构成子空间. 因为对因为对1000001wba ?32为为什什么么空空间间的的下下列列子子集集是是否否构构成成子子 r;,001)1(1 rdcbdcbw., 0000)2(2 rcbacbacbaw例例8 8有有,0000021wba 即即 对矩阵加法不封闭，不构成子空间对矩阵加法不封闭，不构成子空间.1w,000000)2(2w 因因.2非空非空即即w对任意对任意222211