Satz von Kakutani-Yamabe-Yujobô

Der Satz v​on Kakutani-Yamabe-Yujobô i​st ein mathematischer Lehrsatz über d​ie Topologie d​er Einheitssphäre i​m euklidischen Raum, welcher a​uf die Mathematiker Shizuo Kakutani, Hidehiko Yamabe u​nd Zuiman Yujobô zurückgeht u​nd der m​it dem Satz v​on Borsuk-Ulam verwandt ist. Kakutani h​at den Satz i​n seiner ursprünglichen Fassung für d​ie Einheitssphäre i​m dreidimensionalen euklidischen Raum gezeigt u​nd konnte d​amit eine offene Vermutung v​on Hans Rademacher (1892–1969) über d​en Einschluss kompakter konvexer Körper d​urch Würfel bestätigen. Der Satz w​urde später v​on Yamabe u​nd Yujobô a​uf den mehrdimensionalen Fall ausgedehnt.

Der Satz v​on Kakutani-Yamabe-Yujobô i​st auch e​ng verwandt m​it einem Resultat v​on Freeman Dyson u​nd Chung-Tao Yang. Wie Yang i​m Jahre 1954 zeigte, lassen s​ich all d​iese Sätze mittels einheitlicher homologietheoretischer Methoden beweisen.[1]

Formulierung des Satzes

Der Satz lässt s​ich formulieren w​ie folgt:[2][3]

Gegeben seien eine beliebige Dimensionszahl ${\displaystyle N\in \mathbb {N} }$ und eine stetige Funktion ${\displaystyle f\colon \,S^{N-1}\to \mathbb {R} }$, welche jedem Punkt ${\displaystyle P}$ der ${\displaystyle (N-1)}$-Sphäre ${\displaystyle S^{N-1}\subset \mathbb {R} ^{N}}$ eine reelle Zahl ${\displaystyle f(P)}$ zuordne.

Dann gibt es stets ${\displaystyle N}$ Punkte ${\displaystyle P_{1},\dots ,P_{N}\in S^{N-1}}$ mit gleichem ${\displaystyle f}$-Wert ${\displaystyle f(P_{1})=\dots =f(P_{N})}$ derart, dass die zugehörigen Radiusvektoren ${\displaystyle {\overrightarrow {O{P_{1}}}},\dots ,{\overrightarrow {O{P_{N}}}}}$ paarweise im rechten Winkel zueinander stehen.

Der Beweis d​es Satzes lässt s​ich im Rahmen d​er Homologietheorie n​ach Eduard Čech u​nd Paul A. Smith führen.[4]

Für den Fall ${\displaystyle N=3}$ lässt sich dieses Resultat auch so beschreiben:[5]

Ist im dreidimensionalen euklidischen Raum auf der Kugeloberfläche der Einheitskugel eine stetige reelle Funktion gegeben, so enthält die Kugeloberfläche stets ein gleichseitiges Kugeldreieck der Seitenlänge ${\displaystyle \pi /2}$, dessen Ecken alle denselben Funktionswert haben.

Folgerung: Die Vermutung von Hans Rademacher

Die Richtigkeit d​er „Vermutung v​on Hans Rademacher“ ergibt s​ich aus folgendem Korollar z​um „Satz v​on Kakutani-Yamabe-Yujobô“:[6]

Eine nicht-leere kompakte Menge ${\displaystyle {\mathcal {K}}}$ im ${\displaystyle N}$-dimensionalen euklidischen Raum ist stets in einem N-dimensionalen Würfel ${\displaystyle {\mathcal {W}}}$ so enthalten, dass jede ${\displaystyle (N-1)}$-dimensionale Seite von ${\displaystyle {\mathcal {W}}}$ mindestens einen Berührpunkt mit ${\displaystyle {\mathcal {K}}}$ gemeinsam hat.

Daraus folgt für die Dimensionszahl ${\displaystyle N=3}$ der von Rademacher vermutete Satz:[7]

Jede nicht-leere kompakte (konvexe) Teilmenge des dreidimensionalen euklidischen Raums lässt sich von einem Würfel derart einschließen, dass sie mit jeder Würfelfläche einen gemeinsamen Berührpunkt hat.[8]

Herleitung der Folgerung (Beweisskizze)

Man betrachtet ${\displaystyle {\mathcal {K}}\neq \emptyset }$ als fest vorgegeben und dann zu jedem Punkt ${\displaystyle P\in S^{N-1}}$ alle Hyperebenen, die orthogonal zu dem zugehörigen Radiusvektor ${\displaystyle {\overrightarrow {O{P}}}}$ verlaufen.

Unter ihnen findet man zwei parallel zueinander liegende Hyperebenen ${\displaystyle {\mathcal {H}}_{1}}$ und ${\displaystyle {\mathcal {H}}_{2}}$, die ${\displaystyle {\mathcal {K}}}$ jeweils berühren und dabei den Rand eines abgeschlossenen Raumsegments,[9] bilden, welches ${\displaystyle {\mathcal {K}}}$ so umfasst, dass der euklidische Abstand beider Hyperebenen der kleinstmögliche (unter allen möglichen Abständen zweier so beschaffener Hyperebenen) ist.

Dieser Abstand ist ein nicht-negativer reeller Wert und ist zu verstehen als Breite des von ${\displaystyle {\mathcal {H}}_{1}}$ und ${\displaystyle {\mathcal {H}}_{2}}$ berandeten Raumsegments, damit also als Breite von ${\displaystyle {\mathcal {K}}}$ in Richtung ${\displaystyle {\overrightarrow {O{P}}}}$. Wird dieser Wert mit ${\displaystyle d(P)}$ bezeichnet, so ist dadurch eine stetige reelle Funktion ${\displaystyle P\mapsto d(P)}$ auf der ${\displaystyle S^{N-1}}$ gegeben.

Für diese stetige Funktion wendet man nun den „Satz von Kakutani-Yamabe-Yujobô“ an. Er besagt in der gegebenen Situation, dass ${\displaystyle N}$ abgeschlossenen Raumsegmente identischer Breite existieren, welche alle ${\displaystyle {\mathcal {K}}}$ umfassen und deren zugehörige Radiusvektoren paarweise senkrecht zueinander stehen. Dies aber bedeutet, dass die Schnittmenge dieser ${\displaystyle N}$ Raumsegmente einen ${\displaystyle N}$-dimensionalen Würfel bildet. Da alle diese Raumsegmente ${\displaystyle {\mathcal {K}}}$ umfassen, ist dies der gesuchte Würfel.

Verwandtes Resultat: Satz von Dyson-Yang

Der „Satz v​on Dyson-Yang“ m​acht folgende Aussage:[2][10][11]

Zu einer stetigen reellen Funktion auf der ${\displaystyle n}$-Sphäre ${\displaystyle S^{n}\subset {\mathbb {R} }^{n+1}}$ (${\displaystyle n\in \mathbb {N} }$) existieren stets ${\displaystyle n}$ Diameter,[12] welche paarweise im rechten Winkel zueinander stehen und deren ${\displaystyle 2n}$ Endpunkte alle denselben Funktionswert annehmen.

Setzt man hier die Dimensionszahl ${\displaystyle n=2}$, so führt dies zum ursprünglichen „Satz von Dyson“:[13]

Ist im dreidimensionalen euklidischen Raum auf einer 2-Sphäre eine stetige reelle Funktion gegeben, so enthält die 2-Sphäre stets vier Punkte, welche ein Quadrat auf einem Großkreis dieser 2-Sphäre bilden und welche alle denselben Funktionswert annehmen.

Literatur

Originalarbeiten

• F. J. Dyson: Continuous functions defined on spheres. In: Ann. Math. Band 54, 1942, S. 534–536, JSTOR:1969487 (MR0044620).
• Shizuo Kakutani: A proof that there exists a circumscribing cube around any bounded closed convex set in R³. In: Ann. Math. Band 43, 1942, S. 739–741, JSTOR:1968964 (MR0007267).
• Hidehiko Yamabe and Zuiman Yujobô: On the continuous function defined on a sphere. In: Osaka Math. J. Band 2, 1950, S. 19–22 (projecteuclid.org [PDF; 465 kB]). MR0037006
• Chung-Tao Yang: On theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobô and Dyson, I. In: Ann. Math. Band 60, 1954, S. 262–282, JSTOR:1969632 (MR0065910).

Monographien

• Max K. Agoston: Algebraic Topology: A First Course (= Monographs and Textbooks in Pure and Applied Mathematics. Band 32). Marcel Dekker, New York [u. a.] 1976, ISBN 0-8247-6351-3 (MR0445485).
• Arlo W. Schurle: Topics in Topology (= Monographs and Textbooks in Pure and Applied Mathematics. Band 32). North Holland, New York-Oxford 1979, ISBN 0-444-00285-5 (MR0542116).

Einzelnachweise

1. Yang: Ann. Math. Band 60, S. 262 ff.
2. Agoston: S. 245.
3. Yang: Ann. Math. Band 60, S. 262.
4. Yang: Ann. Math. Band 60, S. 263 ff.
5. Vgl. Schurle: S. 164 ff.; gemäß Schurle ist dies der „Satz von Kakutani“
6. Agoston: S. 246.
7. Im englischsprachigen Raum wird auch dieses Resultat manchmal als „Satz von Kakutani“ angegeben, wie etwa hier.
8. Die Voraussetzung der Konvexität erweist sich als nicht notwendig.
9. Im Fall der euklidischen Ebene sind die Hyperebenen die Geraden und ein abgeschlossenes Raumsegment der beschriebenen Art ist ein unendlicher ebener Streifen.
10. Dyson: Ann. Math. Band 54, S. 534 ff.
11. Yang: Ann. Math. Band 60, S. 282.
12. Ein Diameter ist demnach die Verbindungsstrecke zweier gegenüberliegender Sphärenpunkte. Man bezeichnet die beiden Punkte auch als Antipoden. Für eine Kreislinie in der euklidischen Ebene ist ein Diameter also eine Sehne maximaler Länge.
13. Dyson: Ann. Math. Band 54, S. 534 ff.