32有限积空间.docVIP

§3.2 （有限）积空间 为避免过早涉及某些逻辑上的难点，本节只讨论有限个拓扑空间的积空间，而将一般情形下的研究留待以后去做. 给定了两个拓扑空间，我们首先可以得到一个集合作为它们的笛卡尔积.为按某种正常的方式给定这个笛卡尔积一个拓扑使其成为拓扑空间，我们先考虑度量空间. 一 度量积空间 我们知道在n维欧式空间Rn 中两个点，之间的距离ρ（x,y）定义为：ρ（x,y）= ，其中|是R中两个点xi和yi 的通常距离.推广这个定义得到： 定义3.2.1 设是n≥1个度量空间.令X=X1×X2×…×Xn .定义ρ：X×X →R 使得对于任何，∈X ，ρ（x,y）= . 容易验证ρ 是X的一个度量.我们称ρ为笛卡尔积X=X1×X2×…×Xn 的积度量；称（X,ρ）为n个度量空间的度量积空间. 注 由定义知，Rn 是n个实数空间R的度量积空间. 每个度量空间也是拓扑空间，其拓扑就是其度量诱导出的拓扑.度量积空间的度量诱导的拓扑具有下面的一个重要性质： 定理3.2.1 设是n≥1个度量空间，（X,ρ）为它们的积空间，又设T i 和T 分别是由度量 ρi 和ρ所诱导出来的Xi和X的拓扑，其中i=1,2, …, n .则X的子集族B = {U1 ×U2 ×…×Un | Ui ∈T i , i=1,2, …, n}是X的拓扑T 的一个基. 证明 仅就n=2 的情形加以证明. 首先根据积度量的定义容易得到：对任意x=(x1, x2)∈X和任意ε0，我们有： 其中分别表示xi , x在度量空间Xi 和X中分别以xi , x为中心，以μ为半径的球形邻域，i=1,2 . 验证 若y=(y1,y2)∈左，则ρ1(x1 , y1)2 ，ρ2(x2 , y2 )2 所以，y∈中，所以左中. 若y=(y1,y2) 右，则（因为这时ρ1(x1 , y1)2 ， ρ2(x2 , y2 )2 y中.这证明 中右. 设 U1×U2∈ B ，其中U1∈T 1 , U2∈T 2 ，如果x = (x1 , x2 )∈U1×U2， 则存在和，于是 ，其中.这说明 U1×U2是x的一个邻域.由于x是U1×U2中的任意一个点，所以U1×U2是X中的一个开集.这证明BT . 如果U是X中的任意一个开集，即U∈T ,则对于每一点x∈U，存在，从而.由此可见 .这就是说，X中的每一个开集是B中的某些元素的并.因此B是T的一个基. 一般情况的证明类似. 二 拓扑积空间 由定理3.2.1的启示，我么按下列方式引进有限个拓扑空间的积空间这一概念.先看下面的定理 定理3.2.2 设(X1，T 1), (X2，T 2)，…，(XT n )是n≥1个拓扑空间，则X=X1 ×X2 ×…×Xn有唯一的一个拓扑T以X的子集族B ={U1×U2×… ×Un | Ui ∈T i ，i=1,2,…，n } 为它的一个基. 证明 ⑴ 由于X=X1 ×X2 ×…×Xn∈B ，所以； ⑵ 如果U1×U2×… ×Un ，V1×V2×… ×Vn∈B ，其中Ui ，Vi∈T i ，i=1,2,…，n ,则（U1×U2×… ×Un ）∩（V1×V2×… ×Vn）=(U1∩V1)×(U2∩V2)×…×(Un∩Vn)∈B ，由定理2.6.3，可见本定理的结论成立. 证毕. 定义3.2.2 设(X1，T 1), (X2，T 2)，…，(XT n )是n≥1个拓扑空间，则X=X1 ×X2 ×…×Xn的以子集族B ={U1×U2×… ×Un | Ui ∈T i ，i=1,2,…，n } 为它的一个基的那个唯一的拓扑T 称为拓扑T 1, T 2，…，T T ) 称为拓扑空间(X1，T 1), (X2，T 2)，…，(XT n )的（拓扑）积空间. 说明 ⑴ 据定理2.6.3 ， X=X1 ×X2 ×…×Xn以B ={U1×U2×… ×Un | Ui ∈T i ，i=1,2,…，n } 为基的那个唯一的拓扑 T =. ⑵ 设X1， X2，…，XX=X1 ×X2 ×…×Xn可以有两种方式得到它的拓扑：一是先将X作成度量积空间，然后由积度量诱导出X的拓扑T ，其基为B ={U1×U2×… ×Un | Ui ∈T i ，i=1,2,…，n }（定理2.3.1）；另一个是先用每一个Xi的度量ρi 诱导出Xi的拓扑T i ，然后将X考虑作为诸拓扑空间Xi的拓扑积空间，其拓扑（即积拓扑）T 的基也是 B ={U1×U2×… ×Un | Ui ∈T i ，i=1,2,…，n } （定理2.3.2和定义3.2.2） .因为基是同一个，所以这两种方式得到的拓扑是一样的.下面的定理是这一问题的明确陈述： 定理3.2.3