空间关系描述与推理.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，直译是地志学，也就是和研究地形、地貌相类似的有关学科。我国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”，但是，这几种译名都不大好理解，1956年统一的《数学名词》把它确定为拓扑学，这是按音译过来的。 拓扑学 拓扑学是几何学的一个分支，但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。 拓扑学 在通常的平面几何里，把平面上的一个图形搬到另一个图形上，如果完全重合，那么这两个图形叫做全等形。但是，在拓扑学里所研究的图形，在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素，每一个图形的大小、形状都可以改变。例如，欧拉在解决哥尼斯堡七桥问题的时候，他画的图形就不考虑它的大小、形状，仅考虑点和线的个数。 拓扑性质 之拓扑等价 在拓扑学里不讨论两个图形全等的概念，但是讨论拓扑等价的概念。比如，尽管圆和方形、三角形的形状、大小不同，在拓扑变换下，它们都是等价图形。 拓扑等价 在一个球面上任选一些点用不相交的线把它们连接起来，这样球面就被这些线分成许多块。在拓扑变换下，点、线、块的数目仍和原来的数目一样，这就是拓扑等价。一般地说，对于任意形状的闭曲面，只要不把曲面撕裂或割破，他的变换就是拓扑变换，就存在拓扑等价。 环面不具有这个性质。把环面切开，它不至于分成许多块，只是变成一个弯曲的圆桶形，对于这种情况，我们就说球面不能拓扑的变成环面。所以球面和环面在拓扑学中是不同的曲面。 　　直线上的点和线的结合关系、顺序关系，在拓扑变换下不变，这是拓扑性质。在拓扑学中曲线和曲面的闭合性质也是拓扑性质。 拓扑关系 topological relation 　指满足拓扑几何学原理的各空间数据间的相互关系。即用结点、弧段和多边形所表示的实体之间的邻接、关联、包含和连通关系。如：点与点的邻接关系、点与面的包含关系、线与面的相离关系、面与面的重合关系等。 　拓扑关系是指图形元素之间相互空间上的连接、邻接关系并不考虑具体位置.这种拓扑关系是由数字化的点、线、面数据形成的以用户的查询或应用分析要求进行图形选取、叠合、合并等操作 基于维数扩展的九交模型能够很好地将两个空间目标的交集是空、点、线或面4种情况区分开 但同四元矩阵拓扑空间关系描述框架一样, 不能描述邻接和相离等空间目标分离开的拓扑关系基于voroni图的九交模型在区分地理空间中邻近关系和相离关系时具有一定的优势 目前, 空间拓扑关系形式化描述方法存在的主要问题体现在基于点集拓扑的空间关系描述框架无法描述相离的和没有公共元素的空间目标间的拓扑空间关系, 即存在所谓的模型描述错误或者无法描述的情形 空间拓扑关系形式化描述模型的发展 结合人们空间认知的理论模型研究, 形式化描述模型对空间目标间距离较近等复杂情况下空间方向关系的描述常会出现与人们认知不一致的情况。 融合不同的空间关系描述方法, 进一步完善空间关系的理论模型, 如方向关系的判定准则以及对度关系的形式化描述等, 建立更符合人类认知模式的统一的空间关系描述体系, 使得对地理空间目标间关系的刻画更准确、更全面 空间拓扑关系的推理 由空间对象已知的空间拓扑关系信息，推测和确定未知的其可能成立的空间拓扑关系。 例如，若已知空间对象A 和B 的拓扑关系为R1 （ A，B），B 和C 的拓扑关系为R2 （ B，C），通过已有