Isoperimetric Inequality in Higher Dimensions
The isoperimetric theorem generalizes to surfaces in the three-dimensional Euclidean space. Among all simple closed surfaces with given surface area, the sphere encloses a region of maximal volume. An analogous statement holds in Euclidean spaces of any dimension.
In full generality (Federer 1969, §3.2.43), the isoperimetric inequality states that for any set S ⊂ Rn whose closure has finite Lebesgue measure
where M*n-1 is the (n-1)-dimensional Minkowski content, Ln is the n-dimensional Lebesgue measure, and ωn is the volume of the unit ball in Rn. If the boundary of S is rectifiable, then the Minkowski content is the (n-1)-dimensional Hausdorff measure.
The isoperimetric inequality in n-dimensions can be quickly proven by the Brunn-Minkowski inequality (Osserman (1978); Federer (1969, §3.2.43)).
The n-dimensional isoperimetric inequality is equivalent (for sufficiently smooth domains) to the Sobolev inequality on Rn with optimal constant:
for all u ∈ W1,1(Rn).
Read more about this topic: Isoperimetric Inequality
Famous quotes containing the words inequality, higher and/or dimensions:
“Nature is unfair? So much the better, inequality is the only bearable thing, the monotony of equality can only lead us to boredom.”
—Francis Picabia (1878–1953)
“Painting seems to be to the eye what dancing is to the limbs. When that has educated the frame to self-possession, to nimbleness, to grace, the steps of the dancing-master are better forgotten; so painting teaches me the splendor of color and the expression of form, and as I see many pictures and higher genius in the art, I see the boundless opulence of the pencil, the indifferency in which the artist stands free to choose out of the possible forms.”
—Ralph Waldo Emerson (1803–1882)
“Why is it that many contemporary male thinkers, especially men of color, repudiate the imperialist legacy of Columbus but affirm dimensions of that legacy by their refusal to repudiate patriarchy?”
—bell hooks (b. c. 1955)