Lebesgue number

From Maths
Jump to: navigation, search
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Remember to replace the diameter reminder with a subpage transclusion in the future

Definition

Let [ilmath](X,d)[/ilmath] be a metric space, and [ilmath]\mathcal{U} [/ilmath] be a open cover of [ilmath]X[/ilmath]. We define the Lebesgue number[1] as follows:

  • if there is a [ilmath]\delta\in\mathbb{R} [/ilmath] such that [ilmath]\delta>0[/ilmath] such that [ilmath]\forall A\in\mathcal{P}(X)\ \exists U\in\mathcal{U}[\text{Diam}(A)<\delta\implies A\subseteq U][/ilmath], then [ilmath]\delta[/ilmath] is the Lebesgue number for [ilmath]\mathcal{U} [/ilmath].

In words: a number, [ilmath]\delta>0[/ilmath], is called a Lebesgue number for the cover [ilmath]\mathcal{U} [/ilmath] if for every subset of [ilmath]X[/ilmath] whose diameter is [ilmath]<\delta[/ilmath] is contained in one of the [ilmath]U\in\mathcal{U} [/ilmath].

Recall:
  • Diameter - the diameter of a bounded set, [ilmath]A[/ilmath] in a metric space, [ilmath](X,d)[/ilmath] is defined as:
    • [ilmath]\text{Diam}(A):=\text{Sup}(\{d(x,y)\ \vert\ x,y\in A\})[/ilmath] (where [ilmath]\text{Sup} [/ilmath] denotes the supremum of a a set of real numbers)

See also

References

  1. Introduction to Topological Manifolds - John M. Lee