百科问答小站 logo
百科问答小站 font logo



如何证明R^2上的不可数集至少在一点附近局部不可数啊? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

不妨设 是有界集。(为什么只需证有界集的情形?注意到 可以写成可数个有界集的并,所以 必然存在一个有界子集是不可数集。这里用到了可数集的可数并是可数集。)

假设命题不成立,那么每个 都联系一个 ,使得 只含 中可数多个点。我们声明:对每个 ,使得 的 至多可数。这样的话, 是可数集的可数并,也就是可数集,这样就导出矛盾了,于是就证明了原命题。

让我们看看为什么这个声明成立。假设声明不成立,即对于某个 , 是不可数集,那当然也不是空集,所以可以取一个点 。注意, 只含 中可数多个点,所以 包含 中不可数个点,也即不是空集,所以可以取 ,即满足 (其中 表示距离)。类似地, 也是不可数集,即不是空集,所以可以取 满足 且 。这样,就构造了一列 ,使得 距离前 个点的距离都大于等于 。根据这个构造, 不可能存在收敛子列。这是因为任何子列 都满足 ,显见不会收敛。但是由于 是有界集( 是有界集!),所以必然存在收敛子列。这就导出矛盾了。于是那个声明成立。


@蛋卷就靠卷 的证明第一句话“可以把E变成R2”感觉gap有点大。他后面的论证只能证明 使得性质成立,如何过渡到 呢?可能还需要再补充一下。




  

相关话题

  在初等数学范围内,是否所有拥有递推公式的数列都可求对应的通项公式? 
  数学学习或研究中,你见过哪些有意思的反例? 
  正规数中是否包含了宇宙中的所有信息? 
  有没有什么和“数学归纳法名字中虽然有归纳两字,却不是归纳推理,而是演绎推理”类似的数学例子呀? 
  当游戏设计师需要具备哪些基本素养? 
  喜欢数学但没有天赋能不能做研究? 
  有没有什么可以让自己对数学感兴趣的书? 
  为什么几乎所有教科书上对微分的讲解都不明不白? 
  在你的科研领域里,做得不错的年轻人都有哪些特征? 
  一道初三数学几何题。目前用arctan和tan的无脑计算可以求出来,请问还有其他方法吗?向量?或其它? 

前一个讨论
请问贝祖定理(裴蜀定理)除了用辗转相除法还能怎么证?
下一个讨论
为什么度量空间中聚点等同于极限点?





© 2025-04-16 - tinynew.org. All Rights Reserved.
© 2025-04-16 - tinynew.org. 保留所有权利