写像・部分写像の逆元
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/02 17:25 UTC 版)
写像 g が(写像の合成に関する)左(あるいは右)逆写像 f であるのは g ∘ f = id dom f [ resp. f ∘ g = id codom f ] {\displaystyle g\circ f={\text{id}}_{{\text{dom}}f}\quad [{\text{resp. }}f\circ g={\text{id}}_{{\text{codom}}f}]} を満たすことをいう。ここで iddom f および idcodom f はそれぞれ f の始域 (domain) および終域 (codomain) 上の恒等写像である。写像 f の逆写像はしばしば f−1 で表される。写像が両側逆写像をもつのは全単射のときであり、かつそのときに限るが、「どんな」写像でも準逆写像は存在する。したがって全変換半群は正則半群である。ある集合上の部分写像全体の成す単位的半群もやはり正則である。これに対して、単射部分変換全体の成す単位的半群は逆半群の原型的な例を与える。
※この「写像・部分写像の逆元」の解説は、「逆元」の解説の一部です。
「写像・部分写像の逆元」を含む「逆元」の記事については、「逆元」の概要を参照ください。
- 写像・部分写像の逆元のページへのリンク