“Loomis–Whitney inequality”的意思、由来-开放百科全书

词条

Loomis–Whitney inequality

释义

Statement of the inequality
A special case
Generalizations
References

In mathematics, the Loomis–Whitney inequality is a result in geometry, which in its simplest form, allows one to estimate the "size" of a -dimensional set by the sizes of its -dimensional projections. The inequality has applications in incidence geometry, the study of so-called "lattice animals", and other areas.

The result is named after the American mathematicians Lynn Harold Loomis and Hassler Whitney, and was published in 1949.

Statement of the inequality

Fix a dimension and consider the projections

For each 1 ≤ j ≤ d, let

Then the Loomis–Whitney inequality holds:

Equivalently, taking

A special case

The Loomis–Whitney inequality can be used to relate the Lebesgue measure of a subset of Euclidean space to its "average widths" in the coordinate directions. Let E be some measurable subset of and let

be the indicator function of the projection of E onto the jth coordinate hyperplane. It follows that for any point x in E,

Hence, by the Loomis–Whitney inequality,

and hence

The quantity

can be thought of as the average width of in the th coordinate direction. This interpretation of the Loomis–Whitney inequality also holds if we consider a finite subset of Euclidean space and replace Lebesgue measure by counting measure.

Generalizations

The Loomis–Whitney inequality is a special case of the Brascamp–Lieb inequality, in which the projections π_j above are replaced by more general linear maps, not necessarily all mapping onto spaces of the same dimension.

References

{{cite journal

}} {{MathSciNet|id=0031538}}

2 : Incidence geometry|Geometric inequalities

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。