ブール代数

**ブール代数**（ブールだいすう、）または**ブール束**（ブールそく、）とは、命題論理における二値的な論理演算、集合論における和集合・共通部分・補集合の演算、ならびにデジタル回路における論理ゲートの計算に共通する代数的構造である。束論の立場からは、ブール代数は可補分配束として特徴づけられる。ブール代数は代数論理、束論、位相空間論、集合論、計算機科学などにまたがる基礎理論であり、ストーンの表現定理やストーン双対性を通じて位相空間との深い関係をもつ。ブール論理の演算はブール代数の基本例であり、現実の応用例としては、組み合わせ回路（論理回路）はブール代数の式で表現できる。

## 歴史
ブール代数の起源は、ジョージ・ブールが1847年の *The Mathematical Analysis of Logic* および1854年の *An Investigation of the Laws of Thought* において展開した、論理の代数的取扱いにある。もっとも、現代的意味での抽象的なブール代数は、ブール自身の体系をそのまま現在の公理系として言い換えたものではない。19世紀後半にウィリアム・スタンレー・ジェヴォンズ、チャールズ・サンダース・パース、エルンスト・シュレーダーらが代数的論理を整備し、20世紀初頭にエドワード・ヴァーミリー・ハンティントンが公理化を与えたことで、現代的理論の骨格が確立した。

20世紀には、マーシャル・ストーンがブール代数の表現理論を築き、位相空間との深い関係を明らかにした。さらに、クロード・シャノンは1938年、継電器回路の解析にブール代数を適用できることを示し、これが後のスイッチング理論およびデジタル回路設計の理論的基礎となった。

## 定義
**ブール代数**（**ブール束**）とは、束論における可補分配束（complemented distributive lattice）のことである。

集合 *L* と *L* 上の二項演算 &or;（結び、join と呼ぶ）、&and;（交わり、meet と呼ぶ）の組 &lang; *L*; &or;, &and; &rang; が以下を満たすとき**分配束**（distributive lattice）と呼ぶ。

* 交換則：*x* &and; *y* = *y* &and; *x* 、*x* &or; *y* = *y* &or; *x*
* 結合則：(*x* &and; *y*) &and; *z* = *x* &and; (*y* &and; *z*) 、(*x* &or; *y*) &or; *z* = *x* &or; (*y* &or; *z*)
* 吸収則：(*x* &and; *y*) &or; *x* = *x* 、(*x* &or; *y*) &and; *x* = *x*
* 分配則：(*x* &or; *y*) &and; *z* = (*x* &and; *z*) &or; (*y* &and; *z*) 、(*x* &and; *y*) &or; *z* = (*x* &or; *z*) &and; (*y* &and; *z*)

さらに *L* の特別な元 0, 1 と単項演算 &not; について、以下が成り立つとき組 &lang; *L*; &or;, &and;, &not;, 0, 1 &rang; を**可補分配束**（**ブール束**）と呼ぶ。

* 補元則：*x* &or; &not;*x* = 1，*x* &and; &not;*x* = 0。

この定義は、二項演算 \(\vee,\wedge\)、単項演算 \(\neg\)、および定数 \(0,1\) をもつ代数系としての定義と同値であり、ブール代数は「有界分配束であって各元が補元をもつもの」ともいえる。

## 基本性質
ブール代数では、補元は一意に定まる。また、次の基本法則が成り立つ。

* 冪等律：*x* &and; *x* = *x*、*x* &or; *x* = *x*
* ド・モルガンの法則：&not;(*x* &or; *y*) = (&not;*x*) &and; (&not;*y*)、&not;(*x* &and; *y*) = (&not;*x*) &or; (&not;*y*)
* 二重否定律：&not;&not;*x* = *x*

また、
:x \le y \iff x \wedge y = x
と定めると、これは同値に
:x \vee y = y
とも書ける。この順序のもとで 0 は最小元、1 は最大元であり、&or; は上限、&and; は下限を与える。

ブール代数の等式論には重要な簡約があり、ある恒等式がすべてのブール代数で成り立つことと、それが 2 元ブール代数 {0, 1} で成り立つことは同値である。これは真理値表による論理式の検証と、抽象的ブール代数における恒等式の検証とを結びつける。

## 例
典型的な例は、台集合として特別な2つの元 0, 1 のみをもつ 2 点集合 {0, 1} からなるものであり、これはブール論理の真理値代数である。コンピュータの動作原理の理論としてよく知られている。

任意の集合 *X* の冪集合 \(\mathcal P(X)\) は、和集合・共通部分・補集合を演算としてブール代数をなす。このとき 0 は空集合、1 は *X* 自身に対応する。これはブール代数の最も基本的な具体例であり、有限ブール代数の標準模型でもある。

この代数の上では排他的論理和（xor）や否定論理積（nand）など応用上重要な演算子が &and;、&or;、&not; の組み合わせで記述される（&and; または &or; も &not; と残りの1つの組み合わせで記述される）。

## 有限ブール代数
有限ブール代数はつねに原子的であり、原子全体の集合を *A* とすると、そのブール代数は \(\mathcal P(A)\) と同型である。したがって、有限ブール代数の元の個数は必ず \(2^n\) の形になる。

自由生成元を *n* 個もつ有限自由ブール代数では、原子は \(2^n\) 個存在するので、元の総数は \(2^{2^n}\) となる。これは、*n* 個の命題変数から作られるすべての論理関数の個数に一致する。

## 原子と原子性
非零元 *a* が**原子**であるとは、0 a \in U \quad\text{or}\quad \neg a \in U
のいずれか一方が成り立つことである。これは極大フィルターであることと同値であり、補元写像を通じて素イデアルと対応する。

超フィルターは、ブール代数の表現理論において中心的役割を果たす。各元 *a* &isin; *B* に対して、*a* を含む超フィルター全体の集合を考えると、これがストーン空間の閉開集合を与える。

## 自由ブール代数
集合 *X* に対して、*X* から任意のブール代数への写像が一意的に準同型へ延長できるという普遍性をもつブール代数を、*X* 上の**自由ブール代数**という。これは一般代数学における自由代数の一例であり、命題論理の式の代数的理解とも深く関わる。

有限集合上の自由ブール代数は有限であるが、可算無限集合上の自由ブール代数は可算であり、しかも無原子的である。ストーン双対性の観点からは、自由ブール代数は二点離散空間の冪の閉開集合代数として具体化される。

## ブール環
任意の元  に対して積の冪等則  を満たす単位的環 *B* を**ブール環**（）という。

このとき単位的環の公理から
:-x = (-1)x = x(-1)
さらに
:(-x)(-y) = xy
が導かれ、それらと冪等則により
:x + x = 0, \qquad xy = yx
を得る。つまり、乗法が冪等的かつ単位的な環は、加法に関してすべての元の位数が高々 2 であるような可換環となる。

したがって
:x \wedge y = xy, \qquad x \vee y = x + y + xy, \qquad \neg x = 1 + x
とおけば *B* はブール代数となる。
また *B* がブール代数のとき
:xy = x \wedge y, \qquad x + y = (x \wedge \neg y) \vee (\neg x \wedge y)
とおけば *B* はブール環となる。

この対応はブール代数とブール環の間の自然な一対一対応を定めるので、しばしばこの 2 つは同一視される。

## 論理との関係
ブール代数は、古典命題論理の代数的意味論を与える。命題 *p*, *q* に対し、*p* &or; *q*、*p* &and; *q*、&not;*p* はそれぞれ論理和・論理積・否定に対応する。論理式を論理的同値で割った同値類全体は、いわゆるリンデンバウム＝タルスキ代数をなし、古典命題論理の場合にはブール代数となる。

この対応により、論理式の標準形、真理値表、論理的同値、推論の妥当性などは、ブール代数の恒等式や順序の問題として扱うことができる。

## 表現定理とストーン双対性
ストーンの表現定理によれば、任意のブール代数 *B* は、適当なストーン空間の閉開集合全体のなすブール代数と同型である。すなわち、抽象的なブール代数はつねに具体的な集合代数として実現できる。

この構成は超フィルターを用いて与えられる。各 *a* &isin; *B* に対し、*a* を含む超フィルター全体の集合を考えると、これが *B* の各元に対応する閉開集合となる。

さらに、ブール代数の圏と、コンパクト・Hausdorff・零次元空間の圏との間には反変同値が成り立つ。これを**ストーン双対性**という。これは代数・位相・論理の深い結びつきを示す代表的な双対性理論である。

## 完備ブール代数
任意の部分集合に対して上限と下限が存在するブール代数を**完備ブール代数**という。有限ブール代数や冪集合代数は完備であるが、一般のブール代数は完備とは限らない。

完備ブール代数は、表現論だけでなく、集合論におけるブール値モデルや強制法において本質的役割を果たす。また、可算部分集合についてのみ上限・下限の存在を仮定する σ-完備性も、測度論などとの関係で重要となる。

## 測度代数
測度空間 \((X,\Sigma,\mu)\) において、零測度集合の差を無視して可測集合を同一視した同値類全体は、自然な演算のもとでブール代数をなす。これを**測度代数**という。測度代数では、集合そのものではなく、零集合を法として見た代数的構造が主役となる。

測度代数は、測度論、確率論、エルゴード理論、関数解析などにおいて重要であり、無原子的完備ブール代数の代表的供給源でもある。

## ブール値モデルと強制法
完備ブール代数 *B* を真理値集合として用い、真偽を {0, 1} ではなく *B* の元で評価するモデルを**ブール値モデル**という。量化の解釈に上限・下限を用いるため、ここでは完備性が本質的となる。

集合論では、完備ブール代数からブール値宇宙 \(V^B\) を構成することができる。これはポール・コーエンの強制法を意味論的に記述する枠組みを与え、独立性証明の理論において重要である。半順序集合による強制法は、対応する完備ブール代数の言葉に移し替えることができる。

## 応用
### 回路理論と情報工学
論理回路では、AND・OR・NOT などのゲートがブール演算として表される。シャノンの解析以後、継電器回路や電子回路の設計はブール代数によって体系化され、論理式の簡約、スイッチング関数の最適化、デジタル計算機の設計へと応用されてきた。

### 数理論理学
ブール代数は、古典命題論理の代数化、リンデンバウム＝タルスキ代数、ブール値モデルなどを通じて、数理論理学の基本理論の一部をなす。

### 位相空間論・集合論
ストーン双対性によって、ブール代数は零次元コンパクト Hausdorff 空間の理論と深く結びつく。また、完備ブール代数は強制法・ブール値解釈・独立性証明に現れ、現代集合論において重要な役割を果たす。

## 脚注

### 注釈




### 出典

## 参考文献
* 
* 
*  - 1980年に槙書店から出版され、2015年に森北出版から復刊された。
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 関連項目

## 外部リンク
* 
* 
* 
* 
*