In der Mathematik ist das sogenannte waist of the sphere theorem (deutsch etwa „Satz über die Taille der Sphäre“), auch waist inequality genannt, eine Ungleichung der euklidischen Geometrie. Sie wurde von dem russisch-französischen Mathematiker Michail Leonidowitsch Gromow bewiesen.

Ungleichung

Sei ${\displaystyle S^{n}\subset \mathbb {R} ^{n+1}}$ die Einheitssphäre und

${\displaystyle f\colon S^{n}\rightarrow \mathbb {R} ^{q}}$

eine stetige Abbildung, ${\displaystyle q\leq n}$.

Dann gibt es mindestens ein ${\displaystyle y\in \mathbb {R} ^{q}}$ mit

${\displaystyle \mathrm {vol} (U_{\varepsilon }(f^{-1}(y)))\geq \mathrm {vol} (U_{\varepsilon }(S^{n-q}))\ {\text{für alle}}\ \varepsilon >0}$.

Hierbei bezeichnet ${\displaystyle U_{\varepsilon }}$ die ${\displaystyle \varepsilon }$-Umgebung und ${\displaystyle S^{n-q}\subset S^{n}}$ den ${\displaystyle (n-q)}$-dimensionalen Äquator.

Kombinatorische Version

Zu jeder stetigen Abbildung ${\displaystyle F\colon \Delta ^{N-1}\to \mathbb {R} ^{q}}$ eines ${\displaystyle (N-1)}$-Simplex in den ${\displaystyle \mathbb {R} ^{q}}$ gibt es ein ${\displaystyle y\in \mathbb {R} ^{q}}$ mit

${\displaystyle \mid F^{-1}(y)\mid \geq c(q){\dbinom {N}{q+1}}}$

für eine nur von ${\displaystyle q}$ abhängende Konstante ${\displaystyle c(q)}$.

Insbesondere gibt es zu je ${\displaystyle N}$ Punkten im ${\displaystyle \mathbb {R} ^{q}}$ einen Punkt ${\displaystyle y\in \mathbb {R} ^{q}}$, der in mindestens ${\displaystyle c(q){\tbinom {N}{q+1}}}$ der ${\displaystyle {\tbinom {N}{q+1}}}$ von diesen ${\displaystyle N}$ Punkten aufgespannten ${\displaystyle q}$-Simplizes liegt. (Das ist eine auf Bárány zurückgehende Verallgemeinerung eines Satzes von Carathéodory.)

Geschichte

Die Ungleichung unter gewissen Regularitätsvoraussetzungen an die Abbildung ${\displaystyle f}$ lässt sich mit den 1965 von Almgren entwickelten Methoden der geometrischen Maßtheorie beweisen, wurde von Almgren selbst aber nicht in dieser Form erwähnt. Gromov gab zunächst 1983 einen kurzen geometrischen Beweis für die Existenz einer nicht-expliziten unteren Schranke von ${\displaystyle \sup _{y\in \mathbb {R} ^{q}}{\mathcal {H}}^{n-q}(f^{-1}(y))}$ und schließlich 2003 einen Beweis der Ungleichung in obiger Form mittels algebraischer Topologie. Ein detaillierter Beweis wurde 2011 von Memarian veröffentlicht.

Literatur

• Misha Gromov: Metric structures for Riemannian and non-Riemannian spaces. Based on the 1981 French original. With appendices by M. Katz, P. Pansu and S. Semmes. Translated from the French by Sean Michael Bates. Reprint of the 2001 English edition. Modern Birkhäuser Classics. Birkhäuser Boston, Inc., Boston, MA, 2007 (Section 2.12 ½)

Weblinks

• Larry Guth: The waist inequality in Gromov's work pdf (erscheint in: The Abel Prize 2008-2012, Springer Verlag 2014, ISBN 978-3-642-39448-5)
• Parker Glynn-Addey: Of waists and spheres
• Arseniy Akopyan, Alfredo Hubard, Roman Karasev: Lower and upper bounds for the waists of different spaces pdf

Einzelnachweise

1. ↑ F.J.Almgren: The theory of varifolds - a variational calculus in the large for the k-dimensional area integrand. Mimeographed notes, 1965.
2. ↑ Mikhael Gromov: Filling Riemannian manifolds. J. Differential Geom. 18 (1983), no. 1, 1–147. (Appendix 1(F)) pdf
3. ↑ M.Gromov: Isoperimetry of waists and concentration of maps. Geom. Funct. Anal. 13 (2003), no. 1, 178–215. pdf (Memento des Originals vom 24. September 2015 im Internet Archive)  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/www.ihes.fr
4. ↑ Yashar Memarian: On Gromov's waist of the sphere theorem. J. Topol. Anal. 3 (2011), no. 1, 7–36. pdf