Re: [其他] 三個不能往下拆的問題

看板Math作者 (Grothendieck吹頭)時間10年前 (2013/09/07 22:59), 編輯推噓3(306)
留言9則, 4人參與, 最新討論串8/12 (看更多)
只用集合來看的話當然很trivial啦 總是可以搬來搬去 沒什麼好說的 但數學通常要考慮更多結構 比方說上面有板友提到的 AxB->C ~> A->(B->C) 如果 A,B,C 都是拓樸空間, 第一個箭頭 -> 是連續映射 這時候面臨一個問題:如何賦予集合 (B->C) 合理的拓樸結構 致使第二個箭頭 -> 在變換(~>)之下能夠是連續映射呢? 類似的考量在構造 loop space 或 path space 的時候是必要的 作法通常是使用 compact-open 拓樸 這就不是中學程度把符號搬來搬去能夠解釋了。 -- -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 108.240.250.167

09/07 23:14, , 1F
好有趣!
09/07 23:14, 1F

09/08 00:00, , 2F
順帶一提, B要locally compact Hausdorff
09/08 00:00, 2F

09/08 00:01, , 3F
多謝補充
09/08 00:01, 3F

09/08 09:15, , 4F
core-compact 就好。
09/08 09:15, 4F

09/08 09:16, , 5F
Hausdorff 下跟 compact-open topology 一樣
09/08 09:16, 5F

09/08 09:17, , 6F
由 compactly generated 空間組成的範疇甚至是 CCC
09/08 09:17, 6F

09/08 09:17, , 7F
Cartesian closed cateogry
09/08 09:17, 7F

09/08 09:37, , 8F
真正的高手出現了
09/08 09:37, 8F

09/08 22:18, , 9F
板上果然各領域的高手都有...
09/08 22:18, 9F
文章代碼(AID): #1IApyzXZ (Math)
討論串 (同標題文章)
文章代碼(AID): #1IApyzXZ (Math)