Razum писал(а):
Открытый интервал можно непрерывным преобразованием растянуть на бесконечность, а вот замкнутый отрезок - нельзя, например.
Да-да, поэтому:
Krogoth писал(а):
Единственное, что вероятнее всего может быть особенным, - это область определения функции. Например, если область определения - (a, inf), тогда функция может быть неоднозначна на бесконечности (хотя бы просто исходя из того, что мы имеем дело с двумя бесконечностями), но я о таких функциях ничего не знаю.
Но непосредственного отношения к гладкости это не имеет.
Razum писал(а):
Сам вопрос возник вот из-за чего. Берем обычную параболу. Она бесконечно гладкая. А теперь в нуле загибаем одну из ветвей вниз - казалось бы, ничего не должно измениться, однако вторая производная уже разрывная становится... А вдруг можно придумать такую функцию, чтобы она все-таки была бесконечно гладкой, но не везде параболой.
Бесконечно гладкая функция принципиально не может иметь вид такой "параболы".
Вот у твоей "параболы" "ускорение" сначала, скажем, отрицательное, а потом положительное. Чтобы функция была гладкой, нужно, чтобы "ускорение" менялось плавно, т.е. в точке 0 было равным 0. В то же время в точке 0 "скорость" равна 0, а если и "скорость", и "ускорение" равны 0, график должен перейти в прямую (потому что все последующие производные тоже равны 0, потому что это парабола).
Добавлено:У функции y = xxx "заворот" реализован благодаря ненулевой третьей производной, которая как бы делает график еще плавнее. Но это уже совсем другая функция.