3.1集合的基本概念-3.3集合中元素的计数.ppt

集合论 集合论部分 集合是数学中最为基本的概念，又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分，是现代数学中占有独特地位的一个分支。 G.康托尔是作为数学分支的集合论的奠基人。1870年前后，他关于无穷序列的研究导致集合论的系统发展。1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。1878年，他引进了两个集合具有相等的“势”的概念。然而，朴素集合论中包含着悖论。第一个悖论是布拉利-福尔蒂的最大序数悖论。1901年罗素发现了有名的罗素悖论。1932年康托尔也发表了关于最大基数的悖论。 集合论的现代公理化开始于1908年E.策梅罗所发表的一组公理，经过A.弗兰克尔的加工，这个系统称为策梅罗-弗兰克尔集合论（ZF）。 集合论部分 第3章 集合的基本概念和运算 第4章 二元关系和函数 第3章 集合的基本概念和运算 3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数 3.1 集合的基本概念 集合的定义与表示 集合与元素 集合之间的关系 空集 全集 幂集 集合定义与表示 集合与元素 集合的元素是彼此不同的，如果同一个元素在集合中多次出现应该认为是一个元素，如{1，1，2，2，3}＝{1，2，3} 集合的元素是无序的，如{1，2，3}＝{3，1，2} 元素与集合的关系：隶属关系 属于?，不属于 ? 实例 A={ x | x?R?x2-1=0 }, A={-1,1} 1?A, 2?A 注意：对于任何集合 A 和元素 x (可以是集合)， x?A和 x?A 两者成立其一，且仅成立其一. 隶属关系的层次结构 例 3.1 A={ a, {b,c}, d, {{d}} } {b,c}?A b?A {{d}}?A {d}?A d?A 集合之间的关系 同一层次上的两个集合之间的关系： 包含（子集） B ? A ? ?x (x? B ? x? A) 不包含 B ? A ? ?x (x? B ? x? A) 相等 A = B ? A ? B ? B ? A 不相等 A ? B 真包含 A ? B ? A ? B ? A ? B 不真包含 A ? B 注意 ? 和 ? 是不同层次的问题 注意 ? 和 ? 是不同层次的问题 隶属关系和包含关系都是两个集合（集合也是元素）之间的关系，对于某些集合可以同时成立这两种关系。 例如A＝{a，{a}}和{a}既有{a}∈A，又有{a} ? A。前者把它们看成是不同层次上的两个集合，后者把它们看成是同一层次上的两个集合，都是正确的。 空集与全集 空集 ? 不含任何元素的集合 实例 {x | x2+1=0?x?R} 就是空集 定理 空集是任何集合的子集 ??A ? ?x (x???x?A) ?T 推论 空集是惟一的. 证 假设存在?1和?2，则?1??2 且? 2 ?? 1 ，因此?1=?2 全集 E 相对性 在给定问题中，全集包含任何集合，即?A (A?E ) 子集 定义:含有n个元素的集合简称n元集，它的含有m(m≤n)个元素的子集叫做它的m元子集。任给一个n元集，怎样求出它的全部子集呢？举例说明如下 例如：A＝{1,2,3}，将A的子集分类：0元子集，也就是空集，只有一个：? ；1元子集，即单元集：{1}，{2}，{3}；2元子集：{1,2}，{1,3}，{2,3}；3元子集：{1,2,3}。 n元集合有2n个子集。 幂集 定义: 设A为集合，把A的全部子集构成的集合叫做A的幂集，记作P(A)。 幂集的符号化表示为： P(A) = { x | x?A } 实例 P(?) = {?}， P({?}) = {?,{?}} P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}} 计数 如果 |A| = n，则 |P(A)| = 2n 3.2 集合的基本运算 集合基本运算的定义 ? ? ? ? ? 文氏图（John Venn） 例题 集合运算的算律 集合包含或恒等式的证明 集合基本运算的定义 并