关系映射反演方法

关系映射反演方法

关系(relation)映射(mapping)反演(inversion)方法（简称为RMI 方法）是我国学者徐治利先生在60年代研究组合数学的时候提出的一种数学方法论。尽管这种方法论已被世界广泛认同，但仍为大多数学习数学的人所不知。在此简略的做一番介绍，望能给学习数学的读者作以方法上的参考。本篇文章纯粹是介绍性文章，故不会对此问题做深入的研究，读者如果感兴趣，想要了解更多，可以去查看徐治利先生的《数学方法论选讲》（徐利治著）《徐治利数学方法论十二讲》《徐治利谈数学方法论》《关系映射反演原则及应用》等以及一些其他关于数学方法论的书籍。

我们知道，化归思想是数学中最重要的思想之一，即使是简单的解方程，我们也要把方程化归为完全平方数的形式：。但“化归”是一个较为笼统的说法,没有较大的指导意义。RMI 方法是化归方法深度上的发展，是对化归思想的升华。 一、下面结合一些具体的简单例子来引入RMI 方法。

例子一、（此例取自《关系映射反演原理及应用》）解析几何解决问题的方法我们应该是很熟悉了：建立坐标系，把空间中的点与实数对一一对应起来，然后把几何的问题转化为代数问题，通过代数运算得到一个有意义的解，再把代数解翻译为几何解。例如：我们要证明三角形的三条高交于一点，我们可以建立一个坐标系（如图一），三条直线是否交于一点的问题就转化为三个方程

是否有公共解。解得公共解为，从而证明了三角形的三条高交于一点。其思想图式如下：

例子二、用复数证明三角形内角和等于

具体过程就不在这里写了，可以参看《数学物理方法》P15。其方法就是把三角形放到复平面上，把三角形内角求和问题转化为复数问题，由于复数的运算特性，使得问题很容易求得，然后再回归到原来的问题，得解。

542+=x x 9)2(2

=-x .

0:;0:;

0:AD =--=--=bc ay bx CF bc ay cx BE x ⎪⎩

⎪

⎨

⎧-==a bc y x

0π

例子三、对数表

在物理运算，尤其是一些天文方面的运算时，我们常常遇到类似这样一些连乘及开方的式子：，例如求

（此例取自《关系映射反演原理及应用》

）。在计算器发明之前，如果直接计算将是相当麻烦的。1594年皮埃尔发明了对数法，并用了二十年时间来完成它（关键在算出一张对数表）。对上述例子的求解过程如下：

（1） 取对数: （2） 查对数表: （3） 取反对数

其解题思想图式如下：

二、RMI 方法的定义

以上三个例子我们可以看到共同之处，即都有一个通过某种对应关系把原问题转化为象问题的过程，通过象问题的求解结果反演出所要求的原问题的结果。这就是RMI 方法的基本思想。如图四所示。

为方便起见，我们记原问题（专业点的名词是：未知目标原象）、象问题（相应的：未知目标映像）分别为、，记原问题解（目标原象）、象问题解（目标映像）分别为

、

c

b a n

m

l

s =

01

.1224.37295

3

12

⨯

=s 01

.12lg 524.3lg 3

1729

lg

2)lg(lg 01

.1224.37295

31

2

-+=⨯=s 4981

.00795.155105.03

1

8627.22lg =⨯-⨯+⨯=s 149.3=s x *x x

，原问题数学对象间的关系结构为，象问题间的关系结构为

，由

到

映射关系为，其由到的关系为，由到的数学手续记为。

ＲＭＩ方法定义：给定一个含有目标原象

的关系结构，如果能找到一个可定映映射

，将映入或映满，则可从通过一定的有限步数学手续把目标映像确定出来，进而，通过反演又可以把确定出来，这样使得原问题得到解决。（《关系映

射反演原则及应用》Ｐ３０）。

这里要说明一下几个概念：数学对象；关系结构；映射；数学手续；可定映映射。 数学对象 顾名思义，就是数学研究的对象，包括我们常见的数（从整数到复数）、数列、向量、变量、函数、方程、空间、点、线、图形、导数、积分等等，也包括我们不熟悉的如泛函、群、环、域、范畴等等。数学是从大量现实材料中抽象出来的一门学科，而数学对象正是这些现实问题的量的属性。

关系结构 一个数学对象的意义必须是明确的，这就要求数学对象定义时是严格的。数学对象的一个特点就是逻辑构造，即，一个数学对象不是凭空产生的，除了最原始的对象外，别的都是以已有的数学定义经逻辑构造定义的。如圆的定义为到定点距离为定长的点的集合，是建立在点、集合、距离等数学对象的基础上构造出来的；复数，形如ａ＋ｉｂ的数（其中ａ、ｂ为实数），是建立在实数基础上构造出来的……因此数学对象彼此之间不是孤立的，而是相互联系的。我们把彼此之间具有某种或某些联系的数学对象的集合称为关系结构。

映射，就是通过某种明确的对应关系使得两个关系结构联系的作用（名词）。如我们常用的函数（function 功能）、坐标系（点与数对的对应）、矩阵（与向量的乘积相当于对向量做了一次变换）等都是映射。

数学手续 即指数学中所用到的种种演绎推理、证明方法、计算方法、和查表方法（如对数表）等等。如果放宽条件，广义的数学手续也包括做实验（来得到某些数据）。 所谓可定映映射即是指，找到的映射关系结构

中可以通过一定的数学手续由得

到，则称为变为的可定映映射。

*

x S *

S S *S w *x x w 1

-*x *x ϕx S w S *S *S ϕ*

x

x *S ϕ*x *x w S *S