3つの集合 $A, B, C$ について、以下の2つの命題を示す問題です。 (1) $A$ と $C$ が対等 ($A \sim C$) かつ $A \subseteq B \subseteq C$ ならば、$B \sim C$ である。 (2) 単射 $f: A \rightarrow B$ と全射 $g: A \rightarrow B$ が存在するならば、$A \sim B$ である。

離散数学集合論写像全単射単射ベルンシュタインの定理
2025/7/2

1. 問題の内容

3つの集合 A,B,CA, B, C について、以下の2つの命題を示す問題です。
(1) AACC が対等 (ACA \sim C) かつ ABCA \subseteq B \subseteq C ならば、BCB \sim C である。
(2) 単射 f:ABf: A \rightarrow B と全射 g:ABg: A \rightarrow B が存在するならば、ABA \sim B である。

2. 解き方の手順

(1) ACA \sim C かつ ABCA \subseteq B \subseteq C ならば、BCB \sim C であることの証明
ACA \sim C であるから、全単射 h:ACh: A \rightarrow C が存在する。
ABCA \subseteq B \subseteq C である。
i:BCi: B \rightarrow C を包含写像 (i(x)=xi(x) = x for xBx \in B) とする。このとき ii は単射である。
j:CBj: C \rightarrow B を構成する。
xCx \in C に対して、xh(A)x \in h(A) ならば、x=h(a)x = h(a) なる aAa \in A が存在する。このとき、aABa \in A \subseteq B であるから、j(x)=aj(x) = a とする。
xCx \in C に対して、xh(A)x \notin h(A) ならば、j(x)=xj(x) = x とする。xCh(A)x \in C \setminus h(A) であるから xCx \in C であり、ABCA \subseteq B \subseteq C でもあるので、xCx \in C である。
この場合、jj は単射となる。
ベルンシュタインの定理より、集合 X,YX, Y に対して、XX から YY への単射が存在し、YY から XX への単射が存在すれば、XYX \sim Y となる。
したがって、BCB \sim C が成り立つ。
(2) 単射 f:ABf: A \rightarrow B と全射 g:ABg: A \rightarrow B が存在するならば、ABA \sim B であることの証明
f:ABf: A \rightarrow B が単射なので、AA から f(A)f(A) への全単射が存在する。したがって Af(A)A \sim f(A) である。
g:ABg: A \rightarrow B が全射なので、B=g(A)B = g(A) となる。
f:ABf: A \rightarrow B が単射であるから、BB の部分集合 f(A)f(A) を考えると、f:Af(A)f: A \rightarrow f(A) は全単射となる。
f(A)Bf(A) \subseteq B である。恒等写像 i:f(A)Bi: f(A) \rightarrow B を考えると、ii は単射となる。
g:ABg: A \rightarrow B を全射とする。このとき、h:BAh: B \rightarrow A で、g(h(b))=bg(h(b)) = b となる写像 hh が存在する。
hh は単射となる。もし h(b1)=h(b2)h(b_1) = h(b_2) とすると、g(h(b1))=g(h(b2))g(h(b_1)) = g(h(b_2)) より、b1=b2b_1 = b_2 となるからである。
h:BAh: B \rightarrow A は単射であるから、Bh(B)B \sim h(B) となる。
h(B)Ah(B) \subseteq A である。
ベルンシュタインの定理より、AA から BB への単射が存在し、BB から AA への単射が存在すれば、ABA \sim B となる。
f:ABf: A \rightarrow B が単射であり、g:ABg: A \rightarrow B が全射ならば、ABA \sim B であることが示された。

3. 最終的な答え

(1) ACA \sim C かつ ABCA \subseteq B \subseteq C ならば、BCB \sim C である。
(2) 単射 f:ABf: A \rightarrow B と全射 g:ABg: A \rightarrow B が存在するならば、ABA \sim B である。

「離散数学」の関連問題

先生2人と生徒3人が1列に並ぶ場合の並び方について、以下の4つの場合について場合の数を求める問題です。 (1) 全ての並び方 (2) 生徒3人が連続して並ぶ並び方 (3) 両端が生徒である並び方 (4...

順列組み合わせ場合の数数え上げ
2025/7/10

大人3人と子供3人が輪になって並ぶ場合の数を求める問題です。 (1) 全ての並び方を求めます。 (2) 大人と子供が交互に並ぶ並び方を求めます。

順列組み合わせ円順列
2025/7/9

無限集合 $X$ の部分集合 $A$ について、以下の2つの命題が正しいか否かを判断し、正しければ証明し、正しくなければ反例を挙げる。 (1) $A$ が有限集合ならば、$X-A$ は $X$ と対等...

集合論無限集合対等全単射証明反例
2025/7/9

男子4人と女子4人が手をつないで円を作るとき、次の問いに答えます。 (1) 円の作り方は全部で何通りあるか。 (2) 男子と女子が交互になる円の作り方は何通りあるか。 (3) 男子の太郎君と次郎君が向...

円順列順列組み合わせ場合の数
2025/7/9

図のような道のある町で、AからBまでの最短経路の総数、Qを通る最短経路の総数、PまたはQを通る最短経路の総数をそれぞれ求める問題です。

組み合わせ最短経路順列
2025/7/9

「KAWAGOE」の7文字を1列に並べる場合の数を求める問題です。ただし、Aが2つあるので、同じものを含む順列の考え方を使います。

順列組み合わせ場合の数重複順列
2025/7/9

正六角形を6個の正三角形に分割し、各三角形を異なる色で塗り分ける問題です。ただし、回転して一致する塗り方は同じものとみなします。 (1) 6色すべてを使って塗り分ける方法の数を求めます。 (2) 6色...

組み合わせ場合の数順列円順列正多角形
2025/7/9

(1) 集合 $A = \{1, 2, 3, 4, 6, 12\}$ の部分集合を、与えられた集合 $P = \{1, 2, 3, 5\}$, $Q = \{1, 2, 4, 6\}$, $R = \...

集合部分集合補集合共通部分和集合
2025/7/9

与えられた問題は、組み合わせ (combination) に関する計算問題と、正六角形に関する問題です。具体的には、以下の問題があります。 - 問題54: 組み合わせの計算 (6問) - 問題55: ...

組み合わせnCr正六角形組み合わせの計算
2025/7/9

いくつか場合の数を求める問題が掲載されています。 具体的には、組み合わせ(Combination)の計算、ケーキの選び方、コインの表裏の出方、正六角形に関する問題、果物の選び方、男女の選び方、カードの...

組み合わせ場合の数順列二項係数重複組合せ
2025/7/9