恒等写像

数学における恒等写像（こうとうしゃぞう、英: identity mapping）、恒等作用素（こうとうさようそ、英: identity operator）、恒等変換（こうとうへんかん、英: identity transformation）あるいは恒等函数（こうとうかんすう、英: identity function）、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は函数関係 f(x) = x によって与えられる。

定義

厳密に述べれば、M を集合として、M 上の恒等写像 f とは、始域および終域がともに M であるような写像であって、M の任意の元 x に対して

f(x) = x

を満たすものを言う。言葉で書けば、M 上の恒等写像は、M の各元 x に x 自身を対応させて得られる M から M への一つの写像である。

M 上の恒等写像はしばしば id_M や 1_M などで表される。

集合論的にある種の二項関係として写像を定めるならば、恒等写像は恒等関係即ち M の対角集合 Δ = {(x, x) | x ∈ M} で与えられる。

性質

f: M → N を任意の写像とすると、

$f \circ \text{id}_M = f = \text{id}_N \circ f$

が成り立つ（"∘" は写像の合成）。特に、id_M は M から M への写像（M 上の変換）全体の成す集合が合成に関して成す半群（M 上の全変換半群）T_M における単位元（中立元）であり、従って T_M はモノイドを成す。

モノイドの単位元はただ一つであるから、M 上の恒等写像の別な定義として、全変換モノイドの単位元として定めることも可能である。このような定義は、圏論における恒等射の概念に一般化することができる。この文脈では M 上の自己型射が写像である必要はない。

集合上の構造との関係

• 正整数全体の成す乗法モノイドの上で恒等写像を考えると、それは本質的に 1-倍写像であり、また数論的函数の意味で完全乗法的である。
• V を線型空間とすると、V 上の恒等写像 1_V は V 上の線型変換を与える。n-次元線型空間上の恒等写像は単位行列 I_n を表現行列に持つが、これは基底の取り方に依らない。
• 距離空間 (X, d) 上の恒等変換 id_X,d は自明な等距変換である。対称性を持たない任意の対象は、この自明な等距変換のみからなる自明群を対称変換群として持つ（C₁-型の対称性）。
• 単に台集合 X 上の恒等写像 id_X を考えた場合、X 上の異なる距離 d₁, d₂ に関して、恒等写像 id_X は二つの距離空間 (X, d₁), (X, d₂) の間の等距変換とはならない。
• 位相空間 (X, τ₁), (X, τ₂) と台集合 X 上の恒等写像 I_X を考えたとき、I_X が連続写像となるための必要十分条件は、τ₁ が τ₂ よりも細かいことである。

関連項目

• 包含写像

外部リンク

• Weisstein, Eric W., "Identity Function" - MathWorld.（英語）
• identity map - PlanetMath.（英語）