Используя метрику Хаусдорфа на множествах, можно сказать, что каждая бесконечная совокупность компактных подмножеств единичного шара имеет предельную точку (и эта предельная точка сама по себе является компактным множеством ).
Приложение
В качестве примера его использования можно показать , что изопериметрическая задача имеет решение. [1] То есть, существует кривая фиксированной длины, которая охватывает максимально возможную площадь. Можно показать, что и другие задачи имеют решение:
Задача Лебега об универсальном покрытии для выпуклого универсального покрытия минимального размера для совокупности всех множеств в плоскости единичного диаметра, [1]
задача максимального включения, [1]
и задача Мозера о червяке для выпуклого универсального покрытия минимального размера для набора плоских кривых единичной длины. [2]
Примечания
^ abc Пол Дж. Келли; Макс Л. Вайс (1979). Геометрия и выпуклость: исследование математических методов . Wiley. стр. Раздел 6.4.
^ Ветцель, Джон Э. (июль 2005 г.). «Классическая задача о червях — отчет о состоянии». Geombinatorics . 15 (1): 34–42.