大学数学

集合.15 集合の演算

集合の演算

ここまで、べき集合、和集合、補集合、差集合、共通集合、和集合、積集合、商集合と一通りの集合についてやりました。ここでは集合の演算についてよく使う公式を一まとめにしておきます。


◆よく使う集合演算公式

ここでは、ことわりなく大文字は集合とする。

・交換則
A \cap B = B \cap A
A \cup B = B \cup A

・結合則
(A \cap B) \cap C = A \cap (B \cap C)
(A \cup B) \cup C = A \cup (B \cup C)

・分配則
(A \cap B) \cup C = (A \cup B) \cap ( B \cup C)
(A \cup B) \cap C = (A \cap B) \cup ( B \cap C)
A \cap (B \cup C) = (A \cap B) \cup ( A \cap C)
A \cup (B \cap C) = (A \cup B) \cap ( A \cup C)
一般の共通集合、和集合 \bigcap_{ i \in I } A_i,\bigcup_{ i \in I } A_i に対して
(\bigcap_{ i \in I } A_i) \cup B = \bigcap_{ i \in I } ( A_i \cup B)
(\bigcup_{ i \in I } A_i) \cap B = \bigcup_{ i \in I } ( A_i \cap B)

・全体集合 X 、部分集合 A とする
A \cap \emptyset = \emptyset
A \cup \emptyset = A
A \cap X = A
A \cup X = X
A \cap A^{c} = \emptyset
A \cup A^{c} = X
(A^{c})^{c} = A

・ド・モルガンの法則
全体集合 X 、部分集合 A,B とする
(A \cap B)^{c} = A^{c} \cup B^{c}
(A \cup B)^{c} = A^{c} \cap B^{c}
一般の集合 X,A,BA,BX の部分集合とは限らない)について
X \verb|\| (A \cap B) = (X \verb|\| A) \cup  (X \verb|\| B)
X \verb|\| (A \cup B) = (X \verb|\| A) \cap  (X \verb|\| B)
一般の共通集合、和集合 \bigcap_{ i \in I } A_i,\bigcup_{ i \in I } A_i に対して
  (\bigcap_{ i \in I } A_i)^{c} = \bigcup_{ i \in I } A_i^{c}
  (\bigcup_{ i \in I } A_i)^{c} = \bigcap_{ i \in I } A_i^{c}
X \verb|\| (\bigcap_{ i \in I } A_i) = \bigcup_{ i \in I } (  X \verb|\| A_i)
X \verb|\| (\bigcup_{ i \in I } A_i) = \bigcap_{ i \in I } (  X \verb|\| A_i)

・差集合に関する演算
C \verb|\| ( B \verb|\| A ) = (A \cap C) \cup ( C \verb|\| B )
( B \verb|\| A) \cap C = ( B \cap C ) \verb|\| A =  B \cap ( C \verb|\| A )
( B \verb|\| A) \cup C = ( B \cup C ) \verb|\| (A \verb|\| C)
全体集合 X、部分集合 A,B とするとき
 B \verb|\| A = A^{c} \cap B
(B \verb|\| A)^{c} = A\cup B^{c}

・積集合に関する演算
A \times (B \cap C) = ( A \times B ) \cap ( A \times C)
A \times (B \cup C) = ( A \times B ) \cup ( A \times C)
 (B \cap C) \times A = ( B \times A ) \cap ( C \times A)
 (B \cup C) \times A = ( B \times A ) \cup ( C \times A)

・共通集合、和集合と論理式
((A \subset C) \land ( B \subset C)) \Rightarrow  A \cup B \subset C
((C \subset A) \land ( C \subset B)) \Rightarrow C \subset  A \cap B

・次は同値
A \subset B
A \cap B = A
A \cup B = B
A  \verb|\| B = \emptyset
B^{c} \subset A^{c}


 

集合 その15へ>

<集合 その13へ

記事一覧(大学数学)に戻る

関連記事

  1. 大学数学

    写像.7 全射の性質

    全射の性質全射であることを同値な条件で言い替えることで特徴付け…

  2. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法

    有限集合と無限集合、濃度直観的に意味がわかると思うのでここまで…

  3. 大学数学

    写像.1 写像の定義

    今回から写像についてやっていきます写像は関数を一般化した概念で…

  4. 大学数学

    集合.4 共通集合と和集合(n個の場合)

    共通集合集合 \( A,B \) の共通集合を次のように定義し…

  5. 大学数学

    集合.8 「同一視する」という考え方

    写像を少しだけ予習一般の場合の積集合を定義するためには、写像と…

  6. 大学数学

    大学数学概説.5 大学3、4年生レベルの科目(解析)

    ルベーグ積分大学1、2年生でやってきた積分はリーマン積分と言い…

コメント

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

アーカイブ

  1. 大学数学

    集合.7 積集合(n個の場合)
  2. 大学数学

    集合.14 商集合
  3. 大学数学

    大学数学概説.3 大学3、4年生レベルの科目(代数)
  4. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法
  5. 大学数学

    集合.6 共通集合と和集合(一般の場合)
PAGE TOP
error: Content is protected !!