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
There are currently no matching articles.