Композиция
Композиция — это одно из фундаментальных понятий в математике, которым обозначают действие выполнения одного отображения (функции, преобразования) после другого. Формально, если имеется функция g, задающая соответствие между множествами A и B, и функция f, задающая соответствие между множествами B и C, то результат применения сначала g, а затем f называется композицией и обычно записывается как \((f\circ g)(x)=f(g(x))\). Композиция дает новое отображение из A в C, которое на каждом элементе x из A действует как последовательное применение двух исходных правил. Такое определение переносится и на более общие объекты — отображения между топологическими пространствами, линейные операторы, отображения множеств, перестановки и т. д.
У композиции есть важные свойства, которые определяют её поведение в разных областях математики. Главное алгебраическое свойство — ассоциативность: последовательная композиция трёх отображений не зависит от порядка скобок, то есть \(((f\circ g)\circ h)= (f\circ (g\circ h))\). При этом композиция в общем некоммутативна: \((f\circ g)(x)=f(g(x))\) и \((f\circ g)(x)=f(g(x))\) в обратном порядке обычно дают разные отображения. Существуют также тождественные отображения (идентичности) на множестве A, обозначаемые \(\mathrm{id}_A,\; f\circ \mathrm{id}_A=f,\; \mathrm{id}_B\circ f=f\), которые при композиции с любой функцией не меняют её. Если функция является биекцией, то у неё существует обратная функция; обратная функция является «обратной» относительно композиции в том смысле, что \(f^{-1}\circ f=\mathrm{id},\; f\circ f^{-1}=\mathrm{id}\). Эти свойства делают композицию центральным понятием в теории категорий, теории групп (композиция перестановок), линейной алгебре (композиция линейных операторов соответствует произведению матриц) и других разделах.
Небольшой элементарный пример: пусть заданы функции \(f(x)=2x\) и \(g(x)=x+1\). Тогда композиция «сначала g, затем f» даёт отображение \((f\circ g)(x)=2x+2\). Это наглядно показывает идею последовательного применения правил. В линейной алгебре, если A и B — матрицы, задающие линейные операторы, то композиция операторов соответствует произведению матриц, что записывается как \((AB)x=A(Bx)\). На уровне перестановок композиция меняет порядок применения перестановок и поэтому используется для построения групп симметрий.
Композиция — универсальный инструмент: она объединяет простые операции в сложные, служит основой для построения итераций, рекурсий и описания сложных преобразований через более простые. Понимание её свойств (ассоциативность, связь с тождественными и обратными отображениями, отсутствие коммутативности в общем случае) помогает систематизировать подходы в разных разделах математики и применять единые концепции к разным объектам.