TheoremBase

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

Statement

Let n≥1n\ge1 be a natural number, let ∥ ⋅ ∥\lVert\,\cdot\,\rVert be the Euclidean norm on Euclidean space Rn\mathbb{R}^n and let dd be the Euclidean distance, a metric on Rn\mathbb{R}^n; 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 open in (Rn,d)(\mathbb{R}^n,d), let δ>0\delta>0 be a real number, and put

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

1. (Room to spare) For every x∈Ωδx\in\Omega^{\delta} there is a real number η>0\eta>0 with Bˉ(x,δ+η)⊆Ω\bar B(x,\delta+\eta)\subseteq\Omega.

2. (Openness) Ωδ\Omega^{\delta} is open in (Rn,d)(\mathbb{R}^n,d).

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…