集合論 恒等写像
恒等写像(identity mapping, identity function)
空でない集合 \(S\) に対して, 写像 \({\rm id}_S\ \colon\ S\rightarrow S\) を \[{\rm id}_S(x)=x\] で定義する. \({\rm id}_S\) を \(S\) 上の恒等写像という.
\(I_S, \mathbf{1}_S\) と書くこともある. 混同しない場合は単に \({\rm id}, I, \mathbf{1}\) と書く.