Quelltext der Seite Kugelbedingung

In der [[Mathematik]] ist eine '''Kugelbedingung''' eine Eigenschaft einer Teilmenge <math>\Omega</math> eines [[Metrischer Raum|metrischen Raums]], in der Regel des <math>\R^n</math>. Anschaulich erfüllt <math>\Omega</math> die Kugelbedingung, wenn man an jeden [[Rand (Topologie)|Randpunkt]] eine Kugel so anlegen kann, dass der Schnitt des Randes mit dieser Kugel nur ebendieser Punkt ist. Je nachdem, ob diese Kugel in der Menge oder außerhalb liegt, spricht man von einer ''inneren'' bzw. ''äußeren'' Kugelbedingung.

Kugelbedingungen finden beispielsweise Anwendung bei der Formulierung von Bedingungen an die Lösbarkeit des [[Randwertproblem#Dirichlet-Problem|Dirichlet-Problems]] mit der [[Poissongleichung]].

== Mathematische Formulierung ==
[[Datei:Kugelbedingung.PNG|250px|mini|Äußere Kugelbedingung in <math>x_1</math>, innere (und äußere) Kugelbedingung in <math>x_2</math>]]
<math>\Omega</math> erfüllt in <math>x_0</math> eine innere Kugelbedingung, wenn gilt:
: <math>\exists \, x \in \Omega,\, \varepsilon > 0: B_\varepsilon(x) \subset \overline{\Omega} \land B_\varepsilon(x) \cap \partial \Omega = \{x_0\}</math>
Umgekehrt erfüllt <math>\Omega</math> in <math>x_0</math> eine äußere Kugelbedingung, wenn gilt:
: <math>\exists \, x \in \Omega^c,\, \varepsilon > 0: B_\varepsilon(x) \cap \overline{\Omega} = \{x_0\}</math>

Dabei bezeichnet <math>B_\varepsilon(x)</math> die Kugel um <math>x</math> mit Radius <math>\varepsilon</math>. Gilt diese Behauptung für jeden Punkt <math>x_0</math>, so sagt man, dass <math>\Omega</math> die Kugelbedingung erfüllt. Kann außerdem in jedem Punkt derselbe Radius <math>\varepsilon</math> verwendet werden, sagt man, dass die Kugelbedingung ''gleichmäßig'' erfüllt ist.

== Beispiele ==
Das Vorliegen einer Kugelbedingung stellt eine gewisse Glattheit des Randes sicher. Offenbar erfüllen die Punkte auf den Kanten eines Würfels keine innere Kugelbedingung. Die inneren Flächenpunkte einer Würfeloberfläche erfüllen offenbar eine Kugelbedingung, aber nicht gleichmäßig, da man mit dem Radius kleiner werden muss, wenn man sich mit dem Punkt einer Kante nähert. In nebenstehender Zeichnung genügt <math>\Omega</math> einer gleichmäßigen äußeren Kugelbedingung, wie leicht aus der [[Konvexe Menge|Konvexität]] der Menge <math>\Omega</math> folgt. In den spitzen Ecken wie <math>x_1</math> liegt keine innere Kugelbedingung vor.

== Literatur ==
* {{BibISBN|3-7643-2193-8|Seite=232}}

[[Kategorie:Topologie]]
[[Kategorie:Analysis]]