Lebesgue number lemma

Every open cover of a compact metric space has a uniform scale that fits inside the cover.

Lebesgue number lemma

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 . Equivalently, every subset of $X$ with diameter less than $\delta$ is contained in some member of the cover.

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 .