Lebesgue number lemma - Imported Knowlpedia Content

Lebesgue number lemma: Let $(X,d)$ be a metric space and assume $X$ is compact. For every open cover $\mathcal{U}$ of $X$ , there exists a number $\delta>0$ (a Lebesgue number for $\mathcal{U}$ ) such that for every $x\in X$ there is some $U\in\mathcal{U}$ with

B(x,\delta)\subseteq U,

where $B(x,\delta)$ is the open ball.

Equivalent characterizations

Equivalently, every subset of $X$ with diameter less than $\delta$ is contained in some member of the cover.

Remarks

This lemma turns qualitative compactness (existence of finite subcovers) into a quantitative uniform scale, and it is a key tool in results about uniform continuity and refinements of open covers.