Loomis-whitney Inequality Website Links For
Inequality
 

Information About

Loomis-whitney Inequality




The result is named after the American Mathematicians L. H. Loomis and Hassler Whitney , and was published in 1949.


STATEMENT OF THE INEQUALITY


Fix a dimension ''d'' ≥ 2 and consider the projections

:\pi_{j} : \mathbb{R}^{d} o \mathbb{R}^{d - 1},
:\pi_{j} : x = (x_{1}, \dots, x_{d}) \mapsto \hat{x}_{j} = (x_{1}, \dots, x_{j - 1}, x_{j + 1}, \dots, x_{d}).

For each 1 ≤ ''j'' ≤ ''d'', let

:g_{j} : \mathbb{R}^{d - 1} o [0, + \infty),
:g_{j} \in L^{d - 1} (\mathbb{R}^{d -1}).

Then the Loomis-Whitney inequality holds:





A SPECIAL CASE


The Loomis-Whitney inequality can be used to relate the Lebesgue Measure of a subset of Euclidean Space \mathbb{R}^{d} to its "average widths" in the coordinate directions. Let ''E'' be some Measurable Subset of \mathbb{R}^{d} and let

:f_{j} = \mathbf{1}_{\pi_{j} (E)}

be the Indicator Function of the projection of ''E'' onto the ''j''th coordinate hyperplane. It follows that for any point ''x'' in ''E'',

:\prod_{j = 1}^{d} f_{j} (\pi_{j} (x))^{1 / (d - 1)} = 1.

Hence, by the Loomis-Whitney inequality,