[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
261(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/26(日)20:15 ID:uQ4z/5zX(9/12) AAS
>>260
つづき
ブール代数の表現論における集合体
ストーン表現
任意の有限ブール代数はある集合の冪として表現できる。
この冪集合はブール代数のアトムの集合で、ブール代数の各元はそれに属するアトムの集合(和がブール代数のその元になるもの)に対応付けられる。
この冪集合表現はもっと一般に任意の完備かつアトミックなブール代数に対しても構成できる。
省13
262(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/26(日)20:16 ID:uQ4z/5zX(10/12) AAS
>>261
つづき
外部リンク:y-bontenはてなブログ/entry/2019/08/25/161911
y_bonten's blog
2019-08-25
有限加法族だがσ加法族でない例
集合Xの部分集合族Bが「補集合をとる操作」と「有限個(ゼロ個でもよい)の和集合をとる操作」について閉じているとき、BはX上の有限加法族であるという。
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s