[微積] Marsden第四章連續函數的一些證明

看板Math作者 (小夫)時間14年前 (2011/03/29 00:47), 編輯推噓1(107)
留言8則, 3人參與, 最新討論串1/1
Marsden在第四章定理4.1.1中提到 如果函數f:A(包含於M)→N是連續的,則對於N中的任一開集合U,f^(-1)(U)是在A中的 開集合。(對某個開集合U',f^(-1)(U)=U'∩A) 但在4.2.1中證明若f:M→N是連續的而且K包含於M是連通集,則f(K)也是連通集時 一開始假設f(K)不是連通集,所以可以被兩個開集合U跟V分開 因為U跟V是開集合而且f是連續的 所以對某些開集合U'和V',f^(-1)(U)=U'∩K以及f^(-1)(V)=V'∩K 為什麼這部分不是f^(-1)(U)=U'∩M以及f^(-1)(V)=V'∩M呢? 麻煩各位幫我解答一下 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 211.74.239.105 ※ 編輯: josephbe 來自: 211.74.239.105 (03/29 01:02)

03/29 01:20, , 1F
你寫的是對的 但不會影響後面的證明
03/29 01:20, 1F

03/29 01:27, , 2F
謝謝!!那所以後面4.5.1中間質定理的證明也是一樣吧?
03/29 01:27, 2F

03/29 01:29, , 3F
f^(-1)(U)=U' 和 f^(-1)(V)=V' M是多寫的
03/29 01:29, 3F

03/29 01:41, , 4F
嗯嗯 似乎都當成類似 f|K --但不會影響證明
03/29 01:41, 4F

03/29 01:48, , 5F
因為f:M→N連續與K包含於M,所以得到f連續於K.根據
03/29 01:48, 5F

03/29 01:49, , 6F
定理4.1.1存在開集合U'與V'使得f^(-1)(U)=U'交集K
03/29 01:49, 6F

03/29 01:50, , 7F
f^(-1)(V)=V'交集K,最後目標證明要證出K不是連通.則
03/29 01:50, 7F

03/29 01:52, , 8F
原命題(P→Q)得證(書上是以~Q→~P證明)[比較好證!?]
03/29 01:52, 8F
文章代碼(AID): #1DaBk-3L (Math)