S { pi1(Ui ) | Ui Ti ,i 1,2}
是 T 的一个子基.
§4.1 乘积拓扑空间X×Y 证明:根据拓扑积空间的定义,B={U1 U2 |Ui Ti} 是
积空间 X 的一个基,令 B 为 S 的所有非空有限子族之 交的全体构成的集族,即
B {S1 S2 Sn | Si S,i 1,2, n, n Z }.
(2) 对 于 U1 U2 , V1 V2 B , 及 (x1, x2 ) ∈ (U1 U2) I (V1 V2),由于(U1 U2 ) I (V1 V2 )=(U1 I V1) (U2 I V2 );必 有 x1 ∈ U1 I V1, x2 ∈ U2 I V2 , 以 及 U1 V1 T1 , U2 V2 T2 , (x1, x2 ) ∈ (U1 I V1) (U2 I V2 ) (U1 U2 ) I (V1 V2 ).
空间
X1
X
到第
2
i
个坐标空间
X
i
投射.
证明:
若 f :Y (X1 X2) 连 续 , 由 定 理 4.1.7 知 pi : X1 X 2 Xi 也 是 连 续 映 射 , 因 此 对 i {1, 2}, pi o f : Y X i是连续映射.
§4.1 乘积拓扑空间X×Y
定 理 4.1.8 设 X= X1 X 2 是 两 个 拓 扑 空 间 (X1,T1) , (X 2, T2 ) 的拓扑积空间,Y 也是一个拓扑空间,
则映射 f :Y (X1 X2) 连续当且仅当对于每一个
i {1,2},复合映射 pi o f : Y Xi连续.其中 pi是拓扑积
xi Bi Ui (i 1, 2).
§4.1 乘积拓扑空间X×Y
因 此 ,x= (x1, x2 ) B1 B2 U1 U2 W . 从 而 对