IMC 2003 · Problem 3

Day 210th IMC · Cluj-Napoca, Romania

Statement

Let AA be a closed subset of Rn\mathbb{R}^n and let BB be the set of all those points b∈Rnb \in \mathbb{R}^n for which there exists exactly one point a0∈Aa_0 \in A such that

∣a0−b∣=inf⁡a∈A∣a−b∣.|a_0 - b| = \inf_{a \in A} |a - b|.

Prove that BB is dense in Rn\mathbb{R}^n; that is, the closure of BB is Rn\mathbb{R}^n.

Official solution

Hidden so you can work on the problem first.