On the determination of a semicontinuous function from a countable set of values. (Q1486507)

Die Abhandlung soll einige neue Eigenschaften der halbstetigen Funktionen zeigen. Als korrespondierender Satz eines Theorems über stetige Funktionen wird nachgewiesen (\S\,2): Für eine obere halbstetige Funktion kann eine solche abzählbare überalldichte Punktmenge immer gefunden werden, daß, wenn die Werte der Funktion an diesen Punkten gegeben sind, der Wert an jedem übrigbleibenden Punkte gefunden werden kann; er ist tatsächlich die obere Grenze der bekannten Werte der Funktion an jenem Punkte. Im \S\,3 wird das Prinzip gebraucht, daß eine halbstetige Funktion als die Grenze einer monotonen Folge stetiger Funktionen ausgedrückt werden kann; hiermit wird bewiesen, daß die Kenntnis einer geeigneten abzählbaren Wertmenge a priori die Aussicht auf die Möglichkeit zur Bestimmung der Funktion gibt. In \S\,4 wird eine mögliche Auswahl dieser Punkte getroffen; der wesentliche Grundzug der ausgewählten Menge besteht darin, daß sie die Punkte umfaßt, an denen die Funktion ihre obere (untere) Schranke in jedem der Intervalle erreieht, die durch fortgesetzte Hälftung des ursprünglichen Intervalles entstehen. Die beiden folgenden Paragraphen dienen zur Beseitigung von Einwänden, die gemacht werden könnten. Insbesondere wird eine eigentümliche Funktion konstruiert, deren Wert in allen Stetigkeitspunkten Null ist. Diese Funktion wird im letzten Paragraphen für sich behandelt.