——西安电子科技大学数学与统计学院杨有龙教授ylyang@https://www.doczj.com/doc/d42259457.html, - 8 -
1.2 度量空间的拓扑性质与连续性 1.
2.1 度量空间的拓扑性质
定义1.2.1 邻域
设(,)X d 是度量空间，0x X ∈，0δ>，称集合0(,)O x δ0{|(,),}x d x x x X δ=<∈为以0x 为中心，δ为半径的开球，或0x 的一个δ邻域．如果不特别强调半径，用0()O x 表示0x 的半径；称0(,)O x δ0{|(,),}x d x x x X δ=≤∈为闭球．
定义1.2.2 内点、开集与闭集
设(,)X d 是一度量空间，0x G X ∈?，若存在0x 的δ邻域0(,)O x δG ?，则称点0x 为G 的内点．如果G 中的每个点均是它的内点，则称G 为开集．并规定空集φ为开集．对于F X ?，若C F X F =?是开集，则称F 为闭集．
注1：实数域中的任何开球是开集，闭球是闭集，对于度量空间其结论如何？ 例1.2.1 度量空间(,)X d 的开球0(,)O x δ是开集．
证明 x ?∈0(,)O x δ,显然0(,)d x x δ<，取*01
((,))2
d x x δδ=?，即*02(,)d x x δδ+=，则对任
何*(,)y O x δ∈，都有*(,)d x y δ<，从而
0(,)d y x 0(,)(,)d y x d x x ≤+*0(,)d x x δ<+δ<．
即*(,)O x δ?0(,)O x δ,所以0(,)O x δ是开集．□
图2.1 例1.2.1和例1.2.2证明示意图
例1.2.2 度量空间(,)X d 的闭球0(,)O x δ是闭集．
证明 0((,))C x O x δ?∈，显然0(,)d x x δ>，取*01
((,))2
d x x δδ=?，即*02(,)d x x δδ+=，则
*(,)y O x δ?∈，有
*00(,)(,)(,)2(,)d y x d x x d y x d y x δδδ≥?=+?>
可见0(,))C y O x δ∈，即*(,)O x δ?0(,))C O x δ，从而0((,))C O x δ为开集，故0,)O x δ为闭集．
例1.2.3 设0(,)X d 是离散度量空间，A 是X 的任意非空子集，证明A 既是开集又是闭集． 证明 0x A ?∈，取 12δ=
，则{}000011(,)|(,),22O x x d x x x X x A ??
=<∈=?????
，故0x 是A 的
内点，从而A 是开集．由于X A ?是X 的子集，故它是开集，从而A 是闭集．□
下面是一些与实数域相类似的开集、闭集性质，仿照相应的证明可证得． 定理1.2.1（开集的性质）度量空间X 中的开集具有以下性质： (1) 空集φ和全空间X 都是开集； (2) 任意多个开集的并集是开集； (3) 有限个开集的交集是开集.
定理1.2.2（闭集的性质）度量空间X 中的闭集具有以下性质： (1) 空集φ和全空间X 都是闭集； (2) 任意多个闭集的交集是闭集； (3) 有限个闭集的并集是闭集. 定义1.2.3 聚点与闭包
设(,)X d 是一度量空间， A X ?，0x X ∈，如果在0x 的任意δ邻域0(,)O x δ内含有A 中异于0x 的点，则称0x 是A 的一个聚点或极限点．A 的全体聚点所构成的集合称为A 的导集，记为A ′，称A A ′U 称为A 的闭包，记为．
注2：由聚点的定义知，0x 可以在A 中，也可以不在A 中．0x 是A 的一个聚点的一个等价定义是：0x 的任意一个去心δ邻域与A 的交非空．
定理1.2.3 设(,)X d 是度量空间,0x X ∈,A X ?,那么下面的命题成立: (1) 0x A ′∈当且仅当存在{}n x A ?，使得0lim n n x x →∞
= ；
(2) A 是闭集；
(3) A 是闭集当且仅当A A =.
注3： 对于度量空间(,)X d , 设A 是X 的非空子集,则A 为闭集的充要条件是A A ′?. 如果A φ′≠,那么A 为闭集.
定义1.2.4 边界点与孤立点
设(,)X d 是一度量空间，A X ?，
若0x 的任意邻域内既有属于A 的点，也有不属于A 的点，
——西安电子科技大学数学与统计学院杨有龙教授ylyang@https://www.doczj.com/doc/d42259457.html, - 10 -
则称0x 为A 的边界点．A 的全体边界点所构成的集合，称为A 的边界，记为A ?．若0x A ∈，但0x 不是A 的聚点，则称0x 为A 的孤立点．
注4：0x 是A 的孤立点的充要条件是：存在0x 的某个δ邻域0(,)O x δ，使得
00(,){}A O x x δ=I ．
注5：A 的边界点不是聚点便是孤立点．
注6：闭包的其他形式表示：{}A A A A A A A ′=?=?=o
U U U 的孤立点．其中A o
表示A 的全体内点所构成的集合，称其为A 的内部．
由孤立点的定义可知离散度量空间0(,)X d 中的每个点都是孤立点，由例1.2.3知0(,)X d 的子集A 既开又闭，所以{}A A A A ===o
的孤立点．
对于一般的度量空间X 而言，A X ?，A 的内部A o
是由一些聚点和孤立点组成，A 的边界A ?也是由一些聚点和孤立点组成，且A A φ?=o
I ．A 的导集A ′是由一些内点和边界点组成，
A 的孤立点要么是边界点要么是内点，且{}A A φ′=I 的孤立点．
1.2.2 拓扑空间
定义1.2.5 拓扑空间
设X 是一个非空集合，如果τ是X 的一个子集族，且满足如下条件： (1)空集φ和X 都属于τ．
(2)τ内任意个集合的并集都仍然会属于τ． (3)τ内任意两个集合的交集也仍然会属于τ．
则称子集族τ为X 的拓扑；(,)X τ为一个拓扑空间，在不引起混乱的情形下简记为X ．τ内的集合称为拓扑空间的开集，X 中的元素称为点．□
对于度量空间(,)X d 而言，若记X 中由度量定义的开集组成的集合为τ，那么容易验证
(,)X τ为一个拓扑空间，称(,)X τ为由距离d 诱导的拓扑．
定义1.2.6 离散拓扑空间
设X 是一个非空集合，τ由X 的所有子集构成，
容易验证τ是X 的一个拓扑，称之为X 的离散拓扑；并且称拓扑空间(,)X τ为一个离散拓扑空间．在离散拓扑空间(,)X τ中，X 的每一个子集都既是开集，又是闭集．□
显然，离散度量空间诱导的拓扑为离散拓扑空间． 定义1.2.7 拓扑空间中的邻域和闭集
设(,)X τ是一个拓扑空间，(1)点x X ∈，V X ?，若存在O τ∈，使得x O V ∈?，则称V 为x 的邻域．(2)子集F X ?，如果c G X F F τ=?=∈，则称F 为拓扑空间X 的闭集．□
定理1.2.4 拓扑空间X 中的闭集具有以下性质： (1) 空集φ和全空间X 都是闭集； (2) 任意多个闭集的交集是闭集； (3) 有限个闭集的并集是闭集. 定义1.2.8 Hausdorff 空间
设(,)X τ是一个拓扑空间，如果X 中任意两个不同的点都有不相交的邻域，则称X 为豪斯道夫(Hausdorff)拓扑空间．□
例1.2.4 度量空间(,)X d 诱导的拓扑空间是Hausdorff 空间． 证明 设00,x y X ∈且00x y ≠，于是00(,)0d x y δ=>，令
0000(,){|(,),}33U O x x d x x x X δδ
==<∈
0000(,){|(,),}33
V O y x d x y x X δδ
==<∈ 显然0U ，0V 分别是00,x y 的邻域，且00U V φ=I ．□
1.2.3 度量空间的连续性
定义1.2.5 连续与一致连续
设11(,)X d ，22(,)X d 是两个度量空间，f 是这两个度量空间之间的一个映射12:f X X →． (1) 关于01x X ∈，如果0ε?>，0δ?>，当1x X ∈且10(,)d x x δ<时，有20((),())d f x f x ε<，则称f 在点0x 处连续．若f 在1X 的每一点处都连续，则称映射f 在1X 上的连续．
(2) 如果0ε?>，0δ?>，1,x y X ?∈，当1(,)d x y δ<时，有2((),())d f x f y ε<，则称f 在1X 上一致连续． □
注7：显然，由一致连续可以推出连续． 定理1.2.4 连续的等价条件
设11(,)X d ，22(,)X d 是两个度量空间，12:f X X →,01x X ∈,则下列各命题等价． (1) 映射f 在0x 点连续；
（2）对于0()f x 的任一邻域0((),)O f x ε，都存在0x 的一个邻域0(,)O x δ使得
]00(,)((),)f O x O f x δε???；
（3）对于X 中的任意点列{}n x X ?，若0()n x x n →→∞，则有
0()()()n f x f x n →→∞．（即00lim lim ()()n n n n x x f x f x →∞
→∞
=?=）
证明 （1）?(2)
由f 在0x 处连续的定义知，
任给0ε>,存在0δ>，当10(,)d x x δ<时，有20((),())d f x f x ε<.注意10(,)d x x δ<即0(,)x O x δ∈,而20((),())d f x f x ε<即0()((),)f x O f x ε∈．所以]00(,)((),)f O x O f x δε???．
——西安电子科技大学数学与统计学院杨有龙教授ylyang@https://www.doczj.com/doc/d42259457.html, - 12 -
（2）?（3）
由（2）知，0ε?>，0δ?>，使得]00(,)((),)f O x O f x δε???．根据假设0n x x →得，对于此0δ>,存在N ,当n N >时，0(,)n x O x δ∈.即0()((),)n f x O f x ε∈，于是20((),())n d f x f x ε<,因此0()()n f x f x →．
（3）?（1）
反证法．假设f 在0x 不连续，则必存在某个正数0ε，使得对于每一个1
n n
δ=，其中1,2,n =L ，有n x 满足101
(,)n d x x n
<
,但200((),())n d f x f x ε≥，显然这与0()()n f x f x →相矛盾．□
图2.2 连续映射示意图
定理1.2.5 连续的充要条件
设(,)X d ，(,)Y ρ是两个度量空间，那么映射:f X Y →是连续映射的充分必要条件是，对
Y 中的任一开集G ，其原象{1(), ()}f G x x X f x G ?=∈∈是开集．
证 必要性?，不妨设1()f G ?非空．任取10()x f G ?∈，即0()f x G ∈．因为G 是开集，故存在0ε>，使0((),)O f x G ε?．由于f 连续，所以对0ε>，有0δ>,使得00((,))((),)f O x O f x G δε??．即10(,)()O x f G δ??．说明0x 是1()f G ?的内点，故1()f G ?是开集．
充分性?：任取0x X ∈，对任意的0ε>，取开集0((),)G O f x ε=，则10(),x f G ?∈由假设1()f G ?是开集，因而存在0δ>，使10(,)()O x f G δ??,故00((,)((),)f O x G O f x δε?=，即f 在0
x 连续． □
注8：由上述定理知，在连续映射下，开集的原象是开集，那么开集的象一定是开集吗？不一定．例如：()sin :f x x R R =→是连续映射，f 将(0,2)π映射为[1,1]?．
例1.2.4 设(,)X d 是度量空间，*x X ∈，那么*()(,):f x d x x X R =→是度量空间X 上的连续映射．
证 任取0x X ∈，对于x X ∈而言，由
**00(,)(,)(,)d x x d x x d x x ?≤及**00(,)(,)(,)d x x d x x d x x ?≤
可得**00(,)(,)(,)d x x d x x d x x ?≤．
0ε?>，2
εδ?=
,当0(,)2
d x x εδ<=
时，就有
**000()()(,)(,)(,)2
f x f x d x x d x x d x x εδε?=?≤<=
<
因此,*
d x x是X上的连续映射．□
(,)
算子拓扑空间 1..算子拓扑空间： 设（Ｘ，ζ）是拓扑空间，Τ为2Χ到2Χ的一个算子，记Ω={A∈2Χ|A=TA}。 定义1.若ζ?Ω，则称T为X的一个强算子，Ω中元素称为强算子开集，如果T进一步还是一个保并算子（算子运算与并运算可交换次序的算子），则称Ω为X的一个强 算子拓扑。 定义2.若?≠Ω?ζ则称T为X的一个弱算子，Ω中的元素称为弱算子开集，如果T进一步还是一个保并算子，则称Ω为X的一个弱算子拓扑。 强算子开集和弱算子开集统称为算子开集，或称T开集。 强算子拓扑和弱算子拓扑统称为算子拓扑，又称T拓扑。 我们约定：下文讨论的算子开集均指强算子开集，算子拓扑均指强算子拓扑。 由算子开集的定义显然有： （1）{X，?} ?Ω； （2）Ω中任意多个成员的并仍在Ω中； 事实上，设Γ?Ω，因T（? A∈ΓA）=? A∈Γ TA=? A∈Γ A,故? A∈Γ A∈Ω （3）Ω中两个成员的交集不一定在Ω中。 定义 3. 设（Ｘ，ζ）是拓扑空间，Τ为2Χ到2Χ的一个保并算子，Ω={A∈2Χ|A=TA}，若ζ?Ω，则称（X，Ω）为一个算子拓扑空间。 一般地，若ζ 1和ζ 2 都是X上的拓扑，则ζ 1 ∩ζ 2 是X上的拓扑。对算子拓扑也有 类似结论： 命题1.设（Ｘ，ζ）是拓扑空间，Ωi为由算子T i诱导的算子拓扑（i=1，2）则Ω1∩Ω2是X上的算子拓扑。 T 1（A）∩T 2 （A），A∈Ω 1 ∩Ω 2 证：令TA= ? A ?Ω1∩Ω2 一方面当A∈Ω 1∩Ω 2 时，TA= T 1 （A）∩T 2 （A）=A∩A=A 所以，A∈Ω；
另一方面当A ?Ω 1∩Ω 2 时，TA≠A，所以，A?Ω； 可见Ω 1∩Ω 2 =Ω是由T诱导的拓扑。 命题2.设（Ｘ，ζ）是拓扑空间，Ωi为由算子T i诱导的算子拓扑（i=1，2）则Ω1?Ω2是X上的算子拓扑。 T 1（A）， A∈Ω 1 证：令TA= T 2（A）， A∈Ω 2 类似地可证Ω 1? Ω 2 =Ω是由T诱导的算子拓扑。 ? A ?Ω1且A ?Ω2 2.算子连续映射： 有了算子拓扑空间，我们可以在这个空间上讨论算子连续映射，就像在拓扑空间中讨论连续映射可以得到一系列连续映射的等价刻划那样，我们将会得到算子连续映射的一系列等价刻划。 参考文献：[1] 尤承业基础拓扑学讲义[M] 北京：北京大学出版社，1997 [2] 钱有华，陈胜敏杨忠道定理在算子开集理论下的推广[J] 浙江科技学院 学报，2004，16（1）：1-3 [3] 钱有华，关于算子紧空间[J] 浙江师范大学学报（自然科学版），2003， 26（4）：333-336
目录 1历史 2空间群的要素 2.1元素，固定点 2.2翻译 2.3滑翔飞机 2.4螺旋轴 2.5一般公式 3空间群的符号 4空间群的分类系统 5在其他维度的空间群 5.1比贝尔巴赫的定理 5.2在小尺寸的分类 5.3双组与时间逆转 6在3维空间群表 7参考 8外部链接 历史 在2维空间群的17壁纸已几百年的群体。 费奥多罗夫（1891年），第一个列举在3维空间群，不久独立Sch?nflies（1891年）和巴洛（1894）列举。这些第一枚举都包含了几个小错误，正确的列表之间费奥多罗夫和Sch?nflies通信过程中发现的230种空间群。 元素的空间群 在三维空间中的空间群是由32与14种布拉维晶格晶体点群，后者属于7晶格系统之一每个组合。在空间组作为一个单元细胞，包括格居中，反射，旋转和不当的旋转（也称为rotoinversion）点群的对称操作，和螺旋轴和滑移面对称操作的平移对称性的某种组合的结果。所有这些对称操作结果共230独特的空间描述所有可能的晶体对称性的群体相结合。 固定点的元素 空间组固定的空间点的元素旋转，反射，身份的元素，和不当的旋转。 翻译 翻译形式的等级3的正常交换子群，称为布拉菲晶格。有14种布拉维晶格可能。空间群由布拉维晶格的智商是一个有限群的32种可能的点群之一。 空间groupsThere符号至少8命名空间组的方法。有些方法可以指定几个不同的名字，以相同的空间群，因此完全有成千上万许多不同的名称。 数。国际晶体学联合会出版的所有空间群类型的表，并赋予每一个唯一的编号从1到230。编号是任意的，除了具有相同的晶体系统或给出点组连续的数字组。国际符号或赫尔曼Mauguin符号。赫尔曼Mauguin（或国际）符号描述晶格和发电机组的一些的。它有一个缩短的形式称为国际短期符号，这是一个使用最常用的晶体，通常由四个符号。首先介绍了围绕布拉菲晶格（P，A，B，C，我，R或F）。未来三年预计沿晶体的高对称性方向之一，描述最突出的对称操作时可见。这些符号是相同的点群，此外滑翔飞机和螺旋轴，上述。例如，石英的空间群为P3121，显示，它表现出原始的图案（即每单位细胞）围绕一个三重螺
第3章子空间（有限）,积空间，商空间在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作． §3.1子空间 本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法． 讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发． 考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义： 定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×Y X×X．显然：Y×Y→R是Y的一个度量（请自行验证）．我们称Y的度量，是由X的度量ρ诱导出来的度量.度量空间（Y，ρ）称为度量空间（X，ρ）的一个度量子空间．
我们常说度量空间Y是度量空间X的一个度量子空间，意思就是指Y是X的一个子集，并且Y的度量是由X的度量诱导出来的．我们还常将一个度量空间的任何一个子集自动地认作一个度量子空间而不另行说明．例如我们经常讨论的：实数空间R中的各种区间（a，b），[a，b]，（a，b]等；n＋1维欧氏空间 中的 n维单位球面: n维单位开、闭球体: 以及n维单位开、闭方体和等等，并且它们也自然被认作是拓扑空间（考虑相应的度量诱导出来的拓扑）． 定理3.1.1 设Y是度量空间X的一个度量子空间．则Y的子集U是Y中的一个开集当且仅当存在一个X中的开集V使得U＝V∩Y． 证明由于现在涉及两个度量空间，我们时时要小心可能产生的概念混淆．对于x∈X（y∈Y），临时记度量空间X（Y）中以x（y）为中心以ε＞0为 半径的球形邻域为，. 首先指出：有=∩Y. 这是因为z∈X属于当且仅当z∈Y且(z,y)<ε. 现在设U∈，由于Y的所有球形邻域构成的族是Y的拓扑的一个基，U可以表示为Y中的一族球形邻域，设为A的并．于是
第二章 点 集 拓 扑 §2.1. n 维欧氏空间、度量空间、拓扑空间的概念 定义2.1.1．) , ,(n 1ξξ =x ，n R y ∈=) , ,(n 1ηη ，定义 R R R d n n →?: 为 ∑=-= n 1 2 )()y ,(i i i x d ηξ． 称d 为n R 上的Euclid 距离． 易证距离d 满足： 01．y x 0)y ,( ,0)y ,(=?=≥x d x d ； 02．) x ,()y ,(y d x d =； 03．)z ,()y ,()z ,(y d x d x d +≤， )R z y, ,(n ∈x ． 定义2.1.2．( 距离空间，Metrical Space ) X 为非空集合，二元函数 R X X d →?: 满足： 01．非负性：y x 0)y ,( ,0)y ,(=?=≥x d x d ； 02．对称性：) x ,()y ,(y d x d =； 03．三角不等式：)z ,()y ,()z ,(y d x d x d +≤ )R z y, ,(∈x ． 称d 为X 上的一个距离，)d ,(X 为距离空间或度量空间．如 X A ?，称)d ,(A 为距离子空间． 0r ,>∈X x ，开球：} ) ,({)r ;(r x y d X y x B <∈=； 闭球：} ) ,({)r ;(r x y d X y x S ≤∈=． 开集：X A ? ．A x ∈，?球 A x B ?)r ;(，称x 为A 的一个内点．如A 中每个点都是内点，则称A 为开集． 开球是开集；2R 中第一象限区域（不含坐标轴）是开集． 记)d ,(A 中开集全体为τ，则有如下结论． 定理2.1.1．(1) τφ∈X ,； (2) ττ∈?∈)( ,2121G G G G ； (3) τλτλλλ∈?Λ∈∈Λ ∈ )( G G ． 例：(1) 离散空间． φ≠X ，定义 ) X y x,( y x ,1y x ,0)y ,(∈?? ?≠==x d ． 称X 为离散距离空间． (2) ] ,[b a C 空间． } b] [a, )( )({] ,[上连续函数为t x t x b a C =．] ,[y(t)y ),(b a C t x x ∈==， 定义y(t)x(t) max )y ,( -=≤≤b t a x d ， d 是距离． (3) 有界函数空间)(X B ． φ≠X ，} X )( )({)(上有界函数为t x t x X B =． 定义 y(t)x (t) sup )y ,( -=∈X t x d ，()(y ,X B x ∈)，d 是距 离．称)(X B 为有界函数空间． 取 +=N X ，记} )( )( {)(有界 n n x l X B ξξ===∞．)(y ),(n ηξ==n x ，n n sup )y ,(ηξ-=∈N n x d ． 定义2.1.3．设 φ≠X ，)(X P ?τ 满足：
(点集拓扑学拓扑)知识点
————————————————————————————————作者：————————————————————————————————日期：
第4章 连通性重要知识点 本章讨论拓扑空间的几种拓扑不变性质，包括连通性，局部连通性和弧连通性，并且涉 及某些简单的应用．这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间． §4．1 连通空间 本节重点: 掌握连通与不连通的定义. 掌握如何证明一个集合的连通与否? 掌握连通性的拓扑不变性、有限可积性、可商性。 我们先通过直观的方式考察一个例子．在实数空间R 中的两个区间（0，l ）和［1，2）， 尽管它们互不相交，但它们的并（0，1）U ［l ，2）＝（0，2）却是一个“整体”；而另外两 个区间（0，1）和（1，2），它们的并（0，1）U （1，2）是明显的两个“部分”．产生上述 不同情形的原因在于，对于前一种情形，区间（0，l ）有一个凝聚点1在［1，2）中；而对 于后一种情形，两个区间中的任何一个都没有凝聚点在另一个中．我们通过以下的定义，用 术语来区别这两种情形． 定义4．1．1设A 和B 是拓扑空间X 中的两个子集．如果 ?=???)()(A B B A 则称子集A 和B 是隔离的． 明显地，定义中的条件等价于?=?B A 和 ?=?A B 同时成立，也就是说，A 与B 无交并且其中的任何一个不包含另一个的任何凝聚点． 应用这一术语我们就可以说，在实数空间R 中，子集（0，1）和（1，2）是隔离的， 而子集（0，l ）和[1，2) 不是隔离的． 又例如，易见，平庸空间中任何两个非空子集都不是隔离的，而在离散空间中任何两个 无交的子集都是隔离的． 定义4．1．2 设X 是一个拓扑空间．如果X 中有两个非空的隔离子集A 和B 使得X=A ∪B ，则称X 是一个不连通空间；否则，则称X 是一个连通空间． 显然，包含着多于两个点的离散空间是不连通空间，而任何平庸空间都是连通空间． 定理4．1．1设X 是一个拓扑空间．则下列条件等价： （l ）X 是一个不连通空间； （2）X 中存在着两个非空的闭子集A 和B 使得A ∩B=? 和 A ∪B ＝ X 成立； （3） X 中存在着两个非空的开子集A 和B 使得A ∩B=? 和 A ∪B ＝ X 成立； （4）X 中存在着一个既开又闭的非空真子集． 证明（l ）蕴涵（2）: 设（1）成立．令A 和B 是X 中的两个非空的隔离子集使得 A ∪ B ＝X ，显然 A ∩B=?，并且这时我们有 B B B A B B A B X B B =???=??=?=)()()( 因此B 是X 中的一个闭子集；同理A 也是一个X 中的一个闭子集．这证明了集合A 和B 满足条件（2）中的要求． （2）蕴涵（3）．如果X 的子集A 和B 满足条件（2）中的要求，所以A 、B 为闭集， 则由于这时有A ＝B /和B=A '，因此A 、B 也是开集，所以A 和B 也满足条件（3）中的要
同伦和基本群 在上一次中，我们利用空间的连通性给出了一个拓扑不变量，他可以区分一些简单的空间，但是要想区分更多的空间，需要引入更精细的不变量！ 几个概念： 1。道路连通：拓扑空间X中的一条道路是指一个连续映射r:I->X,（X=[0,1]），点r (0),r(1)分别叫做道路的起点和终点。若X中的任何两点均有道路连接，则称该空间X为道路连通的。若一条道路的起点和终点重合，则称该道路为环道。 2。同伦：设f,g:X->Y为连续映射，若存在连续映射F:X*I->Y,使得F(x,0)=f(x), F(x,1)=g(x),则称f和g是同伦的；如果还有F(a,t)=f(a)=g(a),则称f和g相对于a同伦。例： 1）若f(x),g(x)：X->Sn,且对任意的x,f(x)和g(x)不相等，则f(x)和g(x)是同伦的。 可构造：F(x,t)=(tf(x)+(1-t)g(x))/||(tf(x)+(1-t)g(x))||； 2）在凸集中，任何一个连续映射和恒等映射是同伦的； 可构造：F(x,t)=tf(x)+(1-t)g(x)； 3）在凸集中，任何一条以a为基点的环道和一点独点映射a同伦； 3。空间的同伦 两个空间X和Y称为是同伦等价的，如果存在一个映射f：X->Y，和g：Y->X，使得fg与IdY同伦，gf与IdX同伦，IdX表示X的恒等映射； 如：圆环和圆周就是同伦等价的； 注意：空间的同伦等价比同胚等价更弱一些，若X与Y同胚，则一定同伦等价， 因为存在f：X->Y，且f存在反函数g,从而fg=IdY,gf=IdX。但同伦推不出同胚， 如上例。 在我们建立基本群时，我们将拓扑空间限制在道路连通空间上。 在道路连通空间X中，任去一个点a，把过点a的所有以a为基点的环道做成一个集合，我们对这个集合定义一个关系： r1与r2等价，当且仅当r1与r2同伦。 可以验证这个关系是一个等价关系，从而可以给出该集合的一个划分。设B是由 所有的等价类构成的集合，在该集合上定义乘法为：[r1]*[r2]=[r1*r2]。则可以证明 给集合对于这个运算具有群的结构，成为X在点a的基本群，记为Pi[X,a]。 例： 若X为圆盘，任取a属于X,则对于X中的任何以a为基点的环道r，由上面的3）知r与a同伦，从而，B中只含有一个等价类，从而Pi[X,a]={e}； 定理：若X为道路连通，则对于任何两点p,q,有Pi[X,p]=Pi[X,q]。 该定理表明道路连通空间的基本群和基点的选择无关。 对于一般的拓扑空间X，基本群的计算是个很复杂的问题，可以使用棱到群或群在拓扑空间上的作用等来计算。下面，我列举了几种空间的基本群： 空间X 基本群 凸图形{e} S1 Z Sn(n>1) {e} 环面Z*Z 射影平面Z2 定理：若两个（道路连通的）空间X和Y同伦，则Pi[X,p]=Pi[Y,q]。
第7章 紧致性 §7.1 紧致空间 本节重点： 掌握紧致子集的定义及判断一个子集是紧致子集的方法．（这些方法哪些是充要条件）； 掌握紧致性是否是连续映射可保留的，是否是可遗传的、有限可积的． 在§5.3中，我们用关于开覆盖和子覆盖的术语刻画了一类拓扑空间，即Lindeloff空间．现在来仿照这种做法，即将Lindeloff空间定义中的“可数子覆盖”换成“有限子覆盖”，以定义紧致空间．读者在数学分析中早已见过的Heine－Borel定理断言：实数空间R的任何一个子集为有界闭集的充分必要条件是它的每一个开覆盖都有一个有限子覆盖．（在§7.3中我们将要推广这个定理．）因此我们现在作的事也应当在意料之中． 定义7.1.1 设X是一个拓扑空间．如果X的每一个开覆盖有一个有限子覆盖，则称拓扑空间X是一个紧致空间． 明显地，每一个紧致空间都是Lindeloff空间．但反之不然，例如包含着无限但可数个点的离散空间是一个Lindeloff空间，但它不是一个紧致空间． 例7.1.1 实数空间R不是一个紧致空间．这是因为如果我们设 A＝{（－n，n）R|b∈Z+},则A的任何一个有限子族 { },由于它的并为 (-max{},max{}) 所以不是R的一个子覆盖．因此R的开覆盖A没有任何一个有限子覆盖． 定义7.1.2 设X是一个拓扑空间，Y是X中的一个子集,如果Y作为X的子空间是一个紧致空间，则称Y是拓扑空间X的一个紧致子集． 根据定义，拓扑空间X中的一个子集Y是X的紧致子集意味着每一个由子空间Y中的开集构成的Y的开覆盖有一个有限子覆盖，这并不明显地意味着由X中的开集构成的每一个Y的覆盖都有有限子覆盖．所以陈述以下定理是必要的． 定理7.1.1 设X是一个拓扑空间，Y是X中的一个子集．则Y是X的一个紧致子集当且仅当每一个由X中的开集构成的Y的覆盖都有有限子覆盖．（此定理表明开覆盖中的开子集可以是X的，也可以是Y的）
第3章子空间（有限）,积空间，商空间 在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作． §3.1子空间 本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法． 讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发． 考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义： 定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×Y X×X．显然：Y×Y→R是Y的一个度量（请自行验证）．我们称Y的度量，是由X的度量ρ诱导出来的度量.度量空间（Y，ρ）称为度量空间（X，ρ）的一个度量子空间． 我们常说度量空间Y是度量空间X的一个度量子空间，意思就是指Y是X的一个子集，并且Y的度量是由X的度量诱导出来的．我们还常将一个度量空间的任何一个子集自动地认作一个度量子空间而不另行说明．例如我们经常讨论的：实数空间R中的各种区间（a，b）， [a，b]，（a，b]等；n＋1维欧氏空间中的 n维单位球面: n维单位开、闭球体:
一、选择题. 1、在实数空间中，有理数集Q 的内部o Q 是（A ） A 、?； B 、Q ； C 、R Q -； D 、R . 2、在实数空间中，有理数集Q 的边界Q ?是（D ） A 、?； B 、Q ； C 、R Q -； D 、R . 3、设X 是一个拓扑空间，,A B 是X 的子集，则下列关系正确的是（A ） A 、()()()d A B d A d B =； B 、A B A B -=-； C 、()()()d A B d A d B =； D 、A A =. 4、设X 是一个拓扑空间，,A B 是X 的子集，则下列关系错误的是（C ） A 、()()()d A B d A d B =； B 、A B A B =； C 、()()()d A B d A d B =； D 、A A =. 5、平庸空间的任一非空子集为（D ） A 、开集； B 、闭集； C 、既开又闭； D 、非开非闭. 6、离散空间的任一子集为（C ） A 、开集； B 、闭集； C 、既开又闭； D 、非开非闭. 7、设{1,2,3}X =，{,,{1,2},{1,3},{1},{2}}T X =?是X 的拓扑，则X 的子空间{1,3}A =的拓扑为（B ） A 、{,{1},{3},{1,3}}T =?； B 、{,,{1}}T A =?； C 、{,,{1},{3},{1,3}}T X =?； D 、{,,{1}}T X =?. 8、设{1,2,3}X =，{,,{1,2},{1,3},{1},{2}}T X =?是X 的拓扑， 则X 的子空间{2,3}A =的拓扑为（B ） A 、{,{3},{2,3}}T =?； B 、{,,{2},{3}}T A =?； C 、{,,{2},{3},{2,3}}T X =?； D 、{,,{3}}T X =?. 9、设126X X X X =???…是拓扑空间126,,,X X X …的积空间，p 是X 到1X 的投射，则p 是（D ） A 、单射； B 、连续的单射； C 、满的连续闭映射； D 、满的连续开映射. 10、设R 是实数空间， Z 是整数集，则R 的子空间Z 的拓扑为（B ）
点集拓扑学 点集拓扑学（Point Set Topology），有时也被称为一般拓扑学（General Topology），是数学的拓扑学的一个分支。它研究拓扑空间以及定义在其上的数学结构的基本性质。这一分支起源于以下几个领域：对实数轴上点集的细致研究，流形的概念，度量空间的概念，以及早期的泛函分析。它的表述形式大概在1940年左右就已经成文化了。通过这种可以为所有数学分支适用的表述形式，点集拓扑学基本上抓住了所有的对连续性的直观认识。 具体地说，在点集拓扑学的定义和定理的证明中使用了一些基本术语，诸如： ?开集和闭集 ?开核和闭包 ?邻域和邻近性 ?紧致空间 ?连续函数 ?数列的极限，网络，以及滤子 ?分离公理 度量空间 在数学中，度量空间是一个集合，在其中可以定义在这个集合的元素之间的距离（叫做度量）的概念。 度量空间中最符合我们对于现实直观理解的是三维欧几里得空间。事实上，“度量”的概念就是对从欧几里得距离的四个周知的性质引发的欧几里得度量的推广。欧几里得度量定义了在两个点之间的距离为连接它们的直线的长度。 空间的几何性质依赖于所选择的度量，通过使用不同的度量我们可以构造有趣的非欧几里得几何，比如在广义相对论中用到的几何。 度量空间还引发拓扑性质如开集和闭集，这导致了对更抽象的拓扑空间的研究。 【性质】 度量空间是元组(M,d)，这里的M 是集合而 d 是在M 上的度量(metric)，就是函数 使得 ?d(x, y) ≥ 0 (非负性) ?d(x, y) = 0 当且仅当 x = y (不可区分者的同一性) ?d(x, y) = d(y, x) (对称性)
?d(x, z) ≤ d(x, y) + d(y, z) (三角不等式)。 函数d 也叫做“距离函数”或简单的叫做“距离”。经常对度量空间省略d 而只写M，如果在上下文中可明确使用了什么度量。不要求第二、第三或第四个条件分别导致伪度量空间、准度量空间或半度量空间的概念。 第一个条件实际上可以从其他三个得出: 2d(x, y) = d(x, y) + d(y, x) ≥ d(x,x) = 0. 它做为度量空间的性质更恰当一些，但是很多课本都把它包括在定义中。某些作者要求集合M 非空。 —作为拓扑空间的度量空间 把度量空间处理为拓扑空间相容得几乎都成为定义的一部分了。 对于任何度量空间M 中的点x，我们定义半径r (>0) 的关于x 的开球为集合 。 这些开球生成在M 上的拓扑，使它成为拓扑空间。明显的，M 的子集被称为开集，如果它是(有限或无限多)开球的并集。开集的补集被称为闭集。以这种方式从度量空间引发的拓扑空间叫做可度量化空间 因为度量空间是拓扑空间，在度量空间之间有连续函数的概念。这个定义等价于平常的连续性的ε-δ定义(它不提及拓扑)，并可以使用序列的极限直接定义。 开集 在拓扑学和相关的数学领域中，集合U被称为开集，如果在直觉上说，从U中任何一点x开始你可以在任何方向上稍微移动一下而仍处在集合U中。换句话说，在U中任何点x与U的边界之间的距离总是大于零。 例如，实数线上的由不等式规定的集合称为开区间，是开集。这时候的边界为实数轴上的点2和5，如由不等式，或者规定的区间由于包含其边界，因此不能称之为开集。 开集是指不包含自己边界点的集合。或者说，开集把它所包含的任何一点的充分小的邻域也包含在其自身之中。开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。
第4章连通性重要知识点 本章讨论拓扑空间的几种拓扑不变性质，包括连通性，局部连通性和弧连通性，并且涉及某些简单的应用?这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间. § 4. 1连通空间 本节重点：掌握连通与不连通的定义. 掌握如何证明一个集合的连通与否？ 掌握连通性的拓扑不变性、有限可积性、可商性。 我们先通过直观的方式考察一个例子?在实数空间R中的两个区间（0, I）和］1, 2）, 尽管它们互不相交，但它们的并（0, 1）U :1, 2） = （0, 2）却是一个“整体”；而另外两个区间（0, 1）和（1, 2）,它们的并（0, 1）U （1, 2）是明显的两个“部分”.产生上述不同情形的原因在于，对于前一种情形，区间（0, I）有一个凝聚点1在］1, 2）中；而对于后一种情形，两个区间中的任何一个都没有凝聚点在另一个中. 我们通过以下的定义，用 术语来区别这两种情形. 定义4. 1. 1设A和B是拓扑空间X中的两个子集.如果 （A - B）（B - A）二?一 则称子集A和B是隔离的. 明显地，定义中的条件等价于 A r B =、和B r A二.一同时成立，也就是说，A 与B无交并且其中的任何一个不包含另一个的任何凝聚点. 应用这一术语我们就可以说，在实数空间R中，子集（0, 1）和（1, 2）是隔离的， 而子集（0, I ）和［1 , 2）不是隔离的. 又例如，易见，平庸空间中任何两个非空子集都不是隔离的，而在离散空间中任何两个 无交的子集都是隔离的. 定义4. 1. 2设X是一个拓扑空间.如果X中有两个非空的隔离子集A和B使得X=A U B,则称X 是一个不连通空间；否则，则称X是一个连通空间. 显然，包含着多于两个点的离散空间是不连通空间，而任何平庸空间都是连通空间. 定理4. 1. 1设X是一个拓扑空间.则下列条件等价： （1）X是一个不连通空间； （2）X中存在着两个非空的闭子集A和B使得A A B= ?一和A U B = X成立； （3）X中存在着两个非空的开子集A和B使得A A B= ?一和A U B = X成立； （4）X中存在着一个既开又闭的非空真子集. 证明（I）蕴涵（2）:设（1）成立.令A和B是X中的两个非空的隔离子集使得 A U B = X，显然A A B= ?_ ,并且这时我们有 B = B 一X = B「（A 一B）=（B 一A）一（B 一B）= B 因此B是X中的一个闭子集；同理A也是一个X中的一个闭子集.这证明了集合A和B 满足条件（2）中的要求. （2）蕴涵（3）.如果X的子集A和B满足条件（2）中的要求，所以A、B为闭集，则由于
拓扑空间中集合的导集 题目：拓扑空间中集合的导集 摘要：如果在一个拓扑空间中给定一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各不相同，因此可以对它们进行分类处理。本文介绍了拓扑空间中集合的导集。 正文： 1、拓扑空间的定义： 设X是一个集合，T是X的一个子集族，如果T满足如下条件：（1）X，∈T；（2）若A，B∈T，则A∩B∈T；（3）若∈T，则，则称T是X的一个拓扑。 如果T是集合X的一个拓扑，则称偶对（X，T）是一个拓扑空间或称集合X是一个相对于拓扑T的拓扑空间，或当拓扑T早已约定或在行文中已有说明而无须指出时，则称集合X是一个拓扑空间。2、导集的定义 设X是一个拓扑空间，A X．如果点x∈X的每一个邻域U中都有A中异于x的点，即U∩（A-{x}）≠，则称点x是集合A的一个凝聚点或极限点．集合A的所有凝聚点构成的集合称为A的导集，记作d（A）．如果x∈A并且x不是A的凝聚点，即存在x的一个邻域U使得U∩（A-{x}）＝，则称x为A的一个孤立点．
即:(牢记) 3、离散空间中集合的凝聚点和导集． 设X是一个离散空间，A是X中的一个任意子集．由于X中的每一个单点集都是开集，因此如果x∈X，则X有一个邻域{x}，使得 ，以上论证说明，集合A没有任何一个凝聚点，从而A的导集是空集，即d（A）＝． 4、平庸空间中集合的凝聚点和导集． 设X是一个平庸空间，A是X中的一个任意子集．我们分三种情形讨论： 第1种情形：A=．这时A显然没有任何一个凝聚点，亦即 d（A）=．（可以参见定理2.4.1中第（l）条的证明．）第2种情形：A是一个单点集，令 A＝{}如果x∈X，x≠， 点x只有惟一的一个邻域X，这时，所以 ；因此x是A的一个凝聚点，即x∈d（A）．然而对于的惟一邻域X有：所以 d（A）=X-A． 第3种情形：A包含点多于一个．请读者自己证明这时X中的每一个点都是A的凝聚点，即d（A）＝X． 定理：设X是一个拓扑空间，A X．则 （l）d（）=； （2）A B蕴涵d（A）d（B）；
拓扑空间 维基百科，自由的百科全书 汉漢▼ 上圖為三點集合{1,2,3}上四個拓撲的例子和兩個反例。左下角的集合並不是個拓撲空間，因為缺少{2}和{3}的聯集{2,3}；右下角的集合也不是個拓撲空間，因為缺少{1,2}和{2,3}的交集{2}。 拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。 拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。 拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。 目录 [隐藏] ? 1 定义 o 1.1 例子 ? 2 拓扑之间的关系 ? 3 连续映射 ? 4 等價定义 o 4.1 闭集 o 4.2 邻域 o 4.3 闭包运算 o 4.4 开核运算 o 4.5 网
? 5 拓扑空间的例子 ? 6 拓扑空间的构造 ?7 拓扑空间的分类 o7.1 分离性 o7.2 可数性 o7.3 连通性 o7.4 紧性 o7.5 可度量化 ?8 拥有代数结构的拓扑 空间 ?9 拥有序结构的拓扑空 间 ?10 历史 ?11 参考书目 [编辑]定义 拓撲空間是一個集合?X，和一個包含?X?的子集族?τ，其滿足如下公理： 1. 空集和?X?都屬於?τ。 2. τ?內任意个集合的並集都仍然會屬於?τ。 3. τ?內任意两個集合的交集也仍然會屬於?τ。 滿足上述公理的集族?τ?即稱為?X?的拓撲。X?內的元素通常稱做「點」，但它們其實可以是任意的元素。裡面的「點」為函數的拓撲空間稱為「函數空間」。τ?內的集合稱為開集，而其在?X?內的補集則稱為閉集。一個集合可能是開放的、封閉的、非開非閉或亦開亦閉。 [编辑]例子
课题：拓扑学（下） 【教学目标】了解拓扑学的发展史和有趣概念 【教学重点】拓扑学中的几个典型概念 【教学过程】 等价 在拓扑学里不讨论两个图形全等的概念，但是讨论拓扑等价的概念。比如，圆和方形、三角形的形状、大小不同，但在拓扑变换下，它们都是等价图形；足球和橄榄球，也是等价的----从拓扑学的角度看，它们的拓扑结构是完全一样的。 而游泳圈的表面和足球的表面则有不同的拓扑性质，比如游泳圈中间有个“洞”。在拓扑学中，足球所代表的空间叫做球面，游泳圈所代表的空间叫环面，球面和环面是“不同”的空间。 莫比乌斯环（只有一个面）性质 “连通性”最简单的拓扑性质。上面所举的空间的例子都是连通的。而“可定向性”是一个不那么平凡的性质。我们通常讲的平面、曲面通常有两个面，就像一张纸有两个面一样。这样的空间是可定向的。
而德国数学家莫比乌斯(1790～1868)在1858年发现了莫比乌斯曲面。这种曲面不能用不同的颜色来涂满。莫比乌斯曲面是一种“不可定向的”空间。可定向性是一种拓扑性质。这意味着，不可能把一个不可定向的空间连续的变换成一个可定向的空间。 发展简史 萌芽 拓扑学起初叫形势分析学，这是德国数学家莱布尼茨1679年提出的名词。欧拉在1736年解决了七桥问题，1750年发表了多面体公式；高斯1833年在电动力学中用线积分定义了空间中两条封闭曲线的环绕数。Topology这个词是由J.B.利斯廷提出的(1847)，源自希腊文τ?πο?和λ?γο?（“位置”和“研究”）。这是拓扑学的萌芽阶段。 1851年，德国数学家黎曼在复变函数的研究中提出了黎曼面的几何概念，并且强调为了研究函数、研究积分，就必须研究形势分析学。黎曼本人解决了可定向闭曲面的同胚分类问题。 组合拓扑学的奠基人是法国数学家庞加莱。他是在分析学和力学的工作中，特别是关于复函数的单值化和关于微分方程决定的曲线的研究中，引向拓扑学问题的。他的主要兴趣在流形。在1895～1904年间，他创立了用剖分研究流形的基本方法。他引进了许多不变量：基本群、同调、贝蒂数、挠系数，探讨了三维流形的拓扑分类问题，提出了著名的庞加莱猜想。 拓扑学的另一渊源是分析学的严密化。实数的严格定义推动康托尔从1873年起系统地展开了欧氏空间中的点集的研究，得出许多拓
拓扑空间中的连续函数
参考文献： 1.岳跃利;方进明诱导I-Fuzzy拓扑空间[期刊论文]-数学研究与评论 5.李清华;方进明 I-Fuzzy拓扑空间中的可数性[期刊论文]-模糊系统与数学 相似文献1.学位论文韩刚 L-拓扑空间中的分离性 2006 本文的目的是进一步讨论L-拓扑空间(即L-Fuzzy拓扑空间)中的分离性，以及I-Fuzzy拓扑空间中的导集和连续性。主要工作如下： (1)在L-拓扑空间中分离性是很重要的性质，SteenLA，etal.在分明拓扑空间中定义了T21/2分离性，陈水利和孟广武以及尤飞将其推广到L-拓扑空间中.本文首先在分明拓扑空间中定义了T21/3分离性，并且指出在分明拓扑空间中T21/3分离性等价于T2分离性，然后在L-拓扑空间中定义了T21/3分离性，并且指出在L-拓扑空间中T21/3分离性与T2分离性是不等价的。同时又定义了ST21/3，层T21/3
分离性，讨论了它们与其它分离性的关系，并且研究了它们各自的一些性质，论证了它们都是L-好的推广。 (2)吉智方教授定义了T3＃分离性，本文继续讨论了它的一些性质，并且定义了一种新的分离性；T3(×)分离性，它是介于T3＃分离性与T3分离性之间，同时研究了它的一些性质，并且证明了T3＃空间范畴是有积和有上积的范畴。 (3)应明生教授1991年用连续值逻辑语义的方法定义了I-fuzzy 拓扑空间，王瑞英在2005年的博士学位论文中在I-Fuzzy拓扑空间中提出了R-邻域系的概念，它是以王国俊教授研究L-拓扑学时给出的远域为特款引入的，在此基础上定义了闭包、内部、基、子基、连续、子空间、积空间、商空间等基本概念，并且建立了网收敛理论。讨论了可数性与分离性。方进明在I-Fuzzy拓扑空间中提出了I-Fuzzy拟重邻域系，它是以刘应明教授研究L-拓扑学时给 出的重域为特款引入的，并。陆续在I-fuzzy拓扑空间讨论了可数性、连续性、诱导空间等性质。本文首先指出I-fuzzy拓扑空间中R-邻域系和拟重邻域系的研究方法是等价的，同时又指出利用R-邻域系来研究I-fuzzy拓扑空间是具有-定优越性的。到目前为止，在I-fuzzy拓扑空间中还没有导集的定义，本文主要是在I-fuzzy拓扑空间中引入导集的定义，它是以刘应明教授研究L-拓扑学时定义的导集为特款引入的，同时研究了它的一些性质，并且利用 R-邻域系在I-fuzzy拓扑空间中定义θ-闭包、θ-内部、Rθ-邻域系和θ-连续函数，证明了θ-连续的一些等价命题。
' 一、选择题. 1、在实数空间中，有理数集Q 的内部o Q 是（A ） A 、?； B 、Q ； C 、R Q -； D 、R . 2、在实数空间中，有理数集Q 的边界Q ?是（D ） A 、?； B 、Q ； C 、R Q -； D 、R . 3、设X 是一个拓扑空间，,A B 是X 的子集，则下列关系正确的是（A ） A 、()()()d A B d A d B =； B 、A B A B -=-； C 、()()()d A B d A d B =； D 、A A =. ! 4、设X 是一个拓扑空间，,A B 是X 的子集，则下列关系错误的是（C ） A 、()()()d A B d A d B =； B 、A B A B =； C 、()()()d A B d A d B =； D 、A A =. 5、平庸空间的任一非空子集为（D ） A 、开集； B 、闭集； C 、既开又闭； D 、非开非闭. 6、离散空间的任一子集为（C ） A 、开集； B 、闭集； C 、既开又闭； D 、非开非闭. 7、设{1,2,3}X =，{,,{1,2},{1,3},{1},{2}}T X =?是X 的拓扑，则X 的子空间{1,3}A =的拓扑为（B ） * A 、{,{1},{3},{1,3}}T =?； B 、{,,{1}}T A =?； C 、{,,{1},{3},{1,3}}T X =?； D 、{,,{1}}T X =?. 8、设{1,2,3}X =，{,,{1,2},{1,3},{1},{2}}T X =?是X 的拓扑，则X 的子空间{2,3} A =的拓扑为（ B ） A 、{,{3},{2,3}}T =?； B 、{,,{2},{3}}T A =?； C 、{,,{2},{3},{2,3}}T X =?； D 、{,,{3}}T X =?. 9、设126X X X X =???…是拓扑空间126,,,X X X …的积空间，p 是X 到1X 的投射，则
第2章度量空间与连续映射 从数学分析中已经熟知单变量和多变量的连续函数，它们的定义域和值域都是欧氏空间（直线，平面或空间等等）或是其中的一部分．在这一章中我们首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间之间的连续映射（参见§2.1）．然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射（参见§2.2）．随后再逐步提出拓扑空间中的一些基本问题如邻域，闭包，内部，边界，基和子基，序列等等． §2.1度量空间与连续映射 本节重点：掌握拓扑学中度量的概念及度量空间中的连续映射的概念．注意区别：数学分析中度量、连续映射的概念与本节中度量、连续映射的概念． 注意，在本节的证明中,应细细体会证明的方法． 首先让我们回忆一下在数学分析中学习过的连续函数的定义．函数f：R→R 称为在点∈R处是连续的，如果对于任意实数ε＞0，存在实数δ＞0，使得对于任何x∈R，当|x-|<δ时,有|f(x)-f()|<ε.在这个定义中只涉及两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质，而与实数的
其它性质无关，关于多元函数的连续性情形也完全类似．以下，我们从这一考察出发，抽象出度量和度量空间的概念. 定义2.1.1 设X是一个集合，ρ：X×X→R．如果对于任何x，y，z∈X，有 （1）（正定性），ρ(x,y)≥0并且ρ(x,y)＝0当且仅当x=y； （2）(对称性)ρ(x,y)=ρ(y,x)； （3）（三角不等式）ρ(x,z)≤ρ(x,y)+ρ(y,z) 则称ρ是集合X的一个度量． 如果ρ是集合X的一个度量，称（X，ρ）是一个度量空间，或称X是一个对于ρ而言的度量空间．有时，或者度量ρ早有约定，或者在行文中已作交代，不提它不至于引起混淆，这时我们称X是一个度量空间．此外，对于任意两点x，y∈X，实数ρ(x，y)称为从点x到点y的距离． 着重理解：度量的本质是什么？ 例2.1.1 实数空间R． 对于实数集合R，定义ρ：R×R→R如下：对于任意x，y∈R，令 ρ（x，y）=|x-y|．容易验证ρ是R的一个度量，因此偶对（R，ρ）是一个度量空间．这个度量空间特别地称为实数空间或直线．这里定义的度量ρ，称为R的通常度量，并且常常略而不提，迳称R为实数空间．（今后我们说实数空间，均指具有通常度量的实数空间．） 例2.1.2 n维欧氏空间． 对于实数集合R的n重笛卡儿积 ＝R×R×…×R
第一章距离空间与拓扑空间 1、 1）下面证明d 满足距离需满足的三个条件。 ①0),(≥y x d 显然，且0),(=y x d 当且仅当0||sup =?y x 与0|''|sup =?y x 当且仅当在D 上y x =。 ②),(),(x y d y x d =显然。③ ),(),(|) ''||''sup(||)||sup(||''|sup ||sup ),(y z d z x d y z z x y z z x y x y x y x d +=?+?+?+?≤?+?=2）D 中点列}{n x 按距离收敛当且仅当}{n x 与}'{n x 一致收敛。3）设D x n ?}{，满足]1,0[C x n ∈且]1,0['C x n ∈，是Cauchy 列。 则εε??>?|)()(|],1,0[,,,,0t x t x t N n m N m n 。从而}{n x 在]1,0[上一致收敛，且其极限函数)(t x 是]1,0[上的连续函数。 同理，}'{n x 在]1,0[上一致收敛，故该函数序列}{n x 的求导运算与极限运算可交换顺序，从而)('t x 就是}'{n x 的极限函数，且)('t x 是]1,0[上的连续函数。 在不等式中令∞→m ，则 ε2|)(')('||)()(|,],1,0[≤?+?>∈?t x t x t x t x N n t n n 。即n x 在D 中趋向于x 。从而D 是完备的。 4、补充最大模原理：在区域内不恒为常数的解析函数的模的最大值只能在边界达到。 ①0),(≥y x d ，且0),(=y x d 当且仅当0||max ||max 1 ||1 ||=?=?=≤y x y x t t 当且仅当 y x =。 ②),(),(x y d y x d =显然。③ ) ,(),(|) ||(|max ||max ),(1 ||1 ||y z d z x d y z z x y x y x d t t +=?+?≤?===5、可以。 例：取}6.5,8.2,0{=X ，按照R 上的距离成为一个距离空间。显然，