情報数学 I

第二回: 基本概念: 集合など

Martin J. Dürst

duerst@it.aoyama.ac.jp

O 棟 529号室

http://www.sw.it.aoyama.ac.jp/2006/Math1/lecture2.html

© 2006 Martin J. Dürst 青山学院大学

Moodle の登録の諸問題

• 情報テクノロジーの学生は以前からアカウントがあったことが判明、コースに追加した。パスワードの変更が必要。
• メールアドレス、ユーザ ID (学生番号) などが間違っている: 手動の削除や修正が必要
• 登録メールを消してしまった: 手動の削除が必要
• ウェブメールの転送で文字化け発生 (hotmail)
• 確認メールのどこにアカウントがあるのか

集合の概念

• 関心・対象にしたい物事の集まり
• 条件:
  • 集合に属するかどうか明確な判断が可能
  • 集合に属する 2つのものが同一かどうかの判断が可能
    (同一の場合に一回しか集合に属さない)
• 集合に属するものは「元」もしくは「要素」という
• 集合には大文字、元には小文字を使うのが多い
• ある元 a がある集合 A に属する (含まれる) ことを a ∈ A (又はA ∋ a) と書く
  (a is an element of set A)
• 含まない場合には a ∉ A や A ∌ aと書く

同一性について

• 集合に同一のものは一回しか属しない
• 物事には固体、種類、概念などがある
• 例:
  • 種類の集合: {犬、猫、牛、馬、羊、山羊}
  • 固体の集合: {コロ、もも、ワン、クロ、トラ}
• 集合には一貫性が必要ない
  例: {牛、嬉しさ、コロ、富士山}
• 集合も物事ではあるので、元になれる
  例: {1, {1,2}, {{1}, {1, {1,2}}}}

集合の表現

• 外延的記法 (denotation): 元を波括弧 ({}) 内に列挙する
  例: {a, b, c}, {1, 2, 3, 4}, {1, 3, 5, 7,...}
• 内包的記法 (connotation): 元になる条件を定義する
  例: {n|n は整数で n>0 かつ n<5}

集合の図

ベン図 (Venn diagram)

部分集合

• 部分集合 (subset): ある集合の元の一部からなる集合
  A ⊂ B (A は B の部分集合)
• 任意の集合 A において、A ⊂ A
• A ⊂ B かつ A ≠ B の場合には A が B の真の部分集合 (proper subset)
• 空集合 (empty set): 一つも元を含まない集合: {} 又は ∅
  空集合は全ての集合の部分集合

集合の大きさ

• 有限の数の元を含む集合を有限集合 (finite set) と言う
• 集合 A の元の数を |A| と書く
• 例:
  • |{犬, 猫, 牛, 馬, 羊, 山羊}| = 6
  • |{}| = 0
  • |{n|nは 20 以下の素数} =
  • |{1, {1,2}, {{1}, {1, {1,2}}}}| =

ベキ集合

• ベキ集合 (power set): ある集合の全ての部分集合の集合: P(A)
• 例:
  • A = {1, 2}; P(A) =
  • B = {犬, 牛, 羊}; P(B) =
  • P({富士山}) =
  • P(∅) =

集合の演算: 和集合

(sum, union)

• 集合 A と B の和集合は A 又は B の集合に属する元の集合
• A と B の和集合は A ∪ B と書く
• 例:
  • A = {1, 2, 3, 4, 5}; B = {2, 4, 6, 8, 10}
    A ∪ B =

集合の演算: 積集合

(product, intersection)

• 集合 A と B の積集合は A かつ B の集合に属する元の集合
• A と B の積集合は A ∩ B と書く
• 例:
  • A = {1, 2, 3, 4, 5}; B = {2, 4, 6, 8, 10}
    A ∩ B =

集合の演算: 差集合

(difference set)

• 集合 A と B の差集合は A かつ B の集合に属する元の集合
• A と B の差集合は A - B と書く
• 例:
  • A = {1, 2, 3, 4, 5}; B = {2, 4, 6, 8, 10}
    A - B =
    B - A =

全体集合

• 議論や計算の対処がある一定の領域に限定されていることが多い
• 例: 整数、この授業を取っている学生
• その時、前提としている集合を全体集合 (普遍集合、universal set) という
• 全体集合を U と書くことが多い

集合の演算: 補集合

(complement, complementary set)

• 集合 A の補集合は A に属していない元の集合
• A の補集合は A^c と書く
• 例:
  • U = {1,...,10}; A = {1, 2, 3, 4, 5}; B = {2, 4, 6, 8, 10}
    A^c =
    B^c =

集合演算の法則

1. ベキ等律: A ∩ A = A; A ∪ A = A
2. 交換律: A ∩ B = B ∩ A; A ∪ B = B ∪ A
3. 結合律: (A ∩ B) ∩ C = A ∩ (B ∩ C); (A ∪ B) ∪ C = A ∪ (B ∪ C)
4. 分配律: (A ∪ B) ∩ C = (A ∩ C) ∪(B ∩ C);
   (A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C)
5. 吸収律: A ∩ (A ∪ B) = A; A ∪ (A ∩ B) = A
6. 対合律: A = (A^c)^c
7. 排中律: A ∪ A^c = U
8. 矛盾率: A ∩ A^c = {}
9. ド・モルガンの法則: (A ∩ B)^c = A^c ∪ B^c;
   (A ∪ B)^c = A^c ∩ B^c

集合の限界

• あらゆる集合の集合を U とし、二つの集合に分割する:
  1. A: 自分を元と含む集合の集合
  2. B: 自分を元と含まない集合の集合
• B は集合の集合なので U に属しているが、A か B かどちらに属しているだろう?
• どちらでも矛盾が生じる
• 似た例: 自分が掲載されていない図書目録の目録
• 解決方法: 公理主義

今週の宿題

提出方法: プレーンテキスト (メモ帳など、拡張子が .txt) のファイルを作って、Moodle で 10月12日 (木曜日) 22:00 まで提出。

1. 自分で四個の元の集合を作る
2. 1. のベキ集合を作る
3. 元の数がゼロ個から五個までの集合のベキ集合の大きさの表を作る。例:

   |A|     |P(A)|
   0       ?
   1       ?
   ...     ?

4. ある集合の大きさとそのベキ集合の大きさの関係を式で表し、その式の根拠について簡単に説明する。
5. ゼロ個から四個の元の集合の同じ大きさの部分集合の数を数えて表にまとめる。例:

   |A|     n       |{B|B⊂Aかつ|B|=n}|
   ...     ...     ...
   2       1       2