2
$\begingroup$

Possible Duplicate:
Proof of the Lebesgue number lemma

Let $(X, d)$ be a metric space and $K \subset X$ a compact set.

Now I have to show that for all open covers $\mathcal U$, there is an $\lambda > 0$ so that for every subset $A \subset K$ with $\mathrm{diam}(A) < \lambda$ there is an $U \in \mathcal U$ so that $A \subset U$.

If I picture the set $K$ as a closed interval on the real numbers, I can imagine why this works. Since every open cover composed of several $U$ will overlap (since they are open). And if I take $\lambda$ to be the smallest overlap, any set that is that small will always be completely in either one of the two sets that overlap.

But how can I show that generally?


  • We defined “compact” as: For every family of open covers, you can take a finite number of patches that still cover the whole set.

  • Duplicate

  • 3
    [This](http://mathblather.blogspot.com/2011/07/lebesgue-number-lemma-and-corollary.html) could help for some inspiration...2012-04-23
  • 0
    In your course, did you take sequential compactness or ('open cover') compactness as your definition of compactness?2012-04-23
  • 0
    We defined compact so that there is an finite open subcover.2012-04-23
  • 0
    Alright. The reason why I asked was that some elementary metric topology textbooks first define compactness with convergence of subsequences and then show that it coincides with other definition of compactness. In particular, Lebesgue covering lemma is used to show the implication from sequential compactness to compactness, and the proof of the covering lemma is quite nice also for the sequential compact case.2012-04-23
  • 0
    @t.b.: Thanks, that helped a lot!2012-04-23

1 Answers 1