Для любого множества
обозначим
множество всех его непустых подмножеств.
a) Пусть
- непустое топологическое пространство. Обозначим через
(соотв.
) слабейшую из топологий в
, обладающих тем свойством, что
открыто (соотв. замкнуто) в
для любого непустого открытого (соотв. замкнутого) множества
из
. Показать, что вобще эти две топологии несравнимы и что отображение
есть гомеоморфизм пространства
на подпространство пространства
, наделённого любой из топологий
,
.
- биекция, а образы и прообразы открытых (соотв. замкнутых) множеств открыты (соотв. замкнуты) по определению (см.
). С несравнимостью сложнее, подскажите пожалуйста, как действовать.