3.8 集合的划分与覆盖_第1页
3.8 集合的划分与覆盖_第2页
3.8 集合的划分与覆盖_第3页
3.8 集合的划分与覆盖_第4页
3.8 集合的划分与覆盖_第5页
已阅读5页,还剩14页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第三章·集合论3.8集合的划分与覆盖PARTITIONANDCOVERINGOFSETS课程大纲CONTENTS01核心概念覆盖与划分的定义与区别,建立集合论基础认知。02深入理解剖析最小划分与最大划分的性质,理解划分的边界情况。03交叉划分交叉划分的严格定义、相关定理推导及经典实例分析。04加细掌握加细的数学定义,推导相关定理及证明逻辑。05应用与总结综合运用理论知识,通过实操求解有限集合的所有划分。引入背景:为什么需要划分与覆盖?核心思想在讨论集合时,我们常常需要将一个复杂的集合分解为若干个相对简单、互不干扰的子集,从而实现对整体性质的简化分析与深入理解。现实案例•图书馆将海量图书分类、分区存放。•学校将全体学生按专业、年级划分班级。•一个区域内的多个无线基站信号覆盖网络。本节目标掌握对集合元素进行逻辑分割的两种核心方式:划分与覆盖(Partition&Covering)定义3.30&3.31:覆盖与划分01.覆盖(Covering)设集合A≠∅,集合族S={S₁,S₂,…,Sₙ}。若S满足以下两个条件,则称S是A的一个“覆盖”:①非空性:对于所有的i,Sᵢ≠∅,且Sᵢ是A的子集(Sᵢ⊆A)。②完全性:所有子集的并集等于集合A,即S₁⋃S₂⋃…⋃Sₙ=A。02.划分(Partition)在满足“覆盖”所有条件的基础上,增加一个“互斥性”条件,即可构成集合A的一个“划分”:③互斥性(PairwiseDisjoint):任意两个不同的子集交集为空集。即对于任意i≠j,均有Sᵢ∩Sⱼ=∅。结论:所有的“划分”都是“覆盖”,反之不成立。关键区别与联系覆盖(Covering)将集合A分解为若干子集时,允许各个子集之间存在重复的元素。即任意两个子集的交集可以非空。划分(Partition)将集合A分解为若干子集时,要求各个子集之间绝对互斥,没有重复元素。即任意两个子集的交集必须为空(∅)。逻辑包含关系“划分”是一种特殊的、更严格的“覆盖”。

因此,若一个分解是划分,则它必然是覆盖;但反过来,覆盖不一定满足划分的互斥条件。非唯一性对于任意一个非空集合A:

1.其所有可能的“划分”结果不是唯一的。

2.其所有可能的“覆盖”结果也不是唯一的。划分的特殊类型最小划分MinimalPartition📌定义:在集合的所有划分方式中,划分出的“块”的数目最少的一种划分。🎯形式表达:{A}——将集合A本身视为一个整体分块最大划分MaximalPartition📌定义:在集合的所有划分方式中,划分出的“块”的数目最多的一种划分,由每一个元素单独构成一个单元。🎯形式表达:{{a₁},{a₂},...,{aₙ}}——每一个元素构成一个独立的分块例题3.38:判断划分与覆盖已知条件与待判集合给定集合:A={1,2,3}待判断子集族:•D={{1},{2,3}}•E={{1},{2},{3}}•F={{1},{1,3}}•G={{1,2,3}}•S={{1,2},{2,3}}•Q={{1},{1,2},{1,3}}解答与分析A的覆盖(Cover)D,E,G,S,Q

(所有子集的并集等于A)A的划分(Partition)D,E,G

(满足覆盖且子集互不相交)既非覆盖也非划分F={{1},{1,3}}

(缺少元素2,不满足完全性)特殊划分•最小划分:G(最粗)

•最大划分:E(最细)💡提示:划分一定是覆盖,但覆盖不一定是划分。划分要求子集两两不相交。定义3.32:交叉划分01/前提设集合{S1,S2,…,Sn}与集合{D1,D2,…,Dm}是同一集合A的两种不同划分。两个划分必须基于同一个母集合,否则无法进行有效的交叉操作。02/定义由这两个划分中所有满足Si∩Dj≠∅的交集元素所组成的集合,称为原来两种划分的交叉划分。仅保留非空交集,以保证划分块的有效性。03/直观理解交叉划分本质上是将两个不同维度的划分标准进行“叠加”与“细分”。可以想象成将集合中的元素先按一个标准分组,再在每个组内按另一个标准再次分组,从而形成更精细的分类。交叉划分实例:生物分类集合XUniversalSet定义:包含所有生物的集合,作为交叉划分的全域范围。“生物”是一个通用的、广泛的概念,为后续的分类提供了基础素材。划分A:按种类•A₁:所有植物的集合•A₂:所有动物的集合划分B:按时间•B₁:史前生物(如恐龙)•B₂:史后生物(如人类)交叉划分SCrossPartitionS={A₁∩B₁,A₁∩B₂,A₂∩B₁,A₂∩B₂}具体含义与类别:•A₁∩B₁:史前植物(如蕨类)•A₁∩B₂:史后植物(如现代花卉)•A₂∩B₁:史前动物(如猛犸象)•A₂∩B₂:史后动物(如现代哺乳动物)定理3.17:交叉划分仍是划分▍定理内容设集合A的两个划分分别为{S₁,S₂,...,Sₙ}与{D₁,D₂,...,Dₘ},则所有非空的交集Sᵢ∩Dⱼ构成的集合族,即为集合A的一个新划分,称为这两个划分的“交叉划分”。01.证明互斥性任取交叉划分中的两个不同元素,不妨设为Sᵢ∩Dⱼ和Sₖ∩Dₗ,需严格证明这两个集合的交集为空集∅,即任意两个划分块互不相交。02.证明完全性证明所有非空的交叉划分块Sᵢ∩Dⱼ的并集恰好等于原集合A。即原集合中的每一个元素都能被且只能被一个交叉划分块包含。定理3.17证明(互斥性)考察:(Sᵢ∩Dₕ)∩(Sⱼ∩Dₖ)01.若i≠j•因为{S₁,...,Sₙ}是集合S的一个划分,所以根据划分的互斥性定义,必有Sᵢ∩Sⱼ=∅。•因此,(Sᵢ∩Dₕ)∩(Sⱼ∩Dₖ)=∅∩(...)=∅。02.若h≠k•因为{D₁,...,Dₘ}是集合D的一个划分,所以同理可得Dₕ∩Dₖ=∅。•因此,(Sᵢ∩Dₕ)∩(Sⱼ∩Dₖ)=(...)∩∅=∅。结论:无论哪种情况,交叉划分中任意两个不同元素的交集均为空集。定理3.17证明(完全性)考察:所有交叉划分元素(Sᵢ∩Dⱼ)的并集,即集合A的所有交叉划分单元的总覆盖范围。(S₁∩D₁)⋃...⋃(Sₙ∩Dₘ)=(S₁∩(D₁⋃...⋃Dₘ))⋃...⋃(Sₙ∩(D₁⋃...⋃Dₘ))(集合分配律展开)=(S₁⋃...⋃Sₙ)∩(D₁⋃...⋃Dₘ)(提取公共因子/分配律)=A∩A=A(S与D均为A的划分,各自并集均为A)结论:交叉划分中所有元素的并集等于原集合A,即交叉划分满足完全性定义。交叉划分实例:学校教职人员集合A:学校所有教职人员的集合作为进行交叉划分的全域(UniversalSet)划分T(按岗位)•T:教师(Teacher)•P:行政人员(Personnel)划分M(按婚姻状况)•M:已婚(Married)•N:未婚(NotMarried)交叉划分QQ={T∩M,T∩N,P∩M,P∩N}将两个划分的子集进行两两相交组合T∩M已婚教师T∩N未婚教师P∩M已婚行政人员P∩N未婚行政人员定义3.33:加细(Refinement)01/前提条件首先给定一个非空集合A,并考虑它的任意两个不同的划分:P₁={S₁,S₂,...,Sₙ}与P₂={D₁,D₂,...,Dₘ}02/严格定义若对于划分P₁中的每一个子集Sⱼ,在划分P₂中都能找到一个子集Dₖ,使得Sⱼ是Dₖ的子集:Sⱼ⊆Dₖ则称P₁是P₂的加细(Refinement)。03/直观理解加细本质上意味着划分得更“细”,或者说粒度更小。想象一下拼图游戏:P₁的每一小块拼图,都能完整地放入P₂的某一块拼图内部,而不会超出边界。定理3.18:交叉划分是加细定理陈述任何两种划分的交叉划分,都是原来各划分的一种加细。证明思路•设定:设划分集合S={S₁,S₂,...,Sₙ}与D={D₁,D₂,...,Dₘ}的交叉划分为集合T。•子集判定:对于T中的任意一个元素Sᵢ∩Dⱼ,根据集合交的定义,必有Sᵢ∩Dⱼ⊆Sᵢ且Sᵢ∩Dⱼ⊆Dⱼ。•结论:由加细的定义可知,交叉划分T同时是原划分S和原划分D的加细。例题3.39:集合的所有划分01/问题描述已知条件:给定一个包含3个元素的有限集合:A={1,2,3}求解目标:1.该集合共有多少个不同的划分?

2.请列举出所有可能的划分结果。02/分析思路与条件步骤一:列出所有子集集合A有3个元素,故共有2³=8个子集,作为划分的“候选”。步骤二:严格遵循“划分三原则”筛选组合非空性划分出的子集不能是空集∅。完全性所有子集的并集等于原集合A。互斥性任意两个子集的交集必须为空。例题3.39解答:集合A={1,2,3}的所有划分01S₁={{1,2,3}}(最小划分/块数最少)02S₂={{2},{1,3}}(单元素{2}与二元集)03S₃={{3},{1,2}}(单元素{3}与二元集)04S₄={{1},{2,3}}(单元素{1}与二元集)05S₅={{1},{2},{3}}(最大划分/离散划分)本节核心知识点回顾覆盖与划分覆盖允许重叠,划分不允许重叠。划分是特殊的覆盖,是将集合分解为互不相交的子集。最小与最大划分

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论