离散数学-耿素云PPT的(第5版)3.1-3.pptVIP

1 集合论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2 集合论部分 第3章 集合的基本概念和运算 第4章 二元关系和函数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3 第3章 集合的基本概念和运算 3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4 3.1 集合的基本概念 集合的定义与表示 集合与元素 集合之间的关系 空集 全集 幂集 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5 集合定义与表示 集合 没有精确的数学定义 理解：一些离散个体组成的全体 组成集合的个体称为它的元素或成员 集合的表示 列元素法 A={ a, b, c, d } 谓词表示法 B={ x | P(x) } B 由使得 P(x) 为真的 x 构成 常用数集 N, Z, Q, R, C 分别表示自然数、整数、有理数、 实数和复数集合，注意 0 是自然数. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6 集合与元素 元素与集合的关系：隶属关系 属于，不属于  实例 A={ x | xRx2-1=0 }, A={-1,1} 1A, 2A 注意：对于任何集合 A 和元素 x (可以是集合)， xA和 xA 两者成立其一，且仅成立其一. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7 隶属关系的层次结构 例 3.1 A={ a, {b,c}, d, {{d}} } {b,c}A bA {{d}}A {d}A dA Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 8 集合之间的关系 包含（子集） A  B  x (xA  xB) 不包含 A ⊈ B  x (xA  xB) 相等 A = B  A  B  B  A 不相等 A  B 真包含 A  B  A  B  A  B 不真包含 A  B 思考：  和  的定义 注意  和  是不同层次的问题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 9 空集与全集 空集  不含任何元素的集合 实例 {x | x2+1=0xR} 就是空集 定理 空集是任何集合的子集 A  x (xxA) T 推论 空集是惟一的. 证 假设存在1和2，则1