Изменения

Перейти к: навигация, поиск

Компактный оператор

26 байт добавлено, 20:18, 10 июня 2013
Произведение компактных операторов: \epsilon = ?
<tex> A(V_n) </tex> — относительно компактно.
Используя [[Теорема Хаусдорфа об ε-сетях|теорему Хаусдорфа]], можно показать, что любое относительно компактное множество сепарабельно: объединение <tex>\varepsilon_{\frac{1}{n}}varepsilon</tex>-сетей при <tex>\varepsilon = \frac1n</tex> для <tex>n</tex> от <tex>1</tex> до <tex>\infty</tex> счетно и оно будет всюду плотным в этом множестве.
Счетное объединение сепарабельных множеств ­— сепарабельно, значит <tex> R(A) </tex> — сепарабельно.
1299
правок

Навигация