空间关系描述和推理.ppt

拓扑 设X是一个非空集合。X的一个子集族τ称为X的一个拓扑，如果它满足： 　　（1）X和空集{}都属于τ； 　　（2）τ中任意多个成员的并集仍在τ中； 　　（3）τ中有限多个成员的交集仍在τ中。 　　定义中的三个条件称为拓扑公理。条件（3）可以等价的换为τ中两个成员的交集仍在τ中。 　　称集合X连同它的拓扑τ为一个拓扑空间，记作（X,τ）。 　　称τ中的成员为这个拓扑空间的开集。 拓扑 常用集合来代指一个拓扑空间，如拓扑空间X，拓扑空间Y等。 给出某集合的一个拓扑就是规定它的哪些子集是开集。 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,2}}是X的一个拓扑，但｛X,｛｝,｛1｝,｛2｝｝不是拓扑。（自己想想为什么） 拓扑学 拓扑学的英文名是Topology，直译是地志学，也就是和研究地形、地貌相类似的有关学科。我国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”，但是，这几种译名都