第1章 节 　数学基础 系统建模理论与方法 .pptxVIP

系统建模理论与基础 主编：夏安邦 目 录 第1章 数学基础第2章　模型论初步第3章　基本建模方法第4章　时间序列模型第5章　非平稳随机过程第6章　马尔科夫模型第7章　动态相关分析第8章　信息环境建模第1章　数学基础1.1　离散数学1.2　随机过程1.3　小结1.1　离散数学1.1.1　初等集合 1.1.2　集合的运算 1.1.3　关系 1.1.4　映射 1.1.5　线性空间 1.1.6*　度量空间 1.1.7*　命题逻辑 1.1.8*　一阶逻辑1.1.1　初等集合“集合”是不进行严格数学定义的一个基本概念。通常把研究对象的全体称为集合，而把其中的对象称为该集合中的元素。设Ａ是一个集合，ａ是集合Ａ中的元素，通常把这个事实记为ａ∈Ａ，读做“ａ属于Ａ”；若ａ不是集合Ａ中的元素，则记为ａ?Ａ，读做“ａ不属于Ａ”。如果给定集合Ａ，则对于任何元素ａ，关系式ａ∈Ａ和ａ?Ａ中有且仅有一个成立。元素和集合一样也是一个抽象的概念，它可以代表任何东西。这就是说集合可以由任何东西构成，例如一个集合可以是另一个集合的元素，为了避免逻辑上的矛盾，通常规定“所有集合的全体”不是集合而称为集类或简称为类。集类以集合为元素，因此关系式Ａ∈Ａ恒不成立，因为Ａ不能既为集又为类。一个集可以作为另一个集的元素，但是不能作为自身的元素。2.交运算“∩”集合Ａ与Ｂ的交记为Ａ∩Ｂ，或简记为ＡＢ。交运算的定义为Ａ∩Ｂ＝｛ｘ｜ｘ∈Ａ且ｘ∈Ｂ｝(1-5)3.差运算“-”或“＼”集合Ａ与Ｂ之差记为Ａ－Ｂ或Ａ＼Ｂ， 它定义为Ａ－Ｂ＝｛ｘ｜ｘ∈Ａ且ｘ?Ｂ｝4.补运算“”或“ＣＡＢ”若集合Ｂ是集合Ａ的子集，则Ａ－Ｂ称为集合Ｂ的补集，记为Ｂ或ＣＡＢ。显然，只有存在包含关系时，求补集才有意义。5.对称差“Δ”集合Ａ与Ｂ的对称差记为ＡΔＢ，它定义为ＡΔＢ＝(Ａ－Ｂ)∪(Ｂ－Ａ)(1-8)根据这一定义，可以得到ＡΔＢ＝ＢΔＡ(1-9)因此称之为对称差。以上所定义的并、交、差、补、对称差等运算可以分别用图1-1所示的集合运算的文氏图解来说明。5.对称差“Δ”图1-1　集合运算的文氏图解6.集合的运算规律(1)幂等律(2)排中律(3)交换律(4)结合律(5)分配率(6)吸收律(7)空集的性质(8)德·摩根(De(1)幂等律(2)排中律(3)交换律(4)结合律Ａ∪(Ｂ∪Ｃ)＝(Ａ∪Ｂ)∪Ｃ， Ａ∩(Ｂ∩Ｃ)＝(Ａ∩Ｂ)∩Ｃ(1-13)(5)分配率Ａ∪(Ｂ∩Ｃ)＝(Ａ∪Ｂ)∩(Ａ∪Ｃ)， Ａ∩(Ｂ∪Ｃ)＝(Ａ∩Ｂ)∩(Ａ∩Ｃ)(1-14)(6)吸收律Ａ∪(Ａ∩Ｂ)＝Ａ， Ａ∩(Ａ∪Ｂ)＝Ａ(1-15)(7)空集的性质(8)德·摩根(De(Ａ)＝Ａ，(Ａ∪Ｂ)＝Ａ∩Ｂ　∪ｉＡｉ＝∩ｉＡｉ(Ａ∩Ｂ)＝Ａ∪Ｂ，　(∩ｉＡｉ)＝∪ｉＡｉ(1-17)1.1.3　关系1.关系及其性质2.关系的运算3.序关系1.关系及其性质关系是现实中的一个基本概念，如同学关系、师生关系、父子关系等。在数学中也有类似的概念，如相等关系、小于关系、函数关系等。不难看到，关系可以描述在某一个集合中元素之间的特征。反过来，也可以把具有某种特征或性质的元素用一个集合描述出来。定义1-5　设A是一个集合，由A中元素的一些有序对构成集合R，亦即集合Ａ×Ａ中的一个子集R，称为集合A上的一个二元关系，简称关系。对于ｘ∈Ａ，ｙ∈Ａ，若(ｘ，ｙ)∈Ｒ，则称ｘ，ｙ有关系Ｒ，记为ｘＲｙ；若(ｘ，ｙ)?Ｒ，则称ｘ，ｙ没有关系Ｒ，记以ｘＲｙ。若Ｒ，Ｓ是集合A上的两个关系，并且Ｒ?Ｓ，则称R是S的子关系。既然关系是集合，那么自然在关系之间也有像集合那样的交、并、补等运算。2.关系的运算定义1-10　设R是集合A上的一个关系，令Ｒ－１＝｛(ｙ，ｘ)｜ｘ∈Ａ，ｙ∈Ａ，并且ｘＲｙ｝(1-18)则称关系Ｒ－１为关系Ｒ的逆。小于关系的逆是大于关系，大于关系的逆是小于关系。相等关系的逆仍然是相等关系。显然，对任意关系Ｒ而言，Ｒ＝Ｒ－１的充要条件是R具有对称性。定义1-11　设R，S是集合A上的两个关系，令Ｒ·Ｓ＝｛(ｘ，ｙ)｜ｘ∈Ａ，ｙ∈Ａ并且?z∈Ａ使得ｘＲｚ，ｚＳｙ｝(1-19)称关系Ｒ·S为关系Ｒ和S的乘积。不难证明关系的乘法满足结合律，但是不满足交换律。定理1-1　集合A上的关系R具有传递性的充要条件是Ｒ·Ｒ?Ｒ(Ｒ·Ｒ可简记为Ｒ２)。3.序关系定义1-14　设R是集合A上的一个关系，如果R具有自反性、反对称性、传递性，则称R为一个半序关系(或称为部分序关系)。集合A在半序关系R下组成一个半序集。显然，半序集的子集仍为半序集。例如，集合A中的包含关系就是一个半序关系，由一些集合作为元素而组成的集合，在集合的包含关系下是一个半序集。通常，将半序关系R写作≤，读做“小于或等于”。定义1-15　如果对于半序集A中任意两个元素ａ，ｂ，必有ａ≤ｂ，或者ｂ≤ａ，则称A为