在一平面內,任意一個圓內的點與圓外的點(不含邊界)數量是否相等(是否等勢)?
作者:由 dhchen 發表于 舞蹈時間:2018-11-10
謝邀,首先的確是等勢。但是,你的理解有點問題,你這樣轉換成極座標下看,你會多算了0點那個點,因為在任意角度下原點
點都對應那個
中的
。
一個比較好的思路是這樣的,設
是單位開圓盤(也就是單位圓的內部)而
表示的是包括邊界的圓盤,我們構造一個雙射
也就是說這個雙射保證了開圓盤
和它挖掉一點
是等勢的。然後我們構造雙射
, 它能把
和
相互聯絡。這時候,你可以轉換成極座標了,因為你挖掉了原點。此時
而
。所以就是
本質上就是構造一個
到
的雙射
,這是非常簡單的。
對於第一個問題,我們這樣建構函式
, 它滿足(在歐式座標系下)
,
,以此類推
,其餘的點都不變。這樣的函式就是在一個雙射
了。
然後是
了,這個函式的構造方法就很多了,最簡單的是:
。
綜合上面的思路你就能構造出這個雙射了,當然了,你如果學過Cantor-Schröder-Bernstein定理,那麼不直接構造這個函式也能證明這個結果。
至於等勢是否就是「嚴格相等」,那得看你腦海中的「相等」到底是什麼?看你如何定義了,嚴格說這不是數學問題了,是哲學問題了(笑)。但是,圓內和圓外的「拓撲」結構是不一樣的。一般來說,數學喜歡用兩個空間間能否存在一個具備「某種特性」的雙射來定義它們是否「等價」。我剛剛說它們的拓撲結構不同是指不存在一個從
到
連續雙射(逆也是連續的)。