TheoremBase

A Bound for the Lebesgue Measure of a Bounded Slab in Rn\mathbb{R}^n

The set of points within distance RR of a centre and within distance δ\delta of a hyperplane through it has Lebesgue measure at most 2σnδ(2R)n−12\sigma_n\delta(2R)^{n-1}.

Statement

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 nn satisfying 1≤n1\le n: the Euclidean norm ∥ ⋅ ∥\lVert\,\cdot\,\rVert, distance, dot product and topology on Rn\mathbb{R}^{n}, together with the notions of open, closed and bounded subsets, the Borel σ\sigma-algebra B(Rn)\mathcal{B}(\mathbb{R}^{n}), Lebesgue measure λn\lambda_{n}, the absolute value and natural powers of real numbers, and the constant σn\sigma_{n} with σn2=n\sigma_{n}^{2}=n are all as fixed there.

Let z,ν∈Rnz,\nu\in\mathbb{R}^{n} with ∥ν∥=1\lVert\nu\rVert=1, and let R,δ∈RR,\delta\in\mathbb{R} with 0<R0<R and 0<δ0<\delta. Put

Σ={y∈Rn:∥y−z∥≤R  and  ∣ν⋅(y−z)∣≤δ}.\Sigma=\{y\in\mathbb{R}^{n}:\lVert y-z\rVert\le R\ \text{ and }\ |\nu\cdot(y-z)|\le\delta\}.

Then Σ∈B(Rn)\Sigma\in\mathcal{B}(\mathbb{R}^{n}) and

λn(Σ)≤2 σn δ (2R)n−1,\lambda_{n}(\Sigma)\le 2\,\sigma_{n}\,\delta\,(2R)^{n-1},

where the factor (2R)n−1(2R)^{n-1} is to be read as 11 when n=1n=1.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…