|
|
| 1行目: |
1行目: |
| − | '''逆元''' （ぎゃくげん、{{Lang-en-short|''inverse element''}}）とは、[[数学]]、とくに[[抽象代数学]]において、数の加法に対する[[反数]]や乗法に関する[[逆数]]の概念の一般化で、直観的には与えられた元に結合してその効果を「打ち消す」効果を持つ元のことである。逆元のきちんとした定義は、考える[[代数的構造]]によって少し異なるものがいくつか存在するが、[[群 (数学)|群]]を考える上ではそれらの定義する概念は同じものになる。 | + | '''逆元''' （ぎゃくげん、{{Lang-en-short|''inverse element''}}） |
| | | | |
| − | == 厳密な定義 ==
| + | 集合 <i>G</i> の元を <i>a</i> とする。演算，すなわち結合法・について，<i>a</i>・<i>x</i>＝<i>x</i>・<i>a</i>＝<i>e</i> を満たす <i>x</i> は，ただ1つ定まる。この <i>x</i> を <i>a</i> の逆元といい，<i>a</i> <sup>-1</sup> と書く。結合法が＋で表わされるときは，その逆元を －<i>a</i> と書く ([[群]] ) 。 |
| − | === 単位的マグマの場合 ===
| |
| − | [[集合]] ''M'' は[[二項演算]] • をもつ[[代数系]]すなわち[[マグマ (数学)|マグマ]]で、 ''e'' は (''M'', •) の[[単位元]]とする。すなわち (''M'', •, ''e'') は[[単位的マグマ]]であるとする。''M'' の元 ''a'', ''b'' に対して ''a'' • ''b'' = ''e'' となるとき、''a'' を演算 • と単位元 ''e'' に関する ''b'' の'''左逆元''' {{lang|en|(''left inverse'')}}, ''b'' を演算 • 単位元 ''e'' に関する ''a'' の'''右逆元''' {{lang|en|(''right inverse'')}} という。またこのとき、''b'' は'''左可逆'''、''a''は'''右可逆'''であるという。''M'' の元 ''x'' に対して、''M'' の元 ''y'' で ''x'' の左逆元かつ右逆元であるようなものが存在するとき、つまり
| |
| − | : ''x'' • ''y'' = ''y'' • ''x'' = ''e''
| |
| − | が満たされるとき、''y'' は演算 • と単位元 ''e'' に関する ''x'' の'''両側逆元''' {{lang|en|(''two-sided inverse'')}} あるいは単に'''逆元''' {{lang|en|(''inverse'')}} であるといい、''x'' は ''M'' において[[可逆元|可逆]]であるという。このとき、''y'' も可逆であり、''x'' は ''y'' の逆元になる。
| |
| | | | |
| − | 単位的マグマ ''L'' の任意の元が'''可逆'''であるとき、''L'' は[[単位的準群]]（ループ）であるという。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | 同様にして、マグマ (''M'', ∗) が複数の左単位元あるいは右単位元を持つとき、左逆元あるいは右逆元もそれらに応じて複数存在しうる（先の定義で用いた ''e'' は両側単位元であることに注意）。もちろん、いくつかの左または右単位元に関して左逆元かつ右逆元であるといったようなこともありうる。
| |
| − | | |
| − | 代数系 (''M'', ∗) の演算 ∗ が[[結合法則|結合的]]であるとき、''M'' の元が左逆元と右逆元を両方とも持てばそれらは相等しく、したがってそれは逆元となる。言い換えれば、[[単位的半群]]において任意の元は高々一つ（この節にいう意味での）逆元を持つ。単位的半群における可逆元の全体は[[単元群]]と呼ばれる極大な[[部分群]]を成す。''M'' の単元群は ''U''(''M'') や ''H''<sub>1</sub> などと書かれる。
| |
| − | | |
| − | 左可逆元は左[[簡約律|消約的]]であり、右あるいは両側可逆についても同様である。
| |
| − | | |
| − | === 半群の場合 ===
| |
| − | {{main|正則半群}} | |
| − | | |
| − | 上述のマグマに対する定義は群における「単位元に対する逆元」の概念を一般化するものであった。それよりは少し判りづらいが、演算の[[結合律|結合性]]は仮定する（[[半群]]において考える）けれども、「単位元の存在を仮定しない」という形で逆元の概念を一般化するということも可能であり、ここではそのような定義を与える。
| |
| − | | |
| − | 半群 ''S'' の元 ''x'' が（'''フォン・ノイマン'''）'''正則元''' {{lang|en|([''von Neumann''] ''regular'')}} であるとは、''S'' の元 ''z'' で ''xzx'' = ''x'' を満たすものが存在することを言う。このときしばしば ''z'' は ''x'' の'''擬逆元''' {{lang|en|''pseudo-inverse'')}} と呼ばれる。''S'' の元 ''y'' が ''xyx'' = ''x'' かつ ''y'' = ''yxy'' を満たすとき、''y'' は単に ''x'' の'''逆元''' {{lang|en|(inverse)}} であるといわれる。''x'' = ''xzx'' が成り立つとき、 ''y'' = ''zxz'' が ''x'' のここでいう意味での逆元となることは直ちに確かめられるから、したがって任意の正則元は少なくともひとつの逆元を持つ。もうひとつすぐに確かめられることは、''y'' が ''x'' の逆元ならば ''e'' = ''xy'' および ''f'' = ''yx'' は[[冪等元]]、つまり ''ee'' = ''e'' および''ff'' = ''f'' が成立すること、したがって互いに他の逆である元の対 (''x'', ''y'') からふたつの冪等元が得られ、''ex'' = ''xf'' = ''x'', ''ye'' = ''fy'' = ''y'' が成立して、 ''e'' は左単位元として、一方 ''f'' は右単位元として ''x'' に作用すること、および左右を入れ替えて ''y'' についても同様のことが成り立つということである。このような簡単な視座は{{仮リンク|グリーンの関係式|en|Green's relations}}によって一般化され、勝手な半群の任意の冪等元 ''e'' は ''R''<sub>''e''</sub> における左単位元、および ''L''<sub>''e''</sub> における右単位元となる<ref>Howie, prop. 2.3.3, p. 51</ref>。もうすこし直観的にいえば、この事実は互いに逆である任意の対から局所左単位元および局所右単位元が導かれるということである。
| |
| − | | |
| − | 単位的半群において、前節で定義した意味での逆元の概念は本節におけるそれよりも真に狭い意味のものになっている。[[グリーンの関係式|''H''<sub>1</sub>]] の元は前節の単位的マグマの意味での逆元を持つのみであるが、その一方で任意の冪等元 ''e'' に対する ''H''<sub>''e''</sub> の元は本節における意味での逆元を持つ。この広い意味での逆元の定義では、かってな半群や単位的半群において逆元が一意である必要はない（し、存在するとも限らない）。任意の元が正則元であるような半群あるいは単位的半群は[[正則半群]]と呼ばれ、任意の元が少なくとも一つの逆元を持つ。また、任意の元が本節に言う意味での逆元をちょうどひとつだけ持つような半群は[[逆半群]]という。そして、ただひとつの冪等元を持つ逆半群は[[群 (数学)|群]]である。逆半群は[[吸収元]] 0 を持つことがあるが、（もしあれば 000 = 0 を満たすから）群ではそのような元は存在しない。
| |
| − | | |
| − | 半群論以外の文脈では、本節にいう意味の逆元がただひとつ存在するとき、それを擬似逆元あるいは'''準逆元''' {{lang|en|(''quasi-inverse'')}} と呼ぶことがある。このことは（本項で扱う例などのような）多くの応用において、結合性が満足され、この概念を単位元に関する（左、右）逆元の一般化と見ることができることから正当化される。
| |
| − | | |
| − | === 作用付き半群 ===
| |
| − | 逆半群の自然な一般化は、''S'' の任意の元 ''a'' に対して、(''a''°)° = ''a'' となるような勝手な単項演算 "°" を定義することである。これは ''S'' に ⟨2,1⟩-型の算号系を持つ代数系の構造を与える。このような単項演算を備えた半群は ''U''-'''半群'''と呼ばれる。''a''° は ''a'' の逆元をあらわしているようにも見えるが、いまは必ずしもそうでなくてよい。意味のある概念を得るためには、この単項演算は半群の演算と何らかの形で関わりを持つようにする必要がある。よく調べられている ''U''-半群のクラスに
| |
| − | | |
| − | * ''I''-'''半群''': 単項演算 "°" と半群演算との相互関係式を ''aa''°''a'' = ''a'' で与えたもの、
| |
| − | * [[対合付き半群|∗-'''半群''']]: 単項演算 "°" と半群演算との相互関係式を (''ab'')° = ''b''°''a''° で与えたもの。このような単項演算は[[対合]]と呼ばれ、しばしば "∗" で表される。
| |
| − | | |
| − | のふたつがある。群が ''I''-半群にも ∗-半群にもなることは明らかである。''I''-半群にも ∗-半群にもなるような構造というのがちょうど逆半群の構造である。半群論における重要な半群のクラスは、''I''-半群であってさらに関係式 ''aa''° = ''a''°''a'' も成立する（言い換えれば、任意の元 ''a'' が ''a''° を自身と交換可能な擬逆元として持つ）{{仮リンク|完備正則半群|en|completely regular semigroup}} である。このような半群の具体的な例は少ないが、そのほとんどは{{仮リンク|完全単純半群|en|completely simple semigroup}}である。翻って、∗-半群の重要なクラスは、[[対合付き正則半群|正則 ∗-半群]]であり、このクラスの唯一つの擬逆元を持つ最もよく知られた例はおそらく[[ムーア・ペンローズ擬似逆行列]]である。ただし、この場合の対合 ''a''<sup>∗</sup> は擬逆行列ではない。もっと言えば、行列 ''x'' の擬逆行列は ''xyx'' = ''x'', ''yxy'' = ''y'', (''xy'')<sup>∗</sup> = ''xy'', (''yx'')<sup>∗</sup> = ''yx'' をすべて満たす唯一の元 ''y'' である。正則 ∗-半群は逆半群の一般化であるから、このように定まる正則 ∗-半群の唯一の元は'''一般化逆元''' {{lang|en|(''generalized inverse'')}} あるいは'''ペンローズ・ムーア逆元''' {{lang|en|(''Penrose-Moore inverse'')}} と呼ばれる。正則 ∗-半群 ''S'' において「''S'' の任意の元 ''a'' に対して ''aa''<sup>∗</sup> および ''a''<sup>∗</sup>''a'' が ''F''(''S'') に属すような逆元 ''a''<sup>∗</sup> がちょうどひとつ存在する」となるような、{{仮リンク|Pシステム|en|P-system}}と呼ばれる冪等元からなるとくべつな部分集合 ''F''(''S'') を考えることができる。
| |
| − | | |
| − | == 例 ==
| |
| − | 個々での例はどれも結合演算に関するものである。したがって単位的マグマに対する左・右逆元と、一般の場合の準逆元を考えることができる。
| |
| − | | |
| − | === 実数の逆元・準逆元 ===
| |
| − | ''x'' が実数なら、''x'' は実数の加法に関する逆元（加法的逆元、[[反数]]） −''x'' を必ず持つ。0 でない実数 ''x'' の乗法に関する逆元（乗法的逆元） {{fraction|1|''x''}} は[[逆数]]と呼ばれる。これに対して、''x'' = 0 は乗法的逆元を持たない元であるが、0 は 0 自身を唯一の準逆元として持つ。
| |
| − | | |
| − | === 写像・部分写像の逆元 ===
| |
| − | 写像 ''g'' が（[[写像の合成]]に関する）左（あるいは右）[[逆写像]] ''f'' であるのは
| |
| − | : <math>g \circ f = \text{id}_{\text{dom}f} \quad [\text{resp. }f \circ g = \text{id}_{\text{codom}f}]</math>
| |
| − | を満たすことをいう。ここで id<sub>dom ''f''</sub> および id<sub>codom ''f''</sub> はそれぞれ ''f'' の[[始域]] {{lang|en|(domain)}} および[[終域]] {{lang|en|(codomain)}} 上の[[恒等写像]]である。写像 ''f'' の逆写像はしばしば ''f''<sup>−1</sup> で表される。写像が両側逆写像をもつのは[[全単射]]のときであり、かつそのときに限るが、「どんな」写像でも準逆写像は存在する。したがって[[全変換半群]]は[[正則半群]]である。ある集合上の[[部分写像]]全体の成す単位的半群もやはり正則である。これに対して、[[対称逆半群|単射部分変換全体の成す単位的半群]]は[[逆半群]]の原型的な例を与える。
| |
| − | | |
| − | === ガロア接続 ===
| |
| − | （単調）{{仮リンク|ガロア接続|en|Galois connection}} における下随伴と上随伴 ''L'' および ''G'' は互いに準逆元である。すなわち、''LGL'' = ''L'' かつ ''GLG'' = ''G'' であって、一方は他方を一意的に決定する。しかし、これらは互いに左逆元にも右逆元にもならない。
| |
| − | | |
| − | === 逆行列・擬逆行列 ===
| |
| − | [[可換体|体]] ''K'' に成分を持つ[[正方行列]] ''M'' が可逆であるのはその[[行列式]]が<u> 0 以外</u>であるときであり、かつそのときに限る。''M'' の行列式が 0 ならば ''M'' は（左または右逆元のうち一方が存在すれば、それは他方の存在を導くから）片側逆元を持つことも不可能である（詳細は[[正則行列]]を参照）。もっと一般に、[[可換環]] ''R'' 上の正方行列が可逆であるための必要十分条件は、その行列式が ''R'' の[[可逆元]]であることである。
| |
| − | | |
| − | [[フルランク行列|階数落ちしていない]] {{lang|en|(full-rank)}} 非正方行列は片側逆元を持つ<ref>[http://ocw.mit.edu/OcwWeb/Mathematics/18-06Spring-2005/VideoLectures/detail/lecture33.htm MIT Professor Gilbert Strang Linear Algebra Lecture #33 - Left and Right Inverses; Pseudoinverse.]</ref>。
| |
| − | | |
| − | * 行列 ''A'' が ''m'' × ''n'' 行列で ''m'' > ''n'' のとき、<div style="margin: 1ex auto 1ex 2em"><math>\underbrace{ (A^{T}A)^{-1}A^{T} }_{ A^{-1}_\text{left} } A = I_{n}</math></div>となり、左逆元（左逆行列）が存在する。
| |
| − | * 行列 ''A'' が ''m'' × ''n'' 行列で ''m'' < ''n'' のとき、<div style="margin: 1ex auto 1ex 2em"><math> A \underbrace{ A^{T}(AA^{T})^{-1} }_{ A^{-1}_\text{right} } = I_{m} </math></div>となり、右逆元（右逆行列）が存在する。
| |
| − | | |
| − | 階数落ち {{lang|en|(rank-deficient)}} 行列は逆元も片側逆元も持たない。しかし, ムーア・ペンローズ[[擬逆行列]]は任意の行列に対して存在して、（左、右）逆元が存在する場合には擬逆行列はそれと一致する。
| |
| − | | |
| − | 行列の逆元の例を挙げる。''m'' < ''n'' なる ''m'' × ''n'' 行列として、2 × 3 行列
| |
| − | : <math>A = \begin{pmatrix}1 & 2 & 3 \\4 & 5 & 6\end{pmatrix}</math>
| |
| − | を考えよう。サイズに関する仮定から右逆元
| |
| − | : <math>A^{-1}_\text{right} = A^{T}(AA^{T})^{-1}</math>
| |
| − | が存在する。これを実際に計算すると、
| |
| − | | |
| − | :<math>\begin{align}A^{-1}_\text{right}
| |
| − | & = A^{T}(AA^{T})^{-1}
| |
| − | = \begin{pmatrix}1 & 4\\2 & 5\\3 & 6\end{pmatrix}\left(
| |
| − | \begin{pmatrix}1 & 2 & 3 \\4 & 5 & 6\end{pmatrix}
| |
| − | \begin{pmatrix} 1 & 4\\2 & 5\\3 & 6\end{pmatrix}
| |
| − | \right)^{\!\!\!-1} \\[10pt]
| |
| − | & = \begin{pmatrix}1 & 4\\2 & 5\\3 & 6\end{pmatrix}
| |
| − | \begin{pmatrix}14 & 32\\32 & 77\end{pmatrix}^{-1}
| |
| − | = \frac{1}{54} \begin{pmatrix}1 & 4\\2 & 5\\3 & 6\end{pmatrix}
| |
| − | \begin{pmatrix}77 & -32\\-32 & 14\end{pmatrix}
| |
| − | = \frac{1}{18}\begin{bmatrix}-17 & 8\\-2 & 2\\13 & -4\end{bmatrix}
| |
| − | \end{align}</math>
| |
| − | を得る。左逆元は存在しない。実際
| |
| − | | |
| − | : <math> A^{T}A
| |
| − | = \begin{bmatrix}1 & 4\\2 & 5\\3 & 6\end{bmatrix}
| |
| − | \begin{bmatrix}1 & 2 & 3 \\4 & 5 & 6\end{bmatrix}
| |
| − | =\begin{bmatrix}17 & 22 & 27 \\22 & 29 & 36\\27 & 36 & 45\end{bmatrix}
| |
| − | </math>
| |
| − | これは非正則行列なので逆を持たない。
| |
| − | | |
| − | == 環の擬乗法 ==
| |
| − | {{main|ジャコブソン根基}}
| |
| − | また、必ずしも乗法単位元を持たない結合環 (''K'', +, 0, ×) において、擬乗法と呼ばれる演算
| |
| − | : <math>x*y = x + y - xy</math>
| |
| − | を考えたとき、擬乗法に関する単位元は加法の単位元と同じ[[零元]] 0 であり、
| |
| − | : <math>x*y = 0</math> | |
| − | が満たされるときの ''x'' を ''y'' の左擬逆元、''y'' を ''x'' の右擬逆元とよぶ。''x'' が左擬可逆かつ右擬可逆ならば、''x'' は擬正則であるという。''K'' が通常の乗法に関して単位元 1 をもつとき、
| |
| − | : <math>x*y = x + y - xy\iff (1-x)(1-y)=1-x*y</math>
| |
| − | となるので、''x'' の擬正則であることと 1 − ''x'' が通常の意味での乗法に関して可逆であることとが同値になる。
| |
| − | | |
| − | [[局所環]]の項も参照
| |
| − | | |
| − | == 注記 ==
| |
| − | <references />
| |
| − |
| |
| − | == 参考文献 ==
| |
| − | * M. Kilp, U. Knauer, A.V. Mikhalev, ''Monoids, Acts and Categories with Applications to Wreath Products and Graphs'', De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, ISBN 3110152487, p. 15 (def in unital magma) and p. 33 (def in semigroup)
| |
| − | *{{cite book|last= Howie|first= John M.|title=Fundamentals of Semigroup Theory|year=1995|publisher=[[オックスフォード大学出版局|Clarendon Press]]|isbn=0-19-851194-9}} contains all of the semigroup material herein except *-regular semigroups.
| |
| − | * Drazin, M.P., ''Regular semigroups with involution'', Proc. Symp. on Regular Semigroups (DeKalb, 1979), 29-46
| |
| − | * Miyuki Yamada, ''P-systems in regular semigroups'', Semigroup Forum, 24(1), December 1982, pp. 173-187
| |
| − | * {{cite book|和書|author=田村孝行|title=半群論|publisher=共立出版|year=1972|series=共立講座 現代の数学}}
| |
| − | | |
| − | == 関連項目 ==
| |
| − | * [[ゼロ除算]]
| |
| − | * {{仮リンク|単位的準群|en|loop (algebra)}}
| |
| − | * [[斜体_(数学)|斜体]]
| |
| − | * [[可逆元]]
| |
| | | | |
| | {{DEFAULTSORT:きやくけん}} | | {{DEFAULTSORT:きやくけん}} |