22/06/27 07:59:20.06 Ril0UddK.net
松坂和夫著『集合・位相入門』
「
(A_λ) λ∈Λ を1つの与えられた集合族とするとき、 Λ で定義された写像 a で、
次の条件
(*) Λ のどの元 λ に対しても a(λ) = a_λ ∈ A_λ
を満足するようなもの全体の集合、いいかえれば、条件(*)を満たす族 (a_λ) λ∈Λ 全体の集合を、
集合族 (A_λ) λ∈Λ の直積(または単に積)といい、記号
Π_{λ∈Λ} A_λ
で表わす。
」
などと書いています。
写像について、終集合が異なれば異なる写像であるとかそんなことを強調していたのに、
ここでは、終集合について何