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 Euclidean Space and Lebesgue Measure: Standing Notation, 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…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.