R到R^2不存在连续双射
话不多说,我们直接给出即将证明的题目:命题1:不存在从 到 的连续双射 这个问题是从以下问题自然联想而来的:命题2:不存在从 到 的
话不多说,我们直接给出即将证明的题目:
命题1:不存在从 到 的连续双射
这个问题是从以下问题自然联想而来的:
命题2:不存在从 到 的连续双射 ,其中 .
命题2的话直接考虑 为一个同胚,然后同时在 和 中挖去一个点,再考虑剩下两集合的连通性即可,具体的说明在命题1的证明中也可以得到体现。下面还是着手来证明命题1。
命题1的证明:
反证法:假设 是从 到 的一个连续双射。
现在对任意的正整数 ,考虑将 限制在闭区间 上,并记 在这之上的像集为 。那么 从 映到 时也将作为一个连续双射。注意到 是紧的, 具有Hausdorff性质,因此 即是一个 到 的同胚。由此我们顺便得到了 是闭的。
其次,我们再证明对每个正整数 , 均无内点。否则,倘若存在正整数 使得 有内点,即我们可以假设存在点 ,于是就存在 的一个开邻域 满足 。在 中取点 ,满足 在 上的原像 使 是一个不连通的集合(事实上只需 ,而由于 中不可能只有两个元素,故这样的选取是可行的)。但考虑到 却是一个连通集(甚至道路连通)。结合连续函数 恰把 映成 ,这就与连通性矛盾!这样我们就证明了 内部为空集。
最后,由于 ,故由连续双射可得 。结合前面已经得到了 内部均为空,故由Baire纲定理可知 内部也为空,但这显然是矛盾的!
综上,不存在从 到 的连续双射。
(注:本证明想法来源于答主 @ChengAe )