离散数学-集合论基础.ppt

集合论基础 内容提要 现代数学的基础 渗透到计算机科学的各个方面 典型的离散结构模型 基本内容：集合的概念、性质、运算、关系、函数等。 集合论基础 集合的概念 注意：集合无法精确定义！ 说明 集合：把具有共同性质的一些组成一个整体，通常用大写字母表示，A，B，S 有限集与无限集 集合论基础 元素与集合 元素：组成集合的单个事物，通常用小写字母表示，a, b, c 若一个元素 a 在集合A内，称a属于A，记作 a∈A。 若一个元素 a 不在集合A内，称a不属于A，记作 a ? A。 集合论基础 集合的表示 枚举法 把集合中的所有元素列举出来 例: A={1,2,3,…N} 叙述法 把集合中元素的共同性质刻划出来 例: A={x | P(x)}, P为一谓词. 集合论基础 外延性原理 两个集合相等,当且仅当它们有相同的成员. 记作A=B. 也就是说, Vx ( x∈A ?x ∈B) 集合论基础 子集 子集: 集合A的每一个元素都是集合B的元素,则称A是B的子集. 记作A ? B. 也就是说, Vx (x∈A→ x ∈B). 回忆:两个集合相等的充要条件是互为子集! 集合论基础 真子集 集合 A是集合B的子集, 且A与B不相等,则称A是B的真子集. 也就是说, (Vx) (x∈A→ x ∈B) ∧ (?y) (y ∈B ∧ y ? A