1701041280
无穷多个拓扑空间｛（Xλ，τλ）：λ∈Λ｝的乘积空间的定义要麻烦一些．｛Xλ：λ∈Λ｝的笛卡儿积规定为
1701041281
1701041282
1701041283
1701041284
1701041285
1701041286
1701041287
1701041288
这里记号表示集合族｛Xλ：λ∈Λ｝的无交并（参见第87页）．其上的拓扑通常有两种，它们分别由和且除去有限个λ外，Uλ＝Xλ｝所生成．最常用的是第二种，称为乘积拓扑（或Тихонов拓扑），它保留有限乘积空间的更多的性质．下面我们将只讨论有限乘积空间．
1701041289
1701041290
3.2 乘积空间的性质
1701041291
1701041292
1701041293
由乘积拓扑的定义直接得到投射ji：X1×X2→Xi的连续性．ji还是开映射（习题3）．设Y是任一拓扑空间，f：Y→X1×X2是一映射．称fi＝jif：Y→Xi（i＝1，2）为f的两个分量（映射）．于是f与它的两个分量互相决定．
1701041294
1701041295
1701041296
定理1.3 对于任何拓扑空间Y和映射f：Y→X1×X2，f连续f的分量都连续．
1701041297
1701041298
1701041299
1701041300
证明 ．因为ji连续，所以当f连续时，复合映射fi＝jif也连续（i＝1，2）．
1701041301
1701041302
1701041303
1701041304
1701041305
1701041306
1701041307
1701041308
．设Ui∈τi（i＝1，2），则（Ui）都是Y的开集．容易看出f（y）∈U1×U2fi（y）∈Ui（i＝1，2），因此f-1（U1×U2）＝，它是Y的开集．对于X1×X2中一般的开集W，有其中Ui，α∈τi，∀α∈．于是
1701041309
1701041310
1701041311
1701041312
1701041313
也是Y的开集．因此f是连续的． ▎
1701041314
1701041315
对于任何多个拓扑空间的乘积空间（无穷情形用乘积拓扑），定理同样成立．还可证明，X1×X2上使定理能成立的拓扑只有乘积拓扑．
1701041316
1701041317
推论 ∀b∈X2，由x↦（x，b）规定的映射jb：X1→X1×X2是嵌入映射．
1701041318
1701041319
1701041320
证明 须要验证ib：X1→ib（X1）＝X1×｛b｝是同胚．它显然是一一对应．是j1在X1×｛b｝上的限制，因此是连续的．ib的两个分量分别是恒同映射id：X1→X1和X1到X2的常值映射（把X1映为｛b｝），都是连续的．由定理1.3推出ib是连续的． ▎
1701041321
1701041322
3.3 拓扑基
1701041323
1701041324
乘积拓扑是用一个特定的子集族生成的．这种规定拓扑的方法在度量空间中已经用过．度量空间的开集是球形邻域的并集，也就是说度量空间的球形邻域族生成了度量拓扑．拓扑基就是从以上方法中抽象出的一个一般性概念．
1701041325
1701041326
1701041327
1701041328
1701041329
