この記事は ie50.hatenablog.com の続きです． 前回はBoole代数を定義して，順序を導入しました． 今回は導入した順序を元にBoole代数の性質を確認し，Boole代数の原子を定義します． 順序の性質 Boole代数の原子 参考文献

Boole代数の定義から始めて，Stoneの表現定理を証明します． 今回はその第一回ということで，Boole代数を定義して簡単な性質を証明します． 定義 例 双対性 順序の導入 参考文献

この記事は 好きな証明 Advent Calendar 2018 - Adventar の2日目の記事です． 1日目は鯵坂もっちょさんの www.ajimatics.com でした 端点なしの可算稠密線形順序は同型を除いて一意に定まります．今回はこの定理の証明を紹介したいと思います． 用語の確認 …