1679
правок
Изменения
Нет описания правки
Нужна для доказательства теоремы Рисса. Мы это где-то доказывали? Если нет, я правильно понимаю, что надо сказать, что пространство полное по метрике, индуцированной этой нормой, замкнутость сферы очевидна, вполне ограниченность тоже, ну и тогда по теореме кого-то там (точно была) — это компакт? --[[Участник:Dgerasimov|Дмитрий Герасимов]] 10:47, 13 января 2013 (GST)
: Теорема кого-то там {{---}} это теорема Хаусдорфа об <tex> \varepsilon </tex>-сетях =) Замкнутость и вполне ограниченность, кстати, не очень очевидны. Если будешь затыкать TODO в конспекте, вынеси в отдельное утверждение, пожалуйста. --[[Участник:Sementry|Мейнстер Д.]] 22:52, 13 января 2013 (GST)
:: запилил, все еще не очень формально, но мне лень расписывать --[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:00, 14 января 2013 (GST)