Теорема Вейерштрасса

[Rich]

Можно ли использовать теорему Вейерштрасса(о достижении инфинума функции) на произвольном компактном подмножестве произвольного нормированного пространства?

[ewert]

Можно. Для доказательства достаточно вместо конечномерного деления пополам использовать теорему Хаусдорфа про эпсилон-сети.

[Rich]

Спасибо.