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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 一道关于商空间的证明题
141/2返回列表12下一页
查看: 4115  |  回复: 13
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

Maximuszhao

铁虫 (初入文坛)

[求助] 一道关于商空间的证明题

设V1为线性空间V的子空间，V2为V1的子空间。证明：
dim((V/V2)/(V1/V2))=dim(V/V1)
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2013-06-18 21:23:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

nagami

木虫 (正式写手)

【答案】应助回帖

感谢参与，应助指数 +1
维数论很难，很考验耐力和毅力
dim有代数和拓扑的，这道题显然是代数的。
所以会自然的有2问，什么代数的维数？什么是代数的商空间；
1.代数的维数的定义不能直观臆断，这里的线性空间如果不是有限维的该如何。代数上的维数，我查到的资料是Hamel基，看这个会有帮助http://wenku.baidu.com/view/4b4a412d7375a417866f8f78.html；
2.商空间定义我忘了，但是肯定有个商映射联系着，代数上肯定是要求线性映射；拓扑上自然要求连续映射。
3.所以综合下大家的意见，这题应该怎么理解（个人）：
1）为了证明维数相等，先证明维数在线性同构下是个不变量。“=”按照Hamel基的维数定义，这就该是属于基数的等价类，这么理解。
2）证明这两个空间线性同构，需要仔细审查商空间定义，我觉得可以从商映射复合出来。（把空间分开来，写出商映射）
暂时想到这些
赞一下(1人) 回复此楼
女靠衣装；男靠金装
3楼2013-06-19 11:38:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

weft

木虫 (正式写手)
这有什么难的? 实际上可以证明更强的结论: 商空间的商空间与商空间是线性同构的, 所以维数相等是自然而然的事情.
赞一下 回复此楼
2楼2013-06-19 07:14:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

leungzipang

银虫 (小有名气)

【答案】应助回帖

★ ★ ★ ★ ★
感谢参与，应助指数 +1
Maximuszhao: 金币+5 2013-06-23 09:28:47
先证明 dim(V1/V2)=dim(V1)-dim(V2)，结论便很自然了。
赞一下 回复此楼
4楼2013-06-19 15:28:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

nagami

木虫 (正式写手)
引用回帖:
4楼: Originally posted by leungzipang at 2013-06-19 15:28:27
先证明 dim(V1/V2)=dim(V1)-dim(V2)，结论便很自然了。

你好，这样做觉得有问题，虽然你的想法是对的，那应该是针对直和，在Euclid space里，X=X1+X2，X1∩X2={0}；dimX=dimX1+dimX2，可行。对于商空间，比如 R^2/R×{1}，我不觉得它的维数是1；
而且维数的“+”和“×”，不那么直观。就像讨论基数的"+"，“×”一样，能避免就劲量避免
赞一下 回复此楼
女靠衣装；男靠金装
5楼2013-06-19 15:57:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

nagami

木虫 (正式写手)
引用回帖:
5楼: Originally posted by nagami at 2013-06-19 15:57:38
你好，这样做觉得有问题，虽然你的想法是对的，那应该是针对直和，在Euclid space里，X=X1+X2，X1∩X2={0}；dimX=dimX1+dimX2，可行。对于商空间，比如 R^2/R×{1}，我不觉得它的维数是1；
而且维数的“+”和“× ...

对于商空间，比如 R^2/R×{1}，我不觉得它的维数不是1；
赞一下 回复此楼
女靠衣装；男靠金装
6楼2013-06-19 15:58:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

nagami

木虫 (正式写手)
引用回帖:
6楼: Originally posted by nagami at 2013-06-19 15:58:48
对于商空间，比如 R^2/R×{1}，我不觉得它的维数不是1；...

好吧我承认我眼拙
赞一下 回复此楼
女靠衣装；男靠金装
7楼2013-06-19 16:00:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

leungzipang

银虫 (小有名气)
引用回帖:
7楼: Originally posted by nagami at 2013-06-19 16:00:09
好吧我承认我眼拙...

http://en.wikipedia.org/wiki/Quotient_space_(linear_algebra)
赞一下 回复此楼
8楼2013-06-20 16:16:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

nagami

木虫 (正式写手)
引用回帖:
8楼: Originally posted by leungzipang at 2013-06-20 16:16:41
http://en.wikipedia.org/wiki/Quotient_space_(linear_algebra)...

你是对的，我主观臆断了，R2/RX{0}的维数是1，因为它跟R线性同构。等价类是个整体
也是受益匪浅，我一直在寻找Helmhotlz算子为什么要定义余维数，原来这跟商空间扯上了。
赞一下 回复此楼
女靠衣装；男靠金装
9楼2013-06-20 16:47:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

nagami

木虫 (正式写手)
引用回帖:
8楼: Originally posted by leungzipang at 2013-06-20 16:16:41
http://en.wikipedia.org/wiki/Quotient_space_(linear_algebra)...

“Let C[0,1] denote the Banach space of continuous real-valued functions on the interval [0,1] with the sup norm. Denote the subspace of all functions f ∈ C[0,1] with f(0) = 0 by M. Then the equivalence class of some function g is determined by its value at 0, and the quotient space C[0,1] / M is isomorphic to R."
但是无限维你没法搞，都是连续统的基数，做减法，显然没定义。当然也不会是1.看来只能适用有限维
赞一下 回复此楼
女靠衣装；男靠金装
10楼2013-06-20 16:57:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Maximuszhao 的主题更新
141/2返回列表12下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[职场人生] 40+中年人失业后，还能找到好工作吗？ +11 xqy2009 2026-10-13 13/650 2026-10-15 21:32 by bear2007
[有机交流] 用NBS溴化时溶剂除了CCl4外还有什么 +3 18834002860 2026-10-12 6/300 2026-10-15 14:30 by 长沙摩尔信息科�
[基金申请] 申请科研项目纯靠实力能成功吗？ 200+7 David1982 2026-10-13 11/550 2026-10-15 10:30 by zyqchem
[硕博家园] 极限拉扯，如何抉择 +11 Isak0320 2026-10-12 15/750 2026-10-14 21:55 by 猫鱼不是鱼
[论文投稿] 二审4个多月了还是Awaiting Reviewer Scores 10+3 纳斯达克ML 2026-10-11 4/200 2026-10-14 17:30 by babero
[有机交流] OpenAI又攻克数学难题了，离AI做有机合成还有多远？ +8 wangyl_123 2026-10-10 13/650 2026-10-14 15:12 by zuesli
[教师之家] 课题组会帮你通过考核么？ +4 好运来～9527 2026-10-10 7/350 2026-10-13 08:41 by xli1984
[找工作] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 22:26 by XQNyDCa1Tk5n
[公派出国] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:26 by XQNyDCa1Tk5n
[考博] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:15 by XQNyDCa1Tk5n
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 22:11 by XQNyDCa1Tk5n
[教师之家] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:06 by XQNyDCa1Tk5n
[教师之家] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 14:25 by VOMexwnDzOFZ
[教师之家] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 (EPI+-1)(金币-50) +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 14:05 by VOMexwnDzOFZ
[考研] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:51 by VOMexwnDzOFZ
[硕博家园] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:45 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:54 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:34 by VOMexwnDzOFZ
[考博] 招收博士生一名 +3 mandolin 2026-10-10 3/150 2026-10-11 10:21 by 不是山谷！
[公派出国] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +4 qR2AdCWTVtkw 2026-10-09 4/200 2026-10-11 03:14 by M0zrYVSAnxpE
信息提示
关闭
请填处理意见
关闭