离散第2讲广义并交、笛卡尔、归纳定义.pptVIP

计算机专业基础课程 授课人：梁妍 ? PowerPoint Template_Sub 1.1 1.2 1.3 集合的概念与表示 集合运算 集合的归纳定义 第 2 讲 集合的运算与归纳定义 《离散数学》第 2 讲 ? 集合运算与归纳定义 Page 7 to 13 ? 内容提要 ? 集合的运算 广义并、广义交运算 序偶和 n 元有序组 笛卡尔积 ? 集合的归纳定义 集合的归纳定义方法 集合定义的自然数 第 2 讲 集合的运算与归纳定义 ? 集合族的概念 ? 定义 1.7 ： 称每个元素都是集合的集合为 集合族 （ collection ）。 若集合族 C 可表示为 C = { S d | d ? D } ，则称 D 为 集合族 C 的 标志集 （ index set ）。 C = {{0}, {0, 1}, {0, 1, 2}, …} C = {N d | d ? I + } 第 2 讲 集合的运算与归纳定义 ? 集合的广义并和广义交 ? 定义 1.8 ： 设 C 为非空集合族 （ 1 ） ∪ C = {x | 存在某个 S ，满足 S ? C 并且 x ? S} ∪ C 称为 C 的 广义并 (C 中所有集合的并 ) （ 2 ） ∩ C = {x | 对任意的 S ，如果 S ? C 则一定有 x ? S} ∩C 称为 C 的 广义交 (C 中所有集合的交 ) ? 例如 C = {{0}, {0, 1}, {0, 1, 2}, …} ∪ C = N, ∩C = {0} ? d ? I ? d ? 1 ? ? N d ? ? N d C = {N d | d ? I + } ， ∪ C = , ∩C = ? N d ? ? N d d ? I d ? 1 ? 第 2 讲 集合的运算与归纳定义 ? 广义并、交运算实例 ∪ {A, B} = A ? B ∩{ A, B} = A ? B ∪ {A, B, C} = A ? B ? C ∩{ A, B, C} = A ? B ? C ∪ { ? } = ? ∩{ ? } = ? ∪ { ? , { ? }} = { ? } ∩{ ? , { ? }} = ? ∪ { ? , A} =A ∩{ ? , A} = ? 第 2 讲 集合的运算与归纳定义 ? 序偶 (ordered pairs) ? 如何在集合的基础上定义出 次序 的概念？ 可以是单个客体， 集合，甚至序偶 ? 定义 1.9 ： 设 a, b 为任意对象，称集合 {{a}, {a, b}} 为二元有序组，或 序偶 ，简记作 a,b 。其中 a 称 为序偶 a,b 的 第一分量 ， b 称为序偶的 a,b 第二 分量 。 ? 定理 1.17 ： 对任意序偶 a,b, c, d ， a,b=c, d 当且仅当 a=c 且 b=d 。 第 2 讲 集合的运算与归纳定义 ? n 元有序组 ? 定义 1.10 ： n 元有序组 a 1 , a 2 , …, a n 可以从二元 有序组（序偶）出发，递归地定义如下 a 1 , a 2 = {{a 1 }, {a 1 , a 2 }} a 1 , a 2 , a 3 = a 1 , a 2 , a 3 … a 1 , a 2 , …, a n = a 1 , a 2 , …, a n – 1 , a n 其中 a i 称为 n 元有序组的 第 i 分量 ? 本质上， n 元有序组依然是序偶 ? 定理 1.18 ： 对任意对象 a 1 , a 2 , …, a n ， b 1 , b 2 , …, b n ， a 1 , a 2 , …, a n = b 1 , b 2 , …, b n 当且仅当 a 1 =b 1 ， a 2 =b 2 ， … ， a n =b n 第 2 讲 集合的运算与归纳定义 ? 集合的笛卡尔积 ? 定义 1.11 ： 对任意集合 A 1 , A 2 ， A 1 ? A 2 叫做 A 1 , A 2 的 笛卡尔积 ，定义如下： A 1 ? A 2 = {x, y | x ? A 1 ， y ? A 2 } ? 说明 ? 运算是左结合的 A 1 ? A 2 ? … ? A n = (A 1 ? A 2 ? … ? A n – 1 ) ? A n 当 A 1 =A 2 =…=A n =A 时， A 1 ? A 2 ? … ? A n 记作 A n A 1 ? A 2 ? … ? A n = { a 1 , a 2 , …, a n | a 1 ? A 1 ， …, a n ? A n } 第 2 讲 集合的运算与归纳定义 ? 笛卡尔积运算举例 ? 例 1.10 A={1,