したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | メール | |
レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

「集合・位相入門」輪読会

642臺地 </b><font color=#FF0000>(qpPuO9q2)</font><b>:2004/07/10(土) 01:56
5.
次の等式を示せ。
(a){∪_(λ∈Λ)A_λ}∩{∪_(μ∈Μ)B_μ}=∪_{(λ,μ)∈Λ×Μ}(A_λ∩B_μ)
(b){∩_(λ∈Λ)A_λ}∪{∩_(μ∈Μ)B_μ}=∩_{(λ,μ)∈Λ×Μ}(A_λ∪B_μ)
(c){∪_(λ∈Λ)A_λ}×{∪_(μ∈Μ)B_μ}=∪_{(λ,μ)∈Λ×Μ}(A_λ×B_μ)
(d){∩_(λ∈Λ)A_λ}×{∩_(μ∈Μ)B_μ}=∩_{(λ,μ)∈Λ×Μ}(A_λ×B_μ)

(a)
x∈{∪_(λ∈Λ)A_λ}∩{∪_(μ∈Μ)B_μ}
⇔x∈{∪_(λ∈Λ)A_λ}∧x∈{∪_(μ∈Μ)B_μ}
⇔(∃λ∈Λ;x∈A_λ)∧(∃μ∈Μ;x∈B_λ)
⇔∃(λ,μ)∈Λ×Μ;x∈A_λ∧x∈B_μ
⇔∃(λ,μ)∈Λ×Μ;x∈A_λ∩B_μ
⇔x∈∪_{(λ,μ)∈Λ×Μ}(A_λ∩B_μ)■

(b)
x∈{∩_(λ∈Λ)A_λ}∪{∩_(μ∈Μ)B_μ}
⇔x∈{∩_(λ∈Λ)A_λ}∨x∈{∩_(μ∈Μ)B_μ}
⇔(∀λ∈Λ;x∈A_λ)∨(∀μ∈Μ;x∈B_λ)
⇔∀(λ,μ)∈Λ×Μ;x∈A_λ∨x∈B_μ
⇔∀(λ,μ)∈Λ×Μ;x∈A_λ∨B_μ
⇔x∈∩_{(λ,μ)∈Λ×Μ}(A_λ∪B_μ)■




掲示板管理者へ連絡 無料レンタル掲示板