离散数学引论习题

第一章 集合论

1.3 集合的运算

1. 略
2. 设$A,B$是集合，证明：$A=\varnothing \iff B=A\oplus B$
   左推右略。
   右推左： B = ( A ∩ A ˉ ) ∪ B = ( A ∪ B ) ∩ ( A ˉ ∪ B ) = ( A ∪ B ) ∩ ( A ˉ ∪ B ˉ ) ⇒ ( A ∪ B ) ∩ ( A ˉ ∪ B ) − ( A ∪ B ) ∩ ( A ˉ ∪ B ˉ ) = ∅ ， ( A ∪ B ) ∩ ( A ˉ ∪ B ˉ ) − ( A ∪ B ) ∩ ( A ˉ ∪ B ) = ∅ . ( A ∪ B ) ∩ ( A ˉ ∪ B ) − ( A ∪ B ) ∩ ( A ˉ ∪ B ˉ ) = ( A ∪ B ) ∩ ( ( A ˉ ∪ B ) − ( A ˉ ∪ B ˉ ) ) = ( A ∪ B ) ∩ ( ( A ˉ ∪ B ) ∩ ( A ∩ B ) ) = ( ( A ∩ A ˉ ) ∪ B ) ∩ ( A ∩ B ) = A ∩ B = ∅ ⇒ A ⊆ B ˉ 类 似 地 ， 可 由 第 二 个 式 子 得 到 A ∩ B ˉ = ∅ ⇒ A ⊆ B ⇒ A ⊆ B ∩ B ˉ ⇒ A = ∅ . \begin{aligned} &B=(A∩\bar A)∪B=(A∪B)∩(\bar A∪B)=(A∪B)∩(\bar A∪\bar B)\\ &⇒(A∪B)∩(\bar A∪B)-(A∪B)∩(\bar A∪\bar B)=∅， (A∪B)∩(\bar A∪\bar B)-(A∪B)∩(\bar A∪B)=∅.\\ &(A∪B)∩(\bar A∪B)-(A∪B)∩(\bar A∪\bar B)\\ &=(A∪B)∩((\bar A∪B)-(\bar A∪\bar B))\\ &=(A∪B)∩((\bar A∪B)∩(A∩B))\\ &=((A∩\bar A)∪B)∩(A∩B)\\ &=A∩B=∅⇒A⊆\bar B\\ &类似地，可由第二个式子得到A∩\bar B=∅⇒A⊆B\\ &⇒A⊆B∩\bar B⇒A=∅. \end{aligned} ​B=(A∩Aˉ)∪B=(A∪B)∩(Aˉ∪B)=(A∪B)∩(Aˉ∪Bˉ)⇒(A∪B)∩(Aˉ∪B)−(A∪B)∩(Aˉ∪Bˉ)=∅，(A∪B)∩(Aˉ∪Bˉ)−(A∪B)∩(Aˉ∪B)=∅.(A∪B)∩(Aˉ∪B)−(A∪B)∩(Aˉ∪Bˉ)=(A∪B)∩((Aˉ∪B)−(Aˉ∪Bˉ))=(A∪B)∩((Aˉ∪B)∩(A∩B))=((A∩Aˉ)∪B)∩(A∩B)=A∩B=∅⇒A⊆Bˉ类似地，可由第二个式子得到A∩Bˉ=∅⇒A⊆B⇒A⊆B∩Bˉ⇒A=∅.​
3. 略
4. 略
5. 略
6. 略
7. 设$A,B,C$都是集合。若$A\cup B=A\cup C$且$A\cap B=A\cap C$，证明：$B=C$
   设 x ∈ B . x ∈ A ˉ ∩ B 时 ， 则 x ∈ B ∈ A ∪ B = A ∪ C . 因 为 x ∉ A ， 所 以 x ∈ C . x ∈ A ∩ B = A ∩ C 时 ， 则 x ∈ C . 综 上 ， 对 ∀ x ∈ B ， 有 x ∈ C ⇒ B ⊆ C . 同 理 可 得 C ⊆ B . 所 以 B = C . \begin{aligned} &设x∈B.\\ &x∈\bar A∩B时，则x∈B∈A∪B=A∪C.\\ &因为x∉A，所以x∈C.\\ &x∈A∩B=A∩C时，则x∈C.\\ &综上，对∀x∈B，有x∈C⇒B⊆C.\\ &同理可得C⊆B.\\ &所以B=C. \end{aligned} ​设x∈B.x∈Aˉ∩B时，则x∈B∈A∪B=A∪C.因为x∈/​A，所以x∈C.x∈A∩B=A∩C时，则x∈C.综上，对∀x∈B，有x∈C⇒B⊆C.同理可得C⊆B.所以B=C.​
8. 略
9. 略
10. 略
11. d

第二章 映射

2.2 抽屉原理

例2.2.2 从$1,2,...,2n$中任意选择$n+1$个数，则这$n+1$个数中必有两个数，使得其中一个能被另一个整除。解释：

• 算术基本定理：每个大于1的整数都可以唯一地分解成两个或多个素数的乘积，其中素数因子以非递减序排列。
• 2为最小的素数，每个整数实际上可以写成$2^k\ast d$的形式，其中$d$显然为奇数（奇数的乘积为奇数）。
• 将这$n+1$个数都写成这种形式后，得到$d_1,d_2,...,d_{n+1}$共$n+1$个奇数，$1\le d_i\le 2n-1,i=1,2,..,n+1$，而$1$到$2n$之间只有$n$个奇数，因此必然存在$i,j$使得$d_i=d_j$且$i\ne j$，则这两个数对应的整数之间必然可以整除。