拓扑空间与连续映射doc.doc

2.1 度量空间与连续映射 1.定义, 使得对任意, , 有和. 证明和都不是的度量. 证明: 取, 其中, . 则, . 故不是的度量. . 故也不是的度量. 2. 证明: 只含有有限个点的度量空间都是离散的度量空间. 证明: 设是一个度量空间, 其中. . 则对任意,. 这样, 是一个离散的度量空间. 3. 设是一个离散的度量空间. 证明: (1) 的每一个子集都是开集; (2) 如果也是一个度量空间, 则任何映射都是连续的. 证明: (1) 对任意, 取, 使得, 有. 则. 的单点子集都是开集. 从而的每一个子集都是开集. (2) 设是从到的任一映射.任取及. 则 , 其中定义如(1). 故连续. 4. 集合的两个度量和称为等价的, 如果的子集是度量空间的开集当且仅当是度量空间的开集. 设和是集合的两个等价的度量, 是一个度量空间, . 证明相对于度量是连续的当且仅当相对于度量是连续的. 证明: 设相对于度量是连续的. 任取中开集. 为的开子集. 因为和是的等价度量, 亦为的开子集. 由定理2.1.4, 相对于度量是连续. 若相对于度量是连续, 则同理可推出相对于度量连续. 5. 定义, 使得对于任何, , max 证明: 和以及的通常度量是的等价的度量. 在平面上取定一个直角坐标系, 就以上提到的每一种度量画一个单位圆, 看看它们是什么样子的. 证明: 先证明, 是的度量. 显然它们满足度量的条件(1), (2). 下面证明它们满足三角不等式. 设. 故, 是的度量. 其次证明证明, 和等价. (1) 设为中的开集, 即对任意, 存在, 使, 其中表示度量空间中的-邻域. 由(1)右边不等式, . 即见是中的开集. 反之, 设是中的开集, 即对任意, 存在, 使. 由(1)左边不等式, . 即见是中的开集. 因此, 和有相同的开集, 和等价. 又 (2) 利用此不等式, 仿上可证和有相同的开集. 从而和等价. 图形略. 6. 从欧氏平面到实数空间的映射, 定义为对于任何, max 证明和都是连续映射. 证明: 先征是连续映射. 设是中任意一点. 对任意, , 因为 (其中是第5题中定义的大度量), 故. 于是在点对于度量而言是连续的. 由于是任意的, 从而对于度量而言连续. 由第4题知对于通常的度量连续. 其次证明连续. 设是中任意一点. 对任意, , 因为 (其中是第5题中定义的大度量), 故. 于是在点对于度量而言是连续的. 由于是任意的, 从而对于度量而言连续, 从而由第4题知知对度量连续. 7. 设是一个度量空间. , 分别定义为对于任意, , 证明, 和是的三个等价度量. 证明: 先证明, 是的度量. , 显然满足度量的条件(1), (2). 下面证明它们满足三角不等式. 设. 满足三角不等式是因为 若不满足三角不等式, 即存在, 使 由的定义, , 且, 从而, , 故, , 于是, 与是度量矛盾. 因此, , 都是的度量. 其次证明, 和等价. 对任意, , 因为, 所以. 从而中的开集是中的开集. 反之, 若是中的开集, 对任意, 存在, 使得. 对任意, 因为 所以. 这样, 是中的开集. 故, 有完全相同的开集, 和等价. 因为, 所以中的开集是中的开集. 另一方面, 当时, ; 当时, . 因此, 总有. 从而中的开集也是中的开集. 即中的开集也是中的开集. 和有完全相同的开集, 和等价. 所以, , 和等价. 2.2 拓扑空间与连续映射 1. 证明例2.2.5. 证明: (1) . . (2) 设. 若, 则. 若, 则可数, . (3) 设. . 显然. 若, 则. 若, 选取. 这时有. 可见可数. 故. 2. 对于每一个, 令, 证明是正整数的一个拓扑. 证明: . . ; , ; . ; , . 3. 就, 3, 4指出: (1) 恰含个点的集合一共有多少个拓扑? (2) 恰含个点的拓扑空间一共有多少个同胚等价类? 解: 略. 4. 分别确定有限补空间和可数补空间何时是可度量化空间. 解: 我们证明, 有限(可数)补空间可度量化当且仅当有限(可数). 若有限(可数)补空间有限(可数), 易验证的单点集为开集, 从而离散, 故可度量化(见第5题). 下证条件的必要性. 设是可度量化的有限补空间, 的度量诱导的有限补拓扑. 若为单点集, 显然有限. 设含有至少两个点. 取, . 令正数. 因为是的开集, 则有限. 同理有限. 利用三角不等式可验证, 即. 所以有限. 这样有限. 设是可数补空间且的度量诱导的可数补拓扑. 取