拓扑空间中集合的导集
题目：拓扑空间中集合的导集
摘要：如果在一个拓扑空间中给定一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各不相同，因此可以对它们进行分类处理。本文介绍了拓扑空间中集合的导集。
正文：
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）；
（3）d（A∪B）＝d（A）∪d（B）；
（4）d（d（A））A∪d（A）．
定义设X是一个拓扑空间，A X．如果A的每一个凝聚点都属于A，即d（A）A，则称A是拓扑空间X中的一个闭集．例如，离散空间中的任何一个子集都是闭集，而平庸空间中的任何一个非空的真子集都不是闭集．
定理设X是一个拓扑空间，A X．则A是一个闭集，当且仅当A 的补集是一个开集．
定理设X是一个拓扑空间．记F为所有闭集构成的族．则：
（1）X，∈F
（2）如果A，B∈F，则AUB∈F
（从而如果)
（3）如果≠
在此定理的第（3）条中，我们特别要求≠的原因在于当
=时所涉及的交运算没有定义．
总结：（1）有限个开集的交是开集，任意个开集的并是开集．其余情形不一定．
（2）有限个闭集的并是闭集，任意个闭集的交是闭集．其余情形不一定．
定义设X是一个拓扑空间,A X,集合A与A的导集d(A)的并A∪d(A)称为集合A的闭包,记作或
容易看出,(注意:与x∈d(A)的区别)
定理拓扑空间X的子集A是闭集的充要条件是A=
证明:定理成立是因为:集合A为闭集当且仅当d(A)A而这又当且仅当A=A∪d(A)
定理设X是一个拓扑空间,则对于任意A,B∈X,有：
定理拓扑空间X的任何一个子集A的闭包都是闭集．．
定理设X是一个拓扑空间，F是由空间X中所有的闭某构成的族，则对于X的每一个子集A，有
即集合A的闭包等于包含A的所有闭集之交．
由定理可见，X是一个包含着A的闭集，它又包含于任何一个包含A的闭集之中，在这种意义下我们说：一个集合的闭包乃是包含着这个集合的最小的闭集．
在度量空间中，集合的凝聚点，导集和闭包都可以通过度量来刻画．
定义设（X，ρ)一个度量空间．X中的点x到X的非空子集A 的距离ρ（x，A）定义为
ρ（x，A）＝inf{ρ（x，y）|y∈A}
根据下确界的性质以及邻域的定义易见：ρ（x，A）＝0当且仅当对于任意实数ε＞0，存在y∈A使得ρ（x，y）＜ε，换言之即
是：对于任意B（x，ε）有B（x，ε)∩A≠，而这又等价于：对于x的任何一个邻域U有U∩A≠，应用以上讨论立即得到．定理设A是度量空间（X，ρ）中的一个非空子集．则
（1）x∈d（A）当且仅当ρ（x，A-{x}）=0；
（2）x∈当且仅当ρ（x，A）＝0．
《点集拓扑》复习题 一、概念叙述 1、拓扑空间 2、邻域、邻域系 3、集合A 的凝聚点 4、闭包 5、基 子基 6、子空间 7、（有限）积空间 8、隔离子集 9、连通集 10、连通集 11、连通分支 12、局部连通空间 13、1A 空间 14、2A 空间 15、可分空间 16、Lindeloff 空间 17、i T 空间（1,2,3,4i =） 18、正则空间 19、正规空间 20、紧致空间 21、可数紧空间 22、列紧空间 23、序列紧空间 24、局部紧空间 二、判断题 1、有限集不可能有聚点 （ ） 2、拓扑空间X 的子集A 是闭集的充要条件是A A = （ ） 3、如果A B ?≠?，则A B A B ?=? （ ） 4、设Y 是拓扑空间X 的子空间，A 是Y 的子集，则A 在Y 中的导集是A 在X 中的导集与Y 的交。 （ ） ５、若:f X Y →是同胚映射，则()f X Y = （ ） ６、离散空间中任意子集的导集都是空集 （ ） ７、拓扑空间中每个连通分支都是既开集又是闭集 （ ） ８、度量空间必是2A 空间 （ ） ９、在l R 中，(],a b 是开集 （ ） １０、映射:f X Y →是连续映射的?若拓扑空间Ｘ中序列{}i x 收敛于 x X ∈，则扑拓空间Ｙ中相应序列(){}i f x 收敛于()f x （ ） １１、设Ｘ为拓扑空间，Ｃ为连通分支，Ｙ是Ｘ的一个连通子集，则Y C ? （ ） １２、2A 空间必为可分空间 （ ） １３、正则且正规空间必为0T 空间 （ ） １４、紧致空间的闭子集必为它的紧致子集 （ ） １５、设Ｘ是一个拓扑空间，A X ?，则点x 是集合Ａ的一个凝聚点 ?在{}A x -中有一个序列收敛于x （ ） １６、度量空间也是拓扑空间 （ ） １７、如果一个空间中有每个单点集都是闭集，那么这个空间必是离散空间 （ ） １８、拓扑空间X 是一个连通空间当且仅当X 中不存在既开又闭的非空真子集. ( ) 19、若拓扑空间中的子集A 是连通集，则它的闭包A 也是一个连通集。
算子拓扑空间 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
§3.3商空间 本节重点:掌握商空间、商拓扑、商映射的定义． 将一条橡皮筋的两个端点“粘合”起来，我们便得到了一个像皮圈；将一块正方形的橡皮块一对对边上的点按同样的方向两两‘粘合”起来，我们便得到了一个橡皮管，再将这个橡皮管两端的两个圆圈上的点按同样的方向两两“粘合”起来，我们又得到了一个橡皮轮胎……这种从一个给定的图形构造出一个新图形的办法可以一般化． 我们在第一章中讨论过等价关系和商集的概念．所谓商集乃是在一个集合中给定了一个等价关系之后将相对于这个等价关系而言的等价类所构成的集合，通俗地说便是分别将每一个等价类中的所有的点“粘合”为一个点后得到的集合．在定义1.5.6中我们也曾说起过在一个集合X中给定了一个等价关系R之后，从集合X到商集X/R有一个自然的投射p：X→X/R，它是一个满射．注意到了这一点，下面引出商拓扑和商空间的概念的方式便显得顺理成章了． 定义3.3.1设（X，T）是一个拓扑空间，Y是一个集合，f:X→Y是一个满射．容易验证(请自行验证)Y的子集族． 是Y的一个拓扑．我们称为Y的（相对于满射f而言的）商拓扑． 容易直接验证在上述定义的条件下，Y的一个拓扑是Y的商拓扑当且仅当在拓扑空间（Y，）中FY是一个闭集的充分必要条件是（F）是X中的一个闭集． 定理3.3.1且设（X，T）是一个拓扑空间，Y是一个集合，f:X→Y是一个满射．则 （1）如果是Y的商拓扑，则f:X→Y是一个连续映射； （2）如果是Y的一个拓扑，使得对于这个拓扑而言映射f是连续的，则这也就是说商拓扑是使映射f连续的最大的拓扑． 证明（1）根据定义自明． （2）如果U∈，由于满射f对于Y的拓扑而言连续，故因此U∈．这证明． 定义3.3.2设X和Y是两个拓扑空间，f:X→Y．我们称映射f为一个商映射，如果它是一个满射并且Y的拓扑是对于映射f而言的商拓扑． 根据定理3.3.1可见商映射是连续的．下面的这个定理告诉我们如何利用商映射来验证一类映射的连续性． 定理3.3.2设X，Y和Z都是拓扑空间，且f:X→Y是一个商映射．则映射g：Y→Z连续当且仅当映射gof:X→Z连续． 证明由于商映射f连续，故当g连续时gf连续． 另一方面，设gf连续，若W∈，则．然而 所以根据商拓扑的定义．这便证明了g连续． 为了应用定理3.3.2，如何知道一个拓扑空间的拓扑是相对于从另一个拓扑空间到它的一个满射而言的商拓扑便成了一个有意思的问题．我们在这里只给出一个简单的必要条件．为此先陈述开映射和闭映射的定义． 定义3.3.3设X和Y是两个拓扑空间．映射f: X→Y称为一个开映射（闭映射），如果对于X中的任何一个开集（闭集）U，象集f(U)是Y中的一个开集（闭集）．定理3.3.3设X和Y是两个拓扑空间．如果映射f: X→Y是一个连续的满射，并且是一个开映射（闭映射），则Y的拓扑便是相对于满射f而言的商拓扑． 证明我们证明当f是开映射的情形．设Y中的使f连续的拓扑为,商拓扑为 如果V∈，由于映射f连续，，因此V∈．并且．
目录 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，显示，它表现出原始的图案（即每单位细胞）围绕一个三重螺
§2.4 导集，闭集，闭包 本节重点： 熟练掌握凝聚点、导集、闭集、闭包的概念； 区别一个点属于导集或闭包的概念上的不同； 掌握一个点属于导集或闭集或闭包的充要条件； 掌握用“闭集”叙述的连续映射的充要条件． 如果在一个拓扑空间中给定了一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各自不同，因此可以对它们进行分类处理． 定义 2.4.1设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 的一个孤立点． 即:(牢记)
在上述定义之中，凝聚点、导集、以及孤立点的定义无一例外地都依赖于它所在的拓扑空间的那个给定的拓扑．因此，当你在讨论问题时涉及了多个拓扑而又谈到某个凝聚点时，你必须明确你所谈的凝聚点是相对于哪个拓扑而言，不容许产生任何混淆．由于我们将要定义的许多概念绝大多数都是依赖于给定拓扑的，因此类似于这里谈到的问题今后几乎时时都会发生，我们不每次都作类似的注释，而请读者自己留心． 某些读者可能已经在诸如欧氏空间中接触过刚刚定义的这些概念，但绝不要以为对欧氏空间有效的性质，例如欧氏空间中凝聚点的性质，对一般的拓扑空间都有效．以下两个例子可以帮助读者澄清某些不正确的潜在印象． 例2.4.1 离散空间中集合的凝聚点和导集． 设X是一个离散空间，A是X中的一个任意子集．由于X中的每一个单点集都是开集，因此如果x∈X，则X有一个邻域{x}，使得
！！！！！！！！！！！！ 第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 ?τ 满足：
同伦和基本群 在上一次中，我们利用空间的连通性给出了一个拓扑不变量，他可以区分一些简单的空间，但是要想区分更多的空间，需要引入更精细的不变量！ 几个概念： 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]。
练习（第二章）参考答案： 一.判断题（每小题2分） 1. 集合X的一个拓扑有不只一个基，一个基也可以生成若干个拓扑（X ） 2. 拓扑空间中任两点的距离是无意义的.（V ） 3. 实数集合中的开集，只能是开区间，或若干个开区间的并.（X ） 4. 「、T2是X的两个拓扑，则T i UT是一个拓扑.（X ） 5. 平庸空间中任一个序列均收敛，且收敛于任一个点。（V ） 6. 从（X, T i）至U（X, T2）的恒同映射必是连续的。（X ） 7. 从离散空间到拓扑空间的任何映射都是连续映射（V ） 8. 设T i,T2是集合X的两个拓扑，则「T2不一定是集合X的拓扑（X ） 9. 从拓扑空间X到平庸空间丫的任何映射都是连续映射（V ） 10. 设A为离散拓扑空间X的任意子集，则d A （V ） 11. 设A为平庸空间X （X多于一点）的一个单点集，则d A （X ） 12. 设A为平庸空间X的任何一个多于两点的子集，则d A X （V ） 二.填空题：（每空格3分） 1、X二Z+,T二{ZZ …乙…},其中 乙={n,n+1,n+2, -}, 贝S包含3的所有开集为Z1,Z2,Z s 包含3的所有闭集为乙,Z4,Z5,Z6,...
包含3的所有邻域为Z1,Z2,Z3,{1} Z3 设A二{1,2,3,4,5} 则 A 的导集为{1,2,3,4} , A 的闭包为{1,2,3,4,5}
2、设X为度量空间,x € X,则d ({x} ) =_ 3、在实数空间R中，有理数集Q的导集是_____ R ____ . 4、x d(A)当且仅当对于x的每一邻域U有 _______________ ; _______ 答案：U (A {x}) 5、设A是有限补空间X中的一个无限子集，则d(A)= _____ — A= ； 答案：X ；X 6、设A是可数补空间X中的一个不可数子集，则d(A)= ______ — A= ; 答案：X ；X 7、设X {1,2,3} , X 的拓扑T {X, ,{2},{2,3}},则X 的子集 A {1,2}的内部 为____________ ；_______ 答案：{2}
第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.1拓扑空间、开集、闭集、聚点、闭包、邻域 一、问题的引入 数学分析里我们知道，在连续函数的定义中只涉及距离这个概念，定义域是一维欧氏空间,即实数空间，两点之间的距离d(x,y)=|x-y|,即两两实数之差的绝对值,定义域是n维欧氏空间，两点x=(x1 ,x2,…，x n),Y=(y1,y2,…，y n) 之间的距离 d(x,y)= 。 无论是几维空间，它的距离都有下面的性质： 1. d(x,y)≥0 , ?x,y∈n R; 2. d(x,y) = 0 ?x = y ; 3. d(x,y) = d(y,x) ?x,y∈n R; 4. d(x,z) ≤d(x,y) + d(y,z) , ?x,y,z∈n R; 这些性质反映了距离的特征。 将n R推广为一般的集合，我们由距离可以抽象出度量以及度量空间的定义。（一）度量空间 1.定义 定义1 设X是一个集合，ρ：X×X→R ,如果对于任何x,y,z∈X,有 ①（正定性）ρ（x,y）≥0 并且ρ (x,y) = 0 ?x = y ； ②（对称性）ρ (x,y) = ρ (y,x) ； ③（三角不等式）ρ (x,z) ≤ρ (x,y) + ρ (y,z) 则称ρ是集合X中的一个度量。
点集拓扑学 点集拓扑学（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，如由不等式，或者规定的区间由于包含其边界，因此不能称之为开集。 开集是指不包含自己边界点的集合。或者说，开集把它所包含的任何一点的充分小的邻域也包含在其自身之中。开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。
第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的并．于是
拓扑空间中集合的导集 题目：拓扑空间中集合的导集 摘要：如果在一个拓扑空间中给定一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各不相同，因此可以对它们进行分类处理。本文介绍了拓扑空间中集合的导集。 正文： 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θ-邻域系和θ-连续函数，证明了θ-连续的一些等价命题。
第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