【拓扑学知识】3.乘积空间与拓扑基

在介绍乘积拓扑之前，我们要先学习3个概念：生成子集族、笛卡儿积和投射。

1.前置知识

1.1生成子集族

设$\Lambda$是$X$的一个子集族，定义$\Lambda$生成的子集族$\overline{\Lambda }$如下： Λ ‾ = { U ⊂ X ∣ U 是 Λ 的 若 干 成 员 的 闭 集 } = { U ⊂ X ∣ ∀ x ∈ U , ∃ B ∈ Λ , s . t . x ∈ B ⊂ U } \overline{\Lambda}=\lbrace U \subset X | U是\Lambda的若干成员的闭集 \rbrace \\ =\lbrace U \subset X | \forall x \in U,\exists B\in\Lambda,s.t. x\in B \subset U \rbrace Λ={U⊂X∣U是Λ的若干成员的闭集}={U⊂X∣∀x∈U,∃B∈Λ,s.t.x∈B⊂U}显然，$\Lambda \subset \overline{\Lambda }$且$\varnothing \in \overline{\Lambda }$。(因为“若干”嘛，可以是全部也可以是0个咯）

1.2 笛卡儿积

设$X_1$和$X_2$是两个集合，定义二者的笛卡儿积为： X 1 × X 2 = { ( x 1 , x 2 ) ∣ x 1 ∈ X 1 , x 2 ∈ X 2 } X_1 \times X_2 = \lbrace(x_1,x_2)|x_1 \in X_1, x_2 \in X_2 \rbrace X1​×X2​={(x1​,x2​)∣x1​∈X1​,x2​∈X2​}

1.3 投射

规定$j_i:X_1\times X_2\to X_i;j_i(x_1,x_2)=x_i(i=1,2)$，称$j_i$为$X_1\times X_2$到$X_i$的投射。
如果$A_i\subset X_i(i=1,2)$,则$A_1\times A_2\subset X_1\times X_2$，并且容易验证得：$A_i,B_i\subset X_i(i=1,2)$$$(A_1\times A_2)\bigcap (B_1\times B_2)=（A_1\bigcap B_1)\times (A_2\bigcap B_2)$$

2.乘积空间

2.1 乘积拓扑

当然乘积空间也是拓扑空间的一种，要得到该空间，我们需要先定义在$X_1\times X_2$上的一个拓扑$\tau$：
$\tau$是使$j_1,j_2$都连续的最小拓扑。
首先考察$\tau$中包含哪些元素（集合）。
$\forall U_i\in {\tau }_i(i=1,2)$，若$j_1,j_2$都连续,则$j_i^{-1}(U_i)\in \tau$，所以$$U_1\times U_2=(U_1\bigcap X_1)\times (X_2\bigcap U_2)=(U_1\times X_2)\bigcap (X_1\times U_2)=j_1^{-1}(U_1)\bigcap j_2^{-1}(U_2)\in \tau$$这里如果一个$U_i=X_i(\in {\tau }_i)$，则(以$U_2=X_2$为例)$U_1\times U_2=U_1\times X_2=j_1^{-1}(U_1)\in \tau$。
构造$X_1\times X_2$的子集族 Λ = { U 1 × U 2 ∣ U i ∈ τ i , i = 1 , 2 } \Lambda =\lbrace U_1 \times U_2 | U_i \in \tau_i,i=1,2 \rbrace Λ={U1​×U2​∣Ui​∈τi​,i=1,2}，则所要构造的拓扑$\tau$显然是包含$\Lambda$的，根据拓扑公理（2），$\tau$也包含$\overline{\Lambda }$。因此只要证明$\overline{\Lambda }$是$X_1\times X_2$的拓扑，则$\overline{\Lambda }$即为所要求的乘积拓扑。

定理： $\tau =\overline{\Lambda }$是$X_1\times X_2$的乘积拓扑。
证明：由上面分析知，只需要证明$\overline{\Lambda }$是$X_1\times X_2$的一个拓扑即可。
因为$X_1\in {\tau }_1$且$X_2\in {\tau }_2$，所以$X_1\times X_2\in \Lambda \subset \overline{\Lambda }$，另外由生成子集族的定义知当“若干”为0时：$\varnothing \in \overline{\Lambda }$。所以 $\tau =\overline{\Lambda }$满足拓扑公理（1）。
由生成子集族的定义知， $\tau =\overline{\Lambda }$的任意并仍在 $\tau =\overline{\Lambda }$中，即 $\tau =\overline{\Lambda }$满足拓扑公理（2）。
设$\forall W,W^{\prime }\in \tau$,$\forall (x_1,x_2)\in W\bigcap W^{\prime }$，则$(x_1,x_2)\in W$，从而有$U_i\in {\tau }_i$,使得$(x_1,x_2)\in U_1\times U_2\subset W$；同理$(x_1,x_2)\in W^{\prime }$，$(x_1,x_2)\in U_1^{\prime }\times U_2^{\prime }\subset W^{\prime }$。于是有$(x_1,x_2)\in (U_1\times U_2)\bigcap (U_1^{\prime }\times U_2^{\prime })=(U_1\bigcap U_1^{\prime })\times (U_2\bigcap U_2^{\prime })\in \Lambda \subset \overline{\Lambda }=\tau$。所以$\forall W,W^{\prime }\in \tau ,W\bigcap W^{\prime }\in \tau$。即$\tau =\overline{\Lambda }$满足拓扑公理（3）。
由上证明得$\tau =\overline{\Lambda }$是$X_1\times X_2$的乘积拓扑。

2.2 乘积空间的定义

称$\tau =\overline{\Lambda }$是$X_1\times X_2$的乘积拓扑，称$(X_1\times X_2,\overline{\Lambda })$为$(X_1,{\tau }_1)$和$(X_2,{\tau }_2)$的乘积空间。简记为$X_1\times X_2$。
用类似的方法可以定义有限个拓扑空间$(X_1,X_2,...,X_n)$的乘积空间为$(X_1\times X_2\times ...\times X_n,\tau )$。$\tau =\overline{\Lambda }$为 Λ = { U 1 × U 2 × . . . × U n ∣ U i ∈ τ i , i = 1 , 2 , . . . , n } \Lambda=\lbrace U_1 \times U_2 \times ... \times U_n | U_i \in \tau_i,i=1,2,...,n \rbrace Λ={U1​×U2​×...×Un​∣Ui​∈τi​,i=1,2,...,n}的生成的子集族。

2.3 乘积空间的性质

设Y是任一拓扑空间，$f:Y\to X_1\times X_2$是一映射。称$f_i=j_i\circ f:Y\to X_i(i=1,2)$为$f$的两个分量（映射）。
定理： 对于任何的拓扑空间$Y$和映射$f:Y\to X_1\times X_2$,$f$连续$⟺$$f$的分量连续。
证明：
必要性显然。
因为$f_i=j_i\circ f$，$f,j_i$均为连续映射，其连续映射的复合映射也连续，所以$f_i$也连续。
充分性：
设$U_i\in {\tau }_i,i=1,2$，则$f^{-1}(U)$都是Y的开集。容易看出$f(y)\in U_1\times U_2⟺f_i(y)\in U_i$,因此$f^{-1}(U_1\times U_2)=f_1^{-1}(U_1\times U_2)\bigcap f_2^{-1}(U_1\times U_2)$为Y中的开集。所以对于$X_1\times X_2$中的一般的开集$W$，有$W={\bigcup }_{\alpha \in \Lambda }{U}_{1,\alpha }\times U_{2,\alpha }$，其中$U_{i,\alpha }\in {\tau }_i$，所以$$f^{-1}(W)=f^{-1}(\bigcup _{\alpha \in \Lambda }{U}_{1,\alpha }\times U_{2,\alpha })$$为开集，所以当$f_1,f_2$连续时，$f$也连续。

3.拓扑基

（🔺这个是重点哦~）

3.1 拓扑基的定义

（1）称集合$X$的一个子集族$\Lambda$为集合$X$的拓扑基，如果$\Lambda$生成的子集族$\overline{\Lambda }$是该集合$X$的一个拓扑。
（2）称拓扑空间$(X,\tau )$的子集族$\Lambda$为这个拓扑空间的拓扑基，如果$\overline{\Lambda }=\tau$。
注意这里一个是集合上的拓扑基，一个是拓扑空间的拓扑基，不一样的哦~

3.2 集合上的拓扑基判定条件

子集族$\Lambda$是集合$X$的拓扑基的充要条件为：
$(1)U_{B\in \Lambda }B=X$
$(2)$若$B_1,B_2\in \Lambda$，则$B_1\bigcap B_2\in \overline{\Lambda }$(即$\forall x\in B_1\bigcap B_2$，则存在$B\in \Lambda$，使得$x\in B\subset B_1\bigcap B_2)$。
证明：必要性显然。
充分性的证明。
由(1)知$X\in \Lambda \subset \overline{\Lambda }$，又因为$\varnothing \in \overline{\Lambda }$，所以$\Lambda$满足拓扑公理（1）。
再由生成子集族的定义知，$\overline{\Lambda }$的任意元素的并仍在$\overline{\Lambda }$中，即$\overline{\Lambda }$满足拓扑公理（2）。
设$U,U^{\prime }$为$\overline{\Lambda }$的两个任意元素，则由生成子集族的定义知：$U={\bigcup }_{\beta \in \Lambda }{U}_{\beta }$，$U^{\prime }={\bigcup }_{\beta \in \Lambda }{U}_{\beta }^{\prime }$，其中$U_{\beta },U_{\beta }^{\prime }\in \Lambda$。所以$U\bigcap U^{\prime }=({\bigcup }_{\beta \in \Lambda }{U}_{\beta })\bigcap ({\bigcup }_{\beta \in \Lambda }{U}_{\beta }^{\prime })={\bigcup }_{\beta \in \Lambda }(U_{\beta }\bigcap U_{\beta }^{\prime })$，由（2）知$U_{\beta }\bigcap U_{\beta }^{\prime }\in \overline{\Lambda }$，由$\overline{\Lambda }$的定义知： ${\bigcup }_{\beta \in \Lambda }(U_{\beta }\bigcap U_{\beta }^{\prime })=U\bigcap U^{\prime }\in \overline{\Lambda }$，所以$\overline{\Lambda }$满足拓扑公理（3）。
综上所述，条件（1）（2）是子集族$\Lambda$是集合$X$的拓扑基的充分条件。

3.3 拓扑空间上的拓扑基判定条件

子集族$\Lambda$是拓扑空间$(X,\tau )$的拓扑基的充要条件为：
$(1)\Lambda \subset \tau$（即$\Lambda$成员都是开集）
$(2)\tau \subset \overline{\Lambda }$（即每个开集都是$\Lambda$中一些成员的并集）
证明：必要性显然。充分性证明如下：
由拓扑公理（2）知，$\tau$生成的子集族$\overline{\tau }=\tau$。再由条件（1）$\Lambda \subset \tau$得：$\overline{\Lambda }\subset \overline{\tau }=\tau$。再有条件（2）得$\overline{\Lambda }=\tau$，所以子集族$\Lambda$是拓扑空间$(X,\tau )$的拓扑基。