2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Топологии на множестве подмножеств. Многоступенчатая задача
Сообщение25.01.2012, 05:08 
Аватара пользователя


25/02/10
687
Цитата:
Для любого множества $X$ обозначим $B_0(X)$ множество всех его непустых подмножеств.
a) Пусть $X$ - непустое топологическое пространство. Обозначим через $T_\Omega$ (соотв. $T_\Phi$) слабейшую из топологий в $B_0(X)$, обладающих тем свойством, что $B_0(A)$ открыто (соотв. замкнуто) в $B_0(X)$ для любого непустого открытого (соотв. замкнутого) множества $A$ из $X$. Показать, что вобще эти две топологии несравнимы и что отображение $x\to\{x\}$ есть гомеоморфизм пространства $X$ на подпространство пространства $B_0(X)$, наделённого любой из топологий $T_\Omega$, $T_\Phi$.

С гомеоморфизмом тривиально: $x\to\{x\}$ - биекция, а образы и прообразы открытых (соотв. замкнутых) множеств открыты (соотв. замкнуты) по определению (см. $B_0(A)$). С несравнимостью сложнее, подскажите пожалуйста, как действовать.

Спасибо!

 Профиль  
                  
 
 Re: Топологии на множестве подмножеств. Многоступенчатая задача
Сообщение25.01.2012, 10:53 
Заслуженный участник
Аватара пользователя


23/07/05
17976
Москва
Ну, например, возьмите $X=\{0,1\}$, в котором открыты подмножества $\varnothing$, $\{0\}$ и $X$ (связное двоеточие), и вычислите для него $T_{\Omega}$ и $T_{\Phi}$.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group