[拼音]：tuopu kongjian
[外文]：topological space
欧几里得空间的一种推广。给定任意一个集，在它的每一点赋予一种确定的邻近结构便成为一个拓扑空间。构造邻近结构有多种方法，常用的是指定开集的方法。给定集x，它的一个子集族J称为x上的一个拓扑结构，简称拓扑，是指J满足下列三个条件：
（1）空集和x本身是J的元；
（2）J内任意有限多个元的交仍是J的元；
（3）J内任意多个元的并仍是J的元。集x连同它上面的一个拓扑J，构成一个拓扑空间，简称空间。J的元叫x的开集，开集的补集叫闭集。任何集x上总可以赋予拓扑。例如，x的一切子集组成的族就是x上的一个拓扑， 叫离散拓扑，对应的空间叫离散空间;另一个拓扑仅由空集与x自己所组成，叫平凡拓扑。如果集x上定义了一个度量或距离函数，那么x内可以用一些开球的并表示的一切子集组成x上的一个拓扑，叫度量拓扑。一切开球组成的集族称为这个拓扑的一个基。一般地，拓扑J的一个子族B称为J的一个基，是指 J的每个元可表为B的一些元的并。这时，也说拓扑J是由B生成的。拓扑J的一个子族φ称为J的一个子基是指φ中元的所有有限交构成的集族是J的一个基。设A是拓扑空间x的任一子集。规定A的开集是x的开集与A的交，于是A自己构成一个拓扑空间，称为x的子空间。
积空间
任意两个集A1和A2的笛卡儿积定义为集
。两个拓扑空间x1与x2的笛卡儿积x1×x2上可以引入乘积拓扑如下:其基中的元是形如A1×A2的集， 这里Ai是xi的任意开集，i=1，2。这样得到的拓扑空间称为空间x1与x2的积空间。x1与x2叫因子空间。积空间可以推广到任意多个因子的情况。 任意集族{Aα}α∈I的笛卡儿积可类似地定义为集
一族拓扑空间
的笛卡儿积
上可以引入乘积拓扑如下：其基中的元是形如
的集，这里Aα是xα的任意开集，并且这些Aα(α∈I)中除有限多个外都等于xα。这样得到的拓扑空间称为空间族{xα}α∈I的积空间。
商空间
设x是拓扑空间，将x划分为两两不相交的子集， 把每个子集看作一个点， 就得到一个新的集H。H的每个点可以看作是由x的某个相应子集中的点重叠而成。规定H的子集U是开集当且仅当U的一切元的并是x的开集。这样，H便构成一个拓扑空间，叫x的商空间。例如，让x表平面上的长方形带ABCDEF，并作为数平面R2的子空间。先把带扭转180°，再把FD边与CA边粘合起来，这样得到的图形叫麦比乌斯带。这时点A与D重合，C与F、B与E也重合，等等。如果将x划分为下列两两不相交的子集：｛A，D｝，｛C，F｝，｛B，E｝，…以及所有单点集｛p｝，这里p是x的不在两条竖直边上的点。所得的商空间就是麦比乌斯带（见图
）。
连续映射与同胚
设?是空间x到空间Y的映射，即对于x内每一点x，Y内有惟一一点y与它对应。这个y叫x在?下的像，记为?(x)；称?是连续映射是指对Y的每个开集G，其逆像?-1[G]={x∈x｜?(x)∈G}是x的开集。如果x内任意两个不同的点有不同的像，就称?是单射。如果Y内每一点必是x内某一点的像，就称?是满射。从空间x到Y的每个既单又满映射?必有逆映射g，它是Y到x上的既单又满映射，这里g(y)=x当且仅当?(x)=y。这时如果?和g都连续，便称?为同胚映射。两个拓扑空间称为同胚的，是指它们之间存在一个同胚映射。n维欧几里得空间Rn的任一开球作为子空间与Rn同胚。另一方面，1913年荷兰数学家L.E.J.布劳威尔证明了：当m不等于n时，Rm与Rn不同胚。
第一与第二可数空间
拓扑空间称为第二可数的是指它的拓扑有一个可数基。Rn是第二可数空间，因为半径与球心坐标皆为有理数的一切开球组成Rn上拓扑的可数基。设A是空间x的任一子集。x的子集W称为子集A的邻域是指存在开集U包含A且包含在W内。点x的邻域即子集{x}的邻域。由点x的一切邻域组成的集族Ux叫点的邻域系。Ux的子族Bx称为x的邻域基或局部基是指对于Ux的每个元U，Bx中相应地有元B，使B吇U。如果空间x的每一点都有一个可数局部基，便称为第一可数空间。第二可数空间与度量空间都是第一可数空间。
分离公理
主要有下面几条。
T1分离公理空间内任何两个不同的点都各有一个领域不含另一点。
豪斯多夫分离公理（T2分离公理)空间内任何两个不同的点都各有邻域互不相交。
正则分离公理空间内每一点以及不含该点的任一闭集都各有邻域互不相交。
全正则分离公理对于空间x内每一点x及不含x的任一闭集B，存在连续映射?∶x→[0，1]，使得?(x)=0且对B内每一点y，?(y)=1。
正规分离公理空间内任何两个不相交的闭集都各有邻域互不相交。
满足T1分离公理的空间叫T1空间。满足T2分离公理的空间叫T2空间或豪斯多夫空间。一个T1空间如果还满足正则分离公理或全正则分离公理或正规分离公理，则分别称为正则空间，全正则空间和正规空间。各空间之间的蕴含关系可用“崊”表示如下：正规空间崊全正则空间崊正则空间崊T2空间崊T1空间。度量空间以及下述的紧空间和仿紧空间都是正规空间。
紧空间
拓扑空间x的子集族 U称为x的覆盖是指x可表为U的一切元的并。由开集组成的覆盖叫开覆盖。如果T2空间x的每个开覆盖有一个有限子族仍是x的覆盖，则x称为紧空间。n维欧几里得空间Rn中的有界闭集，即可以包含于某个球内的闭集，作为Rn的子空间是紧空间。但Rn本身不是紧空间。任意一族紧空间
的积空间
仍是紧空间。连续映射把紧空间映成紧空间，只要映成的空间是T2的。与一个度量空间同胚的拓扑空间叫可度量空间。1924年，苏联拓扑学家∏.C.乌雷松证明了：紧空间是可度量的当且仅当它是第二可数的。在第二可数或度量空间范围内，一个空间是紧的当且仅当它是列紧的，即是T2空间且它的每个点列有一个收敛子序列。
仿紧空间
1944年由法国数学家J.迪厄多内提出的仿紧空间是紧空间的一种重要推广。空间内的一个子集族U称为局部有限的是指空间内每一点有一个邻域与U内至多有限多个元相交。设U、V是空间x的任二开覆盖，如果U的每个元是V的某个元的子集，则称U加细V或U是V的一个加细。一个T2空间称为仿紧空间是指对于它的每个开覆盖V，存在一个局部有限的开覆盖U加细V。紧空间和度量空间都是仿紧空间。
连通空间
有一类简单的几何图形只由“一片”所组成，这就是连通空间的直观含义。拓扑空间称为连通空间是指它不能表示为两个不相交的不空开集的并。等价地，从它到由两个点组成的离散空间的每个连续函数是常值的，即每一点的像皆相同。Rn是连通空间。R1内的连通子空间恰好是区间，包括带一个或两个端点的或不带端点的，有限或无限的。每个紧连通空间称为连续统。