1701040620
1701040621
从定义看出，给出集合的一个拓扑就是规定它的哪些子集是开集．这种规定不是任意的，必须满足三条拓扑公理．但是一般来说一个集合上可以规定许多不相同的拓扑，因此说到一个拓扑空间时，要同时指明集合及所规定的拓扑．以后在不会引起误解的情况下，也常常只用集合来称呼一个拓扑空间，如拓扑空间X，拓扑空间Y等．
1701040622
1701040623
设X是一非空集合．显然2X构成X上的拓扑，称为X上的离散拓扑；｛X，∅｝也是X上的拓扑，称为X上的平凡拓扑．当X中包含多于一个点时，这两个拓扑不相同，并且X还有许别的拓扑．例如设X＝｛a，b，c｝，则｛X，∅，｛a｝｝，｛X，∅，｛a，b｝｝，｛X，∅，｛a｝，｛a，b｝｝都是X上的拓扑；但｛X，∅，｛a｝，｛b｝｝不是拓扑，因为条件（2）不满足；读者还可找到许多别的拓扑．
1701040624
1701040625
设τ1，τ2是集合X上的两个拓扑，如果τ1⊂τ2，则说τ2比τ1大（或说τ2比τ1精细）．离散拓扑比任何别的拓扑都大，而平凡拓扑比别的拓扑都小．
1701040626
1701040627
下面给出几个有用的例子．
1701040628
1701040629
例1 设X是无穷集合，τf＝｛Ac｜A是X的有限子集｝∪｛∅｝，则不难验证τf是X的一个拓扑，称为X上的余有限拓扑．
1701040630
1701040631
例2 设X是不可数无穷集合，τc＝｛Ac｜A是X的可数子集｝U｛∅｝，则τc也是X的拓扑，称为余可数拓扑．
1701040632
1701040633
例3 设R是全体实数的集合，规定τe＝｛U｜U是若干个开区间的并集｝，这里“若干”可以是无穷，有限，也可以是零，因此∅∈τe．则τe是R上的拓扑，称为R上的欧氏拓扑．记E1＝（R，τe）．
1701040634
1701040635
现在，对R已规定了五个拓扑：平凡拓扑τt，离散拓扑τs，余有限拓扑τf，余可数拓扑τc和欧氏拓扑τe．τf小于τc和τe，而τc与τe不能比较大小．
1701040636
1701040637
1.2 度量拓扑
1701040638
1701040639
集合X上的一个度量d是一个映射d：X×X→R，它满足
1701040640
1701040641
（1）正定性：d（x，x）＝0，∀x∈X，
1701040642
1701040643
d（x，y）＞0，当x≠y；
1701040644
1701040645
（2）对称性：d（x，y）＝d（y，x），∀x，y∈X；
1701040646
1701040647
（3）三角不等式：
1701040648
1701040649
d（x，z）≤d（x，y）＋d（y，z）， ∀x，y，z∈X．
1701040650
1701040651
当集合X上规定了一个度量d后，称为度量空间，记作（X，d）．
1701040652
1701040653
例4 记Rn＝｛（x1，x2，…，xn）｜xi∈R，i＝1，…，n｝．规定Rn上的度量d为：
1701040654
1701040655
1701040656
1701040657
1701040658
不难验证d满足（1），（2），（3）．记En＝（Rn，d），称为n维欧氏空间．
1701040659
1701040660
设（X，d）是一个度量空间，我们来规定X的一个拓扑．
1701040661
1701040662
设x0∈X，ε是一正数，称X的子集
1701040663
1701040664
B（x0，ε）：＝｛x∈X｜d（x0，x）＜ε｝
1701040665
1701040666
为以x0为心，ε为半径的球形邻域．
1701040667
1701040668
引理 （X，d）的任意两个球形邻域的交集是若干球形邻域的并集．
1701040669