Lemma von Urysohn

Das Lemma von Urysohn (auch Urysohnsches Lemma genannt) ist ein fundamentales Theorem aus dem mathematischen Teilgebiet der Allgemeinen Topologie.<ref>Bei H. Schubert, S. 79, wird die Herleitung des Lemmas als bemerkenswerte Konstruktion bezeichnet. Bei Jameson, S. 111, steht dazu: Urysohn’s 'lemma' is undoubtedly one of the best theorems in General Topology.</ref>

Das Lemma ist nach Pavel Urysohn benannt und wurde 1925 veröffentlicht.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Es wird vielfach benutzt, um stetige Funktionen mit gewissen Eigenschaften zu konstruieren. Seine breite Anwendungsmöglichkeit basiert darauf, dass viele der wichtigsten topologischen Räume wie die metrischen Räume und die kompakten Hausdorff-Räume die in dem Lemma vorausgesetzte Normalitätseigenschaft besitzen.

Eine Verallgemeinerung stellt der Fortsetzungssatz von Tietze dar. Bei dessen Beweis kommt das Urysohnsche Lemma in entscheidender Weise zum Tragen.

Formulierung des Lemmas

Das Lemma sagt folgendes aus<ref>{{#invoke:Vorlage:Literatur|f}}</ref>:

Sei <math>X</math> ein normaler Raum, d. h., ein topologischer Raum mit der Eigenschaft, dass je zwei disjunkte abgeschlossene Teilmengen von <math>X</math> disjunkte Umgebungen besitzen, und seien zwei derartige disjunkte abgeschlossene Teilmengen <math>A</math> und <math>B</math> vorgegeben.

Dann existiert dazu eine stetige Funktion

<math>f\colon X \rightarrow [0, 1]</math>

mit <math>f(a) = 0</math> für alle <math>a \in A</math> und <math>f(b) = 1</math> für alle <math>b \in B</math>.

Anmerkungen

1) Eine stetige Funktion <math>f</math> mit den in dem Lemma genannten Eigenschaften nennt man oft eine Urysohn-Funktion zu <math>A</math> und <math>B</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

2) Das Lemma von Urysohn sagt nichts aus über die Werte der stetigen Funktion <math>f</math> außerhalb der abgeschlossenen Teilmengen <math>A</math> und <math>B</math>, sondern allein, dass <math>A \subseteq f^{-1}(0)</math> und <math>B \subseteq f^{-1}(1)</math> gilt. Im Falle, dass zu disjunkten abgeschlossenen <math>A </math> und <math>B </math> stets ein stetiges <math>f\colon X \rightarrow [0, 1]</math> mit <math>A=f^{-1}(0)</math> und <math>B=f^{-1}(1)</math> zu finden ist, nennt man <math>X</math> einen perfekt normalen Raum.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

3) Für metrische Räume ist eine stetige Funktion <math>f</math> der obigen Art sofort anzugeben. Dazu definiert man zu zwei gegebenen disjunkten abgeschlossenen Teilmengen <math>A \neq \emptyset</math> und <math>B \neq \emptyset</math> von <math>X</math> die Funktion <math>f</math> wie folgt<ref>{{#invoke:Vorlage:Literatur|f}}</ref>:

<math> x \mapsto f(x) := \frac{d(x,A)}{d(x,A) + d(x,B)} </math>     <math> (x \in X)</math>

Dabei ist <math> d(x,Y) </math> der Abstand von <math>x \in X</math> zu <math> Y \subseteq X </math>   <math> (Y \neq \emptyset) </math>, also

<math> d(x,Y) = \operatorname{inf} \{ d(x,y): y \in Y \} </math>.

Die Funktion <math> x \mapsto d(x,Y) </math> ist stetig – sogar gleichmäßig stetig – und dabei gilt:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

<math> d(x,Y) = 0 \iff x \in \overline{Y} </math>.

Metrische Räume sind demnach immer perfekt normal.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Kernaussage des Lemmas

Der Kern des Lemmas von Urysohn liegt in der folgenden Aussage<ref>{{#invoke:Vorlage:Literatur|f}}</ref>:

Sei <math>X</math> ein topologischer Raum und sei <math>D \subseteq \R </math> eine dichte Teilmenge von <math>\R</math>. Darin gegeben sei eine Mengenfamilie   <math> (F(d))_{d \in D}</math>, bestehend aus offenen Teilmengen  <math> F(d) \subseteq X </math>   ( <math> d \in D </math> ), welche folgenden Bedingungen genüge:

1. Für <math> d_1, d_2 \in D </math> und <math> d_1 < d_2 </math> sei stets   <math> \overline{F(d_1)} \subseteq F(d_2) </math>  .
2. <math>\bigcap_{d \in D} F(d)= \emptyset </math>  .
3. <math>\bigcup_{d \in D} F(d)= X </math>  .

Schließlich sei für <math> x \in X </math>   folgende Zuordnung definiert:

<math> x \mapsto f(x) := \operatorname{inf} \{ d \in D : x \in F(d) \} </math>.

Dann ist durch diese Zuordnung eine stetige Funktion <math>f\colon\, X \to\R </math> gegeben.

Literatur

• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}

Siehe auch

• Interpolationssatz von Katětov

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Urysohn's lemma|Urysohn's lemma|Lemma von Urysohn}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:Urysohn's lemma|Urysohn's lemma|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Urysohn's lemma

   | {{#ifeq: {{#invoke:Str|left|urysohn's lemma|9}} 
       | category: 

| }}}}

Einzelnachweise

<references />