Let n≥1 be a natural number, let ∥⋅∥ be the Euclidean norm on Euclidean space Rn and let d be the Euclidean distance, a metric on Rn; write Bˉ(x,r) for the closed ball of centre x and radius r in (Rn,d).
Let Ω⊆Rn be open in (Rn,d), let δ>0 be a real number, and put
Ωδ={x∈Rn:Bˉ(x,δ)⊆Ω}.
1. (Room to spare) For every x∈Ωδ there is a real number η>0 with Bˉ(x,δ+η)⊆Ω.
2. (Openness) Ωδ is open in (Rn,d).