1 基本概念
1.1 端同态的定义
端同态是指从某个数学结构到其自身的结构保持映射。这里所说的“结构”，可以是集合、群、环、模、向量空间或更抽象的范畴对象；“结构保持”则意味着该映射与运算、关系或额外公理相容。由于定义域和值域相同，端同态也常被称为自映射或自态射。
端同态的研究重点不在于“是否能映到别处”，而在于它如何作用于原结构内部。很多代数性质，尤其是分解、稳定性与不动点现象，往往都可以通过端同态来表达。
1.2 幂等性的定义
幂等性是指某个运算对象在与自身重复作用后保持不变。对映射而言，若一个映射记作 \(f\)，则幂等通常表示 \(f \circ f = f\)。这意味着第一次作用之后，第二次再作用不会带来新的变化。
这一性质在代数中十分常见。与幂等相关的元素、算子和映射，往往对应某种“投影”或“筛选”行为，即把结构压缩到一个稳定部分，而该部分再经映射处理时不会继续改变。
1.3 幂等端同态的形式化表述
幂等端同态是同时满足“端同态”和“幂等性”的映射。也就是说，它既是从对象到自身的结构保持映射，又满足与自身复合不变。若以 \(e\) 表示该映射，则通常写作 \(e \circ e = e\)。
在许多语境中，这类映射用来描述对象内部的某种稳定切分。它的作用结果通常是一个子结构，而幂等条件则保证这一子结构在再次接受同一映射时不再变化。
1.3.1 复合运算下的自反稳定性
在复合运算下，幂等端同态体现出一种自反稳定性：映射执行一次后，结果就已经处于“稳定状态”。再次复合并不会进一步改变对象，因此该映射的行为可以看作一次性完成的筛选过程。
从迭代角度看，这意味着幂等端同态的迭代序列很快收敛到自身。对于离散结构而言，这种特征尤其便于分析，因为它将复杂的重复作用简化为单步作用。
1.3.2 与恒等映射的比较
恒等映射是最简单的幂等端同态之一，因为它复合自身仍然等于自身。但并非所有幂等端同态都是恒等映射。很多幂等端同态只固定结构的一部分，同时把其他部分压缩到该部分上。
因此，恒等映射可以看作幂等性的极端情形：它不改变任何元素；而一般的幂等端同态则可能具有选择性地保留、折叠或投影的作用。
1.4 相关记号与术语
幂等端同态常记作 \(e\)、\(p\) 或其他小写字母。若强调其作用对象，也可能写成 \(e_X: X \to X\)。在不同分支中，类似概念还会使用“投影”“分裂映射”“幂等算子”等术语。
相关术语之间有细微差别：有的强调映射本身的复合性质，有的强调它对应的子对象或分解结果。阅读具体文献时，需要注意其所在学科的语境。
2 代数背景
2.1 半群与幺半群中的端同态
在半群与幺半群中，端同态是保持乘法结构的自映射。若映射满足 \(f(xy)=f(x)f(y)\)，则它尊重原有乘法。幂等端同态在这类结构里通常用于描述某种稳定化操作。
由于半群只关注结合律，端同态的幂等性常与子半群、理想或稳定像联系在一起。在幺半群中，还要考虑单位元是否被保留，这会进一步限制端同态的形式。
2.1.1 复合结构
端同态的复合本身也构成一种代数结构。对于同一对象上的自映射，先后复合是自然的运算方式，而幂等端同态正是在这种复合结构中满足特殊恒等式的元素。
从这个角度看，幂等性不是附加条件，而是复合代数中的一种固定点现象。它说明该映射在复合意义下已经达到稳态。
2.1.2 单位元的作用
在幺半群中，单位元对端同态有重要约束。若端同态保持单位元，则它与整体代数结构的兼容性更强。幂等端同态在这种环境中，常表现为对部分元素的“截取”或“压缩”，同时维持乘法与单位元的秩序。
这种单位元约束使得某些看似简单的幂等映射实际上受到较强限制，因此可被用于刻画特殊子结构。
2.2 环与模中的端同态
在环和模中，端同态不仅要尊重加法，还要兼顾乘法或标量作用。特别是在模论里，模同态作为自映射时，经常通过幂等条件与直和分解联系起来。
幂等端同态在此类结构中常可解释为“投影到某个子模”或“沿某个补空间折叠”。因此，它们在模的分解、构造直补以及研究子模稳定性方面十分常用。
2.2.1 模同态与自映射
模同态是保持加法与标量乘法的映射。当定义域和值域相同，它便成为模的端同态。若再满足幂等性，则该自映射往往对应某个子模的保留与重投影。
这类映射的像通常是一个较稳定的子模，而核则记录被压缩掉的部分。两者常共同揭示模结构中的分解方式。
2.2.2 投影型端同态
投影型端同态是幂等端同态中最具代表性的类型之一。它把整个对象映到一个子对象上，并使该子对象在再次投影时保持不变。在线性代数、模论与环论中，这种映射非常常见。
从直观上看，投影型端同态像是把信息“筛出”到某个坐标分量、子空间或子模中，因此具有明确的几何与代数意义。
2.3 范畴论中的端同态
在范畴论中，端同态通常称为自态射，指对象到自身的态射。幂等端同态是范畴中极其重要的概念，因为它们与分裂、直和、极限构造等内容密切相关。
范畴论将不同数学分支中的幂等现象统一起来，使得“幂等映射”不再局限于具体元素或矩阵，而成为可在一般对象上讨论的抽象结构。
2.3.1 对象的自态射
对象的自态射是范畴中的基本元素之一。若某个自态射满足复合幂等，则它在抽象层面上对应一种可重复但不再变化的操作。许多分解定理正是从这样的自态射出发建立的。
这种抽象表达使得同一性质可以跨越集合、群、模和空间等多个领域统一讨论。
2.3.2 端同态集合的代数结构
一个对象的全部端同态通常可在复合下形成代数系统。以集合上的所有自映射为例，它们在复合下构成幺半群；在更高层次的范畴中，自态射集合也具有类似的复合结构。
幂等端同态在这一结构中相当于满足特殊方程的元素，常被用来识别内部稳定片段或分裂成分。
3 基本性质
3.1 复合幂等性
幂等端同态的核心性质就是复合幂等，即与自身复合后不发生变化。这一定义看似简单，但它带来的后果十分丰富，尤其体现在迭代稳定与像的稳定性上。
由于幂等条件非常强，很多关于其性质的结论都可以从这一条直接推出，不需要额外复杂推导。
3.1.1 二次复合不变性
二次复合不变性是幂等性的直接表述。若 \(e \circ e = e\)，则第二次应用不会改变第一次的结果。对对象中任意元素而言，经过一次映射后的输出已经足够稳定。
这也意味着幂等端同态的迭代行为极其简单：从第二步开始，所有结果都与第一步一致。
3.1.2 高次复合稳定性
一旦满足二次复合不变性，更高次复合自然也保持不变。也就是说，对任意正整数 \(n\)，都有 \(e^n = e\)（这里指复合意义下的幂）。
这一性质使幂等端同态成为迭代系统中的“终点型”映射。它不会产生逐步演化的链条，而是直接停留在稳定状态。
3.2 像与核的性质
幂等端同态的像与核通常具有清晰的结构意义。像描述最终保留下来的部分，核则描述被压缩或消去的部分。二者共同刻画了映射对对象的分解方式。
在许多代数环境中，这种分解是分析幂等端同态最重要的工具之一。
3.2.1 像空间的稳定
对于幂等端同态，其像往往在映射作用下保持不变。因为像中的元素已经是“处理后”的结果，再次映射仍然落回原像中。于是像空间通常成为一个稳定子结构。
这种稳定性使像成为研究对象内部“有效部分”的自然候选。
3.2.2 核与分解
核则反映被映射压到零或等价无效位置的元素集合。若结构足够好，幂等端同态往往对应一个分解：对象可被看作像与核的某种组合。在线性空间和模中，这种分解尤其清楚。
因此，幂等端同态常被用作构造直和分解、识别补空间以及研究消去部分的工具。
3.3 不动点与固定结构
幂等端同态与不动点之间有自然联系。被该映射固定的元素，通常正是其稳定像中的元素；而幂等性保证这些元素再次作用后依旧不变。
因此，不动点集往往具有重要的结构信息，能够反映映射所保留的核心部分。
3.3.1 不动点集
不动点集是指满足 \(e(x)=x\) 的元素集合。对于幂等端同态，这个集合通常与像密切相关，很多情况下二者可以对应起来。也就是说，映射真正“保留下来”的，正是那些在它作用下不再变化的元素。
不动点集在动力系统、代数结构和范畴论中都很重要。
3.3.2 稳定子对象
稳定子对象是指在映射作用下保持自身不变的子结构。对于幂等端同态，像通常就是一个稳定子对象，且它本身在再次映射时不发生变化。
这使得幂等端同态不仅描述一个操作，也描述一个被操作所选出的“核心区域”。
4 典型例子
4.1 集合上的幂等映射
在纯集合层面，幂等映射是最直观的例子。由于不涉及额外代数运算，只要满足复合幂等即可。此时它可以看作把元素送入某个稳定代表元的规则。
集合上的幂等映射常用于说明投影、分类和代表元选择等思想。
4.1.1 恒等映射
恒等映射对每个元素都不作改变，因此显然是幂等的。它是最基本、最平凡的幂等端同态，也是所有结构中都存在的例子。
尽管简单，恒等映射在理论上非常重要，因为它为“幂等”提供了最直接的参照。
4.1.2 投影映射
投影映射把元素送到某个子集或某个代表位置上，并在再次作用时不再改变结果。比如把一个带坐标的元素映到其中一个坐标分量，就可能得到幂等映射。
这类映射最能体现幂等端同态的直观意义：先压缩，再稳定。
4.2 线性代数中的幂等算子
在线性代数中，幂等算子是研究最充分的例子之一。它们通常对应向某个子空间的投影，并与矩阵表示、特征分解和直和分解紧密相连。
由于线性结构较为丰富，幂等算子能够清楚展示像、核和分解之间的关系。
4.2.1 坐标投影
坐标投影把向量的某些分量保留，而将其余分量置零。这样的线性算子满足幂等性，因为再次投影不会改变已经被选出的坐标部分。
这是幂等算子最常见的几何图像之一。
4.2.2 直和分解
若向量空间可分解为两个互补子空间，则投影到其中一个子空间的算子通常是幂等的。该算子体现了空间的直和结构，使整体可以拆成稳定部分与被消去部分。
因此，幂等算子常被视为直和分解的代数表达。
4.3 代数结构中的具体实例
在更一般的代数结构中，幂等端同态也广泛存在。它们可能出现在幺半群、环和模的自映射中，以不同方式体现结构保持与稳定筛选。
这些实例说明幂等性并非某一分支的特例，而是一种跨领域的普遍现象。
4.3.1 幺半群中的端同态
幺半群中的端同态要兼顾乘法与单位元。若某个自映射把对象映到一个乘法稳定的子幺半群上，并且满足复合幂等，就构成典型例子。
此类映射常用于研究子幺半群的嵌入与回缩。
4.3.2 环同态与模同态
环同态和模同态中的幂等端同态通常更具分解意义。它们可以对应理想、子模或补空间上的投影，反映对象的内部拆分方式。
尤其在模论里，幂等模同态往往直接指向直和分解的存在。
5 相关概念
5.1 幂等元
幂等元是指满足 \(a^2=a\) 的代数元素。它与幂等端同态在形式上非常相似，二者都体现“作用一次就稳定”的特点。
在不同代数体系中，幂等元常与幂等自映射互相对应，尤其在环和幺半群中联系紧密。
5.1.1 与幂等端同态的对应
幂等元与幂等端同态之间的对应，常通过“由元素诱导映射”或“从映射抽取固定部分”来体现。二者都可用于描述某种稳定子结构。
在某些情形下，幂等元可以编码一个投影，而投影又反过来反映幂等元的代数性质。
5.1.2 由幂等元诱导的映射
在一些结构中，幂等元能够诱导端同态。例如通过左乘、右乘或其他自然作用，可得到满足幂等条件的自映射。这样的映射通常携带原元素的稳定信息。
这类构造说明，幂等性既可以出现在元素层面，也可以出现在映射层面。
5.2 投影与分裂
投影是幂等端同态最常见的几何和代数解释，而分裂则是其结构后果。若一个幂等端同态能分裂，往往意味着对象可以拆成两个互补部分。
因此，投影与分裂常被并列讨论，构成研究幂等端同态的核心语汇。
5.2.1 分裂幂等
分裂幂等是指幂等端同态不仅存在，而且可由某种分解机制实现为投影与包含的复合。换言之，它对应一个真正的子对象和补对象，而不是仅仅形式上幂等。
在范畴论和模论中，这种情形尤其重要，因为它直接给出对象分解。
5.2.2 直积与直和分解
幂等端同态常与直积、直和分解联系在一起。在线性或模结构中，一个幂等投影经常意味着对象可以表示为两个部分的组合，其中一个部分被保留，另一个部分被送入核中。
这类分解使结构研究更为清晰，也便于分类和计算。
5.3 自同态与端同态
自同态是强调“从自身到自身”的结构保持映射的统称。端同态则与其几乎同义，只是不同文献和学科传统中使用的名称略有差别。幂等端同态属于自同态中的特殊类别。
二者的区别主要不在数学内容，而在术语习惯和语境表达。
5.3.1 可逆情形
若端同态可逆，则它属于自同构。可逆映射若又满足幂等性，通常只能是恒等映射，因为可逆与幂等同时成立会带来强约束。
因此，在可逆情形下，幂等端同态往往退化为最简单的情况。
5.3.2 退化情形
非可逆的幂等端同态则更丰富，它们往往具有压缩、折叠或投影效果。所谓“退化”，并不表示无意义，而是指信息被映射到更小、更稳定的子结构中。
这类映射正是幂等端同态最常见的研究对象。
6 分类与判定
6.1 幂等端同态的识别方法
识别幂等端同态通常有两条路径：一是直接验证复合条件，二是借助表示工具把问题转化为可计算形式。不同结构下，后者可能表现为矩阵、函数表或代数公式。
在理论研究和实际计算中，这两种方法常相互补充。
6.1.1 直接验证复合条件
最直接的方法是计算映射与自身的复合，检查是否等于原映射。若在给定结构中还能验证其保持运算或关系，那么便可确认其为幂等端同态。
这种方法概念清楚，适合小型或显式构造的例子。
6.1.2 通过矩阵表示判定
在线性代数中，端同态常通过矩阵表示。此时判定幂等性只需检查矩阵是否满足 \(A^2=A\)。这使得问题从抽象映射转化为具体代数计算。
矩阵方法在分类和算法分析中尤其有效。
6.2 在特定结构中的分类
不同结构中的幂等端同态，分类方法并不相同。线性空间中的分类强调秩、核与像；有限集合中的分类则更偏向于分区和代表元选择。
分类工作的核心，是把复杂映射归约为若干可比较的标准形式。
6.2.1 线性空间上的分类
在线性空间中，幂等线性算子通常可通过像与核来描述。若空间有限维，还可以进一步根据秩来刻画其等价类型。由于幂等算子对应投影，分类问题与直和分解密切相关。
这种分类方式在教材和基础研究中都十分常见。
6.2.2 有限集合上的分类
在有限集合上，幂等映射可视为把元素送入若干固定点，并使其余元素最终落在这些固定点上。分类时通常关注固定点集合及其吸引区域的划分。
这种情形直观而离散，便于用组合方法分析。
6.3 等价关系与同构不变性
幂等端同态的性质往往在同构或适当等价下保持不变。这意味着其本质特征不是依赖具体表示，而是依赖结构本身。
因此，研究等价关系下的保持性，有助于识别真正的结构不变量。
6.3.1 在同构下的保持
若两个对象同构，则一个对象上的幂等端同态通常可通过同构转移到另一个对象上。这样，幂等性、像的结构以及分解方式往往都能在同构意义下对应起来。
这说明幂等端同态的研究具有良好的结构稳定性。
6.3.2 结构保持映射
更一般地，若映射本身是结构保持的，那么幂等端同态在其作用下通常保留关键性质。结构保持映射之间的比较，常用于研究幂等现象在不同对象中的迁移。
这也是抽象代数中常见的比较思路。
7 应用
7.1 结构分解
幂等端同态在结构分解中用途广泛。它通过投影把对象拆成稳定部分与可消去部分，为研究子对象提供清晰路径。
在许多代数系统里，分解问题往往可归结为寻找合适的幂等端同态。
7.1.1 子对象提取
幂等端同态可以把目标对象中的某个子对象提取出来，并保证该子对象在再次作用下保持不变。这样就能把复杂结构简化为更易处理的核心部分。
这种提取机制在模、向量空间和范畴对象中都很常见。
7.1.2 正交分解
在线性代数等背景下，幂等端同态还可能与正交分解联系起来。虽然“正交”依赖额外结构，但投影算子常与内积空间中的分解配合使用。
这使幂等性不仅具有代数意义，也具有几何解释。
7.2 计算与算法中的应用
幂等端同态在计算中有助于构造稳定算法。由于其重复作用不改变结果，常可用于减少迭代复杂度或识别固定状态。
在需要反复应用某种变换的场景中，幂等性尤其具有实用价值。
7.2.1 稳定迭代
若一个过程对应幂等端同态，那么迭代该过程很快就会稳定，不会继续产生新的变化。这种性质可用于设计算法中的终止步骤或预处理步骤。
因此，幂等映射常被看作稳定化算子。
7.2.2 固定点计算
幂等端同态与固定点计算之间关系密切。因为映射的像往往就是固定点集合或与之等价的稳定部分，所以寻找不动点常可转化为分析幂等映射的结构。
这在离散数学和数值方法中都很有意义。
7.3 抽象代数与范畴论中的作用
在抽象代数与范畴论中，幂等端同态是连接分解、构造与普遍性质的重要工具。它们经常作为中间步骤出现，用以表达对象如何从整体拆分为更基本的部分。
这种作用使其不仅是一个定义项，也是许多理论的基础组件。
7.3.1 伴随构造中的出现
在一些范畴构造中，幂等态射会自然地出现在伴随或分裂相关的过程里。它们有时用于表示某种反射或核心化操作，从而把对象送入更规整的子范畴。
这一现象体现了幂等端同态在高层结构中的组织作用。
7.3.2 几何与逻辑中的解释
在几何上，幂等端同态可解释为投影到某个子空间或子图形的操作；在逻辑上，则可视为把命题或结构限制到一个稳定子域。虽然这些解释依赖具体语境，但其共同点都是“选取并固定某一部分”。
因此，幂等端同态在几何与逻辑中都具有清晰的抽象图景。