完備ブール代数

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

完備ブール代数

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

完備でないブール代数

一つの無限集合の部分集合のうち、有限か補有限である集合全体はブール代数であるが完備でない。
測度空間の可測集合全体は ℵ₁-完備であるが、通常は完備ではない。
P(ω) すなわち自然数全体がなすブール代数を考え、それを有限部分集合全体がなすイデアル Fin で割ったものは完備でないブール代数である。P(ω)/Fin で表されるこのオブジェクトは、自然数の集合に対称差が有限であるという同値関係を考えたときのその同値類全体からなる集合である。ブール演算もそれに準じて定められる、例えば、A と B が P(ω)/Fin の同値類であるときに、 $A\land B$ は $a\cap b$ の同値類である、ここで a と b はそれぞれ A と B のある（どれを選んでもよい）元である。

a₀, a₁, … を全て互いに交わらない自然数の無限集合とする、A₀, A₁, … をそれぞれそれらに対応する P(ω)/Fin の同値類とする。このとき、A₀, A₁, … に対する P(ω)/Fin 内での任意の上界 X に対して、さらに小さい上界を見つけることができる、というのも X の代表元から各 a_n にも属する元を一つずつ除去したものがそうなるからである。これによって A_n の列に上限は存在しない。