Обсуждение категории:Общая топология
Перейти к навигации
Перейти к поиску
Действительно, метрики не требуется, НО любая теорема в общей топологии --- теорема в метрической геометрии. Поэтому стоит оставить её как подкатегорию метрической геометрии.
Не надо быть формалистом --- надо делать так чтоб было удобно находить нужную информацию. --Тоша 10:26, 21 мая 2009 (UTC)
- Мне кажется, ваше рассуждение указывает на то, что наоборот метрическую геометрию надо включать в топологию... infovarius 16:28, 21 мая 2009 (UTC)
Формалист так и должен сделать, но с точки зрения облегчения жизни людям надо сделать так как сейчас (кстати есть ещё исторические причины --- общая топология это своеобразное развитие метрической геометрии, а не наоборот). Можно сделать их подкатегориями друг-друга --- все будут щастливы :)--Тоша 19:25, 21 мая 2009 (UTC)