Urysohn's lemma

Urysohn's lemma

In topology, Urysohn's lemma, sometimes called "the first non-trivial fact of point set topology", is commonly used to construct continuous functions of various properties on normal spaces. It is widely applicable since all metric spaces and all compact Hausdorff spaces are normal. The lemma is generalized by (and usually used in the proof of) the Tietze extension theorem.

The lemma is named after Pavel Samuilovich Urysohn. See also Cutoff function.

Formal statement

Urysohn's lemma states that "X" is a normal topological space if and only if, whenever "A" and "B" are disjoint closed subsets of "X", then there exists a continuous function from "X" into the unit interval [0, 1] ,:"f" : "X" → [0, 1] , such that "f"("a") = 0 for all "a" in "A" and "f"("b") = 1 for all "b" in "B".

Any such function "f" is known as an Urysohn function.

Note that in the statement above, we do not, and in general cannot, require that "f"("x") ≠ 0 and ≠ 1 for "x" outside of "A" and "B". This is only possible in perfectly normal spaces.

Urysohn's lemma has led to the formulation of other topological properties such as the 'Tychonoff property' and 'completely Hausdorff spaces'. For example, a corollary of the lemma is that normal "T"1 spaces are Tychonoff.

Sketch of proof

For every dyadic fraction "r" ∈ (0,1), we are going to construct an open subset "U"("r") of "X" such that:
# "U"("r") contains "A" and is disjoint from "B" for all "r"
# for "r" < "s", the closure of "U"("r") is contained in "U"("s")Once we have these sets, we define "f"("x") = inf { "r" : "x" ∈ "U"("r") } for every "x" ∈ "X". Using the fact that the dyadic rationals are dense, it is then not too hard to show that "f" is continuous and has the property "f"("A") ⊆ {0} and "f"("B") ⊆ {1}.

In order to construct the sets "U"("r"), we actually do a little bit more: we construct sets "U"("r") and "V"("r") such that
* "A" ⊆ "U"("r") and "B" ⊆ "V"("r") for all "r"
* "U"("r") and "V"("r") are open and disjoint for all "r"
* for "r" < "s", "V"("s") is contained in the complement of "U"("r") and the complement of "V"("r") is contained in "U"("s")Since the complement of "V"("r") is closed and contains "U"("r"), the latter condition then implies condition (2) from above.

This construction proceeds by mathematical induction. Since "X" is normal, we can find two disjoint open sets "U"(1/2) and "V"(1/2) which contain "A" and "B", respectively. Now assume that "n"≥1 and the sets "U"("a"/2"n") and "V"("a"/2"n") have already been constructed for "a" = 1,...,2"n"-1. Since "X" is normal, we can find two disjoint open sets which contain the complement of "V"("a"/2"n") and the complement of "U"(("a"+1)/2"n"), respectively. Call these two open sets "U"((2"a"+1)/2"n"+1) and "V"((2"a"+1)/2"n"+1), and verify the above three conditions.

The Mizar project has completely formalized and automatically checked a proof of Urysohn's lemma in the [http://www.mizar.org/JFM/Vol13/urysohn3.html URYSOHN3 file] .

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Lemma von Urysohn — Das der Topologie entstammende Lemma von Urysohn sagt Folgendes aus: Wenn X ein T4 Raum ist und A und B disjunkte abgeschlossene Teilmengen dieses Raumes sind, dann existiert eine stetige Funktion wobei f(a) = 0 für alle und f(b) = 1 f …   Deutsch Wikipedia

  • Urysohn — Pawel Samuilowitsch Urysohn, russisch Павел Самуилович Урысон, deutsch auch Paul Urysohn (* 3. Februar 1898 in Odessa, heute Ukraine; † 17. August 1924 in Batz sur Mer, Frankreich) war ein russischer Mathematiker, der sich vor allem mit… …   Deutsch Wikipedia

  • Pavel Samuilovich Urysohn — Pavel Samuilovich Urysohn, Pavel Uryson ( ru. Павел Самуилович Урысон) (February 3, 1898, Odessa – August 17, 1924, Batz sur Mer) was a Russian mathematician who is best known for his contributions in the theory of dimension, for developing… …   Wikipedia

  • Paul Urysohn — Pawel Samuilowitsch Urysohn, russisch Павел Самуилович Урысон, deutsch auch Paul Urysohn (* 3. Februar 1898 in Odessa, heute Ukraine; † 17. August 1924 in Batz sur Mer, Frankreich) war ein russischer Mathematiker, der sich vor allem mit… …   Deutsch Wikipedia

  • Pavel Urysohn — Pawel Samuilowitsch Urysohn, russisch Павел Самуилович Урысон, deutsch auch Paul Urysohn (* 3. Februar 1898 in Odessa, heute Ukraine; † 17. August 1924 in Batz sur Mer, Frankreich) war ein russischer Mathematiker, der sich vor allem mit… …   Deutsch Wikipedia

  • Pawel Urysohn — Pawel Samuilowitsch Urysohn, russisch Павел Самуилович Урысон, deutsch auch Paul Urysohn (* 3. Februar 1898 in Odessa, heute Ukraine; † 17. August 1924 in Batz sur Mer, Frankreich) war ein russischer Mathematiker, der sich vor allem mit… …   Deutsch Wikipedia

  • Pawel Samuilowitsch Urysohn — Pawel Urysohn Pawel Samuilowitsch Urysohn, russisch Павел Самуилович Урысон, deutsch auch Paul Urysohn (* 3. Februar 1898 in Odessa, heute Ukraine; † 17. August 1924 in Batz sur Mer, Frankreich) war ein russischer Mathematik …   Deutsch Wikipedia

  • Normaler Raum — Hinweis: Es gibt zwei unterschiedliche Definitionen für normale Räume und T4 Räume, bei denen die beiden Begriffe vertauscht sind. Hier gilt, dass ein T4 Raum normal und hausdorffsch ist (ein normaler Raum ist hier aber nicht hausdorffsch).… …   Deutsch Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • List of Russian mathematicians — Andrey Kolmogorov, a preeminent 20th century mathematician. This list of Russian mathematicians includes the famous mathematicians from the Russian Empire, the Soviet Union and the Russian Federation. This list is incomplete; you can help by …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”