集合论

集合的定义

朴素集合论

定义：由指定范围内的满足给定条件的所有对象聚集在一起构成，每一个对象称为这个集合的元素。
朴素集合论 ——> 公理化集合论

ZFC公理化集合论

外延公理+空集存在公理+无序对公理+并集公理+幂集公理+无穷公理+替换公理+正则公理+选择公理

符号规定

1. 带或不带下标的大写英文字母表示集合：A，B，C……A₁，B₂，C₂……
   带或不带下标的小写英文字母表示集合：a，b，c……a₁，b₂，c₂……
2. 若a是集合A的元素，则称a属于A，记作a ∈ A；
   若a是集合A的元素，则称a不属于A，记作a ∉ A；

集合的表示

1. 枚举法
   ①列出全部元素（有穷）
   ②列出部分元素 + 省略号（无穷，有规律）
2. 叙述法
   P = {x | P (x) }

x：集合的元素。
P (x)：元素满足的条件。

3. 文氏图
   利用平面的图形便是集合，平面上的点表示集合。

集合基数

集合A中的元素个数成为集合基数，记作| A |

按集合的基数分：有限集和无限集