この記事は ie50.hatenablog.com の続きです． 今回は，Boole代数同士の同型の定義を与えます．その後，完備かつ原子的なBoole代数がベキ集合代数と同型であることを証明します．

この記事は反例 Advent Calendar 2018 - Adventarの6日目の記事です． 集合体ではあるがσ集合体でない例を示します． これは完備でないブール代数の例でもあります． ブール代数や完備ブール代数の定義はこの記事やこの記事を参照してください． 例1 位相空…

リンク集です