Choose and put . The intersection is nonempty, closed and bounded in , hence compact. The continuous distance function attains a minimum at some . For its value is strictly greater than , while the value at is at most that at , namely . Thus this minimum on is a minimum on all of :
The set itself need not be bounded; only the compact portion needed to find the nearest point is bounded.

Articles by others on the same topic (0)

There are currently no matching articles.