07数学空间几何对象.docVIP

第七章 数学空间的几何对象 §7.1 距离空间（度量空间） 距离在描述空间位置之间的关系时是一个十分重要的概念。实际上GIS中距离的种类有多种，与之对应的抽象数学理论是本节的主要内容。 定义7.1 设X为任一非空集合，d: X×X→R为一函数，使得对于X的任何点x，y，z满足下列性质： M1：d(x, y)≥0 M2：d(x, y)=0 (x=y) M3：d(x, y)=d(y, x) M4：d(x, y)≤d(x, z)+ d(z, y) 则(X, d)称为以d为距离的距离空间。若x, y∈X，则实数d(x, y)称为从点x到点y的距离。上面的性质中，M3称为对称性，M4称为三角不等式。 例： 对于可数无限维实数空间R, 定义距离函数d: 对空间中的任意两点p(x1, x2, …)和q(y1, y2, …), d(p, q)=, 这里和均收敛。 可以证明d(p, q)一定收敛，(R,d)满足距离空间定义。(R,d)称为希尔伯特(Hilbert)空间。 现在我们考察几种GIS中常用的距离及其与距离空间的关系。 最短线距离：沿地球球面从一个城市到另一个城市的最短距离。 球面曼哈顿距离：地球上两城市经度差与纬度差之和。 旅行时间：城市间旅行（假定沿公路线旅行）所需的最短时间。 考察上述距离定义，M1和M2显然为这三种距离所定义。最短线距离和曼哈顿距离亦满足距离空间的对称性。但旅行时间则不一定。若考虑路面状况、地理特性（坡度等）、交通规则（单行线）等，则对称性不能满足。 三角不等式性质亦为最短线距离所满足。对于旅行时间，三角不等式亦不一定满足。图7-1-1所示，城市a和b及b和c间有高速公路，而a与c之间只有低等级公路，则就旅行时间而言，T(a, b)+T(b, c)≥T(a, c)不一定成立。 图7-1-1 旅行时间与三角不等式 由上面的讨论，我们知道球面上的城市集合与最短线距离，以及曼哈顿距离均构成距离空间，而与旅行时间则不能构成距离空间。这说明传统的距离空间（亦称度量空间）不能完全适应GIS的需要。特别需要说明的是，旅行时间这类的距离在GIS应用中有很重要的意义。例如，图7-1-2所示是地震后的救灾问题。救灾中心M需要在最短时间内赶往灾区A、B、C、D、E，此时通常意义下的距离已不重要，对称性、三角不等式难以满足，时间是最重要的。 A ● C ● ╋ 急救中心 M D ● B ● E ● 图7-1-2 灾区与急救中心的位置 §7.2 欧氏空间 定义7.2 设d为定义在集合Rn上的距离函数，d: Rn→R，对于Rn中的任意元素x, y，x=(x1, x2, …, xn), y=(y1, y2, …, yn), 有d(x, y)=, 则En=(Rn, d) 称为n维欧氏空间，Rn的每个元素称为空间En的点，d称为Rn上的欧氏距离。当n=2时，E2 称为欧氏平面。 欧氏空间是GIS中常用的一个重要数学空间，许多地理信息模型以欧氏空间为基础。下面讨论欧氏平面E2中的点、线、面的定义。 点：欧氏平面的点由一实数对(x, y)唯一确定，x, y 分别为其横坐标和纵坐标值。 通常也可以用矢量表示欧氏平面的点(x, y), 即用从坐标原点到(x, y)的有方向的线段表示点(x, y), 所有这些点的集合称为笛卡尔平面，记为R2。在笛卡尔平面中，允许下列对点的运算。 相加：(x1, y1)＋(x2, y2) = (x1＋x2, y1＋y2) 相减：(x1, y1)－(x2, y2) = (x1－x2, y1－y2) 乘常数：k(x, y) = (kx, ky) 求模：给定矢量a = (a1, a2), 其模为= 矢量间的距离：给定点a = (a1, a2), b = (b1, b2), 从a到b的距离定义为 = ，即= 矢量间的夹角：矢量a与b的夹角由下列三角几何方程给定： cos= (a1b1+ a2b2) / (·) 矢量和的夹角：如图7-2-1所示，在[0，360)范围内的值由下列三角几何方程唯一确定。 线：给定R2中两个不同点a和b，由a、b确定的线定义为点集。 线段：给定R2中的两个不同点a和b，由a和b确定的线段定义为点集。 射线：给定R2中的两个不同点a和b，由b出发经a的射线定义为点集。 β α 图7-2-1 笛卡尔平面的矢量和 图7-2-2 线实体 图7-2-2给出了上述定义的直观图示。由线的定义，我们可以得到多边形的定义。 多线段（Polyline）：R2上的多线段定义为线段（称为边）的有限集合，使得集合中边的端点除两个端点外（称为极点）任一端点恰好为两条边的端点。