情報数学 I

第九回: 半順序からブール代数へ

Martin J. Dürst

duerst@it.aoyama.ac.jp

O 棟 529号室

http://www.sw.it.aoyama.ac.jp/2007/Math1/lecture9.html

AGU

© 2005-7 Martin J. Dürst 青山学院大学

今日の予定

これからの予定

半順序

順序関係の表現: ハッセ図

有向グラフからハッセ (Hasse) 図への変換:

  1. グラフを矢が全て紙面の下辺に向けるように配置
  2. 反射的矢印を省略
  3. 推移的閉包で復元可能な矢印を省略
  4. 矢印の頭の部分を省略

例 1: 上記 1. から 4. の前後関係

例 2: {10, 5, 3, 2, 1} の「割り切れる」関係

全順序

ある集合 A の全ての元 ab に対して ab 又は ab が成り立つ場合にはその順序関係を全順序関係、あるいは線形順序関係という

例: 整数、実数など; 日付や時間; 辞書での単語の順番

上記の「≥」および「≤」はあくまで代表的な記号で、直接「以上」などでない場合がある

代数系

(algebraic system)

代数系の例: 群

(group)

演算は二項演算「∘」一つ。公理:

例: (Z; +), (R-{0}; ×), 置換群 (permutation group)

置換群

代数の例

ブール代数

(boolean algebra)

ブール代数の例 (1): 集合演算

ブール代数の例 (2): ビット毎論理演算

ブール代数の例 (3)

有限ブール代数の構造

ブール代数の同型