Satz von Wille

Der Satz von Wille ist ein Lehrsatz, den der deutsche Mathematiker Friedrich Wille (1935–1992) zum mathematischen Teilgebiet der Analysis beigetragen hat. Der Satz geht auf eine Arbeit Willes aus dem Jahr 1972 zurück und behandelt ein Überdeckungsproblem für beschränkte Teilmengen im höherdimensionalen euklidischen Raum. Er ist eng verbunden mit mehreren bedeutenden Sätzen der Mathematik wie etwa mit dem Pflastersatz von Lebesgue oder dem Borsuk'schen Antipodensatz. Mit seiner Hilfe lassen sich Lösbarkeitskriterien für Nichtlineare Gleichungssysteme mit gewissen Konvexitätseigenschaften ableiten.

Formulierung des Satzes

Der Monographie von Jürg T. Marti folgend, lässt sich der Satz wie folgt angeben:

Gegeben seien im ${ℝ}^n(n\in \mathbb{N},n\ge 2)$ endlich viele nichtleere Teilmengen $T,T_1,\dots ,T_m\subset {ℝ}^n(m\in \mathbb{N})$ . Die Teilmenge $T$ sei beschränkt und die anderen Teilmengen $T_j$ seien abgeschlossen und konvex.

Die Teilmengen $T_j$ sollen die $T$-Randpunktmenge $\partial T=\bar{T}\setminus T^{\circ }$ ganz überdecken, zugleich sollen aber noch Punkte in der Differenzmenge $D=T\setminus \left(\bigcup _{j=1,\dots ,m}{T}_j\right)$ liegen.

Dann gilt:

(i) $m\ge n+1$.

(ii) In der Schnittmenge der $m$ Teilmengen $T_j$ liegt kein einziger Punkt: $\bigcap _{j=1,\dots ,m}{T}_j=\mathrm{\varnothing }$.

(iii) Es gibt unter den $m$ Teilmengen $T_j$ eine $n$-gliedrige Mengenfolge $T_{j_1},\dots ,T_{j_n}$, deren Schnittmenge $\bigcap _{k=1,\dots ,n}{T}_{j_k}$ nichtleer ist und die dabei einen Punkt $p$ enthält, der zugleich ein Berührpunkt der Differenzmenge $D$ ist.

Korollar

Der Satz von Wille zieht – wegen (i) !– ein Korollar nach sich, das sich folgendermaßen angeben lässt:

Wenn im $n$-dimensionalen euklidischen Raum $n$ abgeschlossene und konvexe Teilmengen die Randpunktmenge $\partial T$ einer gegebenen beschränkten Teilmenge $T$ überdecken, so überdecken diese $n$ Teilmengen schon die gesamte Teilmenge $T$.

Verwandtes Resultat: Ein Satz von Berge

Im Jahre 1959 lieferte der französische Mathematiker Claude Berge (1926–2002) einen verwandten Satz, der sich der Frage widmet, unter welchen Bedingungen endlich viele abgeschlossene konvexe Teilmengen im euklidischen Raum (und allgemeiner in einem gegebenen topologischen Vektorraum) eine andere gegebene konvexe Teilmenge nicht überdecken. Diesen Satz kann man in Anschluss an die Monographie von Josef Stoer und Christoph Witzgall folgendermaßen darstellen:

Gegeben sei ein topologischer Vektorraum $X$ oder es sei sogar $X={ℝ}^n(n\in \mathbb{N})$.

Weiterhin gegeben seien endlich viele konvexe Teilmengen $T,T_1,\dots ,T_m\subseteq X(m\in \mathbb{N})$, wobei die $T_j$ allesamt abgeschlossen in $X$ sein sollen.

Zudem sollen die folgenden Bedingungen erfüllt sein:

(a) Für $k=1,\dots ,m$ sei stets

$T\cap \bigcap _{\genfrac{}{}{0ex}{}{j=1,\dots ,m}{j\ne k}}{T}_j\ne \mathrm{\varnothing }$.

(b) Insgesamt sei

$T\cap \bigcap _{j=1,\dots ,m}{T}_j=\mathrm{\varnothing }$.

Dann gilt:

$T⊈\bigcup _{j=1,\dots ,m}{T}_j$.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur