"Записки научных семинаров ПОМИ"
Том 407, стр. 17-34
Об одной теореме непрерывности для конструктивных функций
А. А. Владимиров
ВЦ им. А. А. Дородницына,
ул. Вавилова, 40,
Москва 119333, Россия
vladimi@mech.math.msu.su
- Аннотация: В статье устанавливается, что любое конструктивное отображение компактного
метрического пространства в полное метрическое пространство, всюду определённое
и сохраняющее предкомпактность подмножеств, является равномерно непрерывным.
Библ. -- 8 назв.
- Ключевые слова: конструктивное метрическое пространство, компактность,
расстояние Хаусдорфа, равномерная непрерывность
[constructive metric space, compacity, Hausdorff metric, uniform continuity]
Полный текст(.pdf)