Misplaced Pages

Lindelöf's lemma

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Not to be confused with Lindelöf's theorem in complex analysis.

In mathematics, Lindelöf's lemma is a simple but useful lemma in topology on the real line, named for the Finnish mathematician Ernst Leonard Lindelöf.

Statement of the lemma

Let the real line have its standard topology. Then every open subset of the real line is a countable union of open intervals.

Generalized Statement

Lindelöf's lemma is also known as the statement that every open cover in a second-countable space has a countable subcover (Kelley 1955:49). This means that every second-countable space is also a Lindelöf space.

Proof of the generalized statement

Let B {\displaystyle B} be a countable basis of X {\displaystyle X} . Consider an open cover, F = ⋃ α U α {\displaystyle {\mathcal {F}}=\bigcup _{\alpha }U_{\alpha }} . To get prepared for the following deduction, we define two sets for convenience, B α := { β ∈ B : β ⊂ U α } {\displaystyle B_{\alpha }:=\left\{\beta \in B:\beta \subset U_{\alpha }\right\}} , B ′ := ⋃ α B α {\displaystyle B':=\bigcup _{\alpha }B_{\alpha }} .

A straight-forward but essential observation is that, U α = ⋃ β ∈ B α β {\displaystyle U_{\alpha }=\bigcup _{\beta \in B_{\alpha }}\beta } which is from the definition of base. Therefore, we can get that,

F = ⋃ α U α = ⋃ α ⋃ β ∈ B α β = ⋃ β ∈ B ′ β {\displaystyle {\mathcal {F}}=\bigcup _{\alpha }U_{\alpha }=\bigcup _{\alpha }\bigcup _{\beta \in B_{\alpha }}\beta =\bigcup _{\beta \in B'}\beta }

where B ′ ⊂ B {\displaystyle B'\subset B} , and is therefore at most countable. Next, by construction, for each β ∈ B ′ {\displaystyle \beta \in B'} there is some δ β {\displaystyle \delta _{\beta }} such that β ⊂ U δ β {\displaystyle \beta \subset U_{\delta _{\beta }}} . We can therefore write

F = ⋃ β ∈ B ′ U δ β {\displaystyle {\mathcal {F}}=\bigcup _{\beta \in B'}U_{\delta _{\beta }}}

completing the proof.

References

  1. Here, we use the definition of "base" in M.A.Armstrong, Basic Topology, chapter 2, §1, i.e. a collection of open sets such that every open set is a union of members of this collection.
  1. J.L. Kelley (1955), General Topology, van Nostrand.
  2. M.A. Armstrong (1983), Basic Topology, Springer.


Stub icon

This topology-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: