51. Суперпозиция функций. Заключительные замечания.
Познакомимся с понятием суперпозиции (или наложения) функций, которая состоит в том, что вместо аргумента данной функции подставляется некоторая функция от другого аргумента. Например, суперпозиция функций
даёт функцию
аналогично получаются и функции
В общем виде, предположим, что функция
определена в некоторой области
а функция
определена в области
причем значения ее все содержатся в области Тогда переменная z, как говорят, через посредство у, и сама является функцией от
По заданному
из
сначала находят соответствующее ему (по правилу, характеризуемому знаком
значение у из У, а затем устанавливают соответствующее этому значению у (по правилу,
характеризуемому знаком
значение
его и считают соответствующим выбранному х. Полученная функция от функции или сложная функция и есть результат суперпозиции функций
Предположение, что значения функции
не выходят за пределы той области У, в которой определена функция
весьма существенно: если его опустить, то может получиться и нелепость. Например, полагая
мы можем рассматривать лишь такие значения х, для которых
ибо иначе выражение
не имело бы смысла.
Мы считаем полезным здесь же подчеркнуть, что характеристика функции, как сложной, связана не с природой функциональной зависимости z от х, а лишь со способом задания этой зависимости. Например, пусть
для у в
для
Тогда
Здесь функция
оказалась заданной в виде сложной функции.
Теперь, когда полностью выяснено понятие суперпозиции функций, мы можем точно охарактеризовать простейший из тех классов функций, которые изучаются в анализе: это, прежде всего, перечисленные выше элементарные функции
а затем — все те, которые из них получаются с помощью четырёх арифметических действий и суперпозиций, последовательно применённых конечное число раз. Про них говорят, что они выражаются через элементарные в конечном виде; иногда их все также называют элементарными.
Впоследствии, овладев более сложным аналитическим аппаратом (бесконечные ряды, интегралы), мы познакомимся и с другими функциями, также играющими важную роль в анализе, но уже выходящими за пределы класса элементарных функций.