有限维线性空间上子空间并的性质的一个注记.pdfVIP

第 30卷第4期 大 学 数 学 Vo1．3O，№ ．4 2014年 8月 COLLEGE MATHEM ATICS Aug．2014 有限维线性空间上子空间并的性质的一个注记 孙丽雪， 李永彬 ， 林 晨 (电子科技大学 数学科学学院，四川 成都 611731) [摘 要]对于特征为零的域上的有限维线性空间的子空间的并，我们知道下述性质：有限个互不包含的 非平凡子空间的并不是原来 的线性空间．一方面 ，本文通过介绍有限维线性空间中任一子空间与齐次线性方 程组解子空间的关系 ，及商空间的维数公式 ，给出了上述性质 的一个改进证 明．另一方面，本文把仿射簇 的概 念和子空间联系起来 ，并根据仿射簇的一个简单性质 ，给出了上述性质的另一个更为简洁的证法 ． [关键词]子空间；商空间；维数公式；子空间的并；特征；仿射簇 [中围分类号]O143 [文献标识码]A [文章编号]1672—1454(2014)04—0029—04 1 引 言 高等代数中介绍 了线性子空间的交与和，对于线性子空间的并 ，多数教材中并未详细讨论．本文主 要讨论 了特征为零的域上的有限维线性空间中有限个非平凡子空间的并这个问题 ，并试图用更本质的 方法证明：特征为零的域上的有限维线性空间中互不包含的非平凡子空间的并不能构成线性子空间． 文献EI-]中给出了一个相 当巧妙的证明，本文一方面结合商空间的维数公式给出一个改进证法 ，另 一 方面结合代数几何中仿射代数簇 的一个简单性质给出了另一个更为简洁的证法． 首先，对于线性空间的子空间，在各版教材(文献EI-]，E2-]，i-3J)习题 中有下述结论，设F，l是数域F 上的全体 维 向量构成的线性空间，则 F，I的任一子空间V 必至少是一个 元齐次线性方程组的解子 空间．而商空间是我们不太熟悉的一个概念，在文献E2-1中详细介绍了这个概念及商空间的维数公式． 从上述线性空间中任一子空间与齐次线性方程组解子空间的关系，及商空间的维数公式 ，文中讨论 了特征为零的域上 的有限维空间上有 限个子空间的并集是否是子空间这一 问题 ，并且给出否定回答 ，从 而这个并集不是原来的线性空间． 其次，由线性子空间与仿射簇概念的相似性 ，引出仿射簇 的定义．从而考虑仿射簇的并 ，不同的是仿 射簇虽与子空间定义类似 ，但仿射簇 的定义方程不要求是线性的，从而仿射簇的并与子空间的并的性质 也不相同，由此可以更好地理解子空间与仿射簇的区别． 最后 ，由每个线性子空间可以找到一个包含它的仿射簇，从仿射簇的角度 ，同样得出，该并集不是原 来 的线性空间． 2 特征为零的域上 的有限维线性空间V上子空间的并集 在线性空间这一章中，有下述结论 ： 定理 1 设 W ，w ，… ，w (s 1)是特征为零 的域 F上的 维线性空间V的s个互不包含的非 平凡子空间，那么这 s个非平凡子空间的并不等于整个空间V ，即V≠UW · 为证明上述定理 ，通常证明 中至少有一个 向量不属于W 。，Wz，…，w 中任何一个 ，并用数学归纳 [收稿 日期]2013—10—01 30 大 学 数 学 第 30卷 法来证．即先证明 —2时定理成立 ，然后设 S—k时成立 ，证明S—k+1时定理也成立即可，详见[2]． 注意上述定理要求n维线性空间 所在域的特征为零 ，这个条件是不可缺少的．因为对于特征不为 零的域上的线性空间，如 z；中，上述定理的结论是不成立的，即不等式要改为等式，详见[4]．文献[1]给 出了定理 1的一个相当巧妙的证明，在原证法的基础上 ，我们将给出一种改进的证法． 下面首先介绍域的特征的概念． 定义 1 设 F为域 ，如果存在最小的正整数 ，使得对所有的 口∈F，有撇 一0，则称 为域F的特 征．如果这样的正整数不存在 ，则称域 F的特征为零． 通常熟悉的复数域c、实数域 、有理数域 都是特征为零的域．而上文提到的Z 就是特征不为零 的域 ，z 的特征