跳转到内容

恆等函數

维基百科，自由的百科全书

（重定向自恒同映射）

此條目没有列出任何参考或来源。 (2019年4月1日)
維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

恆等函數（英語：Identity function）是数学中对于傳回和其輸入值相同的函數的称呼。換句話說，恆等函數為函數 $f(x)~=~x$ 。

各種函數
$x \mapsto f (x)$
不同定義域和陪域
$X$ → $\mathbb {B}$ , $\mathbb {B}$ → $X$ , $\mathbb {B} ^{n}$ → $\mathbb {B}$ $X$ →（英语：integer-valued function） $\mathbb {Z}$ , $\mathbb {Z} ^{+}$ → $X$ $X$ →（英语：real-valued function） $\mathbb {R}$ , $\mathbb {R}$ → $X$ , $\mathbb {R} ^{n}$ →（英语：function of several real variables） $X$ $X$ →（英语：complex-valued function） $\mathbb {C}$ , $\mathbb {C}$ → $X$ , $\mathbb {C} ^{n}$ →（英语：Function of several complex variables） $X$
函數類/性質
常值恆等線性多項式有理代數解析光滑連續可測單射满射双射
構造
限制複合 λ 逆
推廣
偏（英语：Partial function）多值隱
查论编

定義

設M為一集合，於M上的恆等函數f被定義於一具有定義域和陪域M的函數，其對任一M內的元素x，會有 $f(x)=x$ 的關係。

於M上的恆等函數f通常標記為 $\operatorname {Id} _{m}$ 或 ${1}_{m}$ 。

代數性質

設f : M → N為任一函數，則會有f o id_M = f = id_N o f（其中"o"為函數複合）。特別地是，id_M會是所有由M至M的函數所組成之幺半群的單位元。

因為幺半群的單位元是唯一的，也可以反過來把M上的恆等函數定義為這個幺半群的單位元。此一定義廣義化成了於範疇論中恆等態射的概念，其中M的自同態並不必然是函數。

例子

於正整數上的恆等函數為一數論中的完全積性函數。
在任意一个 n 維向量空間內，恆等函數表示成單位矩陣I_n，不論其基為何。
在任意一个度量空間，恆等函數很當然地為等距同構。一無任何對稱的物件會有一對稱群，即只包含這個恆等函數的平凡群C₁。

参见

內含映射

检索自“https://zh.wikipedia.org/w/index.php?title=恆等函數&oldid=68781198”

分类：

隐藏分类：