Der Satz von Young, benannt nach William Henry Young, ist eine Aussage aus der deskriptiven Mengenlehre und der Theorie der Funktionen einer reellen Veränderlichen, die die Menge der Unstetigkeitsstellen einer Funktionen beschreibt.
Mit Hilfe des Satzes von Young und des Satzes von Baire lässt sich beispielsweise zeigen, dass es keine Funktion geben kann, die an allen irrationalen Stellen unstetig und an allen rationalen Stellen stetig ist.
Formulierung des Satzes
Die Menge der Unstetigkeitsstellen einer Funktion ist eine Fσ-Menge, also eine abzählbare Vereinigung abgeschlossener Mengen, die Menge der Stetigkeitsstellen dagegen eine Gδ-Menge, also ein abzählbarer Durchschnitt offener Mengen.
Man kann auch beweisen, dass es für jede -Menge eine Funktion gibt, so dass die Menge ihrer Unstetigkeitstellen ist.
Beispiel
die jeder rationalen Zahl den Stammbruch mit demselben Nenner zuordnet und irrationale Zahlen auf 0 abbildet, ist an allen rationalen Stellen unstetig und an allen irrationalen Stellen stetig. Die Menge der rationalen Punkte ist als eine abzählbare Vereinigung von abgeschlossenen (nämlich einpunktigen) Mengen eine -Menge:
Beweis
Literatur
- Felix Hausdorff: Grundzüge der Mengenlehre. Veit & Comp., Leipzig 1914 (Nachdruck. Chelsea Publishing Company, New York NY 1949).
- Klaus Gloede: Skriptum zur Vorlesung Deskriptive Mengenlehre. (PDF; 764 kB). Mathematisches Institut der Universität Heidelberg, Juni 2006.