The result is named after the American Mathematicians L. H. Loomis and Hassler Whitney , and was published in 1949.
Fix a dimension ''d'' ≥ 2 and consider the projections
:
:
For each 1 ≤ ''j'' ≤ ''d'', let
:
:
Then the holds:
|
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 ''j''th coordinate hyperplane. It follows that for any point ''x'' in ''E'',
:
Hence, by the Loomis-Whitney inequality,