Proof of Loewner's Torus Inequality
Loewner's torus inequality can be proved most easily by using the computational formula for the variance,
Namely, the formula is applied to the probability measure defined by the measure of the unit area flat torus in the conformal class of the given torus. For the random variable X, one takes the conformal factor of the given metric with respect to the flat one. Then the expected value E(X 2) of X 2 expresses the total area of the given metric. Meanwhile, the expected value E(X) of X can be related to the systole by using Fubini's theorem. The variance of X can then be thought of as the isosystolic defect, analogous to the isoperimetric defect of Bonnesen's inequality. This approach therefore produces the following version of Loewner's torus inequality with isosystolic defect:
where ƒ is the conformal factor of the metric with respect to a unit area flat metric in its conformal class.
Read more about this topic: Loewner's Torus Inequality
Famous quotes containing the words proof of, proof and/or inequality:
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)
“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)