大学数学

集合.3 補集合、差集合

補集合

集合 A全体集合 X の部分集合であるとします。集合 A属さない元すべての集合を考えることができます。

これを A補集合と言い、A^{c} と表します。

※上付き文字の c は英語のcomplementの略です。また、高校では補集合はよく \overline{A} で表したかと思いますが、大学では一般にこの記号は閉包という違う概念を表すのに用いられます。

注意:集合 A は全体集合 X の部分集合であるという仮定は本質的に重要です。補集合を考えるときには、何らかのより大きな集合(全体集合)がなければ定義することができないからです。より大きな集合が異なれば、当然ですが補集合も異なります。すぐ後に例で示します。

A^{c} を集合の記法で書くと、


Def.SetTop.2.3.1.

A \subset X とするとき、

A^{c} \overset{\mathrm{def}}{=} \{ x \in X \mid x \notin A \}


となります。


Ex.SetTop.2.3.2.

M = \{ 1,2,3,4,5 \},N = \{ 1,2,3,4,5,6,7 \}, A = \{ 1,2,3 \} とします。

M を全体集合として、A補集合を考えると、

A^{c} = \{ 4,5 \}

です。

一方で、N全体集合として、A補集合を考えると、

A^{c} = \{ 4,5,6,7 \}

となります。


差集合

X,Y を集合とします。X の元であって Y の元でない元の集合を XY差集合といい、X \verb|\| Y と表します。集合の記法で書くと、


Def.SetTop.2.3.3.

  X \verb|\| Y \overset{\mathrm{def}}{=}  \{ x \mid x \in X \land x \notin Y \}


となります。


Rem.1. X \verb|\| YX-Y と書く流儀もありますが、X-Y

X-Y = \{ x-y \mid x \in X,y \in Y \}

と紛らわしいので、ここでは X \verb|\| Y としておきます。



Rem.2. 補集合の場合と違って、YX部分集合である必要はありません。



Ex.SetTop.2.3.4.

X = \{ 1,2,3,4,5 \},Y= \{ 4,5,6,7,8 \} とすると、

  X \verb|\| Y= \{ 1,2,3 \}

となります。


 

集合.4へ>

<集合.2へ

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

関連記事

  1. 大学数学

    写像.6 標準的な写像の例

    標準的な写像の例今回はいくつかの標準的な写像について例を挙げて…

  2. 大学数学

    論理記号.1 よく使う論理記号一覧、命題

    論理記号とは~数学を記述する上での基本言語~数学においてよく使…

  3. 大学数学

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

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

  4. 大学数学

    大学数学概説.2 大学1、2年生レベルの科目

    微分積分学大学1、2年生で、数学科に限らず理系のかなりの割合の…

  5. 大学数学

    集合.19 集合の濃度.4 対角線論法と連続体濃度を持つ集合

    対角線論法集合 \( X \) のべき集合は \( 2^{X}…

  6. 大学数学

    論理記号.5 論理演算

    論理演算前回までで一通りよく使う論理記号については押さえました…

コメント

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

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

アーカイブ

  1. 大学数学

    写像.12 商集合の普遍性
  2. 大学数学

    集合.5 添字集合と集合族
  3. 大学数学

    写像.6 標準的な写像の例
  4. 大学数学

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

    写像.3 写像の合成
PAGE TOP
error: Content is protected !!