恒等写像

数学における恒等写像（こうとうしゃぞう、）、恒等作用素（こうとうさようそ、）、恒等変換（こうとうへんかん、）は、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は恒等関係（こうとうかんけい、）である。

定義 
厳密に述べれば、 を集合として、 上の恒等写像  とは、定義域および終域がともに  であるような写像であって、 の任意の元  に対して
  
を満たすものを言う。言葉で書けば、 上の恒等写像は、 の各元  に  自身を対応させて得られる  から  への一つの写像である。

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

写像を二項関係と見るならば、恒等写像は恒等関係と呼ばれる、即ち  の対角集合 (diagonal set) } で与えられる。

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

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

集合上の構造との関係 
 正整数全体の成す乗法モノイドの上で恒等写像を考えると、それは本質的に -倍写像であり、また数論的函数の意味でである
 ベクトル空間上の恒等写像は線型写像である。-次元線型空間上の恒等写像は  単位行列  を表現行列に持つが、これは基底の取り方に依らない。
 距離空間における恒等写像は自明な意味で等長写像である。いかなる対称性も持たない任意の対象が、恒等写像のみからなる自明群をとして持つ（対称型が  である）。
 単に台集合  上の恒等写像  を考えた場合、 上の異なる距離  に関して、恒等写像  は二つの距離空間  の間の等距変換とはならない。
 位相空間  と台集合  上の恒等写像  を考えたとき、 が連続写像となるための必要十分条件は、 が  よりも細かいことである。

注記

参考文献

関連項目 
 包含写像

外部リンク 
 
 

初等数学
集合の基本概念
関数の種類
数学に関する記事