Пусть функция из в . Образ функции есть множество .
Пусть даны две функции и , где — образ множества . Тогда их композицией называется функция , определённая равенством[3]:
.
Связанные определения
Термин «сложная функция» может быть применим к композиции двух функций, каждая из каких имеет один аргумент[4]. Также он может употребляться в ситуации, когда на вход функции нескольких переменных подаётся сразу несколько функций от одной или нескольких исходных переменных[5]. Например, сложной функцией нескольких переменных можно назвать функцию вида
,
потому что она представляет собой функцию , на вход которой подаются результаты функций и .
Композиция отображений , , вообще говоря, не коммутативна, то есть . Например, даны функции , — тогда , однако .
Дополнительные свойства
Пусть функция имеет в точке предел , а функция имеет в точке предел . Тогда, если существует проколотая окрестность точки , пересечение которой с множеством отображается функцией в проколотую окрестность точки , то в точке существует предел композиции функций и выполнено равенство: .
Если функция имеет в точке предел , а функция непрерывна в точке , то в точке существует предел композиции функций и выполнено равенство: .
Композиция непрерывных функций непрерывна. Пусть — топологические пространства. Пусть и — две функции, , и , где — это множество всех функций, первая производная которых в заданной точке существует. Тогда .
Композиция дифференцируемых функций дифференцируема. Пусть , , и . Тогда , и
Кострикин А. И. Введение в алгебру. Часть 1. Основы алгебры. — 3-е изд.. — М.: ФИЗМАТЛИТ, 2004. — 272 с. — ISBN 5-9221-0487-Х.
Похожие исследовательские статьи
Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.
Произво́дная функции — понятие дифференциального исчисления, характеризующее скорость изменения функции в данной точке. Определяется как предел отношения приращения функции к приращению её аргумента при стремлении приращения аргумента к нулю, если такой предел существует. Функцию, имеющую конечную производную, называют дифференцируемой.
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Прямое произведение — множество, элементами которого являются все возможные упорядоченные пары элементов заданных двух непустых исходных множеств. Предполагается, что впервые «декартово» произведение двух множеств ввёл Георг Кантор.
Де́льта-фу́нкция — обобщённая функция, которая позволяет записать точечное воздействие, а также пространственную плотность физических величин, сосредоточенных или приложенных в одной точке.
Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Ле́мма Фату́ — техническое утверждение, используемое при доказательстве различных теорем в функциональном анализе и теории вероятностей. Оно даёт одно из условий, при которых предел почти всюду сходящейся функциональной последовательности будет суммируемым.
Образ функции — это множество всех значений, которые даёт функция.
Обра́тная фу́нкция — функция, обращающая зависимость, выражаемую данной функцией. Например, если функция от x даёт y, то обратная ей функция от y даёт x. Обратная функция функции обычно обозначается , иногда также используется обозначение .
Пусть — произвольное множество, — метрическое пространство, — последовательность функций. Говорят, что последовательность равномерно сходится к функции , если для любого существует такой номер , что для всех номеров и всех точек выполняется неравенство
Произведение двух или более объектов — это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов — это в некотором смысле самый общий объект, имеющий морфизмы во все объекты семейства.
Копроизведение семейства объектов — обобщение в теории категорий понятий дизъюнктного объединения множеств и топологических пространств и прямой суммы модулей или векторных пространств. Копроизведение семейства объектов — это «наиболее общий» объект, в который существует морфизм из каждого объекта семейства. Копроизведение объектов двойственно их произведению, то есть определение копроизведения можно получить из определения произведения обращением всех стрелок. Тем не менее, во многих категориях произведение и копроизведение объектов разительно отличаются.
Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.
Категория запятой — специальная теоретико-категорная конструкция, позволяющая изучать морфизмы не как соотнесения объектов категории друг с другом, а как самостоятельные объекты. Строится как особая категория для произвольной пары функторов в общую категорию, описана Ловером как обобщение категорий объектов и морфизмов. Название «категория запятой» появилось из-за первоначального обозначения Ловера; впоследствии стандартное обозначение изменилось из соображений удобства, но название для конструкции сохранилось.
Подкатегория в теории категорий — категория , объекты которой являются также объектами заданной категории и морфизмы которой являются также морфизмами в , с теми же тождественными морфизмами и правилами композиции.
Соответствие Галуа — теоретико-порядковое соотношение между двумя математическими структурами, более слабое, чем изоморфизм, обобщающее связь из теории Галуа между подполями расширения и упорядоченной по включению системой подгрупп соответствующей ему группы Галуа. Понятие может быть распространено на любые структуры, наделённые отношением предпорядка.
В математике поток формализует идею движения частиц в жидкости. Потоки распространены повсеместно в науке, включая инженерию и физику. Понятие потока является базовым для изучения обыкновенных дифференциальных уравнений. Неформально поток можно рассматривать как непрерывное движение точек с течением времени. Более формально поток — это групповое действие действительных чисел на множестве.
Производная категорияD(A) абелевой категории A представляет собой конструкцию из гомологической алгебры, введённую для уточнения и в определённом смысле упрощения теории производных функторов, определённых на A. Конструкция определяется таким образом, что объектами D(A) становятся цепные комплексы объектов из A, причем два таких комплекса считаются изоморфными, когда существует гомоморфизм между этими комплексами, индуцирующий изоморфизм гомологий этих комплексов. Затем для цепных комплексов можно определить производные функторы, уточняя понятие гиперкогомологий. Определения приводят к существенному упрощению формул, в противном случае описываемых сложными спектральными последовательностями.
Эта страница основана на статье Википедии. Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия. Изображения, видео и звуки доступны по их собственным лицензиям.