有限闭区间的最小覆盖数

设I是闭区间,{O_α}是I的一个开覆盖,证明了在{O_α}中存在I的最少开覆盖,并提供一个寻找最少开覆盖的构造性方法,从而可以确定I的关于{O_α}的最小覆盖数。