![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Доказано, что всякая счетная топологическая группа, фильтр окрестностей единицы которой не быстрый, содержит дискретное подпространство с одной предельной точкой. Как следствие доказано, что существование счетной экстремально несвязной группы влечет существование быстрых фильтров.