冪等のソースを表示

{{出典の明記|date=2015年10月}}
[[数学]]において、'''冪等性'''（べきとうせい、{{lang-en-short|idempotence}}、「巾等性」とも書くが読み方は同じ）は、大雑把に言って、ある操作を1回行っても複数回行っても結果が同じであることをいう概念である。まれに'''等冪'''（とうべき）とも。[[抽象代数学]]、特に射影（projector）や閉包（closure）演算子に見られる特徴である。"idempotence" という単語は[[ラテン語]]の "idem"（同じ=same）と"potere"（[[冪]]=power）から来ている。

主に以下の2つの定義が使われている。

* [[二項演算]]において、自分自身にその二項演算を施したときに（例えば N * N）、結果が自分自身となるようなものを'''冪等'''である、または冪等元という。例えば、[[実数]]の乗算で冪等な数は 0 と 1 だけである。
* [[単項演算]]（関数）において、その演算を行った結果に同じ演算を行っても結果が変わらない場合に'''冪等'''であるという。例えば、実数から[[整数]]への関数である[[床関数]]は冪等である。この単項演算における冪等の定義は、上記の二項演算のときの定義の特殊例である（後述）。

== 形式的定義 ==
=== 二項演算 ===
[[二項演算]] "*" を備えた集合 ''S'' について、''S'' の元 ''s'' は

:<math>s * s = s</math>

を満たすとき（"*" に関して）'''冪等'''（べきとう、{{lang|en|idempotent}}）であるという。特に、任意の[[単位元|中立元]]は冪等である。''S'' の全ての元が冪等である場合には、その二項演算 "*" は冪等（演算）であるという。例えば、集合の[[合併 (集合論)|結び]]と[[共通部分 (数学)|交わり]]はどちらも冪等演算である。

=== 単項演算 ===
[[単項演算]]、つまり集合 ''X'' から ''X'' への写像 ''f'' が、''X'' のいかなる元 ''x'' についても

:<math>f(f(x)) = f(x)</math>

を満たすとき、''f'' は冪等であるという。これを[[写像の合成]] ∘ で表すと

:<math>f \circ f = f</math>

となる。つまり、''X'' 上の冪等単項演算とは、''X'' からそれ自身への写像全体のなす集合 ''X''<sup>''X''</sup> における、合成 ∘ に関して（上記、二項演算に対する意味で）冪等な元のことである。

== 主な例 ==
=== 写像 ===
[[恒等写像]] id(''x'') = ''x'' や[[定数関数|定値写像]] ''f''(''x'') = ''C'' は、それがいかなる集合上で定義されていたとしても常に冪等写像である。もうすこし明らかでない例として、[[実数]]や[[複素数]]に対する[[絶対値]]関数、実数の[[床関数]]などが挙げられる。

ある[[位相空間]] ''X'' の各部分集合 ''U'' について ''U'' の[[閉包 (位相空間論)|閉包]]を与える写像は、''X''の[[冪集合]]における冪等写像である。これは[[閉包作用素]]の例であり、全ての閉包作用素は冪等写像である。

=== 環の冪等元 ===
{{main|冪等元}}
[[環 (数学)|環]]における[[冪等元]]とは、環の乗法に関して冪等であるような元のことと定義される。環の冪等元全体からなる集合の半順序を次のように定義することができる。すなわち、''e'' と ''f'' が冪等な元であるとき、''ef'' = ''fe'' = ''e'' となるときかつそのときに限って ''e'' ≤ ''f'' が成り立つと定めるのである。この順序では 0 が最小な冪等元であり、1 が最大の冪等元となる。

環 ''R'' において ''e'' が冪等であるとき、''eRe'' も ''e'' を乗法単位元とする環になる。もとの環 ''R'' が単位元 1<sub>''R''</sub> を持つ場合でも、''e'' ≠ 1<sub>''R''</sub> ならば単位元が異なるため単位的環としての部分環にはなっていない。

2つの冪等元 ''e'' と ''f'' は ''ef'' = ''fe'' = 0 が成り立つとき[[直交]]するという。この場合、''e'' + ''f'' も冪等であり、''e'' ≤ ''e'' + ''f'' かつ ''f'' ≤ ''e'' + ''f'' である。

環 ''R'' で ''e'' が冪等であるとき、''f'' = 1 &minus; ''e'' と置けば ''f'' と ''e'' は直交する（''e'' が冪等なので ''ee'' = ''e'' であるから、''ef'' = ''fe'' = 0 となる）。

''R'' の冪等元 ''e'' が ''R'' の中心に属すとき、つまり ''R'' 内の全ての ''x'' について ''ex'' = ''xe'' が成り立つとき、''e'' は'''中心的''' {{lang|en|(central)}} あるいは中心冪等元であるという。この場合、''Re'' は ''e'' を乗法単位元とする環である。''R'' の中心冪等元は、複数の環の[[直和]]としての ''R'' の分解と密接に関係する。単位的環 ''R'' が環 ''R''<sub>1</sub>,...,''R''<sub>''n''</sub> の直和であるとき、各環 ''R''<sub>''i''</sub> の単位元は ''R'' において互いに直交する中心冪等元であり、これらの総和が単位元 1 に一致する。逆に、''R'' において中心的な冪等元 ''e''<sub>1</sub>,...,''e''<sub>''n''</sub> がどの二つも互いに直交し、これらの総和が単位的環 ''R'' の単位元 1 に一致するならば、''R'' は環 ''Re''<sub>1</sub>,...,''Re''<sub>''n''</sub> の直和である。つまり、''R'' の中心冪等元 ''e'' に対し、''R'' は ''Re'' と ''R''(1 &minus; ''e'') の直和に分解できる。

0 でも 1 でもない冪等元 ''e'' は零因子である（''e''(1 &minus; ''e'') =  0 である）ため、整域や[[斜体 (数学)|可除環]]にはそのような冪等元は存在しない。[[局所環]]にもそのような冪等元は存在しないが、理由は異なり、環の[[ジャコブソン根基]]に含まれる冪等元は（根基が冪零元イデアルゆえ） 0 だけであることによる。また、（可除ゆえに冪等元を持たない四元数体に対して）[[分解型四元数環]] {{lang|en|(split-quaternion, coquaternion)}} には冪等元が存在して、それらはちょうど回転カテナリー曲面 {{lang|en|(catenoid)}} を形作る。

全ての元が冪等である環を[[ブール環]]と呼ぶ。この場合、乗算は可換で、各元には加法に対する逆元が存在する。

=== その他 ===
* 冪等な操作は[[ブール代数]]にも見られる。
* [[線型代数学]]における[[射影作用素]]は冪等である。実際、射影は冪等な[[線型写像]]として定義される。
* [[冪等半環]]は、（乗法ではなく）加法が冪等な半環である。
* [[冪等行列]]。

== 情報工学における冪等 ==
[[情報工学]]における'''冪等'''とは、ある操作を1度行っても複数回行っても同じ効果となることを言う。特に、何回行ってもエラーや不整合の状態が変わらない操作を指す。

=== 関数の例 ===
絶対値関数 <tt>abs(x) == abs(abs(x)) == abs(abs(abs(x))) == ...</tt> は全ての <tt>x</tt> について冪等である。換言すれば、<tt>abs</tt> を一回適用した結果と複数回適用した結果は等しい。

=== 冪等なヘッダファイル ===
[[C言語]]の[[ヘッダファイル]]は冪等になるよう設計される。すなわち、あるヘッダファイルが複数回インクルードされた場合（<tt>#include</tt> の入れ子によって容易に発生する）、問題が発生しないようにして（{{ill|インクルードガード|en|include guard}}）、一回インクルードしたのと同じ効果をもたらすようにする。

=== WWW ===
[[Hypertext Transfer Protocol|HTTP]] の GET 要求は冪等とみなされる[https://www.w3.org/Protocols/rfc2616/rfc2616-sec9.html]。[[World Wide Web|Web]]の機構は基本的にその前提で要求結果を[[キャッシュ (コンピュータシステム)|キャッシュ]]に保持する。HTTP の POST 要求（[[フォーム]]送信に使われる）は冪等とはみなされないため、POST 要求はキャッシュされない。HTTP の DELETE 要求（指定した[[Uniform Resource Identifier|URI]]のリソースを削除する要求）も冪等である。冪等は、単に処理中の要求を再度受け付けたときに何もしないというだけではない。そのような操作は冪等ではなく安全（safe）であるという。

=== NFS ===
[[Network File System|NFS]]プロトコルの設計者は、冪等な操作によってサーバやネットワークの故障の際の回復力が増すことを理解していた。サーバ内に状態を持たないことでこれが実現される。クライアント側は Read や Write の要求がタイムアウトしたとき、不正な結果が得られることを心配せずに再度要求すればよい。NFS の最初の[[Request for Comments|RFC]]には、どういう操作が冪等でなくなる可能性があるかが詳しく論じられていたが、それらの場合もサーバ側が要求の繰り返しを検出することで冪等にできる。

=== ユーザインタフェース ===
[[ユーザインタフェース]]設計で、ボタンが冪等であるとは、そのボタンを1回押しても複数回押しても同じ効果が得られることをいう。例えば、「一時停止」ボタンが冪等でない場合、押すたびに一時停止と実行再開を繰り返すだろう。一方、一時停止ボタンを何度押しても一時停止したままの場合は、別にある「プレイ」ボタンで実行再開させる。後者は冪等である。赤外線による遠隔操作やタッチパネルなどのユーザインタフェースでは、ユーザーがちゃんと一回だけボタンを押せるかどうかが確実とは言えないので、冪等なユーザインタフェースが好ましい。エレベータを呼ぶボタンも冪等である（エレベータが到着するまで何度押しても効果は変わらない）が、人によってはそうでないかのように（エレベータが早く到着することを期待して）何度も押してしまう。

一般に Web の[[フォーム]]送信ボタンは冪等ではないが、何らかの手段で冪等になるようにしている場合もある。オンラインでのショッピングやインターネットバンキングでは、間違って複数回注文してしまうことがないよう注意が必要である。サイトによってはページが変わるまでボタンを再度押さないよう警告文を載せていることもある。あるいは、何らかのコードで二度目以降の送信を防ぐようになっている場合もある。例えば、即座にクライアント側のボタンを押せないようにしたり、POST 要求にユニークなコードを付与することでサーバ側が同じフォーム送信であると認識して無視したりといった方法がある。後者は、例えばブラウザの戻るボタンで前のページに戻って再度 POST してしまう場合などにも有効である。特に個人のコンピュータ以外でフォーム送信した場合（[[インターネットカフェ]]など）、ブラウザを全て終了させるのが安全である。

== 関連項目 ==
*[[不動点]]
*[[冪零行列]]
*[[参照透過性]]

{{DEFAULTSORT:へきとう}}
[[Category:代数学]]
[[Category:ソフトウェア工学]]
[[Category:数学に関する記事]]