数学定义的描述，为啥不文字表述，一定要用符号去描述？ 按照这里的描述，x0显然是E集中最大的那个    

- 来自 水木社区APP v3.5.7
※ 修改:·x2303612 于 May  4 22:53:16 2024 修改本文·[FROM: 112.0.249.*]
※ 来源:·https://exp.mysmth.net·[FROM: 112.0.249.*]

修改:x2303612 FROM 112.0.249.*
FROM 112.0.249.*

任意给定epsilon>0，则存在x0属于E，满足不等式。这里的x0=x0(epsilon)是依赖于epsilon的，就是说给一个epsilon就能找到一个x0满足条件；然而找到的这个x0不一定对于所有epsilon都满足条件。上确界的定义是对于一般的集合E来说的。特别地，如果集合E比较特殊，对于所有的epsilon>0都能找到一个共同的x0属于E满足条件，那么可以推知x0等于beta，x0就是E的最大值（存在x0属于E，对于任意x属于E，x小于等于x0）。
【 在 x2303612 的大作中提到: 】
: 数学定义的描述，为啥不文字表述，一定要用符号去描述？ 按照这里的描述，x0显然是E集中最大的那个    
- 来自 水木社区APP v3.5.7
--
FROM 112.80.16.*

没明白
- 来自 水木社区APP v3.5.7
【 在 lavertu 的大作中提到: 】
: 任意给定epsilon>0，则存在x0属于E，满足不等式。这里的x0=x0(epsilon)是依赖于epsilon的，就是说给一个epsilon就能找到一个x0满足条件；然而找到的这个x0不一定对于所有epsilon都满足条件。上确界的定义是对于一般的集合E来说的。特别地，如果集合E比较特殊，对于所有的epsilon>0都能找到一个共同的x0属于E满足条件，那么可以推知x0等于beta，x0就是E的最大值（存在x0属于E，对于任意x属于E，x小于等于x0）。
--
FROM 117.136.66.*

开区间的那个x0怎么取值？没法取
    
【 在 lavertu (lavertu) 的大作中提到: 】
:  例如开区间(0,1)和闭区间[0,1]，二者的上确界都是1，然而前者没有最大值，后者有最大值也是1。不妨想一下对于(0,1)，任给epsilon，x0怎么取值。对于[0,1]又会如何。  
:  【 在 x2303612 的大作中提到: 】  
:  : 没明白    
:  : - 来自 水木社区APP v3.5.7    
--
发自xsmth (iOS版)
--
※ 修改:·x2303612 于 May  6 20:42:14 2024 修改本文·[FROM: 117.136.66.*]
※ 来源:·水木社区 http://www.mysmth.net·[FROM: 117.136.66.*]

修改:x2303612 FROM 117.136.66.*
FROM 117.136.66.*

很久很久以前，上确界的定义是“集合中最大的数的值”，后来有了反例，修改定义，继续找反例，继续修改定义，于是有了书上的定义，找不到反例了。

反例举例：[0,1)的上确界是1，1不在[0,1)中，[0,1)中不存在最大的数

【 在 x2303612 的大作中提到: 】
: 数学定义的描述，为啥不文字表述，一定要用符号去描述？ 按照这里的描述，x0显然是E集中最大的那个    
- 来自 水木社区APP v3.5.7
--
FROM 106.120.85.*