离散数学笔记（二）

一、集合的相关概念：

• 集合相等：

  1. A = B 当且仅当 $\forall x(x\in A\leftrightarrow x\in B)$
  2. A = B 当且仅当 $A\subseteq B,且B\subseteq A$

---

• 集合的基数/势：

  1）若集合S中恰有n个不同的元素，则称S为有限集合， n为S的基数/势，记作|S| = n；
  2）若集合S包含无限个不同的元素，则称S为无限集合，基数/势同样由|S|表示；
  3）势的比较：对于有限集合，若|A| = |B| = n, 则称A和B等势；对于无限集合，如果存在从集合A到B的双射，则称A和B 等势，记作$A\approx B$；若$|A|\le |B|$，则称B优势于A ；
  4）康托尔-伯恩斯坦-施罗德定理：若$|A|\le |B|且|A|\ge |B|,则|A|=|B|$；
  5）康托尔定理：任何集合的势劣势于其幂集（所谓幂集，即A的所有子集组成的集合(族)）的势；

  ---

• 可数集：

  一个集合称为可数的，当且仅当它与自然数集N的某个子集等势；
  1）若与N的某个有限子集等势，则可数集为有限集；
  2）若与N的某个无限子集等势，则同样与N等势，为可数无限集；
  3）阿列夫数：康托尔引入${\aleph }_i$来表示一系列超穷基数，如${\aleph }_0$为可数无限集的基数，${\aleph }_1$为所有可数序列集合的基数；常见的集合中，$|N|=|Z|=|Z_{+}|=|Z_{-}|=|Q|={\aleph }_0$；$|R/Q|=|R|={\aleph }_1$；
  4）连续统假设：不存在一个集合的势位于阿列夫0和阿列夫1之间；

---

• 笛卡尔乘积/直积：

  AxB = {$(a,b)|a\in A\wedge b\in B$}
  (注意: 当A、B任意一个为空集时，其笛卡尔积为空集)

---

---

二、集合的运算：

• 集合的常用运算符：

  并$\bigcup$,交$\bigcap$, 补$\overline{A}$,差$-$,对称差$\oplus$

• 集合恒等式：

名称	等式
恒等律	$A\bigcup \varnothing =A$ $A\bigcap U=A$
支配律	$A\bigcup U=U$ $A\bigcap \varnothing =\varnothing$
幂等律	$A\bigcup A=A$ $A\bigcap A=A$
补集律	~ (~A) = A
补律	$A\bigcup$ ~A = $U$ $A\bigcap$ ~A = $\varnothing$
交换律	$A\bigcup B=B\bigcup A$ $A\bigcap B=B\bigcap A$
结合律	$A\bigcup (B\bigcup C)=(A\bigcup B)\bigcup C$ $A\bigcap (B\bigcap C)=(A\bigcap B)\bigcap C$
分配律	$A\bigcup (B\bigcap C)=(A\bigcup B)\bigcap (A\bigcup C)$ $A\bigcap (B\bigcup C)=(A\bigcap B)\bigcup (A\bigcap C)$
德摩根律	~$(A\bigcup B)$ = ~$A\bigcap$ ~$B$ ~$(A\bigcap B)=$ ~$A\bigcup$ ~$B$
吸收律	$A\bigcup (A\bigcap B)=A$ $A\bigcap (A\bigcup B)=A$

---

---

三、函数及其运算：

• 函数/映射的相关概念：

  1）设A和B是非空的数集，从A到B的函数/映射f是对元素的一种指派，满足对A中的每个元素恰好指派B的一个元素，记作$f:A\to B$；
  2）A是f的定义域；B是f的伴域/陪域；
  3）若f为A中元素a指派的B中的元素为b，则可写作f(a) = b, 此时，称b是a的像，a是b的一个原像；
  4）A中所有元素的像构成的集合成为f的值域（_{易知f的值域是其伴域的子集}）；
  5）若A和B是非空的有限集合，则用$B^A$表示A到B的所有函数构成集合，该集合的势为$|B{|}^{|A|}$；
  6）并集的像：$f(X\bigcup Y)=f(X)\bigcup f(Y)$
  交集的像：$f(X\bigcap Y)\subset f(X)\bigcap f(Y)$；

  ---

• 特殊函数：

  1）恒等函数：设A为非空集合，则A上的恒等函数${\iota }_A:A\to A$定义为：${\iota }_A(x)=x,x\in A$；

  2）特征函数：设U为非空集合，对任意的A $\subseteq$ U,特征函数 χ A : U → { 0 , 1 } \chi_A: U \rightarrow \{0,1\} χA​:U→{0,1}定义为：
  ${\chi }_A(x)=1,x\in A$
  ${\chi }_A(x)=0,x\in U-A$ ；

  3）取整函数：函数y=[x]称为取整函数，也称高斯函数。其中不超过实数x的最大整数称为x的整数部分，记作[x]
  

---

• 单射/满射/双射：

  1）$f:A\to B$是单射当且仅当：$\forall x_1,x_2\in A$, 若$x_1\ne x_2$, 则：$f(x_1)\ne f(x_2)$；
  2）$f:A\to B$是满射当且仅当：$\forall y\in B,\exists x\in A$ 使得$f(x)=y$；
  3）$f:A\to B$是满射当且仅当：f既是单射又是满射
  4）若A为有限非空集合，f是从A到A的函数，则f是单射当且仅当f是满射；
  5）$f\cdot g$是满射，则f一定为满射;$f\cdot g$ 是单射，则g一定是单射；

---

---

四、自然数公理化：

• 皮亚诺公理：

  1）零是自然数；
  2）每个自然数x都有一个自然数后继S(x);
  3）零不是任何自然数的后继；
  4）不同自然数有不同的后继；
  5）归纳公理：若某个自然数的子集包含零，且若该子集含有某个自然数，则一定也包含该自然数的后继，则该子集含有全部自然数；

---

• 冯诺依曼归纳集定义：

  1）设a为一个集合，定义a的后继S(a)： a ⋃ { a } a \bigcup \{ a \} a⋃{a};
  2）设A为一个集合，若A满足：

  • $\varnothing \in A$
  • $\forall a,a\in A\Rightarrow S(a)\in A$
    则称A是一个归纳集;
    3）自然数集合的归纳集定义：N是所有归纳集的交集，即N = { ∅ , { ∅ } , { ∅ , { ∅ } } , . . . \empty, \{\empty\}, \{\empty,\{\empty\}\},... ∅,{∅},{∅,{∅}},...}；

  ---

  ---

  ---