是否存在從區間(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緊緻,所以它們不同胚,不存在兩者之間的連續雙射
推薦閱讀: