TheoremBase

The Interior of a Convex Set is Convex and Carries Each of Its Borel Subsets up to a Null Set

The interior of a convex subset of Euclidean space is convex, and every Borel subset of the convex set lies in that interior up to a Lebesgue null set.

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, distance and topology of Rn\mathbb{R}^{n}, its Borel σ\sigma-algebra B(Rn)\mathcal{B}(\mathbb{R}^{n}) and its Lebesgue measure λn\lambda_{n} are as fixed there.

Let C⊆RnC\subseteq\mathbb{R}^{n} be convex and let int⁡C\operatorname{int}C be its interior, which is open by The Interior is the Largest Open Subset and therefore belongs to B(Rn)\mathcal{B}(\mathbb{R}^{n}). Then the following hold.

1. (The interior is convex) The set int⁡C\operatorname{int}C is convex.

2. (A Borel subset lies in the interior up to a null set) For every E∈B(Rn)E\in\mathcal{B}(\mathbb{R}^{n}) with E⊆CE\subseteq C one has

λn(E∖int⁡C)=0.\lambda_{n}\bigl(E\setminus\operatorname{int}C\bigr)=0 .

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…