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

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

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