Satz von Bernstein-Doetsch
# Satz von Bernstein-Doetsch

Der Satz von Bernstein-Doetsch ist ein Lehrsatz des mathematischen Teilgebiets der Analysis, der auf eine Arbeit der beiden Mathematiker Felix Bernstein und Gustav Doetsch aus dem Jahre 1915 zurückgeht. Der Satz gibt eine hinreichende Bedingung, unter der gewisse konvexe Funktionen des euklidischen Raums bereits stetig sind.

## Formulierung des Satzes

Der Satz von Bernstein-Doetsch lässt sich angeben wie folgt:

    Sei $\Omega$ eine konvexe und zugleich offene Teilmenge des $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$.
    Sei $f\colon \Omega \to \mathbb {R}$ eine Jensen-konvexe Funktion, also eine reellwertige Funktion, welche der Bedingung
       $f\left({\frac {x+y}{2}}\right)\leq {\frac {f(x)+f(y)}{2}}$
    für alle $x,y\in \Omega$ genügen möge.
    Weiter gebe es mindestens einen Punkt $x_{0}\in \Omega$ derart, dass für eine offene Umgebung $U(x_{0})\subseteq \Omega$ die Einschränkung $f|_{U(x_{0})}$ nach oben beschränkt sei.
    Dann gilt:
    $f$ ist in jedem Punkt von $\Omega$ stetig.

## Historische Anmerkung

Johan Ludwig Jensen hat schon im Jahre 1906 ein Vorläuferresultat zum Satz von Bernstein-Doetsch geliefert, indem er nämlich zeigte, dass der entsprechende Sachverhalt für konvexe Funktionen auf offenen reellen Intervallen gilt.

## Folgerungen

Der Satz von Bernstein-Doetsch zieht unmittelbar das folgende Korollar nach sich:

    Eine auf einer offenen und konvexen Teilmenge des euklidischen Raums gegebene Jensen-konvexe Funktion ist entweder stetig oder in jedem Punkt unstetig.

Darüber hinaus gewinnt man mit dem Satz von Bernstein-Doetsch das folgende grundlegende Resultat, welches der polnische Mathematiker Marek Kuczma in seiner bekannten Monographie An Introduction to the Theory of Functional Equations and Inequalities als The basic theorem betitelt. Dieses besagt:

    Ist $f\colon \Omega \to \mathbb {R}$ eine reellwertige Funktion für eine konvexe offene Teilmenge $\Omega$ des $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$, so ist $f$ sowohl Jensen-konvex als auch stetig genau dann,
    wenn für je zwei Punkte $x,y\in \Omega$ und jede reelle Zahl $\lambda \in [0,1]$ stets die Ungleichung
       $f\left(\lambda x+(1-\lambda )y\right)\leq \lambda f(x)+(1-\lambda )f(y)$
    erfüllt ist.

## Die Sätze von Sierpiński und Fréchet

Auf den polnischen Mathematiker Wacław Sierpiński geht ein Satz zurück, dessen Fragestellung der des Satzes von Bernstein-Doetsch gleicht, wenngleich dessen Beweis auf anderen Methoden beruht. Er lautet:

    Gegeben seien eine konvexe offene Teilmenge $\Omega$ des $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ und darauf eine Jensen-konvexe Funktion $f\colon \Omega \to \mathbb {R}$.
    Dann gilt:
    Ist $f$ messbar, so ist $f$ bereits stetig.

Der Satz von Sierpiński wiederum führt unmittelbar zu einem Satz, der für den Fall der Dimension $n=1$ schon von dem französischen Mathematiker Maurice Fréchet im Jahre 1913 formuliert wurde:

    Jede messbare additive Funktion $f\colon \mathbb {R} ^{n}\to \mathbb {R}$ ist stetig.

## Verwandtes Resultat für normierte Räume

Zum Satz von Bernstein-Doetsch gibt es ein verwandtes Resultat, welches den Fall der konvexen reellwertigen Funktionen auf normierten Räumen behandelt. Es lässt sich folgendermaßen formulieren:

    Gegeben seien ein normierter $\mathbb {R}$-Vektorraum $X$ und darin eine konvexe offene Teilmenge $\Omega \subseteq X$ sowie eine konvexe reellwertige Funktion $f\colon \Omega \to \mathbb {R}$.
    Dann sind die folgenden Aussagen gleichwertig:
       (a) $f$ ist stetig.
       (b) $f$ ist oberhalbstetig.
       (c) Es gibt eine nichtleere offene Teilmenge $U_{0}\subseteq \Omega$ derart, dass $f|_{U_{0}}$ nach oben beschränkt ist.
       (d) Es gibt mindestens einen Punkt $x_{0}\in \Omega$, in dem $f$ stetig ist.
    Ist $X$ darüber hinaus ein Banachraum, so sind sogar gleichwertig:
       (a') $f$ ist stetig.
       (b') $f$ ist oberhalbstetig.
       (c') $f$ ist unterhalbstetig.
