Generalization of a theorem of Weierstrass (Q1502917)

Der Weierstraßsche Satz, um dessen Verallgemeinerung es sich handelt, ist der, daß jede in einem Intervall und an dessen Grenzen stetige Funktion darin wenigstens einmal ihren Maximalwert erreicht. Fréchet überträgt diesen Satz in die Sprache der Mengenlehre und spricht nach Aufstellung einiger neuen Definitionen (geschlossene stetige Menge, kompakte Menge) den allgemeineren Satz aus: Jede Funktional-Operation \(U_A\), die in einer kompakten und abgeschlossenen Menge \(E\) eindeutig und stetig ist, ist in \(E\) begrenzt und erreicht dort mindestens einmal ihre obere Grenze.