TheoremBase

The δ\delta-Interior of a Convex Subset of Rn\mathbb{R}^n is Convex

Statement

Let nn be a natural number with 1≤n1\le n, let R\mathbb{R} be the real numbers with the order ≤\le of their ordered field structure, and write s<ts<t to mean that s≤ts\le t and s≠ts\ne t. Regard Euclidean space Rn\mathbb{R}^{n} as a real vector space, with the sum of points and the scalar multiple. Let dd be the Euclidean distance, a metric on Rn\mathbb{R}^{n}, and write Bˉ(x,r)\bar B(x,r) for the closed ball of centre xx and radius rr in (Rn,d)(\mathbb{R}^{n},d).

Let Ω⊆Rn\Omega\subseteq\mathbb{R}^{n} be convex, let δ∈R\delta\in\mathbb{R} with 0<δ0<\delta, and put

Ωδ={x∈Rn:Bˉ(x,δ)⊆Ω}.\Omega^{\delta}=\{x\in\mathbb{R}^{n}:\bar B(x,\delta)\subseteq\Omega\}.

Then Ωδ\Omega^{\delta} is convex.

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…