問題は、集合のド・モルガンの法則 $\overline{A \cap B} = \overline{A} \cup \overline{B}$ を、$xy$平面を用いて示すことです。

離散数学集合ド・モルガンの法則集合演算補集合論理
2025/3/28

1. 問題の内容

問題は、集合のド・モルガンの法則 AB=AB\overline{A \cap B} = \overline{A} \cup \overline{B} を、xyxy平面を用いて示すことです。

2. 解き方の手順

xyxy平面における領域を用いて集合を表し、ド・モルガンの法則が成り立つことを図示します。
(1) 集合 AABB を、xyxy 平面上の領域として定義します。 例えば、A={(x,y)f(x,y)0}A = \{(x, y) | f(x, y) \le 0 \}B={(x,y)g(x,y)0}B = \{(x, y) | g(x, y) \le 0 \} のように表現できます。ここで、f(x,y)f(x,y)g(x,y)g(x,y) は適当な関数です。
(2) 集合 ABA \cap B を求めます。 これは、AABB の共通部分なので、AB={(x,y)f(x,y)0 かつ g(x,y)0}A \cap B = \{(x, y) | f(x, y) \le 0 \text{ かつ } g(x, y) \le 0 \} となります。
(3) 集合 AB\overline{A \cap B} を求めます。 これは、ABA \cap B の補集合なので、AB={(x,y)f(x,y)>0 または g(x,y)>0}\overline{A \cap B} = \{(x, y) | f(x, y) > 0 \text{ または } g(x, y) > 0 \} となります。
(4) 集合 A\overline{A}B\overline{B} を求めます。 これらはそれぞれ、AABB の補集合なので、A={(x,y)f(x,y)>0}\overline{A} = \{(x, y) | f(x, y) > 0 \}B={(x,y)g(x,y)>0}\overline{B} = \{(x, y) | g(x, y) > 0 \} となります。
(5) 集合 AB\overline{A} \cup \overline{B} を求めます。 これは、A\overline{A}B\overline{B} の和集合なので、AB={(x,y)f(x,y)>0 または g(x,y)>0}\overline{A} \cup \overline{B} = \{(x, y) | f(x, y) > 0 \text{ または } g(x, y) > 0 \} となります。
(6) (3) と (5) の結果を比較します。 AB={(x,y)f(x,y)>0 または g(x,y)>0}\overline{A \cap B} = \{(x, y) | f(x, y) > 0 \text{ または } g(x, y) > 0 \}AB={(x,y)f(x,y)>0 または g(x,y)>0}\overline{A} \cup \overline{B} = \{(x, y) | f(x, y) > 0 \text{ または } g(x, y) > 0 \} が一致することから、ド・モルガンの法則 AB=AB\overline{A \cap B} = \overline{A} \cup \overline{B} が、xyxy平面における領域を用いて示されたことになります。
具体的な関数の例として、A={(x,y)x1}A = \{(x,y) | x \le 1\}B={(x,y)y1}B = \{(x,y) | y \le 1\} とすると、
AB={(x,y)x1 かつ y1}A \cap B = \{(x,y) | x \le 1 \text{ かつ } y \le 1\}
AB={(x,y)x>1 または y>1}\overline{A \cap B} = \{(x,y) | x > 1 \text{ または } y > 1\}
A={(x,y)x>1}\overline{A} = \{(x,y) | x > 1\}
B={(x,y)y>1}\overline{B} = \{(x,y) | y > 1\}
AB={(x,y)x>1 または y>1}\overline{A} \cup \overline{B} = \{(x,y) | x > 1 \text{ または } y > 1\}
この例からも、AB=AB\overline{A \cap B} = \overline{A} \cup \overline{B} が成り立つことがわかります。

3. 最終的な答え

ド・モルガンの法則 AB=AB\overline{A \cap B} = \overline{A} \cup \overline{B} は、xyxy平面を用いて示すことができました。

「離散数学」の関連問題

全体集合 $U$ を1以上100以下の整数の集合とする。$U$ の部分集合 $A$, $B$, $C$ をそれぞれ、$A = \{n | n \text{ は } 2 \text{ の倍数}\}$、$...

集合包除原理要素の個数
2025/4/2

ECONOMICSという9個の文字を並べ替えてできる順列について、以下の問いに答えます。 (1) 両端にCがきて、しかも同じ文字が隣り合わない順列は何通りあるか。 (2) 両端がともに母音である順列は...

順列組み合わせ場合の数重複順列
2025/4/2

(6) 集合 $A = \{1, 4, 7, 10\}$、集合 $B = \{4, 6, 8\}$ のとき、$A \cup B$ を求めよ。 (7) 9以下の正の偶数全体の集合を $A$ とする。次の...

集合集合演算部分集合
2025/4/2

ECONOMICSという9文字の並べ替えについて、以下の3つの場合に順列の数を求める。 (1) 両端がCで、同じ文字が隣り合わない順列の数 (2) 両端が母音である順列の数 (3) 両端が母音でない順...

順列組み合わせ場合の数文字列
2025/4/2

(1) 順列 $_5P_3$ の値を計算する。 (2) 7人の部員の中から部長、副部長、マネージャーを1人ずつ選ぶ場合の数を求める。

順列組み合わせ場合の数
2025/4/1

6つのチームA, B, C, D, E, Fが総当たり戦(それぞれのチームが他のすべてのチームと1回ずつ対戦する)を行うとき、試合の総数を求める問題です。左側の図と右側の表を使って考える方法が示されて...

組み合わせグラフ理論総当たり戦試合数
2025/3/31

P, Q, R, S, T の 5 人が 5 人掛けの椅子に並んで座るとき、P と Q の間に 1 人が座るような並び方は何通りあるかを求める問題です。

順列組み合わせ場合の数
2025/3/30

7冊の異なる本を3つの本棚A, B, Cにそれぞれ2冊, 2冊, 3冊に分けて入れる方法は何通りあるか求めます。

組み合わせ順列場合の数
2025/3/29

9個の文字 a, a, b, b, c, c, c, c, c をすべて使って作れる文字列は何通りあるか。

順列組み合わせ重複順列
2025/3/29

図のような格子状の道があるとき、A地点からB地点まで最短距離で行く道順は何通りあるか求めます。

組み合わせ最短経路二項係数格子状の道
2025/3/29