恒等写像

数学における恒等写像（こうとうしゃぞう、）、恒等作用素（こうとうさようそ、）、恒等変換（こうとうへんかん、）は、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は恒等関係（こうとうかんけい、）である。
定義.
厳密に述べれば、 を集合として、 上の恒等写像 とは、定義域および終域がともに であるような写像であって、 の任意の元 に対して
を満たすものを言う。言葉で書けば、 上の恒等写像は、 の各元 に 自身を対応させて得られる から への一つの写像である。
 上の恒等写像はしばしば や などで表される。
写像を二項関係と見るならば、恒等写像は恒等関係と呼ばれる、即ち の対角集合 (diagonal set) } で与えられる。
性質.
 を任意の写像とすると、
が成り立つ（"∘" は写像の合成）。特に、 は から への写像（ 上の変換）全体の成す集合が合成に関して成す半群（ 上の） における単位元（中立元）であり、従って はモノイドを成す。
モノイドの単位元はただ一つであるから、 上の恒等写像の別な定義として、全変換モノイドの単位元として定めることも可能である。このような定義は、圏論における恒等射の概念に一般化することができる。この文脈では 上の自己型射が写像である必要はない。