А можно пример такой функции, чтобы "пощупать"?
Пусть

--- перечисление множества рациональных чисел без повторений. Полагаем

для всех

.
-- Вс мар 27, 2011 16:40:12 --P. S. Вот ведь придумали Сахар с Падаваном проблему на пустом месте
-- Вс мар 27, 2011 16:58:38 --Давайте я попробую найденное, уже, в общем-то, решение изложить чуть аккуратнее. Напомню, что

обозначает множество всех функций из

в

.
1) Если функция

монотонна, то множество её точек разрыва не более чем счётно. Действительно, сопоставим каждой точке разрыва

какое-нибудь рациональное число

из интервала

. Получим инъекцию из множества точек разрыва

в множество рациональных чисел.
2) Пусть

--- множество не более чем счётных подмножеств действительной прямой. Тогда

континуально. В самом деле, каждый элемент

, за исключением пустого множества, является областью значений некоторой функции из

в

, а функций из

в

---континуум.
3) Пусть для

обозначает множество всех монотонных функций, у которых множество точек разрыва совпадает с

. Тогда множество

не более чем континуально. Действительно, если каждой функции

сопоставить её ограничение на

, то получится инъекция из

в континуальное множество

.
4) Множество всех монотонных функций равно

и имеет мощность не больше континуума, как континуальное объединение не более чем континуальных множеств. То, что монотонных функций не меньше континуума, очевидно.