数学建模社区-数学中国

标题: 一道线性代数证明题 求高手指教~~~ [打印本页]

---

作者: yt@A    时间: 2012-1-27 22:13
标题: 一道线性代数证明题 求高手指教~~~
证明的两个子空间的并集也是的子空间当且仅当其中一个子空间包含于另一个子空间。
充分性是显然的 但必要性怎么证呀？不懂呀
求教

---

作者: yt@A    时间: 2012-1-27 22:45
然后百度的解答看不懂的说：
! j! @4 Y+ \  R+ E3 h设V1 包含于 V2
V1∪V2=V2 ，当然是子空间。
) g" D# a6 e/ t# V- e( w
$ {+ f# y; ?% y& v. ^! d7 S4 g1 @另一方面：若 V1∪V2是子空间
" z+ m5 u/ ^4 e但无包含关系。则有 a∈V1但a不属于V2
3 d7 T) g! @7 j4 ub∈V2但b不属于V1
则有 a+b ∈ V1∪V2
: s+ h( E0 |* _- o情况1：若 a+b∈V1，则 b= -a+(a+b) ∈V1，与b不属于V1矛盾
情况2：若 a+b∈V2，则 a= -b+(a+b) ∈V2，与a不属于V2矛盾

! P  j4 r- r7 `8 N- t无论怎么样都有矛盾
所以必有包含关系
4 Y" z- j! S  H4 E1 r& l! h为神马a+b ∈ V1∪V2就一定是a+b∈V1或a+b∈V2呀？

---

作者: yt@A    时间: 2012-1-27 22:46
求教~

---

作者: alair002    时间: 2012-1-30 20:33
看几遍都不为过65663415954211951200112738451517492797919000663716941089825427656527264722228265

---

作者: alair003    时间: 2012-2-6 08:54
你写得实在是太好了。我惟一能做的，就只有把这个帖子顶上去这件事了1230828295415794

---

作者: 宇烟小蒸包    时间: 2012-2-6 16:05
设E,F两个向量空间，满足E∪F为向量空间。假设两者无包含关系，那意味着存在E中的向量x满足x￠F且存在Y中的向量y满足y￠E，但E∪F为向量空间，故x+y∈E∪F,假设x+y∈E，又x∈E，则推出y∈E,矛盾；x+y∈F,y∈F,得x∈F同样矛盾。所以E，F有包含关系。

---

作者: 宇烟小蒸包    时间: 2012-2-6 16:10

yt@A 发表于 2012-1-27 22:45
- o9 \" D7 l) }& D: I7 u$ H然后百度的解答看不懂的说：
设V1 包含于 V2
3 Y5 ?- J: R3 S; m; `0 x+ kV1∪V2=V2 ，当然是子空间。

这不是并集的定义吗？
设A，B两集合，x∈A∪B当且仅当x∈A或x∈B。

---

作者: alair005    时间: 2012-2-7 08:27
感谢LZ的分享啊，刚刚开始准备，大大加深了我的兴趣7852122237890256

---

作者: 黄元辰    时间: 2012-2-11 00:09
其实也是显然的，因为设任意a属于A，b属于B，只要能够推出“a属于B”或“b属于A”至少有一个是成立的是不是就有A包含有B或B包含于A了。而这用子空间对于加法的封闭性是可以立即得到的。

---

作者: 黄元辰    时间: 2012-2-11 00:12
这其实也是显然的，设任意a属于A和任意b属于B，如果能推出a属于B或b属于A，至少有一个成立，那么是不是A包含于B或B包含于A就必有一个成立。而根据子空间对于加法的封闭性这一结论是容易得到的。

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5