冷启动:先把符号读顺,再定运算顺序
题面给了三个集合 ,都是列举法 写的——元素一个个摆在花括号里,看得见摸得着:
U = { − 1 , 0 , 1 , 2 , 3 } , A = { 0 , 1 , 2 } , B = { − 1 , 0 , 1 } U=\{-1,\ 0,\ 1,\ 2,\ 3\},\qquad A=\{0,\ 1,\ 2\},\qquad B=\{-1,\ 0,\ 1\} U = { − 1 , 0 , 1 , 2 , 3 } , A = { 0 , 1 , 2 } , B = { − 1 , 0 , 1 }
所求是 ( C U A ) ∩ B \left(C_{\mathrm{U}}A\right)\cap B ( C U A ) ∩ B 。这个记号里有两处要先读明白:
C U A C_{\mathrm{U}}A C U A 就是 ∁ U A \complement_U A ∁ U A (不同教材印法不同,人教A版写作 ∁ U A \complement_U A ∁ U A ),
读作「A A A 在 U U U 中的补集 」——在 U U U 里但不在 A A A 里 的那些元素。
这里的下标 U U U 不是装饰:补集 永远是相对于某个全集 说的,换一个全集 ,同一个 A A A 的补集 就不同。
括号定顺序 :先算括号里的补集 ,再拿结果和 B B B 取交集 。
关键卡点只有一个:别把两步压成一步压错了 。三个错法各对应一个干扰项——
漏掉补集 (直接算 A ∩ B A\cap B A ∩ B )、把补集 套在整体外面(算 ∁ U ( A ∩ B ) \complement_U(A\cap B) ∁ U ( A ∩ B ) )、
把交集 写成并集 。下面两条路,一条老老实实分两步,一条把两步合成一次筛选,
但合的方式与那三个错法都不同。
解法一:按定义两步走——先补集 ,再交集
怎么想到的。 元素只有五个,定义本身就是最快的算法 :补集 是「在 U U U 里、不在 A A A 里」,
交集 是「两边都在」。两句话都是逐个元素能判的,所以照着定义把 U U U 的五个元素过一遍就行,
不需要任何技巧。
① 求 ∁ U A \complement_U A ∁ U A :拿 U U U 的每个元素问一句「在 A A A 里吗」。
U U U 的元素− 1 -1 − 1 0 0 0 1 1 1 2 2 2 3 3 3 在 A = { 0 , 1 , 2 } A=\{0,1,2\} A = { 0 , 1 , 2 } 里吗 否 是 是 是 否 进 ∁ U A \complement_U A ∁ U A 吗 进 不进 不进 不进 进
∁ U A = { − 1 , 3 } \complement_U A=\{-1,\ 3\} ∁ U A = { − 1 , 3 }
② 再与 B B B 取交集 :拿 ∁ U A \complement_U A ∁ U A 的两个元素问一句「在 B B B 里吗」。
∁ U A \complement_U A ∁ U A 的元素− 1 -1 − 1 3 3 3 在 B = { − 1 , 0 , 1 } B=\{-1,0,1\} B = { − 1 , 0 , 1 } 里吗 是 否
只有 − 1 -1 − 1 两边都在,所以
( ∁ U A ) ∩ B = { − 1 } \left(\complement_U A\right)\cap B=\{-1\} ( ∁ U A ) ∩ B = { − 1 }
与选项 A 逐字相同。
自检两处。
数一数个数 :U U U 有 5 5 5 个元素、A A A 有 3 3 3 个,所以 ∁ U A \complement_U A ∁ U A 必须恰好有 5 − 3 = 2 5-3=2 5 − 3 = 2 个
——算出来的 { − 1 , 3 } \{-1,3\} { − 1 , 3 } 正是 2 2 2 个。这一步能当场抓住「补集 漏了一个元素」这类错。
(A ⊆ U A\subseteq U A ⊆ U 是这条计数式成立的前提,本题 A A A 的三个元素 0 , 1 , 2 0,1,2 0 , 1 , 2 都在 U U U 里 ✓。)
把答案代回定义念一遍 :− 1 -1 − 1 在 U U U 里 ✓、不在 A A A 里 ✓、在 B B B 里 ✓——三条都对。
再随便挑一个落选的验反面:0 0 0 在 B B B 里,但它也在 A A A 里 ,所以进不了 ∁ U A \complement_U A ∁ U A ,
确实该被排除。
解法二:一步筛——把 ( ∁ U A ) ∩ B (\complement_U A)\cap B ( ∁ U A ) ∩ B 读成「从 B B B 里删掉 A A A 的元素」
怎么想到的。 解法一算出的 ∁ U A = { − 1 , 3 } \complement_U A=\{-1,3\} ∁ U A = { − 1 , 3 } 里,那个 3 3 3 白算了——它根本不在 B B B 里,
下一步就被扔掉。既然最后的答案一定是 B B B 的子集 ,那能不能从头就只在 B B B 里面挑 ?
把定义摊开来看,正好可以:
x ∈ ( ∁ U A ) ∩ B ⟺ ( x ∈ U 且 x ∉ A ) ⏟ x ∈ ∁ U A 且 x ∈ B . x\in\left(\complement_U A\right)\cap B
\iff \underbrace{(x\in U\ \text{且}\ x\notin A)}_{x\in\,\complement_U A}\ \text{且}\ x\in B . x ∈ ( ∁ U A ) ∩ B ⟺ x ∈ ∁ U A ( x ∈ U 且 x ∈ / A ) 且 x ∈ B .
① 把多余的条件消掉。 本题 B = { − 1 , 0 , 1 } B=\{-1,0,1\} B = { − 1 , 0 , 1 } 的三个元素都在 U = { − 1 , 0 , 1 , 2 , 3 } U=\{-1,0,1,2,3\} U = { − 1 , 0 , 1 , 2 , 3 } 里,
即 B B B 是 U U U 的子集 :B ⊆ U B\subseteq U B ⊆ U 。于是「x ∈ B x\in B x ∈ B 」这一条已经蕴含 「x ∈ U x\in U x ∈ U 」,
后者可以删掉,条件退化成两句:
( ∁ U A ) ∩ B = { x ∣ x ∈ B 且 x ∉ A } . \left(\complement_U A\right)\cap B=\{x\mid x\in B\ \text{且}\ x\notin A\} . ( ∁ U A ) ∩ B = { x ∣ x ∈ B 且 x ∈ / A } .
这就是「从 B B B 里删掉那些同时属于 A A A 的元素」。
② 只对 B B B 的三个元素筛一遍。
B B B 的元素− 1 -1 − 1 0 0 0 1 1 1 在 A = { 0 , 1 , 2 } A=\{0,1,2\} A = { 0 , 1 , 2 } 里吗 否 是 是 留下吗 留 删 删
( ∁ U A ) ∩ B = { − 1 } \left(\complement_U A\right)\cap B=\{-1\} ( ∁ U A ) ∩ B = { − 1 }
与解法一结果一致,仍是选项 A 。
③ 前提要交代清楚。 第 ① 步删掉「x ∈ U x\in U x ∈ U 」,用的是 B ⊆ U B\subseteq U B ⊆ U 。
这一条不是白给的 :若 B B B 里有 U U U 之外的元素(比如题目给成 B = { − 1 , 0 , 1 , 7 } B=\{-1,0,1,7\} B = { − 1 , 0 , 1 , 7 } 而 7 ∉ U 7\notin U 7 ∈ / U ),
那么 7 7 7 满足「在 B B B 里且不在 A A A 里」,却因为不在 U U U 里而进不了 ∁ U A \complement_U A ∁ U A ,
一步筛就会多算一个。本题四个集合 关系干净,先验一眼即可放心用。
这两条路差在哪。 解法一是照定义办事 ,谁都不会错,代价是要把 ∁ U A \complement_U A ∁ U A
整个写出来——本题 U U U 只有 5 5 5 个元素,写出来才 2 2 2 个,无所谓;但若 U U U 有 100 100 100 个元素、
A A A 有 3 3 3 个,解法一得先列出 97 97 97 个数,而 B B B 也许只有 3 3 3 个元素。
解法二是盯着终点算 :答案必是 B B B 的子集 ,那就只在 B B B 里筛,筛几次由 B B B 的大小决定,
与 U U U 多大无关 。所以选择题里 U U U 一大就该换解法二;代价是多验一句 B ⊆ U B\subseteq U B ⊆ U 。
记一句话版本:( ∁ U A ) ∩ B (\complement_U A)\cap B ( ∁ U A ) ∩ B 就是「B B B 减 A A A 」 (前提 B ⊆ U B\subseteq U B ⊆ U )。
🕳️ 避坑
本题四个选项恰好是四种读法的产物 ,把它们摆在一起,错在哪一眼就清楚了:
选项 它是什么 错在哪 A { − 1 } \{-1\} { − 1 } ( ∁ U A ) ∩ B \left(\complement_U A\right)\cap B ( ∁ U A ) ∩ B 正确 B { 0 , 1 } \{0,1\} { 0 , 1 } A ∩ B A\cap B A ∩ B 漏了补集 ——把 C U A C_{\mathrm{U}}A C U A 直接当成了 A A A C { − 1 , 2 , 3 } \{-1,2,3\} { − 1 , 2 , 3 } ∁ U ( A ∩ B ) \complement_U(A\cap B) ∁ U ( A ∩ B ) 补集 套错位置 ——先交后补,而题目是先补后交D { − 1 , 0 , 1 , 3 } \{-1,0,1,3\} { − 1 , 0 , 1 , 3 } ( ∁ U A ) ∪ B \left(\complement_U A\right)\cup B ( ∁ U A ) ∪ B 把交集 写成并集
补集 必须挂在某个全集 上。 本题的全集 是列举出来的 U U U ,不是 R \mathbf{R} R 。
若误用实数集当全集 ,∁ A \complement A ∁ A 里会混进 U U U 之外的一大堆数,3 3 3 之外还有 − 2 -2 − 2 、0.5 0.5 0.5 ……
题面把 U U U 写在最前面,就是在钉这个参照系。
交集 只会变小,并集 只会变大。 判据是方向:( ∁ U A ) ∩ B ⊆ B \left(\complement_U A\right)\cap B\subseteq B ( ∁ U A ) ∩ B ⊆ B ,
算出来的东西必须装在 B = { − 1 , 0 , 1 } B=\{-1,0,1\} B = { − 1 , 0 , 1 } 里面 。选项 D 含 3 3 3 ,而 3 ∉ B 3\notin B 3 ∈ / B ,
一眼就该被排除——这一条不用重算就能把 D 打掉。
先补后交与先交后补不一样。 一般地 ∁ U ( A ∩ B ) = ( ∁ U A ) ∪ ( ∁ U B ) \complement_U(A\cap B)=\left(\complement_U A\right)\cup
\left(\complement_U B\right) ∁ U ( A ∩ B ) = ( ∁ U A ) ∪ ( ∁ U B ) (补集 把交换成并),所以把补集 从括号里挪到括号外,
连运算符号都要跟着换——这正是选项 C 与 A 的差距。
对照选项 A. { − 1 } \{-1\} { − 1 } 、B. { 0 , 1 } \{0,1\} { 0 , 1 } 、C. { − 1 , 2 , 3 } \{-1,2,3\} { − 1 , 2 , 3 } 、D. { − 1 , 0 , 1 , 3 } \{-1,0,1,3\} { − 1 , 0 , 1 , 3 } ,故选 A 。