《形式语言与自动机理论（第4版）》笔记（持续更新中）

第一章：绪论

---

$1.1$|集合的基础知识

集合论的发展

• 集合论是德国数学家康托于$1874$年创立的，经历了两个阶段
  • $1908$年以前称为朴素集合论，又称为康托集合论，存在集合悖论问题
  • 哲墨罗于$1908$年提出了第一个集合论公理系统，经富兰科尔和斯库利姆改进和补充，形成了$ZF$公理系统，同年，罗素给出了关于集合型的层次理论——类型论

集合的基数

• 如果集合$A$与集合$B$之间有一个一一对应，则称它们具有相同的基数
• 通常用$|A|$表示集合$A$的基数
• 集合的基数又称为集合的势

无穷集

• 无穷集可以分成可数集和不可数集
  • 设$S$是一个无穷集，如果集合$S$与自然数集$N$具有相同的基数，则称$S$是可数集
  • 否则，称$S$是不可数集

包集

• 如果集合$A$是集合$B$的子集，则称集合$B$是集合$A$的包集

等价符号

• $\iff$可用$iff$表示

集族

• 当一个集合的元素都是集合时，这样的集合称为集族

对称差

• 设$A$，$B$是两个集合，$A$与$B$的对称差由属于$A$但不属于$B$，以及属于$B$但不属于$A$的所有元素组成，记作$A\oplus B$

• $A\oplus B=(A\cup B)-(A\cap B)=(A-B)\cup (B-A)$

幂集

• 对任意集合$A$，$B$，$2^{A\cap B}=2^A\cap 2^B$

---

$1.2$|关系

二元关系

• 设$A$，$B$是两个集合，任意的$R\subseteq A\times B$，$R$是$A$到$B$的二元关系
  • 设$R$是$A$上的二元关系
    • 如果对任意$a\in A$，有$(a,a)\notin R$，则称$R$是反自反的
    • 如果对任意$a$，$b\in A$，当$(b,a)\in R$和$(a,b)\in R$同时成立时，必有$a=b$，则称$R$是反对称的
  • 自反、对称、传递称为关系的三歧性

等价类

• 设$R$是集合$S$上的等价关系，则满足如下要求的$S$的划分$S_1$，$S_2$，$\cdots$，$S_n$，$\cdots$称为$S$关于$R$的等价划分，$S_i$称为等价类

  • $S=S_1\cup S_2\cup \cdots \cup S_n\cup \cdots$

  • 如果$i\ne j$，则$S_i\cap S_j=\varnothing$

  • 对任意$i$，$S_i$中的任意两个元素$a$，$b$，$aRb$恒成立

  • 对任意$i$，$j$，$i\ne j$，$S_i$中的任意元素 a a