レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
(c)
(x,y)∈{∪_(λ∈Λ)A_λ}×{∪_(μ∈Μ)B_μ}
⇔(∃λ∈Λ;x∈A_λ)∧(∃μ∈Μ;y∈B_μ)
⇔∃(λ,μ)∈Λ×Μ;x∈A_λ∧y∈B_μ
⇔∃(λ,μ)∈Λ×Μ;(x,y)∈A_λ×B_μ
⇔(x,y)∈∪_{(λ,μ)∈Λ×Μ}(A_λ×B_μ)■
(d)
(x,y)∈{∩_(λ∈Λ)A_λ}×{∩_(μ∈Μ)B_μ}
⇔(∀λ∈Λ;x∈A_λ)∧(∀μ∈Μ;y∈B_μ)
⇔∀(λ,μ)∈Λ×Μ;x∈A_λ∧y∈B_μ
⇔∀(λ,μ)∈Λ×Μ;(x,y)∈A_λ×B_μ
⇔(x,y)∈∩_{(λ,μ)∈Λ×Μ}(A_λ×B_μ)■
掲示板管理者へ連絡
無料レンタル掲示板