24小时热门版块排行榜    

查看: 1880  |  回复: 7

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
我是在写文章过程中药用到这个结论 证了好几个月了还没证明出来 希望高手们帮忙 不胜感激
回复此楼
已阅   回复此楼   关注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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 今天系统多次维护,明天很可能放榜! +8 zju2000 2026-08-16 9/450 2026-08-17 12:20 by lmz0216
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜? +11 Ldrop2023 2026-08-13 11/550 2026-08-17 12:07 by zbs701124
[考研] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 6GojgJvkDudM 2026-08-16 4/200 2026-08-17 11:46 by 4GBAYCdVQoK3
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 6GojgJvkDudM 2026-08-16 3/150 2026-08-17 09:49 by xLVPIRuSvCUe
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +32 医学老男孩 2026-08-13 74/3700 2026-08-16 21:05 by 医学老男孩
[论文投稿] 岩土工程学报什么时候才能终审完呐 25+3 yeager111 2026-08-10 4/200 2026-08-16 20:42 by tfang
[基金申请] 2027广东省杰青 +3 奶牛小黑 2026-08-15 6/300 2026-08-16 20:07 by 奶牛小黑
[基金申请] 快农历七夕节了,轻松一下,男人悄悄话,女施主请不要进来。 +3 Tide man 2026-08-14 3/150 2026-08-16 17:47 by jurkat.1640
[基金申请] 咱们一起用铁证分析2026国家社科基金中标与否 +7 启萌科技 2026-08-12 26/1300 2026-08-16 12:35 by 启萌科技
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +10 majunge000 2026-08-11 12/600 2026-08-16 08:18 by xli1984
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] filecode=后面第一个是大写字母 +6 wangze12014 2026-08-14 7/350 2026-08-15 20:12 by gltch
[基金申请] 各位道友,我要去昆明玩几天,回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
[基金申请] 是这周出结果还是下周出结果? +4 yuleib84 2026-08-11 4/200 2026-08-14 23:05 by lfy8008
[基金申请] filecode +15 documentary 2026-08-10 17/850 2026-08-14 10:08 by kissu88
[基金申请] 静等基金结果 +8 gjjjzhong 2026-08-10 21/1050 2026-08-13 17:56 by 且听虎啸
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] Filecode 又变了,巨变 +3 WH3796 2026-08-12 4/200 2026-08-13 14:13 by 小木虫6752397
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 2019年青年基金涵评意见,大家看看几个A,几个B? +11 Tide man 2026-08-11 11/550 2026-08-13 07:35 by 撸猫猫
信息提示
请填处理意见