289 名前：Kummer ◆IxIr9aihfg [] 投稿日：2011/02/18(金) 15:11:57
命題(Stoneの表現定理)
A をBoole代数(過去スレ021の336)とする。
>>44より A はBoole環(>>6)と見なせる。
X = Spec(A) とおく。
X の開かつ閉な部分集合全体を S(X) とおく。
>>249より S(X) は包含関係に関してBoole代数である。
>>247より、X はStone空間(>>248)、特にHausdorff空間である。
>>238より任意の a ∈ A に対して D(a) は準コンパクトであるから D(a) ∈ S(X) である。
写像 ρ：A → S(X) を ρ(a) = D(a) で定義する。
このとき ρ はBoole代数の同型である。