文献あり

「直積」の何たるか #1

905

　やぁやぁ皆さん，はじめまして．陽袮柊です．
　数学をしていると，様々な場面で「直積」という概念が登場します．集合の直積，位相空間の直積，ベクトル空間の直積，群の直積などなど．どれも似たような対象ですが，位相が入っていたり，演算が入っていたりして，細かな違いを持っています．しかし，どれも同じ名前なのです．では，これらに共通した特徴は何なのでしょうか？この記事では「直積」のもつ本質的な特徴について解説します．
　なお，この記事では $0 \in N$ とします．0は自然数なので．

集合の直積

　簡単な定義ですが，復習しておきましょう．

集合の直積

　 $X$ , $Y$ を集合とする．このとき，集合 $X \times Y : = {(x, y) ∣ x \in X, y \in Y}$ を $X$ , $Y$ の直積集合という．

　これを「積」とよぶことは， $X$ , $Y$ が有限集合の場合の元の個数を考えれば $| X \times Y | = | X | \times | Y |$ となることから納得できるでしょう．
　この定義自体に問題はありません．しかし， $X \times Y$ と本質的に変わらない集合はいくつもあります．たとえば， $Y \times X = {(y, x) ∣ y \in Y, x \in X}$ という集合は $X \times Y$ と普通は異なる集合ですが，この違いは，集合についてのみ議論をする際には問題になりませんね．他にも， $X \times Y \times {0} = {(x, y, 0) ∣ x \in X, y \in Y}$ という集合も，第3成分が0で固定されていますから，本質的には $X \times Y$ とは変わりません．もう内包的には書きくだしませんが， $X \times Y \times {0} \times {1}$ も同様の理由で $X \times Y$ とは本質的に変わりません．
　今，何食わぬ顔で3つ以上の集合の直積集合について考えましたが，これを定義する際にも少し問題はあります．「直積をとる操作を繰り返せば，有限個の集合の直積集合を構成できる」という再帰的な定義を行う立場がたまにありますが，これにのっとると，集合 $X$ , $Y$ , $Z$ の直積集合は $(X \times Y) \times Z = {((x, y), z) ∣ (x, y) \in X \times Y, z \in Z}$ のようになり，あくまでもその元は $(x, y)$ と $z$ との2つ組です．しかし，これは $X \times Y \times Z = {(x, y, z) ∣ x \in X, y \in Y, z \in Z}$ という3つ組の元からなる集合と本質的には同じなので，私たちはとくに区別していません．
　ここまでで「本質的には同じ」と何度も述べているので，この意味をはっきりとさせておくと，これは「元の個数（つまり、濃度）が等しい」ということで，さらに言い換えれば「それらの間に全単射がある」ということです． $X \times Y$ と $Y \times X$ との場合であれば， $X \times Y \to Y \times X; (x, y) \mapsto (y, x)$ という全単射があります．そして，何度も何度も「 $X \times Y$ と $Y \times X$ とは本質的には同じである」のように述べているとまどろっこしくてやっていられなくなるので，このことを「 $X \times Y$ と $Y \times X$ とは同型である」と言いかえて， $X \times Y ≅ Y \times X$ と表すことにしましょう．先の段落で述べていたことをこの記法で表せば，
$\begin{matrix} X \times Y ≅ Y \times X ≅ X \times Y \times {0} ≅ X \times Y \times {0} \times {1}, \\ (X \times Y) \times Z ≅ X \times Y \times Z \end{matrix}$
となりますね。以後，この記事では「本質的には同じ」であることを，上のように「同型」「 $≅$ 」により表すことにします．
　さて，直積集合と同型な集合がいくつも考えられることが分かりました．こうなると，元の定義は，集合について議論する上ではあまり本質的なものではない気がしてきます．では，直積集合と同型な集合たちがもち，それ以外の集合たちは有さない特徴は何かないでしょうか？

直積集合の特徴付け

　直積集合 $X \times Y$ 単体だと，定義以上の情報はあまり出てこなさそうなので，少し考察の対象を増やします．いま考えたいのは「2つのものを比べて，本質的な情報が同じなのであればそれら自体を同じと考える」という観念であり，集合と集合とを比べる際に用いるものといえば写像でしょう．そして，直積集合があれば，各成分への標準射影 ${pr}_{X} : X \times Y \to X; (x, y) \mapsto x$ , ${pr}_{Y} : X \times Y \to Y; (x, y) \mapsto y$ のペア $({pr}_{X}, {pr}_{Y})$ が自然に考えられるので，これもあわせた組 $(X \times Y, ({pr}_{X}, {pr}_{Y}))$ について考えてみます．

$X \times Y {pr}_{X} {pr}_{Y} X Y$

　ところで，上の図は，頂点に $X \times Y$ というものが配置されている錐のような形をしていますから，以降では $(X \times Y, ({pr}_{X}, {pr}_{Y}))$ のことを $X$ , $Y$ 上の錐 (cone) とよび， $X \times Y$ , $({pr}_{X}, {pr}_{Y})$ のそれぞれをこの錐の頂点 (summit)，脚 (legs) とよぶことにしましょう．この頂点と脚とは，直積集合と標準射影とでなくてもよいです．たとえば， $X$ , $Y$ 上の錐 $(A, (f, g))$ は下のような図になります．

$A f g X Y$

　ここで， $(X \times Y, ({pr}_{X}, {pr}_{Y}))$ は， $X$ , $Y$ 上の錐の中でも特別なもののはずです． $(X \times Y, ({pr}_{X}, {pr}_{Y}))$ のもつ特別な性質は何かないでしょうか？別の錐と比較するために， $X$ , $Y$ 上の錐 $(A, (f, g))$ を任意にとっておきましょう．2つの集合 $A$ , $X \times Y$ を比較するというのは，2つを繋げる写像 $u : A \to X \times Y$ について考えることです．ただし，単に $A$ から $X \times Y$ への写像を考えるだけだと，普通はとても大量の写像が考えられますから，下の図式が可換になるような，つまり， ${pr}_{X} \circ u = f$ , ${pr}_{Y} \circ u = g$ をどちらもみたすような $u$ を考えてみることにしましょう．このような $u$ はどんな写像になるでしょうか？少し考えてみてください．では，シンキングタイム，スターーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーート！！！！！

$A f g u X \times Y {pr}_{X} {pr}_{Y} X Y$

　 $u$ はどんな写像なのか分かりましたか？ $u (a) : = (f (a), g (a))$ ( $a \in A$ ) とすればよいですね．そして，これ以外に何か考えられますか？きっと思いつかないはずです．それもそのはずで，じつは，上の条件をみたす $u$ はこれしかありません．というのも，各 $a \in A$ に対して $u (a) = : (x_{a}, y_{a})$ と定めると， ${pr}_{X} \circ u = f$ により，
$x_{a} = {pr}_{X} (x_{a}, y_{a}) = {pr}_{X} (u (a)) = ({pr}_{X} \circ u) (a) = f (a)$
となります．同様に， $y_{a} = g (a)$ も成り立つので，結局， $u (a) = (f (a), g (a))$ となってしまうのです．
　そして， $X \times Y$ と同型な集合はすべてこの性質をみたします．証明してみましょう．

　集合 $L$ が $X \times Y$ と同型で，この同型が全単射 $φ : L \to X \times Y$ により与えられるとし， $p : = {pr}_{X} \circ φ : L \to X$ , $q : = {pr}_{Y} \circ φ : L \to Y$ として， $X$ , $Y$ 上の錐 $(L, (p, q))$ について考えてみます．これが上記の性質をもつことを示しましょう．

$L p q φ X \times Y {pr}_{X} {pr}_{Y} X Y$

　先の $(A, (f, g))$ に対して， ${pr}_{X} \circ u = f$ , ${pr}_{Y} \circ u = g$ をみたす写像 $u : A \to X \times Y$ がただ1つ存在するのでした．そこで， $u^{'} : = φ^{- 1} \circ u$ とすれば，
$p \circ u^{'} = ({pr}_{X} \circ φ) \circ (φ^{- 1} \circ u) = {pr}_{X} \circ (φ \circ φ^{- 1}) \circ u = {pr}_{X} \circ u = f$
となり，同様にして $q \circ u^{'} = g$ も分かります．
　また， $p \circ u^{'} = f$ , $q \circ u^{'} = g$ をみたす写像 $u^{'} : A \to L$ を任意にとると，
$f = p \circ u^{'} = ({pr}_{X} \circ φ) \circ u^{'} = {pr}_{X} \circ (φ \circ u^{'})$
となり，同様にして $g = {pr}_{Y} \circ (φ \circ u^{'})$ も分かります．そして，この2つの等式をみたす写像 $A \to X \times Y$ は $u$ のみだったので， $φ \circ u^{'} = u$ となり，
$u^{'} = (φ^{- 1} \circ φ) \circ u^{'} = φ^{- 1} \circ (φ \circ u^{'}) = φ^{- 1} \circ u$
が分かります．よって， $u^{'}$ は一意です．

$^{\forall} A^{\forall} f^{\forall} g^{\exists!} u^{\exists!} u^{'} X \times Y φ^{- 1} L p q X Y$

　以上から，ある集合が上で述べたような「写像がただ1つ存在する」という性質をみたす脚をもつということは，それが直積集合と同型であるための必要条件であると分かりました．ここで気になるのが，この性質は十分条件にもなっているのかどうかです．この性質をもつ集合は，おしなべて直積集合と同型になるのだろうかということですね．なんと，これは成り立ちます．証明してみましょう．

　 $(L, (p, q))$ , $(L^{'}, (p^{'}, q^{'}))$ を，上の性質をもつ集合と写像のペアとの組だとします．このとき， $(L, (p, q))$ を今までの $(A, (f, g))$ だと思えば， $(L^{'}, (p^{'}, q^{'}))$ が有する性質により，左下の図式を可換にする写像 $u : L \to L^{'}$ が（ただ一つ）存在します．立場を交換すれば，右下の図式を可換にする写像 $u^{'} : L^{'} \to L$ も（ただ一つ）存在します．

$L p q u L^{'} p^{'} q^{'} u^{'} L^{'} p^{'} q^{'} L p q X Y X Y$

この $u$ , $u^{'}$ が互いに逆写像，すなわち， $u^{'} \circ u = {id}_{L}$ , $u \circ u^{'} = {id}_{L^{'}}$ となってくれていると，これらにより $L ≅ L^{'}$ が成り立ちますね．そこで，下の図式を考えてみましょう．

$L p q u^{'} \circ u L p q X Y$

この図式は可換です．実際， $p^{'} \circ u = p$ , $p \circ u^{'} = p^{'}$ により，
$p \circ (u^{'} \circ u) = (p \circ u^{'}) \circ u = p^{'} \circ u = p$
となり， $q \circ (u^{'} \circ u) = q$ も同様に成り立ちます．よって， $(L, (p, q))$ のもつ性質により， $u^{'} \circ u$ は，上の図式を可換にする唯一の写像ということになります．ところで，当然ですが，上の図式は $u^{'} \circ u$ を ${id}_{L}$ と取りかえても可換になります．ということは，一意性により， $u^{'} \circ u = {id}_{L}$ が成り立ちます．同じようにして $u \circ u^{'} = {id}_{L^{'}}$ も成り立ちますから，期待どおり， $L ≅ L^{'}$ が得られました．

　これまでの話をまとめると，次の命題が得られます．

2つの集合の直積集合の普遍性

　 $X$ , $Y$ を集合とする．このとき，任意の集合 $L$ について， $L ≅ X \times Y$ であるための必要十分条件は，次の性質をみたす写像 $p : L \to X$ , $q : L \to Y$ が存在することである：

任意の集合 $A$ と任意の写像 $f : A \to X$ , $g : A \to Y$ のペア $(f, g)$ との組 $(A, (f, g))$ に対して， $p \circ u = f$ と $q \circ u = g$ とをどちらもみたす写像 $u : A \to L$ がただ1つ存在する．

$^{\forall} A^{\forall} f^{\forall} g^{\exists!} u L p q X Y$

　この必要十分条件は，どんな $(A, (f, g))$ を考えても，それと $(L, (p, q))$ との間には $u$ という繋がりが必ずただ1つ存在するという普遍的な主張なので，普遍性とよばれます．

$(B, (f_{B}, g_{B}))^{\exists!} u_{B} (C, (f_{C}, g_{C}))^{\exists!} u_{C} (D, (f_{D}, g_{E}))^{\exists!} u_{D} (A, (f_{A}, g_{A}))^{\exists!} u_{A} (E, (f_{E}, g_{E}))^{\exists!} u_{E} (X \times Y, ({pr}_{X}, {pr}_{Y}))$

　上の繋がりを目線のように思えば， $X$ , $Y$ 上の錐のうち全員から見られているものこそが $(X \times Y, ({pr}_{X}, {pr}_{Y}))$ なのです．注目の的．いわばスター的存在です．
　そして，同様の議論をすることによって，以上の帰結は集合族の直積集合へと一般化することができます．

集合族の直積集合の普遍性

　 $Λ$ を集合， $(X_{λ})_{λ \in Λ}$ を $Λ$ を添字集合にもつ集合族とする．このとき，任意の集合 $L$ について， $L ≅ \prod_{λ \in Λ}$ であるための必要十分条件は，次の普遍性をみたす $p_{λ} : L \to X_{λ}$ （ $λ \in Λ$ ）の族 $p : = (p_{λ})_{λ \in Λ}$ が存在することである：

$(X_{λ})_{λ \in Λ}$ 上の任意の錐 $(A, (f_{λ} : A \to X_{λ})_{λ \in Λ})$ に対して，各 $λ \in Λ$ について $p_{λ} \circ u = f_{λ}$ をみたす写像 $u : A \to L$ がただ1つ存在する．

$^{\forall} A^{\forall} f_{λ}^{\exists!} u L p_{λ} X_{λ}$

　この普遍性こそが，直積集合のもつ本質的な特徴なのです！
　ちなみに， $(L, p) = (\prod_{λ \in Λ} X_{λ}, ({pr}_{λ})_{λ \in Λ})$ のときの $u : A \to \prod_{λ \in Λ} X_{λ}$ は $u (a) = (f_{λ} (a))_{λ \in Λ}$ という写像になります．

位相空間の直積

　2つの位相空間 $(X, O_{X})$ , $(Y, O_{Y})$ についても，その直積を考えてみましょう．直積空間の土台として直積集合 $X \times Y$ を考えることに異論は無いと思いますが，これを位相空間にするには，それに空間構造である位相を入れなければなりません．そして， $X \times Y$ に入れることのできる位相はまったくもって1通りではありません．では，どんな位相を入れるのが最も適切なのでしょうか？
　そこで，ひとまず，極端な位相である密着位相・離散位相を入れた場合について考えてみましょう．

密着位相を入れた場合

　 $O_{ind .} : = {\emptyset, X \times Y}$ を位相とした場合，これは密着位相とよばれ，位相空間 $(X \times Y, O_{ind .})$ は密着空間とよばれるのでした．
　この位相をいれたものを直積空間とするのはなんとなくヤバい気がしますが，実際，これを直積集合に入れる標準的な位相としてしまうとかなりまずいことが起こります．直積集合があれば，基本的な写像として標準射影 ${pr}_{X}$ , ${pr}_{Y}$ が考えられましたが，ほとんどの場合でこれらが連続にならないのです．たとえば， $(X, O_{X})$ , $(Y, O_{Y})$ を1次元Euclid空間とすると，標準射影は ${pr}_{X} : R \times R \to R; (x, y) \mapsto x$ , ${pr}_{Y} : R \times R \to R; (x, y) \mapsto y$ となりますが，開区間 $(0, 1) \in O_{R}$ の ${pr}_{X}$ による逆像は ${pr}_{X}^{- 1} ((0, 1)) = (0, 1) \times R$ となり，これは $O_{ind .} = {\emptyset, R \times R}$ に属しません．基本的な写像である射影が連続にならないような位相を考えることは避けたほうがよいでしょう．

離散位相を入れた場合

　 $O_{dis .} : = {U ∣ U \subseteq X \times Y}$ （つまり，冪集合）を位相とした場合，これは離散位相とよばれ，位相空間 $(X \times Y, O_{dis .})$ は離散空間とよばれるのでした．
　これを考えれば，射影は連続になります．しかし，これでもまだ問題があります． $(A, O_{A})$ を位相空間とし， $f : A \to X \times Y$ を写像とすると，この $f$ はめちゃくちゃ連続になりにくいのです．というのも， $f$ が連続になるためにはどんな $O_{dis .}$ の元を $f$ で引き戻してもそれが $O_{A}$ に属している必要がありますが， $O_{dis .}$ には $X \times Y$ の部分集合のすべてが属しているのに対して， $O_{A}$ にはふつう $A$ の部分集合の一部しか属していません．連続にならない例を1つ挙げておきます． $X \times Y : = R \times R$ ， $(A, O_{A})$ を1次元Euclid空間， $f : R \to R \times R; x \mapsto (x, 0)$ とすると， $[0, 1] \times {0} \in O_{dis .}$ ですが，これの $f$ による逆像は $f^{- 1} ([0, 1] \times {0}) = [0, 1]$ で，これはもちろん $O_{R}$ には属しません．この $f$ はかなり普通な写像なわけですが，これですら連続にならないのです．

　このように，極端な位相を考えてしまうと何かしらの問題が発生してしまうので， $X \times Y$ に入れるのに妥当な，ちょうどよい塩梅の位相を考えなければなりません．そこで，考察に値する有用な情報が，直積集合のもつ普遍性です．その際に登場したのは集合と写像とでしたが，今は位相空間について論じているので，位相空間と連続写像とにしましょう．この場合， $(X, O_{X})$ , $(Y, O_{Y})$ 上の錐を，位相空間 $(A, O_{A})$ と，連続写像 $f : (A, O_{A}) \to (X, O_{X})$ , $g : (A, O_{A}) \to (Y, O_{Y})$ のペア $(f, g)$ との組 $((A, O_{A}), (f, g))$ とします．
　 $(X, O_{X})$ , $(Y, O_{Y})$ 上の任意の錐 $((A, O_{A}), (f, g))$ に対して，直積集合の普遍性から， ${pr}_{X} \circ u = f$ , ${pr}_{Y} \circ u = g$ をどちらもみたす写像 $u : A \to X \times Y$ がただ1つ存在するわけですが，この普遍性こそが直積集合を特徴づける本質的な性質だったので，位相空間の場合にもこれが成り立ってくれると，つまり，ここで登場する普遍的な写像の $u$ が毎回必ず連続になってくれると，集合の場合と整合的で嬉しいですね．なので，この $u$ が毎回連続になるような位相を $X \times Y$ に入れればよいわけです．
　 $u$ が連続になるためには，離散位相のように強い位相をいれてしまうと不都合なので，反対になるべく弱い位相を考えたいわけですが，もっとも弱い位相である密着位相を入れてしまうと，今度は射影が連続になりません．では，射影が連続になるような位相の中で最弱のものを考えればよいはずで，これが，直積集合に入れるべき標準的な位相なのです．

2つの位相空間の直積空間

　 $(X, O_{X})$ , $(Y, O_{Y})$ を位相空間， ${pr}_{X} : X \times Y \to X$ , ${pr}_{Y} : X \times Y \to Y$ を標準射影とする． ${pr}_{X}$ , ${pr}_{Y}$ が連続となる $X \times Y$ の位相の中で最弱のものを $O$ とするとき， $O$ を $O_{X}$ , $O_{Y}$ の直積位相といい，位相空間 $(X \times Y, O)$ を $(X, O_{X})$ , $(Y, O_{Y})$ の直積（位相）空間という．

　 $O$ をもう少し具体的に書きくだしてみましょう．任意の $U \in O_{X}$ , $V \in O_{Y}$ について，標準射影が連続になるという条件から $U \times Y = {pr}_{X}^{- 1} (U) \in O$ かつ $X \times V = {pr}_{Y}^{- 1} (V) \in O$ が成り立つので，これらの共通部分である $U \times V$ も $O$ に属します．なので，これらの全体 ${U \times V ∣ U \in O_{X}, V \in O_{Y}}$ を $B$ とすると， $B \subseteq O$ となります．ここで， $B$ はふつう開集合の公理をみたさないので， $O$ の最小性により， $O$ は $B$ が生成する位相となります．つまり， $B$ が $O$ の開基となるわけです．

　位相空間族の直積も，同様の理由から次のように定まります．

位相空間族の直積空間

　 $Λ$ を集合， $((X_{λ}, O_{λ}))_{λ \in Λ}$ を $Λ$ を添字集合にもつ位相空間族， ${pr}_{μ} : \prod_{λ \in Λ} X_{λ} \to X_{μ}$ （ $μ \in Λ$ ）を標準射影とする．すべての ${pr}_{λ}$ が連続となる $\prod_{λ \in Λ} X_{λ}$ の位相の中で最弱のものを $O$ とするとき， $O$ を族 $(O_{λ})_{λ \in Λ}$ の直積位相といい，位相空間 $(\prod_{λ \in Λ} X_{λ}, O)$ を $((X_{λ}, O_{λ}))_{λ \in Λ}$ の直積（位相）空間という．

　この位相をふたたび $O$ として，これも具体的に書きくだしてみましょう．任意の $λ \in Λ$ , $U_{λ} \in O_{λ}$ について， ${pr}_{λ}$ が連続になるという条件から ${pr}_{λ}^{- 1} (U_{λ}) \in O$ です．有限個の開集合の共通部分は開集合ですから，任意の $n \in N$ , $λ_{0}, λ_{1}, \dots, λ_{n} \in Λ$ について， $⋂_{i = 0}^{n} {pr}_{λ_{i}}^{- 1} (U_{λ_{i}}) \in O$ となります．なので，これらの全体
${⋂_{i = 0}^{n} {pr}_{λ_{i}}^{- 1} (U_{λ_{i}}) | n \in N, λ_{0}, \dots, λ_{n} \in Λ, U_{λ_{i}} \in O_{λ_{i}} (0 ⩽ i ⩽ n)}$
を $B$ とすると， $B \subseteq O$ が成り立ちます．なので， $O$ の最小性により， $O$ は $B$ が生成する位相になります．もちろん， $B$ は $O$ の開基ということになりますね．
　ちなみに，射影による逆像をもう少し具体的に表してみると，任意の $μ \in Λ$ , $U_{μ} \in O_{μ}$ について ${pr}_{μ}^{- 1} (U_{μ}) = U_{μ} \times \prod_{λ \in Λ ∖ {μ}} X_{λ}$ となって，
$⋂_{i = 0}^{n} {pr}_{λ_{i}}^{- 1} (U_{λ_{i}}) = \prod_{i = 0}^{n} U_{λ_{i}} \times \prod_{λ \in Λ ∖ {λ_{0}, \dots, λ_{n}}} X_{λ}$
となります．有限個の位相空間の直積空間の場合とは異なり，開基の元には全体集合 $X_{λ}$ たちも入りこむのです．

　さて，以上のように直積位相を定めると，次の普遍性が成り立ちます．

直積空間の普遍性

　 $Λ$ を集合， $((X_{λ}, O_{λ}))_{λ \in Λ}$ を $Λ$ を添字集合にもつ位相空間族， ${pr}_{μ} : \prod_{λ \in Λ} X_{λ} \to X_{μ}$ （ $μ \in Λ$ ）を標準射影， $(\prod_{λ \in Λ} X_{λ}, O)$ を直積空間とする．このとき， $((X_{λ}, O_{λ}))_{λ \in Λ}$ 上の任意の錐 $((A, O_{A}), (f_{λ} : (A, O_{A}) \to (X_{λ}, O_{λ}))_{λ \in Λ})$ に対して，各 $λ \in Λ$ について ${pr}_{λ} \circ u = f_{λ}$ をみたす連続写像 $u : (A, O_{A}) \to (\prod_{λ \in Λ} X_{λ}, O)$ がただ1つ存在する．

$^{\forall} (A, O_{A})^{\forall} f_{μ}^{\exists!} u (\prod_{λ \in Λ} X_{λ}, O) {pr}_{μ} (X_{μ}, O_{μ})$

　もちろん，直積集合のときの議論から， $u$ は存在するなら $u (a) = (f_{λ} (a))_{λ \in Λ}$ という写像になるしかありません．この命題の重要なところは， $u$ が連続になるという点です．定義2，定義3のように直積位相を定めた恩恵がここに現れていますね．
　この命題の系として，次の主張が得られます．この系は，位相空間論の本でよく目にする形だと思います．

命題3

　 $Λ$ を集合， $((X_{λ}, O_{λ}))_{λ \in Λ}$ を $Λ$ を添字集合にもつ位相空間族， ${pr}_{μ} : \prod_{λ \in Λ} X_{λ} \to X_{μ}$ （ $μ \in Λ$ ）を標準射影， $(\prod_{λ \in Λ} X_{λ}, O)$ を直積空間とする．このとき，任意の位相空間 $(A, O_{A})$ と写像 $f : A \to X$ とについて，次の(1), (2)は同値である：

$f$ は連続である．
任意の $λ \in Λ$ について ${pr}_{λ} \circ f$ は連続である．

　つまり， $f$ が連続であることと， $f$ の各成分 $f_{λ} : = {pr}_{λ} \circ f$ がすべて連続であることとは同値になるのです．

ベクトル空間の直積

　体 $K$ 上の2つのベクトル空間 $(V, +_{V}, \cdot_{V})$ , $(W, +_{W}, \cdot_{W})$ に対しても，これらの直積を考えてみましょう．まどろっこしいですが，演算は強調して表すことにします．位相空間の場合と同じように，直積集合 $V \times W$ に加法 $+$ とスカラー乗法 $\cdot$ を定めます．さきほどは，標準射影が連続となるような位相を入れていたので，今回は，標準射影 ${pr}_{V}$ , ${pr}_{W}$ が $K$ 線型写像となるような演算を考えましょう．
　 $(v, w), (v^{'}, w^{'}) \in V \times W$ と $k \in K$ とを任意にとります．このとき，要請から
$\begin{matrix} {pr}_{V} ((v, w) + (v^{'}, w^{'})) = {pr}_{V} (v, w) +_{V} {pr}_{V} (v^{'}, w^{'}) = v +_{V} v^{'}, \\ {pr}_{V} (k \cdot (v, w)) = k \cdot_{V} {pr}_{V} (v, w) = k \cdot_{V} v \end{matrix}$ となります． ${pr}_{W}$ についても同様です．このことから， $V \times W$ に入る演算はおのずと次のように定まります：
$(v, w) + (v^{'}, w^{'}) = (v +_{V} v^{'}, w +_{W} w^{'}), k \cdot (v, w) = (k \cdot_{V} v, k \cdot_{W} w) .$
つまり，各成分ごとに計算を実行するような演算になります．そして，この演算を入れた $(V \times W, +, \cdot)$ もまた $K$ 上のベクトル空間になるので，これを $(V, +_{V}, \cdot_{V})$ , $(W, +_{W}, \cdot_{W})$ の直積（ベクトル）空間というのです．
　このことは， $K$ 上のベクトル空間族 $((V_{λ}, +_{λ}, \cdot_{λ}))_{λ \in Λ}$ についても成り立ちます．つまり，各標準射影が $K$ 線型になるような演算を直積集合 $\prod_{λ \in Λ} V_{λ}$ に入れようとすると，
$(v_{λ})_{λ \in Λ} + (v_{λ}^{'})_{λ \in Λ} = (v_{λ} +_{λ} v_{λ}^{'})_{λ \in Λ}, k \cdot (v_{λ})_{λ \in Λ} = (k \cdot_{λ} v_{λ})_{λ \in Λ}$
という演算になるほかないのです．

　そして，このように演算を定めてあげることによって，やはり普遍性が成り立ちます．ただし，錐の脚は $K$ 線形写像としています．

直積空間の普遍性

　 $Λ$ を集合， $K$ を体， $((V_{λ}, +_{λ}, \cdot_{λ}))_{λ \in Λ}$ を $Λ$ を添字集合にもつ $K$ 上のベクトル空間族， ${pr}_{μ} : \prod_{λ \in Λ} V_{λ} \to V_{μ}$ （ $μ \in Λ$ ）を射影， $(\prod_{λ \in Λ} V_{λ}, +, \cdot)$ を直積空間とする．このとき， $((V_{λ}, +_{λ}, \cdot_{λ}))_{λ \in Λ}$ 上の任意の錐 $((W, +_{W}, \cdot_{W}), (f_{λ} : (W, +_{W}, \cdot_{W}) \to (V_{λ}, +_{λ}, \cdot_{λ}))_{λ \in Λ})$ に対して，各 $λ \in Λ$ について ${pr}_{λ} \circ u = f_{λ}$ をみたす $K$ 線型写像 $u : (W, +_{W}, \cdot_{W}) \to (\prod_{λ \in Λ} V_{λ}, +, \cdot)$ がただ1つ存在する．

$^{\forall} (W, +_{W}, \cdot_{W})^{\forall} f_{μ}^{\exists!} u (\prod_{λ \in Λ} V_{λ}, +, \cdot) {pr}_{μ} (V_{μ}, +_{μ}, \cdot_{μ})$

　ちなみに，このような演算の定義と普遍性の話は，まったく同様にして，群・環などの代数的な対象の直積についても成り立ちます．

「直積」という概念の統一

　ここまで，いくつかの数学的対象の「直積」について述べてきましたが，そのどれもが似たような普遍性をみたしていましたね．というか，普遍性をみたすようにそれらを構成をしてきたという認識の方が正しいかもしれません．すると「この各理論における話を統合し，その1つの定義によってさまざまな『直積』を与えられるようにしてしまえるのではないか」という気にはなってこないでしょうか．ならないですか？なりますよね？じつは，この願望は，圏論の言葉によって見事に叶います．やってやりましょう，「直積」の一般化を……と行きたいところですが，1つの記事に収めてしまうと長くなってしまうので，この話は次の記事に持ち越すことにします．

　ここまでご覧くださりありがとうございました！