民科吧 关注:386,163贴子:4,956,594
  • 10回复贴,共1

数学的灾难

只看楼主收藏回复

∀ε>0,∃δ>0,使得0<δ<ε
这个结论说对于任意一个正数ε,存在一个正数δ小于它
然而这是在找不到最小的的正数的前提下得出的结论
我们来看一个标准证明
证明:
①给定任意 ε > 0。
②取 δ = ε/2。
③因为 ε > 0,所以 ε/2 > 0,即 δ > 0。
④因为 ε > 0,1/2 < 1。两边同乘以 ε,得 (1/2)ε < 1ε,即 ε/2 < ε,即 δ < ε。
⑤综合1和2,我们有 0 < δ < ε。
⑥因此,对于任意 ε > 0,我们总能找到一个 δ (例如 δ = ε/2),使得 0 < δ < ε。
证毕。
分析
步骤①没有问题,第②步就有问题,此步骤默认任何正数都可以÷2得到更小的正数,这假设了了全部正数的性质,或者说默认了没有一个不能÷2的最小的正数,而需要证明的却是没有最小的正数,因此这属于循环论证,pass。
这样证明将将导致灾难性的后果是:如果存在一个最小的正数无法被任何正数÷,我们将永远无法发现它


IP属地:河南来自Android客户端1楼2025-05-08 22:06回复
    实数对除法封闭(除数为0除外),所以你的担心是多余的。


    IP属地:江苏来自Android客户端2楼2025-05-08 22:10
    收起回复
      2025-08-13 23:59:21
      广告
      不感兴趣
      开通SVIP免广告
      你后面的4和5不就是为了证明1/2ε<ε吗


      IP属地:浙江来自iPhone客户端3楼2025-05-08 23:49
      回复
        每年复读一次


        IP属地:四川来自iPhone客户端4楼2025-05-09 04:50
        回复
          这是数集的性质,你把正实数,正有理数,正有限小数等等当做取值范围都是成立的。
          至于你说的什么不能除以2的最小的正数,那你要找的可能是:正整数,最小的正整数是1


          IP属地:北京来自Android客户端5楼2025-05-09 06:41
          回复
            这是循环论证是因为你的论证有问题,这是你的灾难不是数学的灾难,数学不是这么证的


            IP属地:山东来自Android客户端6楼2025-05-09 08:44
            回复
              只要是正数肯定可以被正数除,这是除法的性质决定的,所以你的假设不成立,推断自然也不成立。


              IP属地:山东7楼2025-05-09 10:36
              回复
                实数的性质是统一的,能乘以1/2必然都可以乘


                IP属地:山西来自Android客户端8楼2025-05-09 19:13
                回复
                  2025-08-13 23:53:21
                  广告
                  不感兴趣
                  开通SVIP免广告
                  这算不算求极限。无限减半,最后收敛为0(别问,我极限那节课睡着了,不会写,但是感觉是极限)


                  IP属地:四川来自Android客户端9楼2025-05-09 22:27
                  回复