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.
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 and topology of , its Borel -algebra and its Lebesgue measure are as fixed there.
Let be convex and let be its interior, which is open by The Interior is the Largest Open Subset and therefore belongs to . Then the following hold.
1. (The interior is convex) The set is convex.
2. (A Borel subset lies in the interior up to a null set) For every with one has
Loading…
No relations recorded yet.