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

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

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

按讲义顺序重排

学习目标

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

前置知识

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

核心概念

AB={xxA 或 xB},\displaystyle A\cup B=\{x\mid x\in A\text{ 或 }x\in B\},

AB={xxA 且 xB}.\displaystyle A\cap B=\{x\mid x\in A\text{ 且 }x\in B\}.

UU 是全集,则

UA={xUxA}.\displaystyle \complement_U A=\{x\in U\mid x\notin A\}.

两个重要等价关系是

AB=AAB,\displaystyle A\cap B=A\Longleftrightarrow A\subseteq B,

AB=BAB.\displaystyle A\cup B=B\Longleftrightarrow A\subseteq B.

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

老师讲解

交、并、补的规则

ABAAB,\displaystyle A\cap B\subseteq A\subseteq A\cup B,

AUA=U,AUA=.\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).

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

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

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

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

数轴法与分类讨论

AB=AA\cap B=A,等价于 ABA\subseteq B,也就是数轴上 BB 必须覆盖 AA

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

德摩根律

U(AB)=(UA)(UB),\displaystyle \complement_U(A\cup B)=(\complement_U A)\cap(\complement_U B),

U(AB)=(UA)(UB).\displaystyle \complement_U(A\cap B)=(\complement_U A)\cup(\complement_U B).

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

容斥原理

card(AB)=card(A)+card(B)card(AB).\displaystyle \operatorname{card}(A\cup B)=\operatorname{card}(A)+\operatorname{card}(B)-\operatorname{card}(A\cap B).

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

充分条件与必要条件

PQ\displaystyle P\Rightarrow Q

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

  • 只有 PQP\Rightarrow QPPQQ 的充分不必要条件;
  • 只有 QPQ\Rightarrow PPPQQ 的必要不充分条件;
  • 两个方向都成立:互为充要条件,记作 PQP\Leftrightarrow Q

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

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

PQ,\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>3x>2x>2

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

例 3:集合条件。

ABAB=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>bac2>bc2ac^2>bc^2 的必要不充分条件。

常见错误

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

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

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

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

方法总结

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

自我检查

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