《19 分解定理,回顾,经典集合,例题,模糊子集》

　　本课程由西安交通大学桂小林老师主讲，模糊数学是数学的一个新的分支，也是研究和处理模糊性现象的一种数学理论和方法。在本教程中，我们将对模糊数学理论及应用等相关知识进行了解，下面我们先来对模糊数学的相关内容进行简单了解。

　　模糊数学是以“模糊集合”论为基础。模糊数学提供了一种处理不肯定性和不精确性问题的新方法，是描述人脑思维处理模糊信息的有力工具。它既可用于“硬”科学方面，又可用于“软”科学方面。

　　模糊数学由美国控制论专家L.A.扎德(L.A.Zadeh,1921--)教授所创立。他于1965年发表了题为《模糊集合论》(《FuzzySets》)的论文，从而宣告模糊数学的诞生。L.A.扎德教授多年来致力于“计算机”与“大系统”的矛盾研究，集中思考了计算机为什么不能象人脑那样进行灵活的思维与判断问题。尽管计算机记忆超人，计算神速，然而当其面对外延不分明的模糊状态时，却“一筹莫展”。可是，人脑的思维，在其感知、辨识、推理、决策以及抽象的过程中，对于接受、贮存、处理模糊信息却完全可能。计算机为什么不能象人脑思维那样处理模糊信息呢?其原因在于传统的数学，例如康托尔集合论(Cantor′sSet),不能描述“亦此亦彼”现象。集合是描述人脑思维对整体性客观事物的识别和分类的数学方法。康托尔集合论要求其分类必须遵从形式逻辑的排中律，论域(即所考虑的对象的全体)中的任一元素要么属于集合A，要么不属于集合A，两者必居其一，且仅居其一。这样，康托尔集合就只能描述外延分明的“分明概念”，只能表现“非此即彼”，而对于外延不分明的“模糊概念”则不能反映。这就是目前计算机不能象人脑思维那样灵活、敏捷地处理模糊信息的重要原因。为克服这一障碍，L.A.扎德教授提出了“模糊集合论”。在此基础上，现在已形成一个模糊数学体系。

　　模糊数学产生的直接动力，与系统科学的发展有着密切的关系。在多变量、非线性、时变的大系统中，复杂性与精确性形成了尖锐的矛盾。L.A.扎德教授从实践中总结出这样一条互克性原理：“当系统的复杂性日趋增长时，我们作出系统特性的精确然而有意义的描述的能力将相应降低，直至达到这样一个阈值，一旦超过它，精确性和有意义性将变成两个几乎互相排斥的特性。”这就是说，复杂程度越高，有意义的精确化能力便越低。复杂性意味着因素众多，时变性大，其中某些因素及其变化是人们难以精确掌握的，而且人们又常常不可能对全部因素和过程都进行精确的考察，而只能抓住其中主要部分，忽略掉所谓的次要部分。这样，在事实上就给对系统的描述带来了模糊性。“常规数学方法的应用对于本质上是模糊系统的分析来说是不协调的，它将引起理论和实际之间的很大差距。”因此，必须寻找到一套研究和处理模糊性的数学方法。这就是模糊数学产生的历史必然性。模糊数学用精确的数学语言去描述模糊性现象，“它代表了一种与基于概率论方法处理不确定性和不精确性的传统不同的思想，……，不同于传统的新的方法论”。它能够更好地反映客观存在的模糊性现象。因此，它给描述模糊系统提供了有力的工具。