1. 引言
在科学思维中,概念思维方式极为活跃,具有突出的创造性和科学发现的力量。科学概念经过数学操作和处理而获得确定性 [1]。概念是反映事物本质属性的思维形式,概念中对象的本质属性的总和,称为概念的内涵。反映适合于该概念的一切个别对象,称为概念的外延。定义是揭示概念内涵的一种逻辑方法。用一种外延较广的概念来定义外延较窄的概念,一般是指出被下定义的概念最邻近的属概念和能使它与其它对象区别的本质属性(通常叫种差),公式是:
被下定义的概念 = 属概念 + 种差 [2]。
在定义地图符号的基础上,给定不同的约束条件,可以推导出不同形式的地图符号的数学定义。本文推导了模拟与虚拟地图符号,依比例符号、不依比例符号和半依比例符号,点状地图符号、线状地图符号、面地图符号等基于不同约束条件的地图符号数学定义,每种具体地图符号的外延都被地图符号的外延所包含,而每种具体的地图符号的内涵又都比地图符号的内涵丰富。
2. 函数、基数和等势
2.1. 函数
[定义1] 映射设f是X到Y的关系,
,如果
,存在唯一的
,使得
,则称f是从X到Y的映射(函数),记作
,而称X是f的定义域。若
,则用
表示,并称y是在f之下的像或值 [3]。
映射、变换、函数或者对应,都是函数的同义词。
2.2. 双一一函数
[定义2] 双一一函数设
,如果
(1)
则称f是x到y内的单函数或一一函数。如果f既是x到y上的满函数,又是单函数,则f叫做x到y上的双一一函数。
2.3. 基数和势
[定义3] 基数对于每个集合A,给它一个记号
,使得当且仅当集合B~A时,才有
那么,
就叫做集合A的基数或势,也即A的元素的个数。
单位区间
的基数称为连续统的势,记为
。任何非退化区间都具有连续统的势,即其基数均为c。
2.4. 等势
[定义4] 等势设A与B表示任意两个集合,如果存在着A到B上的双一一函数,我们就说集合A与集合B等势,记作A~B [4]。
3. 地图符号生成的拓扑学原理
生成地图符号的拓扑映射
地图表示的对象(制图对象) x是制图区域D中的事物,D为地理空间X中的一个子集,即
。由于制图对象存在空间定位的问题,即需要投影到地球椭球面S上,获得以经纬度表示的位置信息,故存在从三维空间X到地球椭球面S的映射
。
制图对象x及其在地球椭球面上的投影
的属性特征、数量特征、形状特征等相关知识,被制图者获取和认识,是对其进行地图表示的前提。因此,存在着从S到主体认知结构Y的映
。主体关于制图对象的知识,是以观念形态存在于主体大脑中的,看不见摸不着而又确实存在,具有非空性,即
,在f映射下
,由于X与S为物质系统,
,
,
(2)
(2)式表明,现实中存在或不存在(已消亡或未产生)的事物,其相关知识可以存在于主体认知结构Y中。
表达了这样一个事实,现实中存在的事物(如一栋正在使用的建筑物)或现实中已消亡的事物(如某城市过去的历史),其相关知识和信息依然存在于认识主体的认知结构中,这种“虚”中存在的表达。大量的历史事实,现现中已不存在,但记录其过去存在的历史文献,作为非物质文化遗产,却能通过传承而被后人了解和认识。这种非物质的科学和文化知识的可积累性和可传承性,是人们间接获得前人认知成果和历史知识的必由之路 [5] [6] [7] [8]。
主体认识结构Y中的信息,包括现实存在事物的知识,已消亡实体的知识(历史知识)和主体对未来的规划、预测和种种创新构想,都可以用文字描述或用地图符号表示,使之成为可视化信息。从隐形信息可显化的必然性,可知存在着从主体认知结构Y到二维平面Z的映射
。
任何制图区域都是有限区域,即属非退化区间。根据非退化区间都具有连续统的势的定理,可知
和
为等势集合,即
(3)
(3)式也可从另一角度推出。制图区域内的制图对象,在一定的专题,一定比例尺条件下被制图主体选取、分类、概括之后,一一对应地被以点、线、面地图符号表示到地图上。实地一点上,原本具有多种属性的,如可以是高程,人口,气温等等。但是,在一定专题和一定比例尺条件下,它的属性被唯一地确定了,这种实地与地图的一一对应性(有条件的一一对应)显而易见。点、线、面地图符布满全图,任一点上,不属构成图形的点线符号,就属于构成背景的面状符号,二者必居其一,其满射特点一目了然。根据双一一函数的定义,可见任何地图都是制图区域在一定专题,一定地图比例尺和确定的制图时刻下的双一一函数。根据具有双一一函数的集合等势的原理,也可推出(3)式。
[定义5] 地图符号设
为三维空间X中制图区域D内的的制图物体,存在三维空间X到地球椭球面的映射
,椭球面S到主体认知结构Y的映射
以及Y到二维平面Z的映射
,x在
三重拓扑映射下的平面象
(4)
称为x的地图符号 [9]。
4. 几种地图符号的数学定义
4.1. 模拟与虚拟地图符号
[定义6]模拟地图符号若地图符号
在
时刻满足条件:
(5)
则称
为x在
时刻的模拟地图符号,也就是现实存在物的地图符号。
[定义7]虚拟地图符号若地图符号在
时刻满足条件:
(6)
则称
为x的虚拟地图符号,也就是现实并不存在的事物的地图符号 [10]。
比较(5)、(6)式可知,模拟与虚拟地图符号的本质差异在于地图符号
表示的对象x在现实世界中是否有实体对应。而在主体认知结构中的关于x和
的相关知识却是始终存在的,表现为
。
4.2. 依比例符号、不依比例符号和半依比例符号
[定义8] 依比例符号设地图比例尺为
,
为x的地图符号,若下列条件满足:
,
,使得
(7)
则称
为x的依比例符号。
(7)式中
的任意性,使得地图符号内任意方向的线段与比例尺分母M的乘积,恒等于该线段在地球椭球面上的逆象,这是依比例符号的本质特征。如依比例表示的湖泊,林地等均属此列。
[定义9] 不依比例符号设地图比例尺为
,
为x的地图符号,若下列条件满足:
,
,使得
(8)
则称
为x的不依比例符号。
(8)式表明,在不依比例符号内,任意方向的线段
与地图比例尺分母的乘积,恒大于该线段在椭球面上的逆象,这是由于地图符号的面积已作了放大,其放大倍率随地物的不同(如三角点和庙宇)、方向的不同、比例尺的不同而千差万别。这也是其与地图比例尺不相关和定名的依据。(8)式是不依比例符号应满足的充要条件。控制点、独立符号等即属此列。
[定义10] 半依比例符号设地图比例尺为
,
为x的地图符号,若下列条件满足:
,
,使得
(9)
则称
为x的半依比例符号,其中
为依比例方向而
为不依比例方向。
(9)式中,
的任意性和
与
的相互垂直,使其能表达任意弯曲特征的线状地物 [11] [12] [13]。地图符号与地图比例尺的半相关性,也是其获得此名的根据。如道路,境界线等即属此列。
4.3. 点状地图符号、线状地图符号、面状地图符号
[定义11] 点状地图符号存在平面点
,若地图符号
以p为定位中心定位,则称
为x的点状地图符号。
点状地图符号一般又具有非比例符号的性质。
[定义12] 线状地图符号设
为平面Z上的线段、折线、曲线或多种线的组合,
。若地图符号
以
为定位中心定位,则称
为x的线状地图符号。
线状地图符号又具有半依比例符号性质。
[定义13]面状地图符号设
为平面Z上的一个连通有界面,
。若地图符号
以F定位并指代F上的属性特征,则称
为x的面状地图符号 [14] [15]。
面状地图符号一般又具有依比例符号的性质。
5. 结语
根据制图物体需要进行地球椭球面定位,其位置特征、属性和数量、形状信息及与其他相关地物的邻接、相离、包含等关系,需要被制图者了解和认识,以及制图者可将其对制图物体的认识,以地图语言表达的可能,阐释了地图符号生成的拓扑学原理。在推出地图符号定义的基础上,根据制图对象在制图时刻是否现实存在而导出了模拟和虚拟地图符号;根据地图符号与地图比例尺相关、无关或半相关条件,导出了依比例符号、不依比例符号和半依比例符号;根据地图符号定位部的几何特征,分别导出了点状地图符号、线状地图符号和面状地图符号。从几种地图符号的约束条件及其表达形式的异同中,揭示了其本质特征和内在联系。这种基于不同约束条件的地图符号的数学定义,既是对地图符号体系的数学表达和概括,又能对具体的地图符号进行合理的解释。
基金项目
国家自然科学基金项目(41671459);国家自然科学基金青年项目(61702455)。
NOTES
*第一作者。