01笔记 离散数学——集合论基础——基于离散数学(第3版)_章炯民,陶增乐

集合的基本概念和术语

集合/集：某些对象聚集在一起，视为一个整体
元素：其中的对象
$$\begin{gathered} N自然数集Z整数集Q有理数集R实数集 \\ {N}_{+}正整数集Q_{+}正有理数集R正实数集 \\ {Z}_{-}负整数集Q_{-}负有理数集R_{-}负实数集 \end{gathered}$$
属于：x是A的元素，称x属于A，记为
$$x\in A$$
不属于：反之x不属于A
$$x\notin A$$
描述集合的方法：
①列举法
N = {1，2，3，……}
②概括法
{x| p(x)}
{x | x ∈ R 且 0 < x < 1 }
{x | x ∈ R 且 x² + 1 = 0 }
$$空集：不含任何元素的集合\varnothing$$
③
文氏图

集合间的关系

A,B包含相同的元素
$$A=B$$

A中元素均属于B，A包含于B
$$A\subseteq B$$
包含但不等于B，A真包含于B
$$A\subset B$$
对于任意集合A，A和∅都是A的平凡子集

$$\begin{gathered} ①A\subseteq A（自反性) \\ ②若A\subseteq B且B\subseteq A则A=B（反对称性） \\ ③若A\subseteq B且B\subseteq C则A\subseteq C（传递性） \end{gathered}$$

集合族

集合族：若干集合组成的集合叫做集合族
如{∅} {∅，{b}}都是集合族
如 A x = x { A x ∣ x ∈ ( 0 , 1 ) } A_x = {x}\\ \{A_x| x\in (0,1)\} Ax​=x{Ax​∣x∈(0,1)}

运算

交并补差
$$\begin{gathered} 交A\cap B \\ 并A\cup B \\ 差A-B \\ 补U-A也写作\overline{A} \end{gathered}$$
若A∩B=∅则A与B互不相交

幂集：A所有子集构成的集合称为A的幂集

n元组

定义：设n是正整数，由n个对象组成的序列$$a_1{a}_2\dots \dots a_n$$称为n元组，记为$$(a_1,a_2,\dots \dots ,a_n)$$
a_i是这个n元组的第i个坐标
若两个n元组对应的坐标都相同即
$$a_i=b_i(1\le i\le n)$$
特别的，二元组也称为有序偶和序偶

笛卡尔乘积

n是正整数D_1,D_2 ……D_n是n个集合，
则由n元组组成的集合$$(d_1,d_2\dots \dots ,d_n)|对任意i，d_i\in D_i$$
称为 $$D_1\dots \dots D_n$$ 的笛卡尔乘积，记为$$D_1\times D_2\times \dots \dots \times D_n$$
特别的$$D\times D\times \dots \dots \times D=D^n$$

广义交广义并

针对集合族
设A是集合族
1）A的元素中的元素组成的集合是集合族A的广义并，记为∪A = {x | 存在X ∈ A，使得 x ∈ X}
2）A不空，A所有元素的公共元素组成的集合为广义交，记为∩A = {x | 对任意X ∈ A， 使得x ∈ X}

3）定义∪∅=∅，∩∅无定义

集合恒等式

数字逻辑有，不再赘述

对偶律

同上

有限集合的计数

有限集合的基数：A集合包含的元素个数，记为|A|

一些结论
$$\begin{gathered} |A\cup B|=|A|+|B|-|A\cap B|（容斥原理） \\ |A\times B|=|A||B| \\ |P(A)|=2^{|A|} \end{gathered}$$

罗素悖论

对于任意一个集合A，A要么是自身的元素，即A∈A；A要么不是自身的元素，即A∉A。可将所有不是自身元素的集合构成一个集合S1，即S1={x:x∉x}。然而这个集合不存在