MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let me recall subj:

If $s>0$, $A$ and $B$ are two subsets of $\mathbb{S}^{n}$, $|A|=|B|$ ($|\cdot|$ stands for the Lebesgue measure on the sphere) and $B$ is a cup $B=\{ (x_1,x_2,\dots,x_n)\in \mathbb{S}^n, x_n\leq t \}$ (for some $t\in [-1,1]$), then $|A_s|\geq |B_s|$, where $A_s$ means $s$-neighborhood of the set.

It leads to measure concentration inequalities for the sphere and so has numerous applications. So I guess that Levy's initial proof was simplified, maybe not once. What is the easiest proof of the inequality and where to read it?

share|cite|improve this question

The shortest and most amazing proof (in my opinion) is by Steiner symmetrization around half of a great circle. Given $A$, and given a half great circle $\gamma$, rotate the sphere so that $\gamma$ is a meridian arc. Then for each latitude sphere $H$, you can replace $A \cap H$ by the spherical cap in $H$ centered at $H \cap \gamma$. Let $A'$ be the result. Then it is not hard to show that $|A'_s| \le |A_s|$ for all $s > 0$; in fact even each $|A'_s \cap H| \le |A_s \cap H|$. And you can show that you can pick a sequence of half great circles such that $A$ converges to $B$ under symmetrization, and that some of the inequalities are strict unless $A$ is congruent to $B$.

Of course this is just an outline, but it is an accurate summary (I hope) of the Steiner symmetrization argument. It also works in Euclidean or hyperbolic space using a line rather than half of a line.

share|cite|improve this answer
$|A'_s\cap H|\leq A_s\cap H$ is induction propose if we use induction on dimension, right? – Fedor Petrov Oct 26 '10 at 10:40
ah, no, $A_s\cap H$ does not depend only on $A\cap H$, but on close lattitudes too... – Fedor Petrov Oct 26 '10 at 10:43
Yes, it's a proof by induction, even though $A_s \cap H$ depends on nearby latitudes. – Greg Kuperberg Oct 26 '10 at 10:55
Ah, for $A'$ it depend only on one latitude (though maybe different from $H$), so here everything is OK. It remains to show that a sequence of symmetrizations converge to a hat, It should be standard. – Fedor Petrov Oct 26 '10 at 13:32
Convergence is based on the fact that the circumradius of $A$ can only go down under symmetrization. Moreover, if you do enough symmetrizations, it does go down unless $A$ is a spherical cap. – Greg Kuperberg Oct 26 '10 at 19:30

A different symmetrization-based proof is given in this review article by Schechtman (pp. 7-8); see the previous page for references.

share|cite|improve this answer
Sorry, is a link OK? It downloads some file of 1.1kb size. – Fedor Petrov Oct 26 '10 at 19:01
It's a PostScript file. If you have a Mac and double-click on the file, it will automatically be converted into a PDF file. For Windows, it's a bit more difficult. – Deane Yang Oct 27 '10 at 1:24
I may read .ps files, but not of 1kb size – Fedor Petrov Oct 27 '10 at 7:27
The .ps file is actually 700kB. The link works for me, on two different computers. – Mark Meckes Oct 27 '10 at 11:16
thank you very much, now it works! – Fedor Petrov Oct 28 '10 at 7:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.