点集拓扑理论在拓扑关系描述中的应用.pdf

第 18 卷 　第 4 期 工 　程 　数 　学 　学 　报 Vol. 18 No. 4 2001 年 11 月 Nov. 2001 JOURNAL OF EN GIN EERIN G MA THEMA TICS 文章编号 (2001) 点集拓扑理论在拓扑 关系描述中的应用 1 ,2 1 3 4 曹 　菡 , 　师 　军 , 　李生刚 , 　陈　军 ( 1陕西师范大学计算机系 ,西安 710062 ; 2武汉大学测绘遥感信息工程国家重点实验室 ,武汉 430079 ; 3陕西师范大学数学系 ,西安 710062 ; 　4国家基础地理信息中心 ,北京 100044) 摘 　要 : 在 Rn 中两个 n 维面状空间目标之间 ,可以根据 4 元交拓扑不变量的空与非空取值情况区分 8 种 拓扑关系 ,但仅用 4 元交模型不能区分一些拓扑不同胚的空间 目标之间的拓扑关系 。在 Egen hofer 等人提出的目标之间非空交的维数和分离数的基础上增加两 目差的分离数及 目标间相交边 界和相交内部的度量尺度 ,使空间目标之间拓扑关系的描述更为完善 。 关键词 : 空间关系 ;拓扑关系 ;4 元交 ;单纯形 ;单纯复形 ( ) 分类号 : AMS 2000 54A 　　　　中图分类号 : O189. 11 　　　　文献标识码 : A 1 　引　言 空间实体之间的一些具有空间特性的关系称为空间关系 。人们对空间关系的研究主要 包括拓扑、方向、距离三大类空间关系 ,研究内容主要集中在空间关系的语义问题 、空间关系 描述 、空间关系表达 、基于空间关系的查询分析 、空间推理等方面 。空间关系描述的基本任 务是以数学逻辑的方法区分不同的空间关系 ,给出形式化的描述 。其意义在于澄清不同用 户关于空间关系的语义 ,为空间关系判断、推理 ,构造空间查询语言和空间分析提供形式化 工具[1 ] 。 4 元交模型将简单空间目标看作是边界点和内部点构成的集合, 两个简单空间目标 A , B 的边界与边界的交集 A ∩B , 边界与内部的交集 A ∩B °, 内部与边界的交集 A °∩ ( ) B 、内部与内部的交集 A °∩B °, 构成了4 元交拓扑空间关系描述模型, 见式 1 。两个简单 空间实体之间的关系可以由4 元交中4 个二值拓扑不变量的不同取值来确定, 二值拓扑不 ( ) ( ) [ 2] 变量的取值要么为空 用符号 表示 , 要么是非空 用符号 表示 ( ) 收稿 日期 　作者简介 :曹菡 1963 年 7 月生 ,女 ,博士生. 主要研究方向: GIS 空间数据 建模 , GIS 中空间关系建模与推理. ( ) 　　基金项 目: 国家自然科学基金资助 编号 ;教育部高等学校骨干教师资助计划资助 ,陕西师 范大学校级重点科研基金资助. 第 4 期 　　　　　　　　　曹菡等 :点集拓扑理论在拓扑关系描述中的应用