2024-05-200814.05 KB5页
2024-05-200701.94 KB7页
2024-05-2001.59 MB7页
子空间拓扑拓扑学子空间拓扑的定义容易看出,是集合一个拓扑.(1);(2);(3).设是一个拓扑空间,其拓扑为.若是的一个子集,我们考察集族.子空间拓扑的定义定义.设是一个拓扑空间,其拓扑为.若,则集族是的一个拓扑,称为子空间拓扑.具有这种拓扑的称为的一个子空间,其开集由中的开集与的交组成.例1.设,.若,则并且是的一个拓扑.所以是的一个子空间.子空间拓扑的性质引理1.若是的拓扑的一个基,则集族是上子空间拓扑的一个基.证:给定的一个... 2024-05-200380.42 KB9页
闭集的定义与性质拓扑学闭集的定义与实例闭集:设是拓扑空间的一个子集,如果是开集,则称为一个闭集.例1.的子集是一个闭集.这是因为是一个开集.类似地,与都是闭集.的子集既不是开集,也不是闭集.例2.对于集合的有限补拓扑,自身及的所有有限集构成的闭集族.例3.对于集合的离散拓扑,每一个集合都是开集,从而每一个集合也都是闭集.例4.考虑实直线上具有子空间拓扑的子集,在这个空间中,由于是中的开集与的交,所以集合是一个开集.类似地... 2024-05-200307.42 KB7页
闭集的闭包与内部拓扑学内部:集合的内部为包含于的所有开集的并,记作或.设是拓扑空间的一个子集.闭包:集合的闭包为包含着的所有闭集的交,记作或.由定义可知,为开集,为闭集,并且.若是开集,则.若是闭集,则.集合的闭包与内部定理1.设是的一个子空间,是的一个子集,表示在中的闭包.那么在中的闭包等于.证:用表示在中的闭包.是中的闭集,是的闭集.因为包含,并且根据定义,等于中包含的所有闭子集的交,所以.另一方面,已知是的一个闭集,存... 2024-05-200295.88 KB6页
聚点拓扑学聚点:如果的任意一个邻域与的交都含有异于的点,则称为的一个聚点.设是拓扑空间的一个子集,是中的一个点.注.集合的聚点可以在中,也可以不在.例1.考虑实直线.若,则区间[中的任何一个点都是的聚点,而除此之外的中的点都不是的聚点.若,则是的唯一聚点.若,则区间[中的点都是的聚点.聚点定理1.设是拓扑空间的一个子集,是的所有聚点的集合,则.证:若,那么的每一个邻域与的交中有异于的点,于是,因此.又根据定义有,所以.设,若,... 2024-05-200205.09 KB5页
2024-05-200207.43 KB4页
连续函数的定义拓扑学连续:设和是两个拓扑空间.函数连续的,如果对于中的每一个开子集,是中的一个开子集.注.如果值域的拓扑是由基给出的,那么证明连续,就只要证明每一个基元素的原像是开的即可.这是因为的任意开集,可以写成基元素的并,即因此如果每一个是开的,那么就是开的.连续函数的定义注.如果的拓扑是由子基给出的,那么为了证明连续,就只要证明每一个子基元素的原像是开的即可.这是因为的任意基元素,可以写成子基元素的有限... 2024-05-200286.13 KB6页
连续函数的性质拓扑学定理1.设和是两个拓扑空间,下列条件是等价的:(1)连续.(2)对于的任意一个子集,有.(3)对于的任意一个闭集,是中的一个闭集.(4)对于每一个和每一个包含的开集,存在包含的一个开集,使得.证:(1)(2).设连续.是的一个子集.若,设是包含的一个开集,则是中包含的一个开集,它必定与相交于某点,于是与有交点.因此得到.连续函数的性质(2)(3).设是的一个闭集,,则.对于,有.于是,.所以得到.(3)(1)设是的一个开集,,则.由于是... 2024-05-200232.22 KB5页
2024-05-200179.01 KB4页
构造连续函数拓扑学定理1.设和都是拓扑空间.(1)(常值函数)若将整个映成的一个点,则连续.(2)(内射)若为的一个子空间,则内射连续.(3)(复合)若和连续,则映射连续.(4)(限制定义域)设连续,为的一个子空间,则限制映射连续.证:(1)设是中的一个开集.若包含点,则.若不包含点,则.无论哪一种情况都有为中的开集.(2)若是的一个开集,则是的一个开集.构造连续函数(3)若是的一个开集,则是的一个开集,是的一个开集.因为,所以是的一个开集.(4)函... 2024-05-200330.52 KB7页
2024-05-200391.57 KB8页
一般情形的积拓扑拓扑学一般情形的积拓扑定理2.映射定义为,其中对每一个,.设具有积拓扑,则连续当且仅当每一个函数连续.证:,设是积空间到其第个坐标空间上的投射.是连续的,这是因为如果是的开集,则集合就是的积拓扑的一个子基元素.若连续,则复合映射是连续的.对于的积拓扑,其典型的子基元素就是,其中,是的开集.因为,所以.又因为连续,因此这个集合是的一个开集.■一般情形的积拓扑例1.考虑的可数无限积.对于每一个,.定义函数如下,... 2024-05-200252.21 KB5页
2024-05-200300.45 KB6页
2024-05-2001.4 MB9页
2024-05-2001.23 MB14页
2024-05-200808.5 KB15页
2024-05-200224.68 KB5页
2024-05-200264.04 KB6页
