Existenz des minimalen Umkreises im allgemeinen Fall

In Beweis von Satz C8N9 haben wir einen konstruktiven Ansatz gewählt, um die Existenz des minimalen Umkreises für endliche Punktmengen zu zeigen und haben im wesentlichen elementargeometrische Argumente verwendet. Für den Beweis im allgemeinen Fall werden wir analytische Hilfsmittel heranziehen.

Sei $A\subset\R^2$ eine beliebige Punktmenge. Dann existiert der minimale Umkreis und er ist nach Satz C979 sogar eindeutig bestimmt.

Sei $R$ der (wohldefinierte) Umkreisradius. Da dieser als Infimum der Radien existierender Umkreise definiert ist, finden wir für jede natürliche Zahl $n>=1$ einen Umkreis $K_n$ für dessen Radius $r_n$ gilt: $r_n<=R+\dfrac 1 n$. Sei $M_n$ der Mittelpunkt dieses Kreises. Die Folge der $(M_n)_{n\in\N^+}$ ist eine Zahlenfolge im $\R^2$. Diese Folge ist beschränkt, denn für zwei Folgenglieder und einem beliebigen Punkt $P\in A$ gilt:

Daher können wir nun aus dieser Folge eine konvergente Teilfolge $(M_k)$ auswählen (siehe Satz 12UH und Bemerkung 165N). Der Grenzwert dieser Teilfolge sei $M$. Wir zeigen nun, dass $K(M,R)$ - der Kreis um $M$ mit dem Radius $R$ - ein Umkreis um $A$ ist, womit die Existenz eines minimalen Umkreises gezeigt wäre.

Sei $\phi: \N\to\N$ die Auswahlfunktion, die jedem Teilfolgenindex dem Index der originalen Folge $(M_n)$ zuordnet. Dann gilt $\phi(m)>=m$ für alle $m\in\N^+$ und damit auch $\dfrac 1{\phi(m)}<=\dfrac 1 m$.

Angenommen $K(M,R)$ ist kein Umkreis. Dann gibt es ein $P\in A$ mit für ein festes $\epsilon>0$.

Da $M$ Grenzwert ist, können wir für dieses $\epsilon$ ein $n_0$ so wählen, dass $d(M,M_n)<\dfrac \epsilon 2$ für alle $n>n_0$. Speziell sei nun $n>n_0$ so gewählt, dass sogar $\dfrac 1{\phi(m)}<\dfrac \epsilon 2$ gelte. Dann können wir die folgende Abschätzung vornehmen: $d(M,P)<=d(M_n,P) +d(M,M_n)$ $<R+\dfrac 1{\phi(n)}+\dfrac \epsilon 2<=R+\dfrac \epsilon 2+\dfrac \epsilon 2=R+\epsilon$ im Widerspruch zu (1). $\qed$