第六章 集合代数(简).pptVIP

（一）集合间的关系及其符号化 思考题 采用一阶逻辑构造证明法证明如下推理： 如果A?B并且B?C，则A?C。 定义6.1（包含关系）设A，B为集合，如果B中的每个元素都是A中的元素，则称B为A的子集。这时也称B被A包含，或A包含B。记作B?A。 B?A的符号化为：?x(x?B→x?A) 定义6.2（相等关系）设A，B为集合，如果B?A且A?B，则称A与B相等，记作A?B。 显然A?B?A?B∧B?A A?B的符号化为： ?x(x?B→x?A)∧?x(x?A→x?B) 定义6.3（真包含关系）设A，B为集合，如果B?A且B?A，则称B是A的真子集，记作B?A。 显然B?A?B?A∧B?A B?A的符号化为： ?x(x?B→x?A)∧ ┐(?x(x?B→x?A)∧?x(x?A→x?B)) 定义6.3（真包含关系）设A，B为集合，如果B?A且B?A，则称B是A的真子集，记作B?A。 显然B?A?B?A∧B?A B?A的符号化为： ?x(x?B→x?A)∧?x(x?A∧x?B) 采用一阶逻辑构造证明法证明如下推理： 如果A?B并且B?C，则A?C。 证：设F(x)：x?A，G(x)：x?B，H(x)：x?C 前提：?x(F(x)→G(x))，?x(G(x)→H(x)) 结论：?x(F(x)→H(x)) 证明： ① ?x(F(x)→G(x)) 前提引入 ② F(y)→G(y) ①UI规则 ③ ?x(G(x)→H(x)) 前提引入 ④ G(y)→H(y) ③UI规则 ⑤ F(y)→H(y) ①③假言推理 ⑥ ?x(F(x)→H(x)) ⑤UG规则 思考题 采用一阶逻辑构造证明法证明如下推理： (1)如果A=B并且B=C，则A=C (2)如果A?B并且B?C，则A?C （二）三类特殊的集合 定义6.4（空集）不含任何元素的集合叫做空集，记作?。 空集的性质： 定理6.1 空集是一切集合的子集。 推论 空集是唯一的。? 定义6.5(幂集) 集合的全体子集构成的集合叫作的幂集，记作P（A）或2A，即P（A）={x|x?A}。 含有n个元素的集合简称n元集。 一个集合的含有m个元素的子集称作它的m元子集。 例 A?{1，2，3}，求A的全部子集及P（A）。 解：将A的子集从小到大分类： 0元子集，即空集，只有一个：? 1元子集，有C31个：{1}，{2}，{3} 2元子集，有C32个：{1，2}，{1，3}，{2，3} 3元子集，有C33个：{1，2，3} P（A）={?，{1}，{2}，{3}， {1，2}，{1，3}，{2，3}，{1，2，3}} 例： 已知（1）A=?；（2） B={?，{?}}。 分别求P（A）和P（B）。 解：（1）P（A）为20=1元集， P（?）={?}. （2）P（B）为22=4元集， P（B）={?，{?}，{{?}}，{?，{?}}} 定义6.6（全集）：在一个具体问题中，如果涉及到的集合均是某一个集合的子集，则称该集合是全集，记作E。 全集的概念是相对，所研究的问题不同，所取的全集也不同。 （三）集合的五种基本运算 设集合A，B为集合，E为全集，则 并： A?B={x?x?A∨x?B} 交： A?B={x?x?A∧x?B} （绝对）补：?A=E?A={x?x?E∧x?A} = {x?x?A} 相对补： A?B={x?x?A ∧ x?B}= A??B 对称差： A?B=（A?B）?（B?A） =（A?B）?（A?B） 例：A={a，b，c}，B={a}，C={b，d}， 分别求A?B、 B?A、A-C、C?A、A?C。 则有 A?B= {b，c} B?A= ? A-C={a, c}