2014 dxdy logo

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

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




 
 Непрерывные f,g из $X$ в хаусдорфово $Y$
Сообщение15.05.2012, 09:19 
Аватара пользователя
Пусть $f,g$- непрерывные отображения топологического пространства $X$ в хаудорфово $Y$. Получилось доказать, что множество $A=\{x|f(x)=g(x)\}$- замкнуто в $X$. Верно ли обратное? Т.е. для любого ли замкнутого множества $F\subset X$ существуют непрерывные функции $f,g$, такие что $F=\{x|f(x)=g(x)\}$?

 
 
 
 Re: Непрерывные f,g из $X$ в хаусдорфово $Y$
Сообщение15.05.2012, 09:37 
Аватара пользователя
Рассмотрите случай, когда $Y$ одноэлементно :D

 
 
 
 Re: Непрерывные f,g из $X$ в хаусдорфово $Y$
Сообщение15.05.2012, 21:10 
Аватара пользователя
И даже не обязательно одноэлементный.
Для ординала $\alpha$ обозначим $TW(\alpha)$ множество всех ординалов $<\alpha$ с топологией, порождённой порядком. Возьмём $ X=TW(\omega_0+1)\times TW(\omega_1+1)$ и $Y=[0,1]$. Тогда замкнутое множество $ F=TW(\omega_0+1)\times\{\omega_1\}$ не является в $X$ множеством типа $G_{\delta}$, поэтому нельзя найти требуемые непрерывные функции $f\colon X\to Y$ и $g\colon X\to Y$.

 
 
 
 Re: Непрерывные f,g из $X$ в хаусдорфово $Y$
Сообщение16.05.2012, 11:42 
Аватара пользователя

(Оффтоп)

Ох у эти ординалы! Всю ночь с ними мучился, так и не спал до сих пор...

Такой вопрос по ходу. Думал новую тему завести, но, наверное, здесь тоже спросить будет уместно.

Где можно почитать про иерархию Бореля? Так, чтоб для меня, то есть для человека, не шибко шарящего в теме, но с в общем-то неплохой математической культурой мышления. Чтобы с одной стороны не считались очевидными понятные специалистам, но по сути нетривиальные факты, а с другой стороны без лишней размазни и на достаточно приличном уровне.

 
 
 
 Re: Непрерывные f,g из $X$ в хаусдорфово $Y$
Сообщение16.05.2012, 14:16 
Аватара пользователя
Ну, не знаю, сам этим сроду не занимался. Это предмет дескриптивной теории множеств. Может быть, взять "Теорию множеств" Хаусдорфа?

Множества типа $G_{\delta}$ - это просто пересечения счётных последовательностей открытых множеств.

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


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