24小时热门版块排行榜    

查看: 2453  |  回复: 4

cherryjing1786

铁虫 (正式写手)

[求助] 求助向量子空间维数的一个证明

四个有限域F上的向量子空间V1,V2,V3,V4,已知V3属于V1+V2+V4,并且已知dim(V4)+dim(V1交V2交V4)-dim(V1交V4)-dim(V2交V4)大于等于0,请问如何证明dim(V3+V4)+dim(V3+(V1交V2交V4))-dim(V3+(V1交V4))-dim(V3+(V2交V4))也大于等于0呢,
希望数学专业的牛人指点迷经,如果能证出来真是太感谢了!
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

感谢参与,应助指数 +1
符号说明, (A): 1,2,3,4代表相应向量空间V1, V2,V3, V4.   (B): 123代表交集 V1交V2交V3, 以此类推.
(C):  1+2 代表V1+V2, 空间之和.   (D): (23) 括号代表取括号内子空间维数.
因此: 楼主条件为: (4)+ (124) >= (14) + (24). 求证: (3+4) + (3+ 124) >= (3+14) + (3+24).
貌似仅有一个工具: (A+B) + (AB) = (A) +(B). 我们从要求的结果出发,逆推:
(3+4) + (3+ 124) >= (3+14) + (3+24);
(3) + (4) - (34) + (3) +(124) - (3124) >= (3) +(14) -(314) +(3) +(24) -(234);
(4) + (124) -(14) -(24) >= (34) - (134) -  (234) + (1234);
(4) + (124) -(14) -(24) >= (34 +1) -(1) - (1+234) +(1);
(4) + (124) -(14) -(24) >= (34+1) - (234+1).
到此, 明显(34+1) - (234+1) >=0, 但是跟 (4) + (124) -(14) -(24) = (4) - (14 +24) >=0的大小比较却不知道.
We_must_know. We_will_know.
2楼2013-09-18 04:22:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
2楼: Originally posted by hank612 at 2013-09-18 04:22:35
符号说明, (A): 1,2,3,4代表相应向量空间V1, V2,V3, V4.   (B): 123代表交集 V1交V2交V3, 以此类推.
(C):  1+2 代表V1+V2, 空间之和.   (D): (23) 括号代表取括号内子空间维数.
因此: 楼主条件为: (4)+ (124) &g ...

看起来 (4)- (14+24) >= (34+1) - (234+1)是对的, 理由如下:
由于 34总是一起出现, 不妨设 V3 包含在V4中. 故要证:   (4)- (14+24) >= (3+1) - (23+1).
由于子空间的维数公式和Venn diagram的集合大小公式等价, 我们直接看由三个集合组成的Venn diagram好了.   3 分解为三部分: 31 + [23 不在1中] + [3 不在1+2中].
因此, (3+1) - (23+1) = (3 不在1+2中) <=  (4 不在1+2中) =(4)- (14+24).
We_must_know. We_will_know.
3楼2013-09-18 05:37:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jabile

木虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
你的条件和结论都总是正确的, 根据dim(U+V)+dim(U\cap V)=dim U+ dim V,
令 U_1=V_4\cap V_1,U_2=V_4\cap V_2,则条件总成立
同样令 W_1=U_1+V_3,W_2=U_2+V_3,则结论总成立
4楼2013-09-18 06:37:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cherryjing1786

铁虫 (正式写手)

非常感谢各位的热心帮助,关于楼上您所说

你的条件和结论都总是正确的, 根据dim(U+V)+dim(U\cap V)=dim U+ dim V,
令 U_1=V_4\cap V_1,U_2=V_4\cap V_2,则条件总成立
同样令 W_1=U_1+V_3,W_2=U_2+V_3,则结论总成立

其中关于结论的证明有一处疑问,如何证明
dim(W1交W2)=dim((V3+(V1交V4))交(V3+(V2交V4)))小于等于dim(V3+(V1交V2交V4))
5楼2013-09-19 00:08:16
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 cherryjing1786 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 zSbvVX9JFl9J 2026-11-09 3/150 2026-11-09 21:05 by FChKX8meu1ds
[文学芳草园] 厉娜 +3 张丹枫1991 2026-11-09 5/250 2026-11-09 16:53 by 张丹枫1991
[考博] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 kvewwGtKktqB 2026-11-04 12/600 2026-11-09 13:26 by Equinoxhua
[考研] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +5 ttH3f1oA6ace 2026-11-04 15/750 2026-11-09 13:19 by Equinoxhua
[考研] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +6 5sJFDKp2kwuI 2026-11-06 14/700 2026-11-09 11:52 by GwrQVVR6Oenx
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +5 5sJFDKp2kwuI 2026-11-06 16/800 2026-11-09 11:47 by GwrQVVR6Oenx
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +5 5sJFDKp2kwuI 2026-11-06 15/750 2026-11-09 11:41 by GwrQVVR6Oenx
[考研] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 5sJFDKp2kwuI 2026-11-06 12/600 2026-11-09 06:32 by l48hFd8Nwae2
[公派出国] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +4 5sJFDKp2kwuI 2026-11-06 8/400 2026-11-09 00:14 by l48hFd8Nwae2
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 5sJFDKp2kwuI 2026-11-06 8/400 2026-11-08 23:01 by l48hFd8Nwae2
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +5 5sJFDKp2kwuI 2026-11-06 9/450 2026-11-08 22:46 by l48hFd8Nwae2
[教师之家] 延安大学回应“副教授留绝笔信”:确已离世,正核实举报内容 +3 yexuqing 2026-11-04 5/250 2026-11-07 13:22 by 苏东坡二世
[公派出国] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +5 ttH3f1oA6ace 2026-11-04 10/500 2026-11-06 16:12 by 5sJFDKp2kwuI
[硕博家园] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +4 ttH3f1oA6ace 2026-11-04 11/550 2026-11-06 16:10 by 5sJFDKp2kwuI
[公派出国] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +6 ttH3f1oA6ace 2026-11-04 12/600 2026-11-06 16:10 by 5sJFDKp2kwuI
[公派出国] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 kvewwGtKktqB 2026-11-04 14/700 2026-11-06 05:10 by qL1cU46YIdK0
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +6 kvewwGtKktqB 2026-11-04 16/800 2026-11-06 05:00 by qL1cU46YIdK0
[考博] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +4 ttH3f1oA6ace 2026-11-04 7/350 2026-11-06 02:13 by qL1cU46YIdK0
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 ttH3f1oA6ace 2026-11-04 9/450 2026-11-06 02:02 by qL1cU46YIdK0
[硕博家园] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +4 hNpp4Y2CGvSC 2026-11-04 12/600 2026-11-06 01:53 by qL1cU46YIdK0
信息提示
请填处理意见