数学研发论坛

 找回密码
 欢迎注册
查看: 253|回复: 6

[求助] 如何证明线性空间V不能被其有限个真子空间覆盖?

[复制链接]
发表于 2021-5-20 16:36:36 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
如题,如何证明线性空间V不能被其有限个真子空间覆盖?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-5-20 21:17:35 | 显示全部楼层
……这不是有手就能证?
算体积就够了
把线性空间距离原点小于1的所有点组成的球的n维体积算出来,这肯定是正的
每一个子空间与这个球相交的部分,体积都是0
有限个0怎么都不可能加成正数,于是证完。

开始我以为你想整n维空间的整点如何,觉得或许可以先试试高维pick公式,然后算体积
后来想明白了……连整点都不是,搞那么麻烦干什么……
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-5-21 13:34:00 | 显示全部楼层
维度的缺失通常需要无穷多个低维度的实例来弥补。这就好比偏微分方程可离散为空间点上的无穷多个关于时间的常微分方程,而不是有限个常微分方程。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-5-21 17:30:03 来自手机 | 显示全部楼层
结论不正确,有限域上的线性空间是不成立
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-5-21 21:05:47 | 显示全部楼层
mathe 发表于 2021-5-21 17:30
结论不正确,有限域上的线性空间是不成立

……的确
有限域就算定义了距离,距离原点小于1的所有点也只有有限多个,于是我的证明不成立

直接默认欧式空间的确有点想当然了……
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-5-22 11:49:30 | 显示全部楼层
数域定义在R上的话,就是北大代数与几何教研室出的《高等代数》课后习题。本来想搜一下答案,发现有个https://wenku.baidu.com/view/83784231b90d6c85ec3ac66c.html。按上面提的一笔,需要在元素数不可列的数域上讨论(数域的基是阿列夫1)。也不知道是必须这么强,还是单纯出于方便。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-5-22 19:53:58 | 显示全部楼层
感谢大家的分享!我应该把无限维这个条件加上的,现在这个问题我已经解决了。再次谢谢大家~
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2021-6-21 03:13 , Processed in 0.056479 second(s), 16 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表