数学吧 关注:935,398贴子:8,938,788
  • 3回复贴,共1
求助

想问个问题

只看楼主收藏回复

想问个问题
有一条线段,以及集合A,集合A包含可数无穷多个线段上的点。
我们都知道线段上一共有实数无穷多个点。现在问题来了,能否在线段上取一个“确定”的点,其不在集合A中


IP属地:江苏来自Android客户端1楼2025-10-24 23:00回复
    哦,楼主是知道怎么找到不在A上的点的,将线段一分为二取左半,再一分为二取右半,重复该操作,最终就能找到。
    但这似乎并不是一个“确定”的点


    IP属地:江苏来自Android客户端2楼2025-10-24 23:05
    收起回复
      2026-02-04 22:36:47
      广告
      不感兴趣
      开通SVIP免广告
      用数学语言表述一下你的问题
      设I=[a,b]是R上的一个闭区间,A是一个集合,且A∩I与N等势,I/(A∩I)是否一定非空
      我们用反证法,假设一定为空集,则A∩I=I,从而一定存在一个恒等映射id是I到A∩I的双射,又因为A∩I与N等势,从而又一定存在一个从A∩I到N的双射g,令x_i=g(i),从而我们有I={x_i}_{i∈N}。记I_0=I,将区间I_{n-1}三等分成三个闭区间,则必有一个闭区间I_n满足x_n∉I_n,如此就构造了一个闭区间套,且满足lim|I_n|=0,从而有闭区间套原理,存在一个确定的实数x∈I,使得∩_{n∈N}I_n={x},而根据构造x又不等于任意的x_n,即有x∉I,这就导出了矛盾,故不成立。


      IP属地:江苏来自Android客户端3楼2025-10-25 13:05
      回复