这个证明没有错误，用确界原理关键就是构造这样的集合，在谢慧民的书中称之为Lebesgue方法
我这个问题上也卡了很久了。
同学，您能否帮我讲解一下这个题，我没有看懂你发的这个答案
不是集合族才能说覆盖吗？
