→ Sfly :let X=Y(as sets), f=id, 並且X的拓樸比Y的細緻 05/02 12:02
→ keroro321 :上面即例子,熟悉的實數空間也有許多,比如 05/02 14:49
→ keroro321 :S={0,1,1/2,..},N={0,1,2,.},f:N->S,f(n)=1/n,f(0)=0 05/02 14:50
→ keroro321 :想要舉|R^n裡的例子的話,如f:S->|R^n (S:|R^n的子集) 05/02 14:55
→ keroro321 :要注意"至少"不能取 |R^n 的 open set 05/02 14:56
→ keroro321 :有一個很強的定理 , U:open set in |R^n , f:U->|R^ 05/02 14:57
→ keroro321 :if f is continous and 1-1 . Then f∣U:U->f(U) 05/02 14:57
→ keroro321 :(the restriction of f to U) is a homeomorphism . 05/02 14:57
→ keroro321 :上面定理中f是 f:U->|R^n 空格沒看好抱歉 05/02 15:17