应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 工科数学 » 向高人们求助 有限域上四个向量子空间维数的证明
81/1返回列表
查看: 1939  |  回复: 7
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

cherryjing1786

铁虫 (正式写手)

[求助] 向高人们求助 有限域上四个向量子空间维数的证明

有限域F上的四个向量子空间V1,V2,V3和V4，它们的维数满足任意三个子空间之和的维数相等且等于四个子空间之和的维数，即dim(V1+V2+V3)=dim(V1+V2+V4)=dim(V2+V3+V4)=dim(V1+V2+V3+V4)，需要证明dim(V4)-(dim(V3交V4)+dim(V2交V4)+dim(V1交V4))+(dim(V2交V3交V4)+dim(V1交V3交V4)+dim(V1交V2交V4))-dim(V1交V2交V3交V4）的值大于等于0
我是在写文章过程中药用到这个结论 证了好几个月了还没证明出来 希望高手们帮忙 不胜感激
回复此楼

» 猜你喜欢
1楼 2013-09-10 01:34:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

feixiaolin

荣誉版主 (文坛精英)

优秀版主
转换一下思路，dim(V4)>0?
赞一下 回复此楼
2楼2013-09-10 06:51:53
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

感谢参与，应助指数 +1
楼主辛苦了，可以试试构造具体的例子。
令V1为一维子空间， 由(1,1)张成；
V2 为一维子空间， 由(1,-1)张成；
V3为一维子空间， 由(0,1)张成；
V4为平面， 就是V1+V2+V3.
那么 你要证明的就是
2 - (1+1+1) + (0+0+0) - 0 >=0. 貌似不妥。
赞一下 回复此楼
We_must_know. We_will_know.
3楼2013-09-10 09:52:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)
引用回帖:
3楼: Originally posted by hank612 at 2013-09-10 09:52:23
楼主辛苦了，可以试试构造具体的例子。
令V1为一维子空间， 由(1,1)张成；
V2 为一维子空间， 由(1,-1)张成；
V3为一维子空间， 由(0,1)张成；
V4为平面， 就是V1+V2+V3.
那么 你要证明的就是
2 - (1+1+1 ...

刚刚回复太草率了， 没看到有限域三个字。 如果有限域上线性空间是算向量个数的话，除非域是F2(由0和1组成的两个元素的域), 否则楼主的命题是显然成立的， 因为设V4的维数为n, 那么V4还有q^n 个向量 (q>=3)，而三个真子空间加起来最多3*q^{n-1}个向量，因此
dim(V4) >=  dim(V3交V4)+dim(V2交V4)+dim(V1交V4).
如果其中有非真子空间，比如V1=V4, 那就更显然了。

如果域恰好是F2， 那么V1=(0,1), V2=(1,0), V3=(1,1), V4={(0,0), (0,1), (1,0), (1,1)} 是个反例。
赞一下 回复此楼
We_must_know. We_will_know.
4楼2013-09-10 10:25:12
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cherryjing1786

铁虫 (正式写手)
真是太感谢你了 真牛啊 我是搞密码学的 最佩服搞数学的牛人
赞一下 回复此楼
5楼2013-09-10 16:06:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cherryjing1786

铁虫 (正式写手)
怎么发金币啊 给回帖的朋友每人5个金币吧 希望还能有专业人士回帖
赞一下 回复此楼
6楼2013-09-10 17:11:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)
引用回帖:
5楼: Originally posted by cherryjing1786 at 2013-09-10 16:06:03
真是太感谢你了 真牛啊 我是搞密码学的 最佩服搞数学的牛人

楼主想太多了。如果你花了很大功夫还证不出来， 那很大可能命题是错的， 不妨反戈一击，举个反例。
我举的是平面和三根直线的关系， 不会有更简单的例子了。估计楼主一门心思要给出理论证明
赞一下 回复此楼
We_must_know. We_will_know.
7楼2013-09-10 22:44:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cherryjing1786

铁虫 (正式写手)
我需要的的确是理论证明 其实是不止四个向量空间的情况 应该是任意个向量子空间的情况
赞一下 回复此楼
8楼2013-09-11 13:30:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 cherryjing1786 的主题更新
81/1返回列表
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[有机交流] 同一个分子，一条来自文献，一条来自AI——不告诉你答案，你会选哪条？ +4 tianxiaoxian 2026-09-28 7/350 2026-09-30 08:34 by 88817753
[博后之家] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +4 IDs3scOF0tjC 2026-09-28 4/200 2026-09-29 19:27 by cqwQDCxMcL3I
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +4 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:54 by yCO1Ll7aHtsw
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:47 by yCO1Ll7aHtsw
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 ZYXdhzDAy9ZX 2026-09-28 4/200 2026-09-29 16:37 by etmYJ6d2rquH
[博后之家] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 ZYXdhzDAy9ZX 2026-09-28 3/150 2026-09-29 16:30 by etmYJ6d2rquH
[考博] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 tqUTOxClQUMF 2026-09-28 3/150 2026-09-29 15:46 by etmYJ6d2rquH
[论文投稿] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 tqUTOxClQUMF 2026-09-28 4/200 2026-09-29 15:15 by etmYJ6d2rquH
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 tqUTOxClQUMF 2026-09-28 3/150 2026-09-29 14:58 by etmYJ6d2rquH
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 GDBe8tDZqE8z 2026-09-28 3/150 2026-09-29 14:30 by etmYJ6d2rquH
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 CfXuS1rDhLYN 2026-09-28 3/150 2026-09-29 14:24 by etmYJ6d2rquH
[找工作] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +6 IDs3scOF0tjC 2026-09-28 6/300 2026-09-29 14:13 by etmYJ6d2rquH
[公派出国] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +4 IDs3scOF0tjC 2026-09-28 5/250 2026-09-29 13:50 by etmYJ6d2rquH
[考研] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 ZYXdhzDAy9ZX 2026-09-28 3/150 2026-09-29 06:42 by ZvyPK8n6Nfki
[硕博家园] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 tqUTOxClQUMF 2026-09-28 3/150 2026-09-28 23:46 by b8fCuTHqckEt
[考研] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 GDBe8tDZqE8z 2026-09-28 3/150 2026-09-28 23:12 by b8fCuTHqckEt
[公派出国] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 IDs3scOF0tjC 2026-09-28 4/200 2026-09-28 22:55 by ez6fGg9abYaj
[找工作] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 IDs3scOF0tjC 2026-09-28 5/250 2026-09-28 22:32 by ez6fGg9abYaj
[考博] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 IDs3scOF0tjC 2026-09-28 6/300 2026-09-28 22:15 by ez6fGg9abYaj
[论文投稿] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 CfXuS1rDhLYN 2026-09-28 3/150 2026-09-28 19:08 by 9lS3ad5oOymn
信息提示
关闭
请填处理意见
关闭