1 复合映射的定义
复合映射指把多个函数按顺序连接：先应用第一个函数，再把它的输出作为第二个函数的输入，依此类推，从而得到一个新的函数。其核心在于“输入输出的衔接”是否可行，以及连接顺序是否按约定进行。
1.1 函数复合的基本形式
设有两个函数 \(f:X\to Y\) 与 \(g:Y\to Z\)。则它们的复合通常记为 \[ g\circ f:X\to Z,\qquad (g\circ f)(x)=g(f(x)). \] 这里，“\(\circ\)”表示复合操作，“\(g\circ f\)”读作“先 \(f\)，再 \(g\)”。当存在多个函数 \(f_1,f_2,\dots,f_n\) 时，可依同样规则递推定义，例如 \[ f_n\circ \cdots \circ f_2\circ f_1. \]
1.2 定义域与值域匹配条件
复合能否定义取决于相邻函数的“值域—定义域”是否匹配。对 \(g\circ f\) 而言，要求 \(f\) 的输出落在 \(g\) 的定义域内。若 \(f\) 的值实际并不全部落入 \(g\) 的定义域，通常就需要改写为对可行子集的复合，或调整函数的表示方式。
在一般的抽象叙述中，常用的表述是：给定 \(f:X\to Y\) 与 \(g:Y\to Z\)，由于 \(f(x)\) 对所有 \(x\in X\) 都属于 \(Y\)，因此 \(g(f(x))\) 对所有 \(x\in X\) 都有意义，从而复合是良定义的函数。
1.3 记号约定与常见写法
常见记号包括：
- 用“\(\circ\)”表示复合：\(g\circ f\)。
- 若有多步复合，按从右到左表示执行顺序：\(f_3\circ f_2\circ f_1\) 表示先 \(f_1\)，再 \(f_2\)，最后 \(f_3\)。
- 在图式或代数推导中，也会用“箭头”与函数标注表达复合路径，例如 \(X \xrightarrow{f} Y \xrightarrow{g} Z\)，其对应复合为 \(g\circ f\)。
2 性质与定理
复合映射的基本性质决定了它在代数运算、结构刻画与更高层次抽象中的可用性。最重要的两点通常是结合性与单位元（恒等映射）的作用。
2.1 结合律
若有三组可复合的函数 \[ f:X\to Y,\quad g:Y\to Z,\quad h:Z\to W, \] 则二者复合在不同括号方式下结果相同： \[ (h\circ g)\circ f = h\circ (g\circ f). \] 这意味着在复合表达式中，括号的位置不会影响最终函数的值（在保证复合可行的前提下）。
2.2 恒等映射与单位元性质
对任意集合 \(X\)，恒等映射 \(\mathrm{id}_X:X\to X\) 定义为 \(\mathrm{id}_X(x)=x\)。则当 \(f:X\to Y\) 存在时，有 \[ f\circ \mathrm{id}_X=f,\qquad \mathrm{id}_Y\circ f=f. \] 这说明恒等映射在复合运算中扮演“单位元”的角色：复合不改变原函数。
2.3 复合的线性结构（与线性映射的关系）
当涉及向量空间或模范结构时，复合与线性性质之间存在稳定关系。若 \(V,W,U\) 是向量空间，且 \(f:V\to W\)、\(g:W\to U\) 都是线性映射，那么它们的复合 \(g\circ f:V\to U\) 仍是线性的。原因在于线性映射对向量加法与数乘运算的保持性在复合后得以延续。
在矩阵表示下，这一性质常体现为“矩阵乘法对应于线性映射的复合”，即对适当维度的矩阵，复合可转化为乘积运算，从而便于计算与理论分析。
2.4 单调性与保持性质（同态/嵌入等语境）
在更一般的代数或有序结构中，复合也常保持某些“结构保持”特征。例如在偏序集合语境下，若 \(f\) 与 \(g\) 都保持顺序（即单调），则 \(g\circ f\) 也保持单调。
同理，在群同态、环同态、域同态等语境中，若 \(f\) 与 \(g\) 都是同态（或分别是嵌入、投影等特定类型的结构保持映射），其复合往往也落在相应类别中。具体结论依赖于所讨论的结构与映射类型定义，但“复合不破坏既定保持条件”是常见的基本原则。
3 复合映射的例子
例子用于展示复合并非抽象符号游戏，而是把“逐步变换”合成“整体变换”的标准方式。
3.1 代数函数的直接复合示例
设 \(f(x)=x^2+1\)，\(g(x)=3x-2\)。则 \[ (g\circ f)(x)=g(f(x))=3(x^2+1)-2=3x^2+1. \] 该过程清楚表明：先计算 \(x^2+1\)，再把结果代入 \(g\)。
3.2 多项式与有理函数的复合
多项式的复合仍是多项式：若 \(p,q\) 都是多项式，则 \(p\circ q\) 也是多项式。对于有理函数同样可以进行复合，但需要注意分母不为零的条件。其结果往往仍是有理函数，并且定义域要排除因分母为零而导致的“不可计算点”。
这种例子体现了“定义域—值域匹配”的实际意义：复合表达式可写出来，但为了成为函数，需要明确哪些输入能被实际代入并给出有限值。
3.3 由映射链条构造新映射
在离散数学或图论直观中，复合常来自“链条”。例如给出集合上的两步操作：第一步把元素从集合 \(X\) 送到 \(Y\)，第二步再从 \(Y\) 送到 \(Z\)。那么把这两步合成一步就是 \(g\circ f\)。其效果可理解为：对每个起点 \(x\)，先走到中间节点 \(f(x)\)，再走到终点 \(g(f(x))\)。
3.4 典型“先做后做”的运算解释
在计算中，“\(g\circ f\)”的执行顺序可通过替换记忆：\((g\circ f)(x)\) 等价于把 \(f(x)\) 作为 \(g\) 的输入。许多符号错误恰来源于把顺序理解成“先左后右”，而复合的约定通常恰好相反。
4 逆向与可逆情形
复合与可逆性紧密相连，尤其在研究双射、同构以及逆映射存在条件时。
4.1 复合与可逆性
若 \(f:X\to Y\) 与 \(g:Y\to Z\) 都是可逆映射（双射且存在逆），则复合 \(g\circ f:X\to Z\) 也可逆。直观上，两步可逆意味着整体仍可“从结果回溯原输入”。
4.2 逆映射与复合的关系
当 \(f\) 与 \(g\) 都可逆时，有著名关系： \[ (g\circ f)^{-1}=f^{-1}\circ g^{-1}. \] 含义是：先做 \(g\) 与 \(f\) 的顺序在求逆时会反过来。若 \(g\) 是“第二步”，逆运算中就应先撤销第二步，再撤销第一步。
4.3 双射情形下的复合行为
当 \(f\) 与 \(g\) 都是双射时，它们的复合仍是双射。更进一步，双射保证了逆映射作为函数存在且全局可定义，因此上述逆关系可以在整个定义域范围内直接应用。
4.4 与等价关系/陪集映射的联系（概念性）
在讨论等价关系时，商映射把集合元素“按等价类打包”。若有从商集合到另一结构的映射，常通过复合来建立从原集合到商集合再到目标集合的连接。此类场景中，复合用于组织“先取等价类，再映射到目标”的过程，从而把等价关系的约束体现在整体函数行为上。具体实施依赖于映射是否良定义。
5 与代数学结构的关联
复合不仅是函数层面的操作，也常作为代数学结构之间的“兼容拼接”。在同态与同构讨论中，它几乎是必备工具。
5.1 作为同态的复合（同态封闭性）
以群同态为例：若 \(f:G\to H\) 与 \(g:H\to K\) 都是群同态，则 \(g\circ f:G\to K\) 也是群同态。原因在于同态的运算保持条件在复合后仍成立：对群运算的关系可逐层传递。
类似结论在环、向量空间（线性映射）、格等结构中也常成立。一般表述可概括为“同态类型在复合下封闭”。
5.2 作为自同态与端映射
当结构到自身时，复合可以用来生成“自同态集合”的运算。例如若 \(f:G\to G\) 是群同态（自同态），则与另一个自同态 \(g\) 的复合 \(g\circ f\) 仍是自同态。借助恒等映射作为单位元，这类集合往往能形成某种代数结构（例如在群论中相关集合与运算构成同态层面的代数对象）。
5.3 复合在同构刻画中的作用
同构强调“结构可逆”。若存在同构映射 \(f:X\to Y\) 与 \(g:Y\to X\)，则它们的复合可用于验证互逆：\(g\circ f\) 与 \(\mathrm{id}_X\) 的一致性，以及 \(f\circ g\) 与 \(\mathrm{id}_Y\) 的一致性。复合因此成为证明同构、构造逆映射的核心手段之一。
5.4 嵌入与投影：复合如何分解结构
在结构分解的语境中，常见的是“先嵌入再投影”或“先投影再嵌入”的组合。若存在嵌入（把小结构看作大结构的一部分）与投影（把大结构压缩到某个子结构），其复合往往体现为特定的恒等或保持性质，从而帮助识别子结构在整体中的位置。这里的细节取决于所用的范畴或代数框架，但复合作为“拼接步骤”的语言贯穿始终。
6 常见扩展视角
复合操作的思想可以推广到函数空间、交换图，以及范畴论的态射复合。
6.1 函数空间中的复合操作
若考虑在某类集合之间的映射集合（例如所有从 \(X\) 到 \(Y\) 的函数组成的集合），并进一步研究映射之间如何组合，就会形成对复合操作的更高层研究。例如在函数空间上讨论连续性、可微性或其他性质时，复合常用于构造新对象：先取某个映射得到中间量，再代入另一映射得到最终量。由此，复合成为函数空间研究中的基本“生成手段”。
6.2 交换图与复合路径（概念性）
交换图提供了一种可视化表达复合等式的工具。若从某对象到另一对象有多条路径（分别对应不同复合），若它们在结果上相同，则称图表“交换”。交换图的价值在于把“代数等式”变成“路径等价”的几何陈述，从而便于理解复杂对象之间的关系。
6.3 在范畴论中的“态射复合”（入门框架）
范畴论把“对象”与“态射”抽象出来，并把复合理解为态射的连接。范畴的公理明确要求：态射复合满足结合律，并且每个对象都有恒等态射作为单位元。这样，复合映射的熟悉性质被提升为范畴层面的结构公理，进而支撑更一般的理论（例如以态射之间的组合关系组织数学结构）。
7 计算与实践要点
在具体推导与计算中，复合的符号规则与定义域检查往往决定结果是否正确。
7.1 复合表达式的化简策略
常见化简来自两个方向：
- 直接代入：把一个函数的输出表达式替换到另一个函数中，再展开整理。
- 观察结构：若函数具有可分解形式（如线性函数作用于多项式、或某些常见变换的组合），可以先合并参数再重写为标准形式。
化简的目标是把复合后的函数写成尽可能简单的解析表达式，或判断其性质（例如是否为多项式、是否单调、是否可逆）。
7.2 复合复核：检查定义域
计算复合时，需核对两层条件：
- 中间量是否总能被后续函数接受（分母是否为零、对数的真值域是否满足等）。
- 最终函数在原定义域上是否对每个输入都给出确定结果。
当涉及有理函数、对数函数、开方函数等时，定义域检查尤其关键，否则复合表达式可能形式上可写、但作为函数却不严格。
7.3 符号错误的常见来源与避免方法
常见错误包括：
- 顺序混淆：把 \(g\circ f\) 误理解为“先做 \(g\) 再做 \(f\)”。
- 括号误读：在多个复合中不正确判断应先结合哪些部分（尽管结合律通常保证结果一致，但在执行顺序与记号书写上仍需保持一致性）。
- 变量代入遗漏：忘记把 \(f(x)\) 作为整体替换到 \(g\) 中。
避免方法通常是：始终采用 \((g\circ f)(x)=g(f(x))\) 作为检查模板，并在复杂表达式中逐步替换。
8 相关概念对照
复合映射与相邻概念容易混淆，对照辨析能帮助建立清晰的概念边界。
8.1 与并运算（如并集）或积运算的区别
并集、交集等是集合层面的运算；而复合是函数层面的运算。它们的“输入输出结构”不同：并运算通常把集合合并成新集合，而复合则把函数按执行顺序连接成新函数。虽然从形式上都能产生“新的对象”，但其基本机制与性质来源并不相同。
8.2 与反函数、逆序复合的对比
- 反函数（逆映射）关心的是“把输出还原成输入”，体现为 \(f^{-1}\)。
- 逆序复合关心的是“复合顺序的改变”，例如从 \(g\circ f\) 换成 \(f\circ g\)。
两者不等价：反函数是针对同一映射的逆操作，而逆序复合是针对可能不同映射的顺序调整。是否可行取决于定义域与值域匹配，以及顺序是否能形成良定义的复合。
8.3 与恒等变换和单位变换的关系
恒等映射 \(\mathrm{id}_X\) 是复合中最基础的单位元。它不改变元素，因此与任意其他函数复合都保持原结果。与“单位变换”这一说法相近的直观来自物理或几何语境，但在数学表述中，通常对应的是恒等映射或单位元相关概念，其严谨性以定义为准。
9 常见问题与误区
复合映射的常见疑问集中在顺序、定义域以及括号理解上。
9.1 复合顺序不可交换
一般情况下 \(g\circ f\neq f\circ g\)。其差异来源于复合的“执行顺序”。只有在特定条件下（例如某些特殊函数或特定结构约束），两者才可能相同或在某种意义下对应。
9.2 定义域不匹配导致复合无意义
若 \(f\) 的值域没有落入 \(g\) 的定义域，就无法直接定义 \(g\circ f\)。在计算或证明中，应避免仅凭形式书写复合而忽略函数的适用范围。必要时可通过限制定义域或重新选择函数的版本来确保复合成立。
9.3 括号位置与结合律的理解偏差
结合律告诉我们：在复合可行时，括号不会影响最终函数。但这并不意味着所有括号随意书写都可不考虑定义域匹配。结合律解决的是“括号变化”带来的结果一致性；而“哪些函数能复合”仍取决于对象匹配条件。因此应把结合律与“复合是否可定义”分开理解。