关于例8.4.2的第一个“为什么”:
对于任何的集合$I$与$X$,都有$\prod_{\alpha\in I} X=X^I$,为什么?
答:根据定义$\prod_{\alpha\in I}X=\{f:\forall\alpha\in I,f(\alpha)\in X\}$,这也就是$X^I$.
第二个“为什么”:其实是叫读者证明两种笛卡尔积的定义是兼容的,即当$I$是有限集时,无限笛卡尔积的定义与有限笛卡尔积的定义等价.这是容易证明的.