是否存在從區間(0,1)到S^1的連續的雙射?
其中S^1是單位圓周
不存在
有很多種方法,但我沒有想到一個很乾凈的方法
下記 和
純拓撲的方法我想到的是:考慮 的一點緊化
,假設存在上述的1-1連續映射,可以證明它滿足一點緊化的萬有性質,然後會誘導一個
的連續映射,這樣的連續映射必是同胚,但是它在
上的限制已經是1-1了,所以矛盾。
參考:one-point compactification in nLab
稍微初等一點的:把 看作
里的單位圓,然後考慮這樣一個映射
把每個點映到它的橫坐標。那麼複合上
的映射我們就得到了一個
的映射,它滿足如下性質:
(1)它是滿的連續映射
(2)1和-1隻被映到了一次
(3) 中的每個點都被映射到了兩次
把 當作
中的
(本來就是 ),考慮這個函數的圖像,你可以論證出矛盾(會很繁瑣)。
剛剛又想到一個:考慮 的提升
,它是個連續嵌入,所以像一定是一個區間,假設
到
的復疊映射是
,那麼上述提升映射的像只有兩種可能:
或者
其中
。假如像是
,設
其中
,那麼
和
的函數值均大於
,根據介值定理,一定有一個值被兩次映到,矛盾!
感謝 @王箏 提醒,這裡還差一點
就是一個開區間(a,b)到R的連續雙射f,像一定是開區間
不妨只考慮像是(x,y]的情形。假設a&
(y-r,y]包含於f((c-s,c])和f([c,c+t))。這和單射矛盾。
(或者證明連續的單射一定是單調的也可以)
原答案:
隨便抓S^1里的一個點p,比如0&
重新試一下:
令
假設存在一個連續雙射 ,顯然
存在,且不是連續映射(否則造成緊集和非緊集同胚,矛盾)。
假定 在
不連續,令
。則說明對於某一個
,使得對於任意
,都有
,即
考慮 ,由於
是連續映射,所以存在
使得
。又由於
的任意性,取
,則有
取一點 ,令
。
因為 ,所以有
而 ,所以有
,矛盾。
所以假設不成立,即不存在這樣的連續雙射 。
經 @王箏 提醒,下面的回答是錯誤的,供大家做改錯參考。=P
令 ,
我們知道 是從
到
到 的連續雙射。
假如存在從 到
的連續雙射
,那麼
也是一個連續雙射。
而在區間上的連續雙射必須是單調映射,具有保開(閉)的特性,開區間的像也必然是開區間,這和 是半開半閉區間矛盾。
所以假設不成立,不存在從 到
的連續雙射。
第一步,假設存在f從(0,1)到S^1使得f連續+單射的話,那麼f是開映射。證明是容易的,因為設I為(0,1)的一個真開區間,由於f單,所以f(I)不滿。那麼函數f_限制在I上,可以看成是從I到S^1{p}的連續單射,此映射將會誘導了I到(0,1)的連續單射。這樣的映射是嚴格單調的,從而f(I)為開區間(嚴格說是開弧)。
由於(0,1)區間的任何開子集都可以寫成至多可數的真開區間的並,所以f是開映射。
第二步,再利用開映射+連續雙射,可推出同胚(感謝 @王箏 提醒)。就可推出矛盾了。我手寫的部分重點放在第二步了。
樓上@包龍圖的回答非常贊,然後在他的回答里我們發現問題主要出在0這一個點上(雖然也可以取1為閉同理)……我從另外一個角度瞎想了一下,首先(0,1)與R也就與R^2有連續雙射,而我們可以證明S^1是R^2去掉{0,0}點的收縮核。我們做R^2上開圓與S^1交弧,然後從原點引兩條射線過弧兩端,就在平面中割出一塊披薩餅,然後證明S^2{0,0}到S^1映射連續就是說這塊披薩餅是開的……而這就要求原點不在披薩餅里,大概也暗示了問題出在一個端點上……
我猜測比較短的做法是利用compactness的區別,因為 compact,開區間則non compact。但取決於你想用多少分析。證明單位圓的緊緻性取決於你們到底用了什麼定義,但不會很麻煩。至於開區間不緊緻,隨便構造個數列就好。
更新:以上答案有問題,還是看zero的吧。逆函數不連續就不行。
不存在,就是開區間不緊緻,而s1緊緻,所以它們不同胚,不存在兩者之間的連續雙射
推薦閱讀:
