2014 dxdy logo

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

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




 
 Вопрос по топологии
Сообщение18.03.2010, 13:35 
Пусть $Y$ - топологическое пространство и $C\subset Y$ - его подмножество. Всегда ли найдется топологическое пространство $Z$ и пара непрерывных отображений $\xymatrix{Y\ar@<0.5ex>^\varphi[r]\ar@<-0.5ex>_\psi[r]&Z}$, что $C=\{y\in Y: \varphi(y)=\psi(y)\}$.

Аналогичный вопрос для хаусдорфовых $Y$, $Z$ и замкнутого $C\subset Y$.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 13:50 
Да. Достаточно рассмотреть $Z=\left. (Y\times\{0,1\})\middle/ \{(c,0)\sim(c,1)\}_{c\in C}\right.$.
Стандартную проекцию $Y\times\{0,1\} \to Z$ обозначим через $p$, вложения $Y$ в $Y\times\{0,1\}$ через $i_0$ и $i_1$.
Интересующие Вас отображения имеют вид $$\varphi=p\circ i_0,\qquad \psi=p\circ i_1.$$Проверьте, подходят ли такие отображения для Вашего второго вопроса.

(Оффтоп)

Заодно подскажите, как бы Вы записали первую строчку моего сообщения. Мне это будет полезно.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 14:37 
Спасибо! Так бы и записал, либо $Z=\left. (Y\times\{0,1\})\middle/ \{(C,0)\sim(C,1)\}\right.$. Либо просто сказал, что два экземпляра $Y$ склеены по $C$.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 14:56 
Чушь все это.
Если $Z$ является $T_1$ пространством, то диагональ в $Z*Z$ является замкнутым, соответственно $C$ как прообраз диагонали при непрерывном отображении $(\phi ,\varphi ):Y\to Z*Z$ должен быть замкнутым.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 15:01 
Ну так в первой части вопроса $Z$ и не предпорлагалось $T_1$. Оно им и не будет в примере.

А если $Z$ $T_2$, то я и ограничиваюсь замкнутыми $C$.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 17:47 
Руст в сообщении #299022 писал(а):
Если $Z$ является $T_1$ пространством, то диагональ в $Z*Z$ является замкнутым

Это неправильно, кстати. Для замкнутости диагонали необходимо и достаточно, чтобы $Z$ было $T_2$-пространством, т.е. хаусдорфовым.

А в примере fiktor$Z$ будет $T_1$, если $Y$ $T_1$.

 
 
 
 Re: Вопрос по топологии
Сообщение18.03.2010, 20:36 
Признаю ошибку. Замкнутость диагонали эквивалентно $T_2$, соответственно необходимость замкнутости для С доказывается только для Хаусдорфовых пространств.

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group