Для любого множества

обозначим

множество всех его непустых подмножеств.
a) Пусть

- непустое топологическое пространство. Обозначим через

(соотв.

) слабейшую из топологий в

, обладающих тем свойством, что

открыто (соотв. замкнуто) в

для любого непустого открытого (соотв. замкнутого) множества

из

. Показать, что вобще эти две топологии несравнимы и что отображение

есть гомеоморфизм пространства

на подпространство пространства

, наделённого любой из топологий

,

.
- биекция, а образы и прообразы открытых (соотв. замкнутых) множеств открыты (соотв. замкнуты) по определению (см.
). С несравнимостью сложнее, подскажите пожалуйста, как действовать.