点集拓扑§2.2 拓扑空间与连续映射.pptVIP

§2.2 拓扑空间与连续映射 问 题 当X是可数集时，X 的可数补拓扑是什么？ X 的可数补拓扑和有限补拓扑是什么关系？ 拓扑空间是否比度量空间的范围要广？ 作 业 59页： 第 7，10题 思考题 ：第2，3,9，12题 * * * * 复习:度量空间与连续映射 一、度量空间定义： ρ：X×X→R称为 X上的度量 ρ满足（1）（正定性；  （2）(对称性) ； （3）（三角不等式） （ X，ρ）为度量空间。 二、开集 球形邻域都是开集 邻域 定理2.1.2 度量空间X中的开集具有以下性质： 　　（1）集合X本身和空集　都是开集； 　　（2）任意两个开集的交是一个开集； 　　（3）任意一个开集族（即由开集构成的族）的并是一个开集． 开集的三条性质 三、连续映射 　　本节重点: 拓扑与拓扑空间的概念,并在此空间上建立起来的连续映射的概念. 　　注意区别: 拓扑空间的开集与度量空间开集的异同,从而连续映射概念的异同. 一、拓扑的定义 　如果T是集合X的一个拓扑，则称偶对（X，T）是一个拓扑空间，或称集合X是一个相对于拓扑T 而言的拓扑空间；此外T 的每一个元素都叫做拓扑空间（X，T）或X中的一个开集． 定义2.2.1 设X是一个集合，T是X的一个子集族．如果T 满足如下条件： 　　（l） X，　∈T 　　（2）若A，B∈T 则A∩B∈T 　　（3）若　　　　　　　　 则称T 是 X的一个拓扑． T T T T 2.以上定义中的条件（2）蕴涵着：有限多个 开集的交仍是开集；（有限交） 条件（3）蕴涵着：任意多个开集的并仍是开集。 （无限并） 注： T 3. 验证拓扑（P58 7、9）。 定义2.2.2 设（X，ρ）是一个度量空间·令Tρ 　为由X中的所有开集构成的集族．根据定理2.1.2，（X， Tρ ）是X的一个拓扑．我们称Tρ为X的由度量ρ诱导出来的拓扑． 二、度量空间与拓扑空间 简而言之： （X，ρ）是一个度量空间 →令Tρ为X的由度量ρ诱导出来的拓扑， 则（X， Tρ ）是X的一个拓扑． 定义2.2.3 设（X，T）是一个拓扑空间．如果存在X的一个度量ρ使得拓扑T 即是由度量ρ诱导出来的拓扑 Tρ，则称（X，T）是一个可度量化空间． 拓扑空间不一定可度量化 不可度量化的拓扑空间的例子 例2.2.1 平庸空间． 设X是一个集合．令={X，　}．容易验证，T 是X的一个拓扑，称之为X的平庸拓扑；并且我们称拓扑空间（X，T）为一个平庸空间．在平庸空间（X，T）中，有且仅有两个开集，即X本身和空集　。 拓 扑 空 间 的 例 子 拓 扑 空 间 的 例 子 例2.2.2 离散空间． 设X是一个集合．令T =P（X），即由X的所有子集构成的族．容易验证，T是X的一个拓扑，称之为X的离散拓扑；可知，在离散空间（X，T）中，X的每一个子集都是开集． 例2.2.3 设X＝{a，b，c}．令T ={　，{a}，{a，b}，{a，b，c}} 容易验证，T 是X的一个拓扑，因此 （X，T）是一个拓扑空间．这个拓扑空间既不是平庸空间又不是离散空间． 拓 扑 空 间 的 例 子 拓 扑 空 间 的 例 子 例2.2.4 有限补空间． 设X是一个非空集合．令 　　T ={U　X|　是X的一个有限子集}∪{　} 下面验证T 是X上的一个拓扑 　　先验证T是X的一个拓扑： 　（3）设　　　．令　　　　　　,显然有 　　（1）X∈T (因为　=　)；另外，根据定义便有　∈T 　　（2）设A，B∈T 如果A和B之中有一个是空集，则A∩B∈T,假定A和B都不是空集．这时 　　　　　　　　 　是X的一个有限子集，所以A∩B∈T . 如果　　　，则 设　　　任意选取　　　．这时 是X的一个有限子集，所以 　　根据上述（1），（2）和（3），P是X的一个拓扑，称之为X的有限补拓扑．拓扑空间（X，P）称为一个有限补空间． 例2.2.5 可数补空间． 设X是一个集合．令 　　P ={U　X |　是X的一个可数子集}∪{　} 通过与例2．2．4中完全类似的做法容易验证（请读者自证）P是X的一个拓扑，称之为X的可数补拓扑．拓扑空间（X，P）称为一个可数补空间． 定义2.2.4 设X和Y是两个拓扑空间，f: X→Y． 如果Y中每一个开集U的原象　（U）是X中的一个开集，则称f是X到 Y的一个连续映射，或简称映射 f连续．（俗称反射开集） 三、连续映射 f g X Y Z U 定义2.2.5 设X和Y是两个拓扑空间．如果f