- 710 名前：１３２人目の素数さん [2016/08/20(土) 19:32:36.01 ID: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 が非可算集合の場合にはどうしたらいいのか分かりません。
|
 |
