完備ブール代数のソースを表示

[[数学]]において、'''完備ブール代数'''（かんびブールだいすう、''Complete Boolean algebra''）は[[ブール代数]]であって、全ての部分集合が[[上限]] (最小の[[順序集合#上界|上界]])を持つもののことである。完備ブール代数は集合論の[[強制法]]の理論における[[ブール値モデル]]を構成するのに用いられる。どんなブール代数 ''A'' も本質的に一意的な完備化を持ち、それは ''A'' を含む完備ブール代数であって全ての元が ''A'' のある部分集合の上限であるものである。[[半順序集合]]として、この ''A'' の完備化は[[デデキント–マクニール完備化]]である。
もっと一般に、κ を[[基数]]とするときにブール代数が '''κ-完備''' であるとは濃度 κ 未満の全ての集合が上限を持つことを言う。
== 例 ==

=== 完備ブール代数 ===
*有限なブール代数は完備である。
*与えられた集合の冪集合が構成する[[集合代数]]は完備ブール代数である。
*任意の[[位相空間]]における[[正則開集合]]全体は完備ブール代数をなす。この例は特に重要で、いかなる強制半順序も位相空間とみなせるからである (その位相の[[開基]]は任意の要素に対するそれ以下の要素全てからなる集合の形をしているもの全てから構成される)。そこで対応する正則開集合代数は[[ブール値モデル]]を構成するのに用いられ、そのモデルは与えられた強制半順序の[[ジェネリック拡大]]と同値なものである。
*[[σ-有限]]な[[測度空間]]における可測集合全体の、[[零集合]]を法とした代数は完備ブール代数である。この測度を単位区間上でルベーグ可測集合の σ-代数で考えるとき、このブール代数は[[ランダム代数]]と呼ばれる。
*可算な開基を持つ位相空間の[[ベール集合]]全体の、[[痩集合]]を法とした代数は完備ブール代数である。この位相空間を実数全体の空間で考えるとき、これはしばしば[[カントール代数]]と呼ばれる。

=== 完備でないブール代数 ===
*一つの無限集合の部分集合のうち、有限か補有限である集合全体はブール代数であるが完備でない。
*測度空間の可測集合全体は ℵ<sub>1</sub>-完備であるが、通常は完備ではない。
*P(ω) すなわち[[自然数]]全体がなすブール代数を考え、それを有限部分集合全体がなすイデアル ''Fin'' で割ったものは完備でないブール代数である。P(ω)/Fin で表されるこのオブジェクトは、自然数の集合に[[対称差]]が有限であるという同値関係を考えたときのその同値類全体からなる集合である。ブール演算もそれに準じて定められる、例えば、''A'' と ''B'' が P(ω)/Fin の同値類であるときに、<math>A \land B</math> は<math>a \cap b</math>の同値類である、ここで ''a'' と ''b'' はそれぞれ ''A'' と ''B'' のある（どれを選んでもよい）元である。
:a<sub>0</sub>,&nbsp;a<sub>1</sub>,&nbsp;… を全て互いに交わらない自然数の無限集合とする、''A''<sub>0</sub>,&nbsp;''A''<sub>1</sub>,&nbsp;… をそれぞれそれらに対応する P(ω)/Fin の同値類とする。このとき、''A''<sub>0</sub>,&nbsp;''A''<sub>1</sub>,&nbsp;… に対する P(ω)/Fin 内での任意の上界 ''X'' に対して、さらに''小さい''上界を見つけることができる、というのも ''X'' の代表元から各 ''a''<sub>''n''</sub> にも属する元を一つずつ除去したものがそうなるからである。これによって ''A''<sub>''n''</sub> の列に上限は存在しない。

==完備ブール代数の性質== 
{{Unreferenced section|date=May 2023}}

* 完備ブール代数のいかなる部分集合も、定義によって上限を持つが、このことから同様に[[下限]] (最大下界)ももつことが分かる。
* 完備ブール代数について、両方の無限分配法則が成り立つことは、この代数がある集合の冪集合のなす代数と同型であることと同値である。{{citation needed|date=May 2023}}
* 完備ブール代数に対しては[[無限ド・モルガンの法則]]が成り立つ。
* ブール代数が完備であるのはそれに対応する素イデアルの[[ストーン空間]]が[[extremally disconnected]]であることと同値である。
*シコルスキの拡張定理は ''A'' がブール代数 ''B'' の部分代数であるとき、''A'' から完備ブール代数 ''C'' への準同型写像は ''B'' から ''C'' への準同型写像に必ず拡張できるという定理である。

==ブール代数の完備化==
ブール代数の完備化は同値ないくつかの異なる手法が知られている:
*''A'' の完備化とは、''A'' が稠密部分集合になっている (同型を除いて) 一意的な完備ブール代数 ''B'' である; すなわち、''B'' の0でない元に対してそれより小さく0でない ''A'' の元が存在する。*''A'' の完備化とは、''A'' を含んでいる完備ブール代数 ''B'' で ''B'' のいかなる元も ''A'' のある部分集合の上限となっているものである。これは (同型を除いて) 一意的な完備ブール代数である。
ブール代数 ''A'' の完備化はいくつかの方法で構成できる:
*完備化は ''A'' の素イデアルの[[ストーン空間]]の正則開集合がなすブール代数である。''A'' の各元 ''x'' は ''x'' を含まない素イデアルによる開集合に対応する(これは開かつ閉であり、よって正則である)。
*完備化は ''A'' の正則な切断全体がなすブール代数である。ここで ''切断'' は ''A''<sup>+</sup> (''A'' の0以外の元全体) の部分集合 ''U'' であって、''q'' が ''U'' の元で ''p''&nbsp;≤&nbsp;''q'' であるなら ''p'' も ''U'' の元であるようなものをいい、 ''正則'' であるとは ''U'' の元でない任意の ''p'' に対して ''U'' が ≤&nbsp;''r'' である元を持たないような ''r''&nbsp;≤&nbsp;''p'' が存在すること。''A'' の各元 ''p'' は ≤&nbsp;''p'' である元がなす切断に対応している。
''A'' が距離空間であって ''B'' がその完備化であるとき、''A'' から完備距離空間 ''C'' への等長写像は ''B'' から ''C'' への一意的な等長写像へ拡張できる。完備ブール代数においてはそれと同様のことが成立するわけではない: ブール代数 ''A'' から完備ブール代数 ''C'' への準同型写像は ''A'' の完備化 ''B'' から ''C'' への(上限を保つ) 完備ブール代数としての準同型写像に拡張できるとは限らない。(シコルスキの拡張定理により、''B'' から ''C'' へのブール準同型に拡張できるが、それは一般には完備ブール代数としての準同型ではない; すなわち、上限を保つとは限らないということである)
==関連項目==

* [[完備束]]
* [[完備ハイティング代数]]

==参考文献==
<references/>
*{{citation|first=Peter T.|last= Johnstone
|year=1982
|title=Stone spaces
|publisher=Cambridge University Press
|isbn =0-521-33779-8}}
*{{citation|mr=0991565
|last=Koppelberg|first= Sabine
|title=Handbook of Boolean algebras |volume=1
|editor-first= J. Donald|editor-last= Monk|editor2-first= Robert|editor2-last= Bonnet
|publisher=North-Holland Publishing Co.|publication-place= Amsterdam|year= 1989|pages= xx+312 |isbn= 0-444-70261-X }}
*{{citation|mr=0991595
|title=Handbook of Boolean algebras|volume=  2
|editor-first= J. Donald|editor-last= Monk|editor2-first= Robert|editor2-last= Bonnet
|publisher=North-Holland Publishing Co.|publication-place= Amsterdam|year= 1989|isbn= 0-444-87152-7 }}
*{{citation|mr=0991607
|title=Handbook of Boolean algebras|volume=  3
|editor-first= J. Donald|editor-last= Monk|editor2-first= Robert|editor2-last= Bonnet
|publisher=North-Holland Publishing Co.|publication-place= Amsterdam|year= 1989|isbn= 0-444-87153-5 }}
*{{Springer|id=b/b016920|title=Boolean algebra|first=D.A.|last= Vladimirov}}

{{DEFAULTSORT:かんひふうるたいすう}}
[[Category:ブール代数]]
[[Category:強制法]]
[[Category:順序構造]]
[[Category:数学に関する記事]]