第1章 节 绪论 计算机专业 形式语言课件.pptVIP

2018-5-23 1 第1章  绪论 1.1 集合的基础知识 1.1.1 集合及其表示 集合：一定范围内的、确定的、并且彼此可以区分的对象汇集在一起形成的整体叫做集合(set)，简称为集(set)。 元素：集合的成员为该集合的元素(element)。 集合描述形式(列举法和命题法) 。 基数 。 集合的分类。 2018-5-23 2 1.1.2 集合之间的关系 子集 如果集合A中的每个元素都是集合B的元素，则称集合A是集合B的子集(subset)，集合B是集合A的包集(container)。记作AB。也可记作BA。AB读作集合A包含在集合B中；BA读作集合B包含集合A。 如果AB，且x∈B，但xA，则称A是B的真子集(proper subset)，记作AB 2018-5-23 3 1.1.2 集合之间的关系 集合相等 如果集合A，B含有的元素完全相同，则称集合A与集合B相等(equivalence)，记作A=B。 对任意集合A、B、C： ⑴ A=B iff AB且BA。 ⑵ 如果AB，则|A|≤|B|。 ⑶ 如果AB，则|A|≤|B|。 ⑷ 如果A是有穷集，且AB，则|B||A|。 2018-5-23 4 1.1.2 集合之间的关系 ⑸ 如果AB，则对x∈A，有x∈B。 ⑹如果AB，则对x∈A，有x∈B并且x∈B，但xA。 ⑺ 如果AB且BC，则AC。 ⑻ 如果AB且BC，或者AB且BC，或者AB且BC，则AC。 ⑼ 如果A=B，则|A|=|B|。 2018-5-23 5 1.1.3 集合的运算 并(union) A与B的并(union)是一个集合，该集合中的元素要么是A的元素，要么是B的元素，记作A∪B。 A∪B={a|a∈A或者a∈B} A1∪A2∪…∪An={a|i，1≤i≤n，使得a∈Ai} A1∪A2∪…∪An ∪…={a|i，i∈N,使得a∈Ai} 2018-5-23 8 差(difference) 属于A，但不属于B的所有元素组成的集合叫做A与B的差，记作A-B。 A-B={a|a∈A且aB} “-”为减(差)运算符，A-B读作A减B。 ⑴ A-A=Φ。 ⑵ A-Φ=A。 ⑶ A-B ≠ B-A。 ⑷ A-B=A iff A∩B=Φ。 ⑸ A∩(B-C)=(A∩B)-(A∩C)。 ⑹ |A-B|≤|A|。 2018-5-23 9 对称差(symmetric difference) 属于A但不属于B，属于B但不属于A的所有元素组成的集合叫A与B的对称差，记作A⊕B。 A⊕B={a|a∈A且aB或者aA且a∈B} “⊕”为对称差运算符。A⊕B读作A对称减B。 A⊕B=(A∪B)-(A∩B)=(A-B)∪(B-A)。 2018-5-23 10 笛卡儿积(Cartesian product) A与B的笛卡儿积(Cartesian product)是一个集合，该集合是由所有这样的有序对(a，b)组成的：其中a∈A，b∈B ，记作A×B。 A×B={(a，b)|a∈A b∈B }。 “×”为笛卡儿乘运算符。A×B读作A叉乘B。 ⑴ A×B≠B×A。 ⑵ (A×B)×C≠A×(B×C)。 ⑶ A×A≠A。 ⑷ A×Φ=Φ。 2018-5-23 11 笛卡儿积(Cartesian product) ⑸ A×(B∪C)=(A×B)∪(A×C)。 ⑹ (B∪C)×A=(B×A)∪(A×C)。 ⑺ A×(B∩C)=(A×B)∩(A×C)。 ⑻ (B∩C)×A=(B×A)∩(C×A)。 ⑼ A×(B-C)=(A×B)-(A×C)。 ⑽ (B-C)×A=(B×A)-(C×A)。 ⑾ 当A、B为有穷集时，|A×B|=|A|*|B|。 2018-5-23 12 幂集(power set) A幂集(power set)是一个集合，该集合是由A的所有子集组成的，记作2A。 2A={B|BA}。 2A读作A的幂集。 2018-5-23 13 幂集(power set) ⑴ Φ∈2A。 ⑵ Φ2A。 ⑶ Φ2A。 ⑷ 2Φ={Φ}。 ⑸ A∈2A。 ⑹ 如果A是有穷集，则|2A|=2|A|。 ⑺ 2A∩B=2A∩2B。 ⑻ 如果AB，则2A2B。 2018-5-23 14 补集(complementary set) A是论域U上的一个集合，A补集是由U中的、不在A中的所有元素组成的集