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 Thomaesche Funktion

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

Siehe: Beweis des Satzes von Young im Beweisarchiv

Literatur

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.