恒等写像とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 恒等写像の意味・解説 

恒等写像

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/05 07:54 UTC 版)

ナビゲーションに移動 検索に移動

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

定義

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

f(x) = x

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

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

写像を二項関係と見るならば、恒等写像は恒等関係と呼ばれる函数関係英語版、即ち M の対角集合 (diagonal set) Δ = {(x, x) | xM} で与えられる[3]

性質

f: MN を任意の写像とすると、

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

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

集合上の構造との関係

  • 正整数全体の成す乗法モノイドの上で恒等写像を考えると、それは本質的に 1-倍写像であり、また数論的函数の意味で完全乗法的英語版である[4]
  • ベクトル空間上の恒等写像は線型写像である[5]n-次元線型空間上の恒等写像は n × n 単位行列 In を表現行列に持つが、これは基底の取り方に依らない[6]
  • 距離空間における恒等写像は自明な意味で等長写像である。いかなる対称性も持たない任意の対象が、恒等写像のみからなる自明群対称変換群英語版として持つ(対称型が C1 である)[7]
    • 単に台集合 X 上の恒等写像 idX を考えた場合、X 上の異なる距離 d1, d2 に関して、恒等写像 idX は二つの距離空間 (X, d1), (X, d2) の間の等距変換とはならない。
  • 位相空間 (X, τ1), (X, τ2) と台集合 X 上の恒等写像 IX を考えたとき、IX が連続写像となるための必要十分条件は、τ1τ2 よりも細かいことである。

注記

  1. ^ (Knapp 2006)
  2. ^ (松坂 1968, p. 28)
  3. ^ (ブルバキ 1984, p. 10)
  4. ^ (Marshal, Odell & Starbird 2007)
  5. ^ (Anton 2005)
  6. ^ (Shores 2007)
  7. ^ (Anderson 2005)

参考文献

関連項目

外部リンク


恒等写像

出典:『Wiktionary』 (2019/04/01 12:08 UTC 版)

名詞

恒等写像こうとうしゃぞう

  1. 数学始域終域同一で、入力そのまま出力として返す写像。ある集合 X任意要素 xX に対してxX返す写像 f: XX

用法

恒等写像を表す記号には、id や 1 が使われる集合 A対する恒等写像を idA や 1A と表す。

類義語

関連語

翻訳



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「恒等写像」の関連用語

恒等写像のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



恒等写像のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの恒等写像 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの恒等写像 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS