【点集拓扑学】（有限）积空间.pptVIP

* * §3.2（有限）积空间 给定了两个拓扑空间，我们首先可以得到一个集合作为它们的笛卡儿积．如何按某种自然的方式给定这个笛卡儿积一个拓扑使之成为拓扑空间？ 　为此我们先对度量空间中的同类问题进行研究．首先回顾n维欧氏空间中 的度量是如何通过实数空间中的度量来定义的：如果 ,则x与y的距离定义为 　　 　　 其中 是R中的两个点 和 的通常距离．这种定义方式推广到有限个度量空间的笛卡儿积中去不会产生任何困难． 定义3.2.1　设 是n≥1个度量空间． 令 ．定义 ：X×X→R使得对于任何 , ∈ X 容易验证 是X的一个度量．我们称 为笛卡儿积 的积度量；称度量空间（X，）为n个度量空间