第 2 讲 · 第一章 集合与常用逻辑用语

第二讲:集合的运算和充分必要条件

按讲义第 2 讲把交、并、补、容斥与充分必要条件放在同一条知识链中。

按讲义顺序整理

学习目标

  • 会进行交集、并集、补集运算,并理解德摩根律。
  • 会用数轴、维恩图和分类讨论处理集合综合题。
  • 会用容斥原理处理两集合与三集合计数。
  • 掌握充分、必要、充要三类关系,并能用集合包含判断。

前置知识

请先学完第 1 讲,掌握集合表示、空集、子集、集合相等与含参包含关系。

核心概念

A∪B={x∣x∈A 或 x∈B},\displaystyle A\cup B=\{x\mid x\in A\text{ 或 }x\in B\}, A∩B={x∣x∈A 且 x∈B}.\displaystyle A\cap B=\{x\mid x\in A\text{ 且 }x\in B\}.

若 UU 是全集,则

∁UA={x∈U∣x∉A}.\displaystyle \complement_U A=\{x\in U\mid x\notin A\}.

两个重要等价关系是

A∩B=A⟺A⊆B,\displaystyle A\cap B=A\Longleftrightarrow A\subseteq B, A∪B=B⟺A⊆B.\displaystyle A\cup B=B\Longleftrightarrow A\subseteq B.

集合运算综合题不要“单线程”。先列出所有可能分支,再逐个代回检查额外公共元素、集合内部重复与端点取舍。

老师讲解

交、并、补的规则

A∩B⊆A⊆A∪B,\displaystyle A\cap B\subseteq A\subseteq A\cup B, A∪∁UA=U,A∩∁UA=∅.\displaystyle A\cup\complement_U A=U,\qquad A\cap\complement_U A=\varnothing.

区间运算时,并集看全部覆盖,交集看公共部分:

(1,3)∪(2,4)=(1,4),\displaystyle (1,3)\cup(2,4)=(1,4), (1,3)∩(2,4)=(2,3).\displaystyle (1,3)\cap(2,4)=(2,3).

交集与参数:分支后再验证

若 A∩B={9}A\cap B=\{9\},先判断 AA 中哪些表达式可能等于 99,分别解出参数,再逐个代回:

  • 是否出现额外公共元素;
  • 集合内部是否出现重复;
  • 最终交集是否真的只有 99。

课堂例题的候选值经检验后,只有 a=−3a=-3 成立。

数轴法与分类讨论

若 A∩B=AA\cap B=A,等价于 A⊆BA\subseteq B,也就是数轴上 BB 必须覆盖 AA。

若 A∩B=∅A\cap B=\varnothing,要同时考虑 BB 为空、BB 在 AA 左侧、BB 在 AA 右侧,以及题目结构可能产生的中间分支。

德摩根律

∁U(A∪B)=(∁UA)∩(∁UB),\displaystyle \complement_U(A\cup B)=(\complement_U A)\cap(\complement_U B), ∁U(A∩B)=(∁UA)∪(∁UB).\displaystyle \complement_U(A\cap B)=(\complement_U A)\cup(\complement_U B).

记忆:并的补等于补的交,交的补等于补的并;拆括号时运算符号翻转。

容斥原理

card⁡(A∪B)=card⁡(A)+card⁡(B)−card⁡(A∩B).\displaystyle \operatorname{card}(A\cup B)=\operatorname{card}(A)+\operatorname{card}(B)-\operatorname{card}(A\cap B).

三集合计数要从三者交集开始向外填。每一层都用“已知总数减去已经填入的部分”,最后检查每个区域都是非负整数。

充分条件与必要条件

P⇒Q\displaystyle P\Rightarrow Q

表示 PP 能推出 QQ。此时 PP 是 QQ 的充分条件,QQ 是 PP 的必要条件。

  • 只有 P⇒QP\Rightarrow Q:PP 是 QQ 的充分不必要条件;
  • 只有 Q⇒PQ\Rightarrow P:PP 是 QQ 的必要不充分条件;
  • 两个方向都成立:互为充要条件,记作 P⇔QP\Leftrightarrow Q。

集合视角:“小充分,大必要”

把满足 P,QP,Q 的对象分别组成集合。若

P⊆Q,\displaystyle P\subseteq Q,

则落在小集合 PP 中一定会落在大集合 QQ 中,所以小集合对应充分条件,大集合对应必要条件。

条件关系 集合关系
充分不必要 真子集
必要不充分 反向真包含
充要 两集合相等

典型例题

例 1:区间运算。

对 A=(1,3)A=(1,3)、B=(2,4)B=(2,4),并集是全部覆盖 (1,4)(1,4),交集是公共部分 (2,3)(2,3)。

例 2:x>3x>3 与 x>2x>2。

x>3⇒x>2x>3\Rightarrow x>2,反向不成立。因此“x>3x>3”是“x>2x>2”的充分不必要条件。

例 3:集合条件。

A⊆B⟺A∩B=AA\subseteq B\Longleftrightarrow A\cap B=A,两个方向都成立,因此互为充要条件。

例 4:不要漏掉 c=0c=0。

ac2>bc2ac^2>bc^2 能推出 a>ba>b;但 a>ba>b 不能保证前式,因为 c=0c=0 时两边相等。所以 a>ba>b 是 ac2>bc2ac^2>bc^2 的必要不充分条件。

常见错误

德摩根律拆括号后忘记把 ∪\cup 与 ∩\cap 互换。

求出一个参数候选值就停止,没有检查其他来源、额外公共元素和互异性。

判断充分必要条件只看一个方向。应分别检查 P⇒QP\Rightarrow Q 与 Q⇒PQ\Rightarrow P,反向不成立时要给出反例。

取值范围只写裸不等式。规范答案应写成区间或描述法集合。

方法总结

交并补题用数轴或维恩图,参数题完整分类并代回验证,容斥题从最深交集向外填。充分必要条件检查两个推导方向,也可以把条件转成集合,用“小充分,大必要”判断。

自我检查

  1. 写出两条德摩根律。
  2. 为什么交集含参题不能只解一个方程?
  3. 三集合容斥为什么从三者交集开始?
  4. 判断 x>6x>6 与 x>5x>5 的充分、必要关系。
  5. 用集合语言解释“小充分,大必要”。