Про гладкость я не писал. Я имел ввиду "сужение" всех гладких кривых на

. (Таким же "сужением" на
доказываться, что мощность непрерывных функций

равна континууму. По-моему, здесь так же можно. Но я могу ошибаться.
Понятно. Просто
тут совершенно ни при чём. Сужение на
надо брать. Параметр-то кривой одномерный.