证:
第一部分:先证明若pi:Xi~→Xi,i=1,2p_i:\widetilde{X_i}\rightarrow X_i,i=1,2pi:Xi
→Xi,i=1,2 都是覆叠映射,且叶数分别为n1,n2n_1,n_2n1,n2,那么p1×p2:X1~×X2~→X1×X2p_1\times p_2:\widetilde{X_1}\times\widetilde{X_2}\rightarrow X_1\times X_2p1×p2:X1
×X2
→X1×X2 也是一个复叠映射,且叶数为n1⋅n2n_1\cdot n_2n1⋅n2.
因为对于任意XiX_iXi 中的基本邻域UiU_iUi,pip_ipi是同胚,p1×p2p_1\times p_2p1×p2仍然是双射,(p1×p2)−1(U1×U2)=p1−1(U1)×p2−1(U2)(p_1\times p_2)^{-1}(U_1\times U_2)=p^{-1}_1(U_1)\times p^{-1}_2(U_2)(p1×p2)−1(U1×U2)=p1−1(U1)×p2−1(U2)仍然是开集,所以对X1×X2X_1\times X_2X1×X2中的任意开集(p1×p2)−1(∪j(U1j×U2j))=∪j(p1−1(U1j)×p2−1(U2j))(p_1\times p_2)^{-1}(\cup_j(U_1^j\times U_2^j))=\cup_j( p^{-1}_1(U^j_1)\times p^{-1}_2(U^j_2))(p1×p2)−1(∪j(U1j×U2j))=∪j(p1−1(U1j)×p2−1(U2j