这个构造不很简单吗，有下界假设是-100
你现在集合你里面随便挑一个数，比如说是30
那么下确界就在-100和30这个区间了
然后折半查找的算法，就找到这个下确界了


【 在 kidsfan 的大作中提到: 】
: 标  题: 有业余自学数分的群吗？
: 发信站: 水木社区 (Thu Nov 21 08:28:09 2024), 站内
:
: 独学无友
: 孤陋寡闻
: 三周看了20页的张筑生数分
: 好难啊
: 话说，
: R的一个有下界的非空子集，在R中必有下确界
: 张的证明是为了把这个下确界找出来（构造出来）?
: 死活看不懂了
: --
:
: ※ 来源:·水木社区 http://m.mysmth.net·[FROM: 111.33.236.*]
--
修改:hulili FROM 116.25.237.*
FROM 116.25.237.*