拓扑学的英文名是Topology，直译是地志学，也就是和研究地形、地貌相类似的有关学科。几何拓扑学是十九世纪形成的一门数学分支，它属于几何学的范畴。有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题，后来在拓扑学的形成中占着重要的地位。

1、【公理】
设X是一个非空**。X的一个子集族T称为X的一个拓扑，如果它满足：
1．X和空集{}都属于τ
2．τ中任意多个成员的并集仍在τ中
3．τ中有限多个成员的交集仍在τ中。
定义中的三个条件称为拓扑公理。条件（3）可以等价的换为τ中两个成员的交集仍在τ中。称**X连同它的拓扑τ为一个拓扑空间，记作（X,τ）。
称τ中的成员为这个拓扑空间的开集。
从定义上看，给出某**的一个拓扑就是规定它的哪些子集是开集。这些规定不是任意的，必须满足三条拓扑公理。
一般说来，一个**上可以规定许多不相同的拓扑，因此说到一个拓扑空间时，要同时指明**及所规定的拓扑。在不引起误解的情况下，也常用**来代指一个拓扑空间，如拓扑空间X，拓扑空间Y等。
同时，在拓扑范畴中，我们讨论连续映射。定义为：f: (X,T_1) ------> (Y,T_2) （T_1,T_2是上述定义的拓扑）是连续的当且仅当开集的原像是开集。两个拓扑空间同胚当且仅当存在双向互逆的连续映射。同时，映射同伦和空间同伦等价也是很有用的定义。

2、【例子】
1．欧几里德空间在通常开集的意义下是拓扑空间，它的拓扑就是所有开集组成的**。
2．设X是一个非空**。则**t：{X,{}}是X的一个拓扑。称t为X的平凡拓扑。显然（X,t）只有两个开集，X和{}。
3．设X是一个非空**。则X的幂集T=2^X也是X的一个拓扑。称T为X的离散拓扑。显然X的任意子集都是(X,T)的开集。
4．一个具体的例子。设X={1，2}。则{X,{},{1}}是X的一个拓扑，{X,{},{2}}也是拓扑，{X,{},{1},{2}}是拓扑（由定义可知).

【【什么是拓扑学？】】
拓扑学的英文名是Topology，直译是地志学，也就是和研究地形、地貌相类似的有关学科。中国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”，但是，这几种译名都不大好理解，1956年统一的《数学名词》把它确定为拓扑学，这是按音译过来的。
拓扑学是几何学的一个分支，但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。
举例来说，在通常的平面几何里，把平面上的一个图形搬到另一个图形上，如果完全重合，那么这两个图形叫做全等形。但是，在拓扑学里所研究的图形，在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素，每一个图形的大小、形状都可以改变。例如，前面讲的欧拉在解决哥尼斯堡七桥问题的时候，他画的图形就不考虑它的大小、形状，仅考虑点和线的个数。


【【拓扑结构的性质】】
拓扑性质有那些呢？首先我们介绍拓扑等价，这是比较容易理解的一个拓扑性质。
在拓扑学里不讨论两个图形全等的概念，但是讨论拓扑等价的概念。比如，尽管圆和方形、三角形的形状、大小不同，在拓扑变换下，它们都是等价图形。左图的三样东西就是拓扑等价的，换句话讲，就是从拓扑学的角度看，它们是完全一样的。
莫比乌斯带在一个球面上任选一些点用不相交的线把它们连接起来，这样球面就被这些线分成许多块。在拓扑变换下，点、线、块的数目仍和原来的数目一样，这就是拓扑等价。一般地说，对于任意形状的闭曲面，只要不把曲面撕裂或割破，他的变换就是拓扑变换，就存在拓扑等价。
应该指出，环面不具有这个性质。比如像左图那样，把环面切开，它不至于分成许多块，只是变成一个弯曲的圆桶形，对于这种情况，我们就说球面不能拓扑的变成环面。所以球面和环面在拓扑学中是不同的曲面。
直线上的点和线的结合关系、顺序关系，在拓扑变换下不变，这是拓扑性质。在拓扑学中曲线和曲面的闭合性质也是拓扑性质。
我们通常讲的平面、曲面通常有两个面，就像一张纸有两个面一样。但德国数学家莫比乌斯(1790～1868)在1858年发现了莫比乌斯曲面。这种曲面就不能用不同的颜色来涂满两个侧面。


【【创作故事】】
1、【莫比乌斯带】
公元1858年，莫比乌斯发现：把一个扭转180°后再两头粘接起来的纸条具有魔术般的性质。因为，普通纸带具有两个面（即双侧曲面），一个正面，一个反面，两个面可以涂成不同的颜色；而这样的纸带只有一个面（即单侧曲面），一只小虫可以爬遍整个曲面而不必跨过它的边缘！我们把这种由莫比乌斯发现的神奇的单面纸带，称为“莫比乌斯带”。
拿一张白的长纸条，把一面涂成黑色，然后把其中一端翻一个身，
如同上页图那样粘成一个莫比乌斯带。现在像图中那样用剪刀沿纸带的中央把它剪开。你就会惊奇地发现，纸带不仅没有一分为二，反而像图中那样剪出一个两倍长的纸圈！
有趣的是：新得到的这个较长的纸圈，本身却是一个双侧曲面，它的两条边界自身虽不打结，但却相互套在一起！为了让读者直观地看到这一不太容易想象出来的事实，我们可以把上述纸圈，再一次沿中线剪开，这回可真的一分为二了！得到的是两条互相套着的纸圈，而原先的两条边界，则分别包含于两条纸圈之中，只是每条纸圈本身并不打结罢了。
比如旋转三个半圈的带子再剪开后会形成一个三叶结。剪开带子之后再进行旋转，然后重新粘贴则会变成数个Paradromic。
莫比乌斯带常被认为是无穷大符号「∞」的创意来源，因为如果某个人站在一个巨大的莫比乌斯带的表面上沿着他能看到的“路”一直走下去，他就永远不会停下来。但是这是一个不真实的传闻，因为「∞」的发明比莫比乌斯带还要早。
莫比乌斯带还有更为奇异的特性。一些在平面上无法解决的问题，却不可思议地在莫比乌斯带上获得了解决！
比如在普通空间无法实现的手套易位问题：人左右两手的手套虽然极为相像，但却有着本质的不同。我们不可能把左手的手套贴切地戴到右手上去；也不能把右手的手套贴切地戴到左手上来。无论你怎么扭来转去，左手套永远是左手套，右手套也永远是右手套！不过，倘若自你把它搬到莫比乌斯带上来，那么解决起来就易如反掌了。
在自然界有许多物体也类似于手套那样，它们本身具备完全相像的对称部分，但一个是左手系的，另一个是右手系的，它们之间有着极大的不同。
“莫比乌斯带”在生活和生产中已经有了一些用途。例如，用皮带传送的动力机械的皮带就可以做成“莫比乌斯带”状，这样皮带就不会只磨损一面了。如果把录音机的磁带做成“莫比乌斯带”状，就不存在正反两面的问题了，磁带就只有一个面了。
2、【橡皮几何学】
莫比乌斯带是一种拓扑图形，什么是拓扑呢？拓扑所研究的是几何图形的一些性质，它们在图形被弯曲、拉大、缩小或任意的变形下保持不变，只要在变形过程中不使原来不同的点重合为同一个点，又不产生新点。换句话说，这种变换的条件是：在原来图形的点与变换了图形的点之间存在着一一对应的关系，并且邻近的点还是邻近的点。这样的变换叫做拓扑变换。拓扑有一个形象说法——橡皮几何学。因为如果图形都是用橡皮做成的，就能把许多图形进行拓扑变换。例如一个橡皮圈能变形成一个圆圈或一个方圈。但是一个橡皮圈不能由拓扑变换成为一个阿拉伯数字8。因为不把圈上的两个点重合在一起，圈就不会变成8,“莫比乌斯带”正好满足了上述要求。右下角是三角形麦比乌斯带，左端绿色与右端黄色相连，扭曲的三角形莫比乌斯带可以不断循环：绿--黄---红---绿---黄---…。拓扑变换的不变性、不变量还有很多，这里不再介绍。
3、【拓扑学的发展】
拓扑学建立后，由于其它数学学科的发展需要，它也得到了迅速的发展。特别是黎曼创立黎曼几何以后，他把拓扑学概念作为分析函数论的基础，更加促进了拓扑学的进展。
二十世纪以来，**论被引进了拓扑学，为拓扑学开拓了新的面貌。拓扑学的研究就变成了关于任意点集的对应的概念。拓扑学中一些需要精确化描述的问题都可以应用**来论述。
因为大量自然现象具有连续性，所以拓扑学具有广泛联系各种实际事物的可能性。通过拓扑学的研究，可以阐明空间的**结构，从而掌握空间之间的函数关系。二十世纪三十年代以后，数学家对拓扑学的研究更加深入，提出了许多全新的概念。比如，一致性结构概念、抽象距概念和近似空间概念等等。有一门数学分支叫做微分几何，是用微分工具来研究曲线、曲面等在一点附近的弯曲情况，而拓扑学是研究曲面的全局联系的情况，因此，这两门学科应该存在某种本质的联系。1945年，美籍中国数学家陈省身建立了代数拓扑和微分几何的联系，并推进了整体几何学的发展。
拓扑学发展到今天，在理论上已经十分明显分成了两个分支。一个分支是偏重于用分析的方法来研究的，叫做点集拓扑学，或者叫做分析拓扑学。另一个分支是偏重于用代数方法来研究的，叫做代数拓扑。现在，这两个分支又有统一的趋势。
拓扑学在泛函分析、李群论、微分几何、微分方程和其他许多数学分支中都有广泛的应用。