16/08/20 19:32:36.01 9TVbDO6E.net
■
>>684
ありがとうございます。
X_i ～ X_i×{i}
とすれば、
∪_{i∈I} X_i×{i}
X_i×{i} ∩ X_j×{j} = ∅
になりますね。
■
A ～ A'
B ～ B'
全単射 f_A : A → A'
全単射 f_B : B → B'
f_{A∪B} :
A ∋ x → f_A(x) ∈ A'
B-A ∋ x → f_B(x) ∈ B'
f_{A∪B} : A∪B → A'∪B' は単射
■
A ～ A'
B ～ B'
C ～ C'
全単射 f_A : A → A'
全単射 f_B : B → B'
全単射 f_C : C → C'
f_{A∪B∪C} :
A∪B ∋ x → f_{A∪B}(x) ∈ A'∪B'
C-(A∪B) ∋ x → f_C(x) ∈ C'
f_{A∪B∪C} : A∪B∪C → A'∪B'∪C' は単射
■
↑と同様に考えて、 I が可算集合の場合には、
∪_{i∈I} X_i から ∪_{i∈I} X_i×{i} への単射が存在することが分かります。
I が非可算集合の場合にはどうしたらいいのか分かりません。