The set of points within distance of a centre and within distance of a hyperplane through it has Lebesgue measure at most .
We work in the setting of Product Measures and Lebesgue Measure on ℝⁿ: Standing Notation and Background, whose notation is fixed for every dimension and is used here with a natural number satisfying : the Euclidean norm , distance, dot product and topology on , together with the notions of open, closed and bounded subsets, the Borel -algebra , Lebesgue measure , the absolute value and natural powers of real numbers, and the constant with are all as fixed there.
Let with , and let with and . Put
Then and
where the factor is to be read as when .
Loading…
No relations recorded yet.