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
1701041330
定义1.11 称集合X的子集族为集合X的拓扑基，如果是X的一个拓扑；称拓扑空间（X，τ）的子集族为这个拓扑空间的拓扑基，如果
1701041331
1701041332
1701041333
1701041334
这里提出了两个有联系的不同概念：集合的拓扑基和拓扑空间的拓扑基．前者只要求是集合X的一个拓扑，而后者要求是X原有的拓扑τ．这两个概念的判断方法也不一样．
1701041335
1701041336
1701041337
命题1.11 是集合X的拓扑基的充分必要条件是：
1701041338
1701041339
1701041340
1701041341
1701041342
1701041343
1701041344
1701041345
（2）若B1，B2∈，则（也就是∀x∈B1∩B2，存在B∈，使得x∈B⊂B1∩B2）．
1701041346
1701041347
1701041348
证明 必要性显然．下面证充分性，即当（1）和（2）成立时验证满足拓扑公理．
1701041349
1701041350
1701041351
1701041352
1701041353
1701041354
1701041355
1701041356
1701041357
1701041358
1701041359
