1701041360
1701041361
1701041362
1701041363
的定义蕴涵它满足拓扑公理（2），并且条件（1）说明因此也满足拓扑公理（1）．设U，记其中Bα，∀α，β，则由条件（2），得∀α，β．再由拓扑公理（2），推出于是拓扑公理（3）成立． ▎
1701041364
1701041365
1701041366
1701041367
1701041368
1701041369
例1 规定R的子集族＝｛［a，b）｜a＜b｝．显然满足命题1．11中条件（1）．任取［a1，b1），［a2，b2），若x∈［a1，b1）∩［a2，b2），记a＝max｛a1，a2｝，b＝min｛b1，b2｝，于是a≤x＜b．则［a，b）∈，并且x∈［a，b）⊂［a1，b1）∩［a2，b2）．因此命题1.11中条件（2）也满足．这样，是R上的一个拓扑基．
1701041370
1701041371
1701041372
1701041373
1701041374
1701041375
1701041376
1701041377
1701041378
1701041379
1701041380
令′＝｛［a，b）｜a＜b，b是有理数｝．则同样可证′是R上的拓扑基．因为′⊂，所以另一方面，不难验证并由此得出这样⊂生成相同的拓扑．一般地，当两个拓扑基生成相同的拓扑时，就称它们是等价的．
1701041381
1701041382
1701041383
命题1.12 是拓扑空间（X，τ）的拓扑基的充分必要条件为：
1701041384
1701041385
1701041386
1701041387
（1）⊂τ（即的成员是开集）；
1701041388
1701041389
1701041390
1701041391
（2）（即每个开集都是中一些成员的并集）．
1701041392
1701041393
证明 必要性显然．
1701041394
1701041395
1701041396
1701041397
由条件（1）与（2）推出从而是（X，τ）的拓扑基．充分性得证． ▎
1701041398
1701041399
1701041400
1701041401
1701041402
1701041403
1701041404
1701041405
1701041406
例2 若是（X，τ）的拓扑基，A⊂X．规定A：＝｛A∩B｜B∈｝．它是A的子集族．显然命题1.12的条件（1）成立．设V是A的开集，则有U∈τ，使V＝A∩U．设则V于是A满足命题1.12条件（2）．因此A是（A，τA）的拓扑基．
1701041407
1701041408
1701041409