自己逆性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/06 14:32 UTC 版)
任意の集合 X に対して、そのうえの恒等写像はそれ自身を逆写像として持つ。つまり id X − 1 = id X {\displaystyle \operatorname {id} _{X}^{-1}=\operatorname {id} _{X}} が成り立つ。もっと一般に、函数 f: X → X がその逆函数と相等しいための必要十分条件は、合成函数 f ∘ f が idX に等しいことである。このような写像は対合と呼ばれる。
※この「自己逆性」の解説は、「逆写像」の解説の一部です。
「自己逆性」を含む「逆写像」の記事については、「逆写像」の概要を参照ください。
- 自己逆性のページへのリンク