集合 ➃

Def.

Prop & Proof

集合の等号を示すため、$A\cup A\subseteq A$と$A\subseteq A\cup A$を示す。

1. $A\cup A\subseteq A$を示す。
   任意の$x\in U$を取る。$x\in A\cup A$を仮定する。
   和集合の定義より
   $$ x\in A\cup A\ \Leftrightarrow\ (x\in A\lor x\in A) $$
   であるから、$x\in A\lor x\in A$が成り立つ。
   命題論理より$(P\lor P)\Leftrightarrow P$が成り立つから、$x\in A$が従う。
   よって任意の$x\in U$について$(x\in A\cup A\Rightarrow x\in A)$が成り立つ。従って$A\cup A\subseteq A$である。
   $ $
2. $A\subseteq A\cup A$を示す。
   任意の$x\in U$を取る。$x\in A$を仮定する。
   このとき命題論理より$(P\lor P)\Leftrightarrow P$であるから$x\in A\lor x\in A$が成り立つ。
   従って和集合の定義より$x\in A\cup A$が従う。
   よって任意の$x\in U$について$(x\in A\Rightarrow x\in A\cup A)$が成り立つ。従って$A\subseteq A\cup A$である。
   $ $

-以上より$A\cup A\subseteq A$かつ$A\subseteq A\cup A$であるから$A\cup A=A$が成り立つ。
$$ \Box$$

集合の等号を示すため、$A\cap A\subseteq A$と$A\subseteq A\cap A$を示す。

1. $A\cap A\subseteq A$を示す。
   任意の$x\in U$を取る。$x\in A\cap A$を仮定する。
   共通部分の定義より
   $$ x\in A\cap A\ \Leftrightarrow\ (x\in A\land x\in A) $$
   であるから、$x\in A\land x\in A$が成り立つ。従って$x\in A$が従う。
   よって任意の$x\in U$について$(x\in A\cap A\Rightarrow x\in A)$が成り立つ。従って$A\cap A\subseteq A$である。
   $ $
2. $A\subseteq A\cap A$を示す。
   任意の$x\in U$を取る。$x\in A$を仮定する。
   このとき$x\in A\land x\in A$が成り立つ。従って共通部分の定義より$x\in A\cap A$が従う。
   よって任意の$x\in U$について$(x\in A\Rightarrow x\in A\cap A)$が成り立つ。従って$A\subseteq A\cap A$である。
   $ $

-以上より$A\cap A\subseteq A$かつ$A\subseteq A\cap A$であるから$A\cap A=A$が成り立つ。
$$ \Box$$

集合の等号の定義より、任意の$x\in U$について
$$ x\in A\cup B\ \Leftrightarrow\ x\in B\cup A $$
を示せばよい。
$ $
任意の$x\in U$をとる。和集合の定義より
$$ x\in A\cup B\ \Leftrightarrow\ (x\in A\ \lor\ x\in B) $$
が成り立つ。命題論理の交換律より、
$$ (x\in A\ \lor\ x\in B)\ \Leftrightarrow\ (x\in B\ \lor\ x\in A) $$
である。一方で、和集合の定義より
$$ x\in B\cup A\ \Leftrightarrow\ (x\in B\ \lor\ x\in A) $$
が成り立つ。以上より
$$ x\in A\cup B\ \Leftrightarrow\ x\in B\cup A $$
が任意の$x\in U$について成り立つので、集合の等号の定義より
$$ A\cup B = B\cup A $$
が成り立つ。
$$ \Box$$

集合の等号の定義より、任意の$x\in U$について
$$ x\in A\cap B\ \Leftrightarrow\ x\in B\cap A $$
を示せばよい。
$ $
任意の$x\in U$をとる。共通部分の定義より
$$ x\in A\cap B\ \Leftrightarrow\ (x\in A\ \land\ x\in B) $$
が成り立つ。命題論理の交換律より
$$ (x\in A\ \land\ x\in B)\ \Leftrightarrow\ (x\in B\ \land\ x\in A) $$
である。一方で、共通部分の定義より
$$ x\in B\cap A\ \Leftrightarrow\ (x\in B\ \land\ x\in A) $$
が成り立つ。以上より
$$ x\in A\cap B\ \Leftrightarrow\ x\in B\cap A $$
が任意の$x\in U$について成り立つので、集合の等号の定義より
$$ A\cap B = B\cap A $$
が成り立つ。
$$ \Box$$

集合の等号の定義より、任意の$x\in U$について
$$ x\in (A\cup B)\cap A\ \Leftrightarrow\ x\in A $$
を示せばよい。
任意の$x\in U$をとる。

1. $x\in (A\cup B)\cap A\Rightarrow x\in A$を示す。
   $x\in (A\cup B)\cap A$を仮定する。
   共通部分の定義より
   $$ x\in (A\cup B)\cap A\ \Leftrightarrow\ (x\in A\cup B\land x\in A) $$
   であるから、$x\in A$が従う。
   $ $
2. $x\in A\Rightarrow x\in (A\cup B)\cap A$を示す。
   $x\in A$を仮定する。
   命題論理(選言導入)より$x\in A\lor x\in B$が成り立つので、和集合の定義より$x\in A\cup B$が従う。
   したがって$x\in A\cup B$かつ$x\in A$が成り立つから、共通部分の定義より$x\in (A\cup B)\cap A$が従う。

-以上より、任意の$x\in U$について
$$ x\in (A\cup B)\cap A\ \Leftrightarrow\ x\in A $$
が成り立つ。従って集合の等号の定義より
$$ (A\cup B)\cap A=A $$
が成り立つ。
$$ \Box$$

集合の等号の定義より、任意の$x\in U$について
$$ x\in (A\cap B)\cup A\ \Leftrightarrow\ x\in A $$
を示せばよい。
任意の$x\in U$をとる。

1. $x\in (A\cap B)\cup A\Rightarrow x\in A$を示す。
   $x\in (A\cap B)\cup A$を仮定する。
   和集合の定義より
   $$ x\in (A\cap B)\cup A\ \Leftrightarrow\ (x\in A\cap B\lor x\in A) $$
   であるから、$x\in A\cap B$または$x\in A$が成り立つ。
   $x\in A\cap B$の場合は、共通部分の定義より$x\in A$が従う。
   $x\in A$の場合は明らかに$x\in A$である。
   よっていずれの場合も$x\in A$が成り立つ。
   $ $
2. $x\in A\Rightarrow x\in (A\cap B)\cup A$を示す。
   $x\in A$を仮定する。
   命題論理(選言導入)より$x\in A\cap B\lor x\in A$が成り立つ。
   従って和集合の定義より$x\in (A\cap B)\cup A$が従う。

-以上より、任意の$x\in U$について
$$ x\in (A\cap B)\cup A\ \Leftrightarrow\ x\in A $$
が成り立つ。従って集合の等号の定義より
$$ (A\cap B)\cup A=A $$
が成り立つ。
$$ \Box$$