半環のソースを表示
←
半環
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[抽象代数学]]において、'''半環'''（はんかん、{{lang-en-short|''semi-ring''}}）とは[[環 (数学)|環]]に類似した[[代数的構造]]で、環の[[公理]]から[[加法的逆元]]の存在を除いたものである。負元 ('''n'''egative) の無い環 (ri'''n'''g) ということから '''rig''' という用語もしばしば用いられる。 <!-- {{Algebraic structures|cTopic=[[ring (mathematics)|Ring]]-like structures}} --> == 定義 == '''半環'''は、以下の性質を満たす二つの[[二項演算]]、即ち加法（和）"+" と乗法（積）"·" とを備えた集合 ''R'' を言う<ref>Berstel & Perrin (1985), {{Google books quote|id=GHJHqezwwpcC|page=26|text=a semiring K is a set equipped with two operations|p. 26}}</ref>： # (''R'', +) は[[単位元]] 0 を持つ[[可換モノイド]]を成す: ## (''a'' + ''b'') + ''c'' = ''a'' + (''b'' + ''c''), ## 0 + ''a'' = ''a'' + 0 = ''a'', ## ''a'' + ''b'' = ''b'' + ''a''. # (''R'', ·) は単位元 1 を持つ[[モノイド]]を成す: ## (''a'' · ''b'')· ''c'' = ''a'' ·(''b'' · ''c''), ## 1 · ''a'' = ''a'' · 1 = ''a''. # 乗法は加法の上に[[分配法則|分配的]]である: ## ''a'' ·(''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c''), ## (''a'' + ''b'')· ''c'' = (''a'' · ''c'') + (''b'' · ''c''). # 0-倍は ''R'' を零化する: ## 0 · ''a'' = ''a'' · 0 = 0. 上記の最後の公理は[[環 (数学)|環]]の場合には他の公理から導かれるので不要だが、一般の半環では成り立つとは限らないので明示的に要求する必要がある。半環が環と異なる点は、加法が単に[[可換モノイド]]を成せばよく、[[可換群]]を成すとは限らないことである。 通例、乗法の記号はしばしば省略して ''a'' · ''b'' を単に ''ab'' と記し、また[[演算の優先順位]]として乗法は加法 "+" に優先するものと約束する（例えば {{nowrap|''a'' + ''bc''}} は {{nowrap|''a'' + (''bc'')}} の意である）。 乗法が[[交換法則|可換]]な半環を'''可換半環''' (''commutative semiring'') と言う。加法が[[冪等]]演算となる（つまり任意の ''a'' が ''a'' + ''a'' = ''a'' を満たす）半環を'''冪等半環''' (''idempotent semiring'', '''dioid''') と言う。言い換えれば、冪等半環の加法モノイド (''R'', +, 0) は[[半束|零付き結び半束]]を成す。 文献によっては半環が 0 や 1 を持つことを仮定しないものもある。このような扱いをすると、「環と半環との関係」が「[[群 (数学)|群]]と[[半群]]との関係」の類似対応物としてより捉えやすくなるという利点がある。この場合、本項で言うところの「半環」の概念を特に ''rig'' と呼んで呼び分けるのが普通である。 == 例 == === 一般の例 === * 任意の環は半環である。 * 一つの環の[[イデアル (環論)|イデアル]]の全体は、イデアルの和と積に関して半環を成す。 * {{仮リンク|完備冪等半環|en|quantale|label=単位的完備冪等半環}}は、結びと乗法に関して冪等半環 (dioid) である。 * 任意の有界[[分配束]]は結びと交わりに関して可換冪等半環を成す。特に[[ブール代数]]はそのような半環である。[[ブール環]]も半環を成し、実際には環を成すが、これは加法が冪等でない。 * 環 ''R'' における正規{{仮リンク|歪束|en|skew lattice}} は乗法と<div style="margin: 1ex 2em"><math>a\mathop{{}\nabla{}}b := a+b+ba-aba-bab</math></div>で定義される束演算（ナブラ）に関して冪等半環となる。 * {{仮リンク|クリーネ代数|en|Kleene algebra}} は[[クリーネスター]]と呼ばれる単項演算 ∗: ''R'' → ''R'' を備えた冪等半環 ''R'' である。クリーネ代数は[[形式文法]]や[[正規表現]]の理論において重要である。 === 個別の例 === * 半環の原型的な例は、[[自然数]]全体の成す集合 '''N'''（ここでは [[0]] を含む）に通常の[[加法]]と[[乗法]]を考えたもの（自然数半環）である。非負[[有理数]]の全体や非負[[実数]]の全体も同じくして半環を成す。以上の例は全て可換半環である。 * 各成分が非負な ''n''-次[[正方行列]]の全体は、通常の行列の加法と乗法に関して非可換半環を成す。同様の仕方でより一般に、任意に与えられた半環 ''S'' に成分を持つ正方行列の全体は半環を成し、''S'' 自身はたとえ可換であったとしても、この行列半環は一般に非可換となる。 * 可換モノイド ''A'' に対し、[[自己準同型]] {{math|''f'': ''A'' → ''A''}} の全体 {{math|End(''A'')}} は、点ごとの和を加法とし、[[写像の合成]]を乗法として、半環となる。加法および乗法の単位元はそれぞれ、[[零準同型]]（零値写像）と[[恒等写像]]で与えられる。''A'' が自然数全体の成す加法モノイド（自然数モノイド）であるとき、自然数半環は End(''A'') として得られる。あるいは半環 ''S'' に対して ''A'' = ''S''<sup>''n''</sup> であるとき、（自己準同型を行列と同一視すれば）End(''A'') は ''S''-係数の ''n''-次行列半環になる。 * 環を成さない半環の最も簡単な例は、{{仮リンク|二元ブール代数|en|Two-element Boolean algebra}} ''B'' で、これは可換半環を成す。 * 自然数係数[[多項式]]の全体 {{math|'''N'''[''x'']}} は可換半環を成す。実はこれが単項生成な[[自由対象|自由]]可換半環を与える。 * 個別の環、例えば[[整数]]全体 '''Z''' や[[実数]]全体 '''R''' の成す環は、それ自身が半環の個別の例を与える。 * [[トロピカル数学|熱帯半環]] '''R''' ∪ {−∞} は、max(''a'', ''b'') を半環の加法（単位元は −∞）、通常の加法を半環の乗法（単位元は 0）として、可換冪等半環を成す。加法演算として {{math|max}} の代わりに {{math|min}} を考えて '''R''' ∪ {∞} を熱帯半環として定式化することもできる。 * 任意に与えられた無限基数に対して、その基数よりも小さな基数（[[濃度 (数学)|濃度]]）全体の成す集合は、基数の加法と乗法に関して半環を成す。あるいは、{{仮リンク|内部モデル (数学)|label=内部モデル|en|inner model}}での基数全体の成す集合は（内部モデルでの）基数の加法と乗法に関して半環を成す。 == 半環論 == 環論における議論の大半は、勝手な半環に対して用いても引き続き意味を成す。特に、[[可換環]]上の[[環上の多元環|多元環]]論は直截に可換半環上の多元環論に一般化することができる。この意味で環は、単に整数全体の成す可換半環 '''Z''' 上の多元環である。数学者によっては、本当は環よりも半環の方が代数学のより基礎を成す概念であり、環という構造は例えば「[[複素数]]体上の多元環」を捉えるのと同様の視点から捉えるべきとする。 加法の冪等性が自明であるような任意の環として、冪等半環は半環論において特別である。冪等半環上の[[半順序]] ≤ が ''a'' ≤ ''b'' ⇔ ''a'' + ''b'' = ''b''（あるいは同じことだが、''a'' ≤ ''b'' ⇔ [''a'' + ''x'' = ''b'' なる ''x'' が存在する]）として定められる。零元 0 がこの順序に関する[[最小元]]、即ち任意の ''a'' に対して 0 ≤ ''a'' となることを見るのは容易い。乗法および加法は ''a'' ≤ ''b'' ならば ''ac'' ≤ ''bc'' かつ ''ca'' ≤ ''cb'' および (''a''+''c'') ≤ (''b''+''c'') を満たすという意味でこの順序と両立する。 == 更なる一般化 == 半環の定義において加法の可換性も右分配律もともに仮定から落とすならば[[近半環|近環]] (''near-ring'') の概念が得られる。先に挙げた意味での基数全体が半環を成すのとまったく同様の意味で、[[順序数]]の全体は[[近環]]を成す。 [[圏論]]において{{仮リンク|半環圏|en|2-rig|label='''半環圏'''}}（半環的 2-圏、2-rig）は、半環演算と類似対応する[[函手]]演算を備えた圏である。「基数全体が半環を成す」ことを圏化して「[[集合の圏]]（あるいはより一般に任意の[[トポス (数学)|トポス]]）が半環圏を成す」ことが述べられる。 == 応用 == 冪等半環、特に実数体上の[[マックスプラス代数]] {{math|(max, +)}} と[[ミニマムプラス代数]] {{math|(min, +)}} は離散事象系の{{仮リンク|性能評価|en|performance evaluation}}によく用いられる。このとき実数は「コスト」や「到達時間」を表すものであり、演算 "max" は事象の全ての要件が揃うまで待つこと（従って最大の時間を取ること）、および演算 "min" はより選択コストの必要ない最適解を選べることに対応し、また演算 "+" は同じ経路に沿って積算することに対応する。 [[最短経路問題]]に対する[[ワーシャル-フロイド法|フロイド-ワーシャルアルゴリズム]]は、ミニマムプラス代数 (min, +) 上の計算として再定式化することができる。同様に、[[隠れマルコフモデル]]において観測される事象列に対応する尤もらしい状態列を求める[[ビタビアルゴリズム]]は、確率上の[[マックスタイムズ代数]] {{math|(max, ×)}} 上の計算に帰着される。これら[[動的計画法]]アルゴリズムは、付随する半環の[[分配法則|分配性]]に依拠して、非常に膨大な数（指数函数的挙動に従うほど多くともよい）の項を持つ量に対する計算を、それらの項を個々に扱うよりも効率的に計算する。 == 集合半環 == {{main|集合半環}} '''集合半環'''あるいは単に'''半環'''は、空でない集合族 ''S'' で、以下の三条件 # ∅ ∈ ''S'', # ''E'' ∈ ''S'' かつ ''F'' ∈ ''S'' ならば ''E'' ∩ ''F'' ∈ ''S'', # ''E'' ∈ ''S'' かつ ''F'' ∈ ''S'' ならば[[素集合|互いに素な集合]]の有限列 ''C''<sub>''i''</sub> ∈ ''S'' (''i'' = 1, …, ''n'') で<div style="margin: 1ex 2em"><math>E \smallsetminus F = \bigcup_{i=1}^n C_i</math></div>なるものを取れる, を満たすものを言う<ref>Noel Vaillant, [http://www.probability.net/WEBcaratheodory.pdf Caratheodory's Extension], on probability.net.</ref>。集合半環は測度論で用いられ、その例の一つは実数からなる全ての半開半閉[[区間 (数学)|区間]] {{math|[''a'', ''b'') ⊂ '''R'''}} からなる集合族として与えられる。 == 参考文献 == <references /> == 関連文献 == * [[François Baccelli]], Guy Cohen, Geert Jan Olsder, Jean-Pierre Quadrat, ''[http://cermics.enpc.fr/~cohen-g//SED/book-online.html Synchronization and Linearity (online version)]'', Wiley, 1992, ISBN 0-471-93609-X * Golan, Jonathan S., ''Semirings and their applications''. Updated and expanded version of ''The theory of semirings, with applications to mathematics and theoretical computer science'' (Longman Sci. Tech., Harlow, 1992, {{MathSciNet|id=1163371}}. Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp. ISBN 0-7923-5786-8 {{MathSciNet|id=1746739}} * {{cite book |last1= Berstel |first1=Jean |authorlink1= |last2=Perrin |first2=Dominique |authorlink2= |title=Theory of codes |url= |edition= |series=Pure and applied mathematics |volume=117 |year=1985 |publisher=Academic Press |location= |isbn=978-0-12-093420-1 |id= }} == 関連項目 == * [[環 (数学)]] * [[集合半環]] {{Normdaten}} {{DEFAULTSORT:はんかん}} [[Category:代数的構造]] [[Category:環論]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Google books quote
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Main
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:MathSciNet
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:Nowrap
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
半環
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報