恒等函数

定义

恒等函数是把每个元素对应到自身的函数。设 M 为一个集合，M 上的恒等函数是以 M 同时作为定义域与陪域的函数，对 M 中的任意元素 x，都满足 $f(x) = x$，也就是定义域中的输入元素与陪域中得到的函数值始终相同^[1][2]。

这一函数在任意非空集合上都可定义，常记为 $id_M$、$I_M$ 或 $e_A$ 等形式^[3]。它既是单射又是满射，陪域同时等于其值域，因此是双射^[4]。

在把函数视为一种特殊二元关系的集合论框架中，恒等函数由恒等关系给出，即集合 M 的对角集合 $\Delta = \{(x, x) \mid x \in M\}$^[5]。当定义域与陪域相同、且每个元素都与自身对应时，该映射即构成恒等映射^[6]。

原理

恒等函数的核心特征是不改变输入。设 $f : M \to N$ 为任意函数，用「∘」表示函数复合，则有 $f \circ id_M = f = id_N \circ f$，即恒等函数在复合运算中不会改变另一个函数的作用效果^[4][7]。

这一性质使 $id_M$ 成为由 M 到 M 的所有函数在复合运算下构成的幺半群的单位元。由于幺半群的单位元唯一，也可以反过来把 M 上的恒等函数定义为该幺半群的单位元^[8]。

恒等函数还具有幂等性，即与自身复合后仍等于自身^[4]。在拓扑空间中，恒等函数总是连续的；在度量空间中，它显然是等距同构^[2]。

graph LR

A["输入 x"] --> B["恒等函数 id(x) = x"]

B --> C["输出 x"]

发展历程

恒等映射的概念随映射概念的普及而进入数学教材，其表述方式在不同分支中有所差异。相关词条把恒等映射列为一种重要的映射，指对任何元素象与原象相同的映射，并给出「对任何集 A 都存在唯一的恒等映射」以及「恒等映射是双射」两条基本性质^[6]。

随着抽象代数与范畴论的发展，恒等函数的定义被推广。由「幺半群单位元唯一」这一性质出发，可以把 M 上的恒等函数定义为该幺半群的单位元，这一表述进一步推广为范畴论中恒等态射的概念，其中对应对象的自同态不一定是函数^[4]。

在中文语境中，该概念有恒等映射、恒等函数、恒同映射等多个名称，其中「恒同映射」在部分资料中被作为本词条的别称收录^[9][5]。

应用

在向量空间中，恒等函数是线性算子；在 n 维向量空间中，无论选取哪一组基，它都由 n 阶单位矩阵 $I_n$ 表示^[4][2]。

在数论中，正整数上的恒等函数是完全积性函数，本质上相当于乘以 1。在度量空间中它自然是等距同构；一个不具备任何对称性的对象，其对称群是只包含该等距同构的平凡群，对称类型记为 C1。

在机器学习领域，恒等函数被用于深度自编码器的隐层约束，以防止其退化为没有实际意义的恒等函数^[3]。在拓扑学中，当恒等映射同伦于常值映射时，该空间称为可缩空间^[10]。

局限

恒等函数的应用范围受其定义限制。它要求定义域与陪域为同一集合，因此不能作为两个不同集合之间的有效对应工具；对于需要改变元素取值的场合，恒等函数无法提供所需变换^[1][4]。

在度量空间的语境下，仅考虑集合 X 上的恒等映射时，若 X 上分别取两个不同的距离 $d_1$、$d_2$，该恒等映射并不构成两个度量空间 $(X, d_1)$ 与 $(X, d_2)$ 之间的等距变换^[11]。

在拓扑空间中，当同一个集合 X 上带有两个拓扑 $\tau_1$ 与 $\tau_2$ 时，恒等映射连续的条件是 $\tau_1$ 比 $\tau_2$ 更细，这说明同一恒等映射在不同结构下的连续性并不自动成立^[11]。

此外，恒等函数本身不携带除「保持元素不变」以外的信息，在需要压缩、编码或提取特征的场景中，仅依靠恒等映射无法完成任务，这也是相关工程问题中需要加以约束的原因^[3]。

参见

• 函数 —— 恒等函数是函数的一种特殊情形，输入与输出恒等。

• 映射 —— 恒等映射是映射中最基本的一类。

• 双射 —— 恒等函数同时是单射与满射，因而属于双射。

• 函数复合 —— 恒等函数是复合运算下的单位元。

• 范畴论 —— 恒等函数在此推广为恒等态射。

• 单位矩阵 —— 恒等函数在有限维向量空间中的矩阵表示。