теорема об обратной функции

[moscwicz]

Гипотеза.

Пусть $(K,d), (Y,p)$ -- метрические компакты. Рассмотрим непрерывное отображение "на" $f:K\to Y$.
Существует отображение $F:Y\to K$ такое, что $f(F(y))=y$, и множество точек разрыва $F$ имеет первую категорию.

[moscwicz]

скорее всего это неверно

[Хорхе]

Ну да, я как раз задумался, что делать в случае $K=Y$ и $f=\mathrm{id}$.

[Padawan]

Хорхе в сообщении #365355 писал(а):

Ну да, я как раз задумался, что делать в случае $K=Y$ и $f=\mathrm{id}$.

Тогда $F=\mathrm{id}$

[Хорхе]

Опять категории путаю

-- Сб окт 23, 2010 22:22:15 --

(чушь)