Die gaußsche isoperimetrische Ungleichung ist in der Stochastik die isoperimetrische Ungleichung für den euklidischen Raum ausgestattet mit dem gaußschen Maß. Die Ungleichung sagt, dass unter allen Borel-Mengen im euklidischen Raum die Halbräume das minimale gaußsche Oberflächenmaß besitzen.
Sie wurde von 1975 von Christer Borell und unabhängig davon 1974 von Wladimir Sudakow und Boris Tsirelson bewiesen.
Aussage Sei ein gaußscher Raum, der zusätzlich mit der euklidischen Metrik ausgestattet ist, wobei das kanonische -dimensionale gaußsche Maß ist. die Verteilungsfunktion der Standard-Normalverteilung, ein Halbraum, der mit demselben gaußschen Maß ausgestattet ist, eine Borel-Menge in , die kleinste Distanz zwischen und . ist die geschlossene euklidische Nachbarschaft der Menge mit Radius . Analog die gleiche Definition für . Beachte, ist ein weiterer Halbraum.
Sei nun . Dann gilt für alle , dass das kleinste gaußsche Maß besitzt, das bedeutet
Als Konsequenz folgt daraus
Außerdem, falls gilt, dann ist zusätzlich
Verallgemeinerungen Es existieren verschiedene Verallgemeinerungen, darunter die Bobkow-Ungleichung und die Ehrhard-Ungleichung.
Einzelnachweise
Literatur
Kategorie:Ungleichung (Stochastik)