ド・モルガンの法則とその証明

1 ド・モルガンの法則
- 1.1 証明：
- 1.2 結論：
2 一般に：
- 2.1 証明：
- 2.2 結論：

ド・モルガンの法則

$(A\cup B)^{c} = A^c \cap B^c$

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

$(A\cup B)^{c} = A^c \cap B^c$

証明：

$(A\cup B)^{c} = A^c \cap B^c$ 　を示す。

( $\subset$ )

$x \in (A\cup B)^{c}$ とする。

$x\notin A\cup B$ .

$x\notin A$ かつ $x\notin B$ .

$x\in A^c$ かつ $x\in B^c$ .

$x\in A^c \cap B^c$ .

したがって, $(A\cup B)^{c} \subset A^c \cap B^c$

( $\supset$ )

$x\in A^c \cap B^c$ とする。

$x\in A^c$ かつ $x \in B^c$

$x \notin A$ かつ $x \notin B$

$x \notin A\cup B$

$x \in (A\cup B)^c.$

したがって, $(A\cup B)^{c} \supset A^c \cap B^c$

結論：

( $\subset$ ) と ( $\supset$ ) を合わせて,

$(A\cup B)^{c} = A^c \cap B^c$ .

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

証明：

$(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ を示す。

( $\subset$ )

$x \in (\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c$ とする。

$x\notin \displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda}$ .

$x\notin A_\lambda$ $({}^{\forall}\lambda\in\Lambda)$ .

$x\in A_\lambda^c$ $({}^{\forall}\lambda\in\Lambda)$ .

$x\in \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ .

したがって, $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c \subset \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

( $\supset$ )

$x\in \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ とする。

$x\in A_\lambda^c$ $({}^{\forall}\lambda\in\Lambda)$

$x \notin A_{\lambda}$ $({}^{\forall}\lambda\in\Lambda)$

$x \notin \displaystyle\bigcup_{\lambda\in\Lambda} A_\lambda$

$x \in (\displaystyle\bigcup_{\lambda\in\Lambda} A_\lambda)^c.$

したがって, $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c \supset \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

結論：

( $\subset$ ) と ( $\supset$ ) を合わせて,

$(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$ .

最近の投稿

カテゴリー

アーカイブ

ド・モルガンの法則とその証明

ド・モルガンの法則

$(A\cup B)^{c} = A^c \cap B^c$

証明：

結論：

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$

証明：

結論：

カテゴリー

アーカイブ

最近の投稿

カテゴリー

アーカイブ

ド・モルガンの法則

証明：

結論：

一般に：

証明：

結論：

RECOMMENDこちらの記事も人気です。

群と準同型写像

完備距離空間と例【連続性の公理】

ハイネ・ボレル（Heine-Borel）の被覆定理【証明】

線形空間 ( ベクトル空間 )

収束ならば有界【実数列】

[a,b] 上実数値連続関数全体の集合 C[a,b] 距離空間【証明付き】

有限集合はコンパクト【開被覆の定義】

収束列はコーシー列【ノルム空間】

人気の記事

カテゴリー

アーカイブ

一般に： $(\displaystyle\bigcup_{\lambda\in \Lambda} A_{\lambda})^c = \displaystyle\bigcap_{\lambda\in\Lambda} A_\lambda^c$