《数学史第六讲.ppt

第四章数学研究对象及研究对象的深化 第六讲 3. 模糊数学 如果说确定数学与随机数学的历史都很古老的话，模糊数学则不然，仅有20多年历史。模糊数学又叫不分明数学、弗晰（Fuzzy）数学。相对于确定数学而言，它也属于不确定数学，但它与第二节中所述的不确定数学又不是一回事。 前两节中所谓确定与不确定是在“不是即非”的二值逻辑意义下说的，这里确定与不确定是指二值与多值逻辑的差异。模糊数学不具有排中律，属多值逻辑。它研究的对象本身就是“多值”集合、是客观存在，并不因条件（因）的充足与否才决定结论（果）的确定与否，只有把它放到二值逻辑下，它才成为不确定的。确定数学是二值逻辑的，因此要用确定数学的观点和方法去研究多值集合就成为不确定的、“模糊”的了。 模糊数学与前面两种数学之间都具有本质的区别，是一种独立类型，可以这样来定义模糊数学： “对客观差异的中介过渡引起的不分明现象所产生的数学叫做模糊数学”。 模糊数学研究的基本对象是模糊集合。模糊集合是实践中广泛存在的，自古有之。比如颜色、光谱、方位、角度，乃至生活中轻、重，好、坏，浓、淡等等概念中都具有模糊性。因此作为描述客观世界本质的“数学”不能回避它，不管从数学对其描述对象的复杂性还是从逻辑的深度上，都可以说模糊数学是描述客观世界的进一步深化。 模糊数学诞生于1965年，是美国电子工程专家L.A.Zadeh 提出来的，他为了提高电子计算机对于人的智能的模拟程度,在研究机器的“活性”和“机械性”间的“互克性”关系时，提出了模糊集合的概念。自此，对模糊集的分析，很快发展成数学上一个热门学科。模糊数学的基本思想是：设X为论域，对于X， 在分明数学中有 在模糊数学中则有 今天，模糊数学在理论和应用上都已得到长足的发展。在理论上，几乎一切确定数学的分支都被移植到模糊概念，形成了相应的模糊分支。诸如模糊集论、模糊数系、模糊逻辑、模糊代数、模糊拓扑、模糊积分、模糊评判、模糊控制等等。特别在前三个分支上的研究，对于进一步巩固它的数学根基，迎接外来挑战是大有好处。 在应用上。模糊数学表现出的生命力更是人所共知的，目前模糊数学的应用范围已相当广泛。诸如管理、决策、规划、信息、辨识、人工智能、系统工程以及模糊推理机等等。可以说模糊数学之所以能倔强地发展下去，主要在于它的应用性强、应用面广。 但是正如一切新生事物在成长期都要接受不同形式、不同程度的考验一样，模糊数学问世以来，也遭到过各种非议。最集中的攻击点是说模糊数学不是一门独立数学，说它只是分明数学的另一种叙述方式罢了。这方面以模糊拓扑受到非议最为突出，焦点多是说分明拓扑已经是用集合语言叙述的了。似乎分明与不分明间除了个“补运算”的区别外，没有什么了，因此认为模糊拓扑没有必要独立存在。 为此，我们只要弄清楚不分明拓扑究竟是分明拓扑在语言上的翻版，还是一种实质性的推广就明白了。让我们按照M.Atiyah准则来作检验吧： “一个推广至少应含两个相异而有趣的例子” 首先，在概念上至少从以下两方面表明其实质性推广。一个是在一致结构上得到的推广，另一个是在领域概念上得到的推广。特别是后者，正是刘应明教授推广领域概念而提出了“重域”概念后，才使得不分明拓扑得到了迅速发展。因此它并不是分明拓扑的简单平移，而是一种推广。既然是推广，它们间保留较多的共同语言也属自然。其次，在方法上，二者也是有明显差异的，比如提到过的“逆运算”就是一例。再则，从应用上说，比如不分明拓扑对格理论的研究也起到了很大的促进作用，这也是分明拓扑所不及的。 最后我们还要指出，模糊集本是自古就有的客观存在，但若在数学已经有能力且需要对客观存在进行直接研究的今天，还不能将它提到日程上的话，不管从数学上还是从逻辑上都将造成一大空白，是一大憾事，因此如今科学体系中不能没有模糊数学。至于说到方法上的独立和创新，那是进一步发展的问题，也是我们每个数学工作者共同的使命。 我们应该支持模糊数学。数学家尽可以凭自己的兴趣选择方向、发展他所热爱的分支，也可以对历史上基至别人认为已经清晰的事实发表自己的观点，却不可轻易对目下新鲜事物作否定表态，除非它在数学上是错的。别的行业不说，就在数学史上这种悲剧也是够多的了。非欧几何的30年挣扎史，概率论迟迟得不到承认，应用数学长期受冷遇，傅立叶级数的艰辛历程，康托集合的坎坷道路，以及莱布尼兹理论在英国受到排斥，致使英国数学“迟到了一百年“。再则，爱因斯坦错误地反对量子力学。韦达错误地反对历法改革，拉格朗日反对早期的傅立叶分析，克洛里克错误地反对集合论，乃至近期内还有名家阿诺尔德错误地反对突变理论等等。泰斗名家们的历史错误不能不值得后人借鉴。 历史已经告诉我们，一门新学科是否有生