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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 一道关于商空间的证明题
141/2返回列表12下一页
查看: 3996  |  回复: 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下一页
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 我的国基提前知道中了，可是同事的操作让我实在接受不了，怎么会有这样的人 +10 家与远方 2026-08-10 15/750 2026-08-14 02:08 by 绵羊哥哥
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +11 医学老男孩 2026-08-13 29/1450 2026-08-14 00:04 by 大快人心啦
[基金申请] 关于Filecode分析方法 +9 majunge000 2026-08-10 12/600 2026-08-13 23:20 by iwuli
[文学芳草园] 阿姨 +4 汪汪锅 2026-08-09 4/200 2026-08-13 19:43 by arzu_hma
[基金申请] 有时候，自然基金真的不能太认真 （我的申报经验） +4 majunge000 2026-08-11 6/300 2026-08-13 16:50 by 四季常青藤
[基金申请] 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
[基金申请] 应该是93bebmhtak前后十一个字符比较关键 +22 Lanmanbaby 2026-08-09 36/1800 2026-08-12 22:50 by sdfapple719
[基金申请] 好奇怪的filecode +5 布布和一二 2026-08-08 6/300 2026-08-12 16:11 by 云上清扬
[论文投稿] 职称评审，求友友推荐见刊最快的期刊 +4 工厂打螺丝 2026-08-08 4/200 2026-08-12 09:18 by hansi2025
[基金申请] 奇怪，两个人的filecode固定段从头到尾一模一样 +7 布布和一二 2026-08-10 10/500 2026-08-12 09:12 by 布布和一二
[基金申请] 为什么网上很多人说本周 12号出结果 +6 瞬息宇宙 2026-08-10 7/350 2026-08-11 19:25 by Tide man
[基金申请] 什么时候出结果，有咨询渠道？？？ +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
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] filecode与中标关系的预测 +5 布布和一二 2026-08-07 5/250 2026-08-09 16:15 by 袁向阳007
[基金申请] fileCode有新解读？ +10 Tide man 2026-08-08 18/900 2026-08-09 12:55 by 仁砚薪传
[基金申请] 国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率 +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
信息提示
关闭
请填处理意见
关闭