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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 一道关于商空间的证明题
141/2返回列表12下一页
查看: 3992  |  回复: 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下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 澳大利亚 Murdoch University 全奖博士招生（3个名额）地质化工冶金领域 +44 AI8RaGaPaSCR 2026-08-07 46/2300 2026-08-14 01:15 by oXaCpVTh6uOA
[基金申请] 咱们一起用铁证分析2026国家社科基金中标与否 +3 启萌科技 2026-08-12 11/550 2026-08-13 22:57 by 启萌科技
[文学芳草园] 阿姨 +4 汪汪锅 2026-08-09 4/200 2026-08-13 19:43 by arzu_hma
[硕博家园] 一作与独作在应聘高校教师时区别大吗 +3 mbygzh 2026-08-08 4/200 2026-08-13 19:31 by 龙-樱
[基金申请] 静等基金结果 +8 gjjjzhong 2026-08-10 21/1050 2026-08-13 17:56 by 且听虎啸
[基金申请] 重要来源：本周末出结果 +10 瞬息宇宙 2026-08-12 10/500 2026-08-13 15:46 by likettle
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 结合人工智能，周易传统文化，filecode打分制来了，3分以上希望很大。 +3 Tide man 2026-08-12 4/200 2026-08-13 08:35 by ZJTJZ
[基金申请] 奇怪，两个人的filecode固定段从头到尾一模一样 +7 布布和一二 2026-08-10 10/500 2026-08-12 09:12 by 布布和一二
[基金申请] 是这周出结果还是下周出结果？ +3 yuleib84 2026-08-11 3/150 2026-08-11 21:53 by jnhyjjm
[基金申请] 为什么网上很多人说本周 12号出结果 +6 瞬息宇宙 2026-08-10 7/350 2026-08-11 19:25 by Tide man
[硕博家园] 读博的好处 +3 lnee 2026-08-11 3/150 2026-08-11 18:10 by 希望我好好的
[基金申请] 什么时候出结果，有咨询渠道？？？ +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
[基金申请] 确定了，国自然21号放榜 +6 布布和一二 2026-08-10 7/350 2026-08-10 19:15 by 2000zf36392
[基金申请] 关于代码变化问题，想知道的进来 +17 且听虎啸 2026-08-07 24/1200 2026-08-10 18:35 by zhangduo2008
[基金申请] 据悉今年马上要出结果了 +7 瞬息宇宙 2026-08-10 8/400 2026-08-10 12:42 by Vivilian
[基金申请] 面上项目filecode邪修 +5 西山十月 2026-08-09 7/350 2026-08-10 07:32 by 仁砚薪传
[基金申请] 关于filecode，很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[基金申请] 化学口download_prp&fileCode的固定段好像这几天一直没变，有变的大神么？ +3 Tide man 2026-08-07 4/200 2026-08-07 22:39 by Tide man
信息提示
关闭
请填处理意见
关闭