Пусть даны две функции и где — образ множества Тогда их композицией называется функция , определённая равенством[3]:
Связанные определения
Термин «сложная функция» может быть применим к композиции двух функций, каждая из каких имеет один аргумент[4]. Также он может употребляться в ситуации, когда на вход функции нескольких переменных подаётся сразу несколько функций от одной или нескольких исходных переменных[5]. Например, сложной функцией нескольких переменных можно назвать функцию вида
потому что она представляет собой функцию , на вход которой подаются результаты функций и .
Композиция отображений , , вообще говоря, не коммутативна, то есть Например, даны функции — тогда однако
Дополнительные свойства
Пусть функция имеет в точке предел , а функция имеет в точке предел . Тогда, если существует проколотая окрестность точки , пересечение которой с множеством отображается функцией в проколотую окрестность точки , то в точке существует предел композиции функций и выполнено равенство:
Если функция имеет в точке предел , а функция непрерывна в точке , то в точке существует предел композиции функций и выполнено равенство:
Композиция непрерывных функций непрерывна. Пусть — топологические пространства. Пусть и — две функции, , и где — это множество всех функций, первая производная которых в заданной точке существует. Тогда .
Композиция дифференцируемых функций дифференцируема. Пусть , , и . Тогда , и