1 恒等写像の定義
恒等写像（identical mapping）とは、ある集合 \(X\) から同じ集合 \(X\) への写像であって、各要素を自分自身に対応させるものをいう。圏論や代数学では「恒等」は恒常的に同一の対応を保つことを強調し、写像の基本的部品として位置づけられる。
1.1 有限集合・無限集合に対する定義の共通性
有限集合でも無限集合でも、定義の骨格は変わらない。要素 \(x\in X\) を常に \(x\) に送るという条件が満たされれば、集合の大小に依存せず恒等写像として扱える。
1.2 恒等写像の具体的な表し方
恒等写像は、対象となる集合を明示し、その上での対応規則により定義される。表記と意味の対応を押さえると、以後の性質（合成、逆、同型など）の理解が容易になる。
1.2.1 添字付きの恒等写像 \(id_X\) の記法
集合 \(X\) 上の恒等写像は \(id_X: X\to X\) と書く。ここで添字 \(X\) は「どの集合の上で定義された恒等写像か」を区別するために用いられる。
1.2.2 値の対応則 \(id_X(x)=x\) の意味
恒等写像の定義条件は、すべての \(x\in X\) について \[ id_X(x)=x \] となることである。これは「入力として与えた要素を変更せず、そのまま出力する」ことを意味する。
1.3 恒等写像の基本例
恒等写像はどの集合にも存在するため、例を通じて「具体的にどのような写像が恒等になるのか」を確認できる。
1.3.1 実数全体上の恒等写像
実数全体を \(\mathbb{R}\) とすると、恒等写像は \[ id_{\mathbb{R}}:\mathbb{R}\to\mathbb{R},\quad id_{\mathbb{R}}(x)=x \] で与えられる。数の値がそのまま返るため、作用は「何もしない」に相当する。
1.3.2 行列空間上の恒等写像
たとえば、実数係数の \(m\times n\) 行列全体の集合を考えると、恒等写像は行列を行列として保ち、各成分の値を変えずに返す作用として理解できる。具体的には、行列 \(A\) に対して \(id(A)=A\) が成り立つ。
2 写像としての恒等写像の性質
恒等写像は写像の合成に関して特別な挙動を示す。その性質は数学の多くの領域で「単位元」に対応づけられ、計算の基盤になる。
2.1 合成に関する単位元性
ある写像 \(f: X\to Y\) を取り、\(id_X\) と \(id_Y\) による合成を考えると、恒等写像は \(f\) を変化させないことが分かる。
2.1.1 \(id\) を挟んだ合成が元の写像に一致する理由
恒等写像の定義より、各 \(x\in X\) に対して \[ (id_Y\circ f)(x)=id_Y(f(x))=f(x) \] が成り立つ。同様に \[ (f\circ id_X)(x)=f(id_X(x))=f(x) \] となる。従って、両者は同じ入力から同じ出力を返す写像として一致する。
2.2 逆写像との関係
恒等写像は可逆であり、その逆写像は自分自身である。これは「恒等が変換を持ち上げる」ような振る舞いをしないため、可逆性の条件が自明に満たされることに対応する。
2.2.1 恒等写像は自己逆であること
恒等写像 \(id_X\) に対して \[ id_X\circ id_X=id_X,\quad id_X\circ id_X=id_X \] が成り立つため、逆写像の定義に従えば \(id_X\) の逆写像も \(id_X\) である。つまり「逆を取っても同じ作用が残る」。
2.3 単射・全射・全単射としての特徴
恒等写像は要素の対応を変えないため、像への到達性（全射）と重複のなさ（単射）が同時に成立する。これにより分類上は最もよい性質を持つ。
2.3.1 恒等写像が常に全単射であること
単射の条件は「\(id_X(a)=id_X(b)\Rightarrow a=b\)」であるが、恒等写像では \(id_X(a)=a\) かつ \(id_X(b)=b\) より、等式がそのまま \(a=b\) に直結する。全射は「任意の \(y\in X\) に対し \(id_X(x)=y\) となる \(x\in X\) が存在する」ことだが、\(y\) 自身を \(x\) に選べば \(id_X(y)=y\) が得られる。以上より恒等写像は常に全単射である。
3 代数学における恒等写像の位置づけ
代数学では、代数的構造（群、環、体など）上の写像が演算と整合するかどうかが重要になる。その点で恒等写像は必ず整合するため、自然に「構造準同型」の例となる。
3.1 構造と恒等写像
群や環、体といった構造では、演算の振る舞いに適合する写像が中心概念になる。恒等写像は要素を変更しないので、演算との両立が自動的に成立する。
3.1.1 群・環・体上での恒等準同型
たとえば群 \(G\) に対し、恒等写像は \(id_G:G\to G\) として定義される。群準同型の条件は、任意の元 \(a,b\in G\) で \[ id_G(ab)=id_G(a)\,id_G(b) \] が成り立つことだが、両辺はそれぞれ \(ab\) と \(a\cdot b\) に一致する。環や体でも同様に、加法・乗法（必要に応じてその他の演算）と整合し、恒等写像は準同型として働く。
3.2 準同型写像の等価性
準同型写像の枠組みでは、恒等は「構造を保つが、変形はしない」作用として解釈できる。特に、体やより一般の対象での性質が明確になる。
3.2.1 体上の準同型としての \(id\)
体 \(K\) の恒等写像 \(id_K:K\to K\) は、体の演算（加法と乗法）をそのまま再現する。したがって、体準同型の要件を満たし、恒等写像は「どの要素も置換しない体作用」として扱われる。
3.2.2 極大性や核・像との対応
準同型写像 \(f\) には核（ker）や像（im）が付随する。恒等写像では、核は「恒等で 0 に送られる元」から成るため、核は最小の集合になる。一方、像は全体に一致する。具体的には \(id_X\) の像は \(X\) そのものであり、核は恒等によって変換される対象に依存するが、多くの代数的設定では自明な形になる。
4 圏論的観点から見た恒等写像
圏論では、対象と射、そして合成が中心になる。恒等写像は各対象に付随する恒等射として定義され、合成に関する公理を満たすことで体系の整合性を支える。
4.1 対象と射における恒等射
圏では「集合の上の写像」だけでなく抽象的対象を扱うため、恒等写像の概念は恒等射へ一般化される。
4.1.1 合成に対する恒等射の公理
ある圏で、対象 \(X\) に対して恒等射 \(id_X:X\to X\) が存在し、任意の射 \(f:X\to Y\) と \(g:W\to X\) に対し \[ id_Y\circ f=f,\quad f\circ id_X=f \] が成り立つことが要求される。これは「合成の結果が、恒等を挟んでも変わらない」ことを保証する公理である。
4.2 自然変換と恒等変換
自然変換の文脈でも恒等は重要な役割を持つ。複数の関手を結ぶ変換のうち、各成分が恒等射で構成されるものが恒等自然変換である。
4.2.1 恒等自然変換の意味
同一の関手 \(F\) から \(F\) 自身への自然変換を考えると、各対象 \(X\) における成分は \(id_{F(X)}\) となる。これにより、自然性条件（可換性）が恒等射の性質から自動的に成立し、変換が「何も変えない対応」として振る舞う。
4.3 構成の単位としての役割
恒等は単なる記号上の便利さではなく、構成手順の統一性を与える。圏論的な視点では、合成や変換を行う際に恒等が基準点として機能する。
4.3.1 様々な場面での「単位」としての統一的理解
合成の計算、写像の可逆性、代数的準同型、さらには自然変換の整合性など、異なる領域に共通して「恒等が単位として働く」という構図が現れる。これにより、形式体系の中で、複雑な操作を「単位と結合する枠」で捉えられるようになる。