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 bRnb \in \mathbb{R}^n for which there exists exactly one point a0Aa_0 \in A such that

a0b=infaAab.|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.