高等代数第6章习题参考答案

第六章 线性空间

1.设,N M ⊂证明：,M N M M N N ==I U 。

证 任取,M ∈α由,N M ⊂得,N ∈α所以,N M I ∈α即证M N M ∈I 。又因

,M N M ⊂I 故M N M =I 。再证第二式，任取M ∈α或,N ∈α但,N M ⊂因此无论

哪 一种情形，都有,N ∈α此即。但,N M N Y ⊂所以M N N =U 。

2.证明)()()(L M N M L N M I Y I Y I =，)()()(L M N M L N M Y I Y I Y =。

证 ),(L N M x Y I ∈∀则.L N x M x Y ∈∈且在后一情形，于是.L M x N M x I I ∈∈或所以)()(L M N M x I Y I ∈，由此得)()()(L M N M L N M I Y I Y I =。反之，若

)()(L M N M x I Y I ∈，则.L M x N M x I I ∈∈或 在前一情形，,,N x M x ∈∈因此

.L N x Y ∈故得),(L N M x Y I ∈在后一情形，因而,,L x M x ∈∈x N L ∈U ，得

),(L N M x Y I ∈故),()()(L N M L M N M Y I I Y I ⊂

于是)()()(L M N M L N M I Y I Y I =。

若x M N L M N L ∈∈∈U

I I （），则x ，x 。 在前一情形X x M N ∈U ， X M L ∈U 且，x M N ∈U 因而（）I U （M L ）

。 ,,N L x M N X M L M N M M N M N ∈∈∈∈∈⊂U U U I U U I U U U U I U I U 在后一情形，x ,x 因而且，即X （M N ）（M L ）所以 （）（M L ）（N L ）故 （L ）=（）（M L ）即证。

3、检验以下集合对于所指的线性运算是否构成实数域上的线性空间：

1） 次数等于n （n ≥1）的实系数多项式的全体，对于多项式的加法和数量乘法；

2） 设A 是一个n ×n 实数矩阵，A 的实系数多项式f （A ）的全体，对于矩阵的加法和数量

乘法；

3） 全体实对称（反对称，上三角）矩阵，对于矩阵的加法和数量乘法； 4） 平面上不平行于某一向量所成的集合，对于向量的加法和数量乘法； 5） 全体实数的二元数列，对于下面定义的运算：

2121211211

12

b a b a a b b a a k k b a ⊕+=+++-1111（a ，）（（，）

（）k 。（a ，）=（ka ，kb +

6） 平面上全体向量，对于通常的加法和如下定义的数量乘法： 0k a =o ； 7） 集合与加法同6），数量乘法定义为：

k a a =o ；

8） 全体正实数r ，加法与数量乘法定义为：

a b ab ⊕=，k k a a =o ；

解 1）否。因两个n 次多项式相加不一定是n 次多项式，例如 523n n

x x ++--=（）（）。

2）令V={f （A ）|f （x ）为实数多项式，A 是n ×n 实矩阵} 因为

f （x ）+

g （x ）=

h （x ），kf （x ）=d （x ） 所以

f （A ）+

g （A ）=

h （A ），kf （A ）=d （A ）

由于矩阵对加法和数量乘法满足线性空间定义的1~8条，故v 构成线性空间。

3）矩阵的加法和和数量乘法满足线性空间定义的1~8条性质，只需证明对称矩阵（上三角矩阵，反对称矩阵）对加法与数量乘法是否封闭即可。下面仅对反对称矩阵证明： 当A ，B 为反对称矩阵，k 为任意一实数时，有

'''（A+B ）

=A +B =-A-B=-（A+B ），A+B 仍是反对称矩阵。 KA KA K A KA ''==-=-（）（）（）

，所以kA 是反对称矩阵。 故反对称矩阵的全体构成线性空间。

4）否。例如以已知向量为对角线的任意两个向量的和不属于这个集合。 5）不难验证，对于加法，交换律，结合律满足，（0，0）是零元，任意（a ，b ）的负元是（-a ，2

a -

b ）。对于数乘：

2

2222222

1(11)111)(,),2(1)(1)(1)

.(.(,).(,)(,[2]())

222

(1)(1)(1)(1)

(,[]())(,())

2222

(1)(,)().(,),

2(a b a b a a b l l l l k k k l a b k la lb a kla k lb a la l l k k kl kl k k kla k lb a la kla a la kl kl kla a klb kl a b -==

=---=+=++----=++=+-=+=。（，）（。，。2

22

22

22

()(1)).(,)[(),()]

2

(1)(1).(,).(,)(,)(,22

(1)(1)(,)

22(1)(1)[(),()].

2k l k l k l a b k l a a k l b k k l l k a b l a b ka kb a la lb a

k k k k ka la kb a a kla k k l k l a a k l b ++-+=+++--⊕=+⊕+--=++++++-=+++

即),(),(),()(b a l b a k b a l k οοο⊕=+。