集合论部分目录

一、集合及其运算1.1 集合概念1.2 子集、集合相等定义1.2.1 集合的包含.定义1.2.2 集合的真子集.定义1.2.3 集合的相等.定理1.2.1 空集定义1.2.4 集族.定义1.2.5 幂集. 1.3 集合的基本运算定义1.3.1 并集定理1.3.1 并运算性质定义1.3.2 交集.定理1.3.2 交运算性质定理1.3.3 交并运算性质-结合律定理1.3.4 交并运算性质-分配律定理1.3.5 交并运算性质3-吸收律定义1.3.3 两两不相交的集序列.定义1.3.4 差集.定理1.3.6 交对差的分配律定理1.3.7 差判定子集定义1.3.5 对称差.定理1.3.8 对称差性质 1.4 余集,De Morgan公式定义1.4.1 余集.定理1.4.1 并集的余集定理1.4.2 交集的余集定理1.4.3 余集与差,对称差 1.5 笛卡尔乘积定义1.5.1 笛卡尔乘积定理1.5.1 笛卡尔乘积与集合运算定义1.5.2 笛卡尔乘积拓展 1.6 有穷集合的基数定义1.6.1 一一对应.定义1.6.1' 一一对应定义1.6.2 有限集定理1.6.1 加法法则.定理1.6.2 有限可数多加法定理1.6.3 乘积法则.定理1.6.4 有限可数多乘法定理1.6.5 减法法则或淘汰原理定理1.6.6 并运算定理1.6.7 对称差运算定理1.6.8 逐步淘汰原理形式之一定理1.6.9 逐步淘汰原理形式之二 二、映射2.1 函数的一般概念-映射定义2.1.1 映射定义2.1.2 映射与笛卡尔乘积定义2.1.3 限制与扩张定义2.1.4 部分映射定义2.1.5 映射相等定义2.1.6 单射定义2.1.7 满射定义2.1.8 一一对应定义2.1.9 恒等映射定理2.1.1 大小关系定理2.1.2 关系映射集 2.2 抽屉原理抽屉原理抽屉原理强形式抽屉定理的"相等导出形式"抽屉定理"反向形式" 2.3 映射的一般性质定理2.3.1 性质1群定理2.3.2 性质2群 2.4 映射的合成定义2.4.1 合成定理2.4.1 结合律定理2.4.2 恒等合成定理2.4.3 已知条件的合成定理2.4.4 已知结论反推条件定理2.4.5 X→ X包含关系 2.5 逆映射定义2.5.1 逆映射定义2.5.2 左右可逆定理2.5.1 可逆充要条件定理2.5.2 逆映射唯一定理2.5.3 乘积可逆定理2.5.4 左右可逆充要条件 *2.6 置换*2.7 二元运算与多元运算2.8 集合的特征函数定义2.8.1 特征函数定理2.8.1 幂集与特征函数集同构 三、关系3.1 关系的概念定义3.1.1 关系定义1定义3.1.2 关系定义2定义3.1.3 定义域值域定义3.1.4 多值部分映射定义3.1.5 二元关系与多值部分映射定理3.1.1 定义的等价关系定义3.1.6 n元关系 3.2 关系的性质定义3.2.1 自反关系定义3.2.2 反自反关系定义3.2.3 对称关系定义3.2.4 反对称关系定义3.2.5 传递关系定义3.2.6 相容关系定义3.2.7 关系的逆 3.3 关系的合成定义3.3.1 关系的合成定理3.3.1 结合律定理3.3.2 交并运算定理3.3.3 关系的逆的合成定理3.3.4 传递关系定理3.3.5 幂定理3.3.6 抽屉原理定理3.3.7 幂次扩展定理3.3.8 对称传递关系 3.4 关系的闭包定义3.4.1 传递闭包定理3.4.1 传递闭包是传递关系定理3.4.2 计算传递闭包定理3.4.3 计算传递闭包2定理3.4.4 性质定义3.4.2 自反传递闭包定理3.4.5 自反传递关系计算几个常见的记法定理3.4.6 自反、传递闭包的性质 3.5 关系矩阵与关系图关系矩阵命题3.5.1 两个编号法互换命题3.5.2 性质与矩阵命题3.5.3 布尔矩阵运算规则定理3.5.1 关系与矩阵对应定理3.5.2 关系合成与矩阵定理3.5.3 传递闭包矩阵运算华沙算法关系图画法对角分块矩阵与关系图 3.6 等价关系与集合的划分定义3.6.1 等价关系定义3.6.2 等价类定义3.6.3 划分定理3.6.1 等价类与划分定理3.6.2 划分表示关系定理3.6.3 用划分判定等价关系定义3.6.4 商集自然映射定理3.6.4 等价闭包定理3.6.5 等价关系合成定理3.6.5推论 等价关系合成定理3.6.6 等价关系合成与传递闭包 3.7 映射按等价关系的划分定义3.7.1 映射的核定理3.7.1 映射的分解推论3.7.1 满射条件定理3.7.2 唯一性定义3.7.3 两个关系相容 3.8 偏序关系与偏序集定义3.8.1 偏序关系定义3.8.2 偏序集定义3.8.3 全序关系与全序集定义3.8.4(1) 盖住关系定义3.8.4(2) Hasse哈斯图子偏序集定义3.8.5 链与反链定义3.8.6 上界下界定义3.8.7 最大最小元素定义3.8.8 上确界、下确界关于上述六个概念的个人理解定义3.8.9 极大元素、极小元素定理3.8.1 链转反链推论3.8.1 链长与集合大小关系定义3.8.10 拟序关系 *3.9 良序集与数学归纳法 四、无穷集合及其基数4.1 可数集定义4.1.1 可数集/不可数集定理4.1.1 可数集判定定理4.1.2 可数子集定理4.1.3 可数集无限子集推论4.1.1 可数集减有限集定理4.1.4 可数集并有限集定理4.1.5 有限个可数集的并定理4.1.6 可数无穷多有限集并定理4.1.7 可数无穷多可数集并定理4.1.8 有理数集推论4.1.2 区间有理数定理4.1.9 无限集并定理4.1.10 无穷集减至多可数集定义4.1.2 无穷集合,无限集合定义定理4.1.11 有限个可数集的笛卡尔积推论4.1.3 代数多项式定义4.1.3 代数数定理4.1.12 代数数全体 4.2 连续统集定理4.2.1 [0,1]实数集是不可数集定义4.2.1 连续统定理4.2.2 有限个连续统的并定理4.2.3 无穷多连续统的并推论4.2.1 实数集-连续统推论4.2.2 无理数集-连续统推论4.2.3 超越数集-连续统定理4.2.4 无穷01序列定理4.2.5 N的特征函数定理4.2.6 正整数无穷序列集定理4.2.7 连续统的笛卡尔积推论4.2.1 平面点集定理4.2.8 有限多连续统的笛卡尔积定理4.2.9 无穷不可数个连续统笛卡尔积 4.3 基数及其比较定义4.3.1 集合的基数定义4.3.1' 集合的基数-集族定义形式定义4.3.2 基数相等定义4.3.3 大小关系定理4.3.1 (康托)定理 4.4 康托-伯恩斯坦定理定理4.4.1 康托-伯恩斯坦定理推论4.4.1 不动点推论4.4.2 比较-两个关系不能同时成立推论4.4.3 两边夹推论4.4.4 传递关系定理4.4.2 策梅罗-基数可比较定理定义4.4.1 基数的加法定义4.4.2 基数的积定义4.4.3 基数的幂定理4.4.2 可数集基数与连续统基数定理4.4.3 满足的结合计算规律 *4.5 悖论、公理化集合论介绍

一、集合及其运算

1.1 集合概念

集合有两种表示法，且集合与元素不同，$x,\{x\}$不同，且集合中顺序无关。

把所有元素列出来，中间用","间隔，两遍加上大括号。如果元素很多，且符合一定常识，可以用$"\cdots "$来替代一部分。$\{x|f(x)\}$，先把元素的表示形式列出来，然后以竖线间隔列出其性质。表示满足$f(x)$性质的所有$x$

1.2 子集、集合相等

定义1.2.1 集合的包含.

两个集合$A,B$，若$A$的每个元素都是$B$中的元素，则称$A$是$B$的子集合，简称子集，记作$A\subseteq B$。称$A$包含在$B$中，或$B$包含着$A$。 $$\begin{array}{r}A\subseteq B⟺\forall x\in A,x\in B\end{array}$$ 性质:

$A\subseteq A$$\text{若}A\subseteq B\text{且}B\subseteq C,\text{则}A\subseteq C$

定义1.2.2 集合的真子集.

设$A,B$是两个集合，且$A\subseteq B$，$\exists x\in B,x\notin A$，则称$A$为$B$的真子集，记作$A\subset B$

定义1.2.3 集合的相等.

设$A,B$是两个集合，且$A\subseteq B,B\subseteq A$，则称$A$与$B$相等，记作$A=B$

定理1.2.1 空集

空集是任一集的子集，且空集是唯一的。[其中空集唯一的证明方法为反证法,且利用了定义1.2.3的相等的概念]

定义1.2.4 集族.

以集合为元素的集合称为集族.例如$\{N,R,Q\}$

定义1.2.5 幂集.

集合$S$所有子集(包含空集与自身)所构成的集族称为S的幂集,记作$2^S$,且有$2^S=\{A|A\subseteq S\}$.

1.3 集合的基本运算

定义1.3.1 并集

设$A,B$是两个集合,至少属于这两个集合之一的元素构成的集合称为$A$与$B$的并集,记作$A\cup B$.公式化表述为$A\cup B=\{x|x\in A或x\in B\}$.

定理1.3.1 并运算性质

设$A,B,C$为任意三个集合,则对于交运算,满足以下几个规律:

交换律,$A\cup B=B\cup A$结合律,$A\cup (B\cup C)=(A\cup B)\cup C$幂等律,$A\cup A=A$$\varnothing \cup A=A$$A\cup B=B⟺A\subseteq B$

定义1.3.2 交集.

设$A,B$是两个集合,由既属于$A$又属于$B$的一切元素构成的集合称为$A$与$B$的交集,记作$A\cap B$.公式化表示为$A\cap B=\{x|x\in A且x\in B\}$.

定理1.3.2 交运算性质

设$A,B,C$是三个任意集合,则

交换律,$A\cap B=B\cap A$结合律,$A\cap (B\cap C)=(A\cap B)\cap C$幂等律,$A\cap A=A$$\varnothing \cap A=\varnothing$$A\cap B=A⟺A\subseteq B$

定理1.3.3 交并运算性质-结合律

设$A$为任一集合,$\{B_l|l\in I\}$为任一集族,则有 $$\begin{gathered} A\cap ({\cup }_{l\in I}{B}_l)={\cup }_{l\in I}(A\cap B_l) \\ A\cup ({\cap }_{l\in I}{B}_l)={\cap }_{l\in I}(A\cup B_l) \end{gathered}$$

定理1.3.4 交并运算性质-分配律

设$A,B,C$为任意三个集合,则

交运算对并运算满足分配律,$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$.并运算对交运算满足分配律,$A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$.

定理1.3.5 交并运算性质3-吸收律

对于两个集合$A,B$,满足吸收律:

满足吸收律,$A\cap (A\cup B)=A$还是满足吸收律,$A\cup (A\cap B)=A$.

定义1.3.3 两两不相交的集序列.

设$A,B$为任意集合,如果$A\cap B=\varnothing$,则称$A$与$B$不相交.若集序列$A_1,A_2,\cdots ,A_n,\cdots$的任意两集$A_i$与$A_j$均不相交,则称$A_1,A_2,\cdots ,A_n,\cdots$是两两不相交的集序列.

定义1.3.4 差集.

设$A,B$是两个任意的集合,由属于$A$但不属于$B$的一切元素构成的集合称为$A$与$B$的差集,并记作$A\setminus B$.公式化表示为$A\setminus B=\{x|x\in A且x\notin B\}$.

定理1.3.6 交对差的分配律

设$A,B,C$为三个任意集合,交运算对差运算满足分配律,即$A\cap (B\setminus C)=(A\cap B)\setminus (A\cap C)$.

定理1.3.7 差判定子集

设$A,B$为两个集合,则$(A\setminus B)\cup B=A⟺B\subseteq A$.

定义1.3.5 对称差.

设$A,B$为两个集合,$A\setminus B,B\setminus A$的并集称为$A,B$的对称差,记作$A\Delta B$.公式化表示为$A\Delta B=\{x|x\in A或x\in B但x\notin A\cap B\}=\{x|x\in A\cup B但x\notin A\cap B\}=(A\cup B)\setminus (A\cap B)$

定理1.3.8 对称差性质

设$A,B,C$为任意三个集合,则

交换律,$A\Delta B=B\Delta A$结合律,$A\Delta (B\Delta C)=(A\Delta B)\Delta C$$A\Delta A=\varnothing$$A\Delta \varnothing =A$交运算关于对称差满足分配律,即$A\cap (B\Delta C)=(A\cap B)\Delta (A\cap C)$.

1.4 余集,De Morgan公式

定义1.4.1 余集.

设$S$是一个集合,$A\subseteq S$,差集$S\setminus A$称为集$A$对集$S$的余集,记作$A^c$,即$A^c=S\setminus A$.如果容易发生误解,则写成$C_{S}A$,表示的意义与上述相同.

性质: 设$A\subseteq S$,则有下述结论.

$S$对$S$的余集为空集.$C_{S}S=\varnothing$.$C_S\varnothing =S,{\varnothing }^c=S$$A\cap A^c=\varnothing ,A\cap C_{S}A=\varnothing$$A\cup A^c=S,A\cup C_{S}A=S$

定理1.4.1 并集的余集

并集的余集等于各余集的交集.即$({\cup }_{\delta \in I}{A}_{\delta }{)}^c={\cap }_{\delta \in I}{A}_{\delta }^c$.

定理1.4.2 交集的余集

交集的余集等于各余集的并集.即$({\cap }_{\delta \in I}{A}_{\delta }{)}^c={\cup }_{\delta \in I}{A}_{\delta }^c$.

上述两个定理可以缩小范围到两个集合.于是有

$(A\cup B{)}^c=A^c\cap B^c$$(A\cap B{)}^c=A^c\cup B^c$

定理1.4.3 余集与差,对称差

设$A,B$为$S$的子集.则

$A\setminus B=A\cap B^c$$A\Delta B=(A\cap B^c)\cup (A^c\cap B)$$A^c=S\Delta A$

1.5 笛卡尔乘积

定义1.5.1 笛卡尔乘积

设$A$与$B$为任意两个集合,则称集合$\{(a,b)|a\in A,b\in B\}$为$A$与$B$的笛卡尔成绩,记作$A\times B$.

定理1.5.1 笛卡尔乘积与集合运算

设$A,B,C$为任意三个集合,则笛卡尔乘积对并,交,差运算分别满足分配律,即

$A\times (B\cup C)=(A\times C)\cup (A\times C)$$A\times (B\cap C)=(A\times C)\cap (A\times C)$$A\times (B\setminus C)=(A\times C)\setminus (A\times C)$

定义1.5.2 笛卡尔乘积拓展

设$A_1,A_2,A_3,A_4,...,A_n$为n个集合,则$\{(a_1,a_2,a_3,...,a_n)|a_i\in A_i\}$称为$A_1,A_2,A_3,...A_n$的笛卡尔乘积,记作$A_1\times A_2\times A_3\times ...\times A_n$或${\prod }_{i=1}^n{A}_i$.

1.6 有穷集合的基数

定义1.6.1 一一对应.

设$A$和$B$是两个集合,如果有一个法则$\varphi$使$\forall x\in A$根据法则$\varphi$在$B$中有唯一的一个y与x对应,这个y常常被记作$\varphi (x)$,而且$\forall y\in B$在$A$中也有唯一的$x$使在$\varphi$下对应$y$.这个法则$\varphi$称为从$A$到$B$的一个一一对应.(一对一配对无余的方法).

定义1.6.1’ 一一对应

一个从集合$A$到集合$B$的一一对应是$A\times B$的子集$\varphi$使之满足:

$$\begin{gathered} \forall x\in A,\exists y\in B\Rightarrow (x,y)\in \varphi . \\ (x,y),(x,z)\in \varphi \Rightarrow y=z \end{gathered}$$$$\begin{gathered} \forall y\in B,\exists x\in A\Rightarrow (x,y)\in \varphi , \\ (x,y),(x^{\prime },y)\in \varphi \Rightarrow x=x^{\prime } \end{gathered}$$

如果$(x,y)\in \varphi$,则把$y$记作$\varphi (x)$,即$y=\varphi (x)$.

定义1.6.2 有限集

集合$A$称为有限集,如果

$A=\varnothing$.特殊定义基数为$0$.$A\ne \varnothing$且存在一个自然数$n$,使得$A$与$\{1,2,3,\dots ,n\}$间存在一个一一对应,数$n$称为$A$的基数,记成$|A|$.

如果$A$不是有穷集,则称$A$为无穷集.

定理1.6.1 加法法则.

设$A,B$为两个不相交的有限集,则$|A\cup B|=|A|+|B|$.

定理1.6.2 有限可数多加法

设$A_i,i\in \{1,2,\dots ,n\}$为n个两两不相交的有限集,则$|{\cup }_{i=1}^n{A}_i|={\sum }_{i=1}^n|A_i|$.

定理1.6.3 乘积法则.

设$A,B$为有穷集,则$|A\times B|=|A|\cdot |B|$.

定理1.6.4 有限可数多乘法

设$B_i,i\in N,i\le n$,为n个有限集,则$|\prod B_i|=\prod |B_i|$.

定理1.6.5 减法法则或淘汰原理

设$S$为有限集,$A\subset S$,则$|A^c|=|S|-|A|$.

定理1.6.6 并运算

设$A,B$为有限集,则$|A\cup B|=|A|+|B|-|A\cap B|$

定理1.6.7 对称差运算

设$A,B$为有限集,则$|A\Delta B|=|A|+|B|-2|A\cap B|$

定理1.6.8 逐步淘汰原理形式之一

设$A_i,i\in N,i\le n$为n个有穷集,则$|\cup A_i|=\sum |A_i|-\sum |A_i\cap A_j|+\sum |A_i\cap A_j\cap A_k|\cdots ,i\ne j\ne k,i,j,k\in \{1,2,\dots ,n\}$.

定理1.6.9 逐步淘汰原理形式之二

假设同上,$|\cap A_i^c|=|S|-|\cup A_i|$然后展开即可.

二、映射

2.1 函数的一般概念-映射

定义2.1.1 映射

​ 设$X$与$Y$是两个非空集合,一个从$X$到$Y$的映射$f$是一个法则,根据$f$,对$X$中每个元素$x$都有$Y$中唯一确定的元素$y$与之对应.$f$给$x$规定的元素$y$称为$x$在$f$下的象,而$x$称为$y$在$f$下的原象.$X$称为$f$的定义域.

​ "$f$是$X$到$Y$的映射"常记为$f:X\to Y$.

​ $x$在$f$下的象$y$常记作$f(x)$.集合$\{f(x)|x\in X\}$称为$f$的值域或象,记作$I_m(f)$.

定义2.1.2 映射与笛卡尔乘积

​ 设$X$与$Y$是两个非空集合,一个从$X$到$Y$的映射是一个满足以下两个条件的$X\times Y$的子集$f$:

对于$X$的每一个元素$x$,存在一个$y\in Y$使得$(x,y)\in f$.若$(x,y),(x,y^{\prime })\in f$则$y=y^{\prime }$.单值性.

定义2.1.3 限制与扩张

​ 设$f:X\to Y,A\subseteq X$,当把$f$的定义域限制在$A$上时,就得到了一个$\varphi :A\to Y,\forall x\in A,\varphi (x)=f(x)$,$\varphi$被称为$f$在$A$上的限制,并且场营$f|A$来代替$\varphi$.反过来,我们说$f$时$\varphi$在$X$上的扩张

定义2.1.4 部分映射

​ 设$f:A\to Y,A\subseteq X$则称$f$是$X$上的一个部分映射.在这里,我们假设空集到$Y$有一个唯一的映射,它也是$X$到$Y$的部分映射.

定义2.1.5 映射相等

​ 两个映射$f$和$g$被称为是相等的当且仅当$f$和$g$都是$X$到$Y$的映射,且$\forall x\in X$,恒有$f(x)=g(x)$.

定义2.1.6 单射

​ 设$f:X\to Y$,如果$\forall x,x^{\prime }\in X$,只要$x\ne x^{\prime }$,就有$f(x)\ne f(x^{\prime })$,则称$f$为从$X$到$Y$的单射.

定义2.1.7 满射

​ 设$f:X\to Y$,如果$\forall y\in Y,\exists x\in X,f(x)=y$,则称$f$是$X$到$Y$上的满射.

定义2.1.8 一一对应

​ 设$f:X\to Y$,若$f$既是单射又是满射,则$f$被称为双射,或一一对应,也称作$X$与$Y$对等,记作$X\sim Y$.

定义2.1.9 恒等映射

​ 设$f:X\to X$,如果$\forall x\in X,f(x)=x$,则称$f$为$X$上的恒等映射.$X$上的恒等映射常记为$I_X$或$1_X$.

定理2.1.1 大小关系

设$A,B$是有限集,$f:A\to B$.

若$f$满射,则$|A|\ge |B|$.若$f$单射,则$|A|\le |B|$.

定理2.1.2 关系

设$A,B$是有限集,$|A|=|B|$,则$f:A\to B$是单射当且仅当$f$是满射.

映射集

从$X$到$Y$的所有映射之集记作$Y^X$,即 $$Y^X=\{f|f:X\to Y\}$$

2.2 抽屉原理

抽屉原理

如果把n+1个物体放到n个盒子里面,则必有一个抽屉里至少放了两个物体.

抽屉原理强形式

设$q_1,q_2,\dots ,q_n$为n个正整数.如果把$\sum q-n+1$个物体放到n个盒子里面,则必有一个盒子$i$至少有$q_i$个物品.

取所有$q=2$,就是抽屉原理普通形式如果所有$q=r$就是导出形式

抽屉定理的"相等导出形式"

若把$n(r-1)+1$个物品放到$n$个盒子里面,至少有一个盒子含有不少于$r$个物品.

抽屉定理"反向形式"

如果把每个盒子里面放的东西记作$m_i$,取$n\ast q=n\ast r$.则由相等导出形式可得 : $\sum m>n(r-1)$时,至少有一个$m_i$大于等于r.

如果n个正整数$m_i$,满足$\sum m>n(r-1)$,则至少有一个$m_i$不小于$r$.

2.3 映射的一般性质

首先,我们在这里假设$f^{-1}$为$f$的一个导出映射(虽然它与逆映射是同一个符号),表示的含义是: $$\begin{gathered} \forall x_0\in X,f(x_0)=y_0 \\ \Rightarrow f^{-1}(y_0)=x_0 \end{gathered}$$

定理2.3.1 性质1群

设$f:X\to Y$,$C\subseteq Y,D\subseteq Y$,则

$f^{-1}(C\cup D)=f^{-1}(C)\cup f^{-1}(D)$$f^{-1}(C\cap D)=f^{-1}(C)\cap f^{-1}(D)$$f^{-1}(C\Delta D)=f^{-1}(C)\Delta f^{-1}(D)$$f^{-1}(D^c)=f^{-1}(C_{Y}D)=(f^{-1}(D){)}^c$

定理2.3.2 性质2群

设$f:X\to Y$,$A\subseteq X,B\subseteq X$,则

$f(A\cup B)=f(A)\cup f(B)$$f(A\cap B)\subseteq f(A)\cap f(B)$$f(A\Delta B)\supseteq f(A)\Delta f(B)$

2.4 映射的合成

定义2.4.1 合成

​ 设$f:X\to Y,g:Y\to Z$,一个从$X$到$Z$的映射$h$称为$f$与$g$的合成,如果$\forall x\in X,h(x)=g(f(x))$."映射f与g的合成"h记作$g\circ f$,或者省一下$gf$.

定理2.4.1 结合律

​ 设$f:X\to Y,g:Y\to Z,h:Z\to W$.以下式子成立: $$h\circ (gf)=(hg)\circ f$$

定理2.4.2 恒等合成

​ 设$f:X\to Y$.则$f\circ I_X=I_Y\circ f$.

定理2.4.3 已知条件的合成

​ 设$f:X\to Y,g:Y\to Z,h=g\circ f$.则

$f,g$单射,则$h$单射$f,g$满射,则$h$满射$f,g$双射,则$h$双射

定理2.4.4 已知结论反推条件

​ 设$f:X\to Y,g:Y\to Z,h=g\circ f$.则

若$h$单射,则$f$一定是单射若$h$满射,则$g$一定是满射若$h$是双射,则$f$单射,$g$满射

定理2.4.5 X→ X包含关系

​ 设$f,g$都是$X\to X$的映射,则$I_m(f)\subseteq I_m(g)$的充要条件为$\exists h:X\to X$,满足$f=g\circ h$.

2.5 逆映射

定义2.5.1 逆映射

设$f:X\to Y$.如果存在一个$g:Y\to X$使得 $$\begin{gathered} f\circ g=I_Y \\ g\circ f=I_X \end{gathered}$$ 则称映射$f$是可逆的,而$g$为$f$的逆映射.

定义2.5.2 左右可逆

​ 设$f:X\to Y$,如果存在一个映射$g:Y\to X$满足$g\circ f=I_X$,则称$f$是左可逆的,$g$为$f$的左逆映射.

​ 设$f:X\to Y$,如果存在一个映射$g:Y\to X$满足$f\circ g=I_Y$,则称$f$是右可逆的,$g$为$f$的右逆映射.

定理2.5.1 可逆充要条件

​ 设$f:X\to Y$,则$f$是可逆的充分必要条件是$f$为双射(一一对应).

定理2.5.2 逆映射唯一

​ 设$f:X\to Y$,则如果$f$是可逆的,那么$f$的逆映射是唯一的,且表示为$f^{-1}$.

定理2.5.3 乘积可逆

​ 设$f:X\to Y,g:Y\to Z$都是可逆的,那么$gf$也可逆,且$(gf{)}^{-1}=f^{-1}{g}^{-1}$.

定理2.5.4 左右可逆充要条件

左可逆的充要条件是$f$为单射右可逆的充要条件是$f$为满射

*2.6 置换

[前情提要]这个内容不是考试范围!

主要内容有以下几个部分

置换是一个排列,$|S|$大小的叫$|S|$次置换.

置换在使用2*n的一个小方块表示的时候,可以换列位置.

置换的乘法可以用2所用的方法来快速计算

如果$a_i$对应$a_{i+1}$,然后构成了环,则称这个为$k$-循环置换,其中$k$是这个环的大小.2-循环置换又被称为对换.

$r$是一个$k$-循环置换,则$r^k=I$,且对于所有$1\le n<k,r^n\ne I$.

如果两个循环置换没有共同元素,则可以交换:$\alpha \circ \beta =\beta \circ \alpha$.

循环分解:每个置换能分解成若干无共同元素的循环置换乘积.且分解出的循环置换在不考虑顺序的情况下是唯一的.

每个置换都能分解若干对换的乘积.分解不唯一,但分解出来的个数的奇偶性唯一.(范德蒙行列式证明).偶数的时候叫偶置换,奇数的时候叫奇置换.

偶置换*奇置换 = 奇置换.偶置换*偶置换=偶置换.奇置换*奇置换=偶置换.

n次奇偶置换个数均为$\frac{n!}{2}$.

*2.7 二元运算与多元运算

[前情提要]这个内容不是考试范围!

主要内容:

自然数集到X的映射称为X上的一个无穷序列.1-n集合到X的一个映射称为X上长为n的(有限)序列.

$N$到$N$的映射,如果$i<j,s(i)<s(j)$则$s$是N的一个子序列.如果$s(i)=n_i$,那么这个子序列就记作$n_1,n_2,\dots .n_i<n_{i+1}$.

$s$是$N$的子序列,$a$是X的一个序列,那么$a\circ s$称为$a$的一个子序列.

$\varphi :X\times Y\to Z$,是一个X与Y到Z的二元(代数)运算.$X=Y=Z$称为X上的二元运算.

$X$到$Y$的任一映射都是X到Y的一元运算.$X=Y$叫X上的一元运算,也叫变换

$\varphi :A_1\times A_2\times \cdots \times A_n\to D$称为$A_1,A_2,\dots ,A_n$到$D$的一个n元(代数)运算.如果都相等,则称在A上的n元运算.

结合律:二元运算$\circ$如果满足$a\circ (b\circ c)=(a\circ b)\circ c$则称这个运算满足结合律.

$A$对$B$满足左分配律:$aB(bAc)=(aBb)A(aBc)$.右分配律同理

$x\circ e=e\circ x=x$,则e为$\circ$的单位元素.$a\circ b=b\circ a=e$,则a,b互为逆元素.

代数系的同构:$(S,+,-),(T,<,>)$是两个代数系,那么存在一个一一对应$\varphi :S\to T$: $$\begin{gathered} \varphi (x+y)=\varphi (x)<\varphi (y) \\ \varphi (x-y)=\varphi (x)>\varphi (y) \\ x,y\in S \end{gathered}$$ 那么就称这两个代数系同构.

2.8 集合的特征函数

定义2.8.1 特征函数

​ 设$X$是一个集合,$E\subseteq X$.从$X$到$\{0,1\}$的一个如下映射称为$E$的特征函数: $${\chi }_E=\{\begin{array}{l}1,\text{if}x\in E\\ 0,\text{if}x\notin E\end{array}$$ 同时定义$Ch(X)=\{\chi |\chi :X\to \{0,1\}\}$.也就是所有特征函数的集合.

定理2.8.1 幂集与特征函数集同构

​ $(2^X,\cup ,\cap {,}^c),(Ch(X),\vee ,\wedge {,}^c)$同构.可以由$\chi$作为一一对应,然后进行证明.

三、关系

3.1 关系的概念

定义3.1.1 关系定义1

​ $A,B$两个集合,一个从$A\times B$到01的映射$R$称为从$A$到B的一个二元关系,或AB间的二元关系.对任何$(a,b)\in A\times B$,如果其R下的象为1,则a与b符合关系R,记作aRb.反之不符合,并记作$a/Rb$.若A=B,则称R是A上的二元关系.

定义3.1.2 关系定义2

设A和B是两个集合。$A\times B$的一个子集R称为从A到B的一个二元关系。如果$(a,b)\in R$，则说他们符合关系R；反之不满足关系R。记录方式与3.1.1同。

定义3.1.3 定义域值域

设$R\subseteq A\times B$，集合$\{x|x\in A\wedge \exists y\in B,(x,y)\in R\}$为其定义域，记作$dom(R)$.集合$\{y|y\in B\wedge \exists x\in A,(x,y)\in R\}$为其值域，记作$ran(R)$.

定义3.1.4 多值部分映射

AB两个集合，一个从$A$到$2^B$的映射R叫做从A到B的一个多值部分映射.如果$a\in A$,$R(a)=\varnothing$,则称$R$在a无定义.如果$R(a)\ne \varnothing ,\forall b\in R(a)$称为a在R下的一个象或值.

定义3.1.5 二元关系与多值部分映射

一个从A到B的多值部分映射R称为A到B的一个二元关系.

定理3.1.1 定义的等价关系

定义3.1.2与定义3.1.5等价.

定义3.1.6 n元关系

设$A_1,A_2,\dots ,A_n$是n个集合,一个其笛卡尔乘积的子集R称为其间的一个n元关系,每个$A_i$称为R的一个域.

3.2 关系的性质

在本节中,我们讨论的是在$X$上的二元关系$R$,且使用的$x,y$如无特殊说明均满足$x,y\in X$.

定义3.2.1 自反关系

$\forall x\in X,xRx$.

定义3.2.2 反自反关系

$\forall x\in X,(x,x)\notin R,x/Rx$

定义3.2.3 对称关系

$\forall x,y\in X,xRy\Rightarrow yRx$.

定义3.2.4 反对称关系

$\forall x,y\in X,x\ne y,x/Ry$.注意,这里可以允许$xRx$.

定义3.2.5 传递关系

$\forall x,y,z\in X,\text{if}xRy,yRz,\text{then}xRz.$

定义3.2.6 相容关系

自反且对称的关系称为相容关系.

定义3.2.7 关系的逆

R的逆记作$R^{-1}$,是B到A的二元关系,且$R^{-1}=\{(y,x)|(x,y)\in R\}$.

3.3 关系的合成

$R\subseteq A\times B,S\subseteq B\times C,R_i都是关系$.

定义3.3.1 关系的合成

$R$与$S$的合成是A到C的一个二元关系,记作$R\circ S$.4这里表示方式与映射的合成是相反的!这里表示方式与映射的合成是相反的!这里表示方式与映射的合成是相反的!** $$R\circ S=\{(a,c)|(a,c)\in A\times C,\exists b\in B,aRb,bRc\}$$

定理3.3.1 结合律

$R_1\circ (R_2\circ R_3)=(R_1\circ R_2)\circ R_3$.

定理3.3.2 交并运算

$R_1\circ (R_2\cup R_3)=(R_1\circ R_2)\cup (R_2\circ R_3)$.$R_1\circ (R_2\cap R_3)\subseteq (R_1\circ R_2)\cap (R_1\circ R_3)$.$(R_2\cup R_3)\circ R_4=(R_2\circ R_4)\cup (R_3\circ R_4)$.$(R_2\cap R_3)\circ R_4\subseteq (R_2\circ R_4)\cap (R_3\circ R_4)$

定理3.3.3 关系的逆的合成

$(R_1\circ R_2{)}^{-1}=R_2^{-1}\circ R_1^{-1}$.$(R\circ R^{-1}{)}^{-1}=R\circ R^{-1}$是对称的.

定理3.3.4 传递关系

$R\circ R\subseteq R\iff R$是对称关系

定理3.3.5 幂

$R^m\circ R^n=R^{m+n},(R^m{)}^n=R^{mn}$

定理3.3.6 抽屉原理

$$\begin{gathered} |X|=n,|X\times X|=n^2,R共有2^{(n^2)}个,故 \\ \exists s,t,0\le s<t\le 2^{(n^2)},R^s=R^t. \end{gathered}$$

定理3.3.7 幂次扩展

已知$s<t,R^s=R^t$.

$R^{s+k}=R^{t+k},k\ge 0$$R^{s+k(t-s)}=R^s,k\ge 0$.$S=\{R^0,R,R^2,\dots ,R^t\},\forall q\in \mathbb{N},R^q\in S$.

定理3.3.8 对称传递关系

$R$是对称传递等价于$R=R\circ R^{-1}$.

3.4 关系的闭包

假设$R$是一个关系,某个关系性质A的闭包就是包含关系R且满足性质A的所有关系的交.简单来说就是：扩展最少的东西然后使它满足性质A。

定义3.4.1 传递闭包

R是X上的关系，X上一切包含R的传递关系的交称为R的传递闭包，用$R^{+}$表示。 $$R^{+}={\cap }_{R\subset R^{\prime }}{R}^{\prime },R^{\prime }是传递的$$

定理3.4.1 传递闭包是传递关系

定理3.4.2 计算传递闭包

$$R^{+}={\cup }_{n=1}^{\infty }{R}^n$$

定理3.4.3 计算传递闭包2

$$R^{+}={\cup }_{n=1}^{|X|}{R}^n$$

定理3.4.4 性质

$R,S$是$X$上的二元关系

${\varnothing }^{+}=\varnothing$$R\subseteq R^{+}$$(R^{+}{)}^{+}=R^{+}$$(R\cup S{)}^{+}\supseteq R^{+}\cup S^{+}$.

定义3.4.2 自反传递闭包

包含R的所有自反传递关系的交就是自反传递闭包，记作$R^{\ast }$

定理3.4.5 自反传递关系计算

$$R^{\ast }=R^0\cup R^{+}$$

几个常见的记法

自反闭包记作$r(R)$对称闭包记作$s(R)$

定理3.4.6 自反、传递闭包的性质

$s(r(R))=r(s(R))$$r(R^{+})=r(R{)}^{+}=R^{\ast }$$s(R{)}^{+}\supseteq s(R^{+})$.有向图联通关系少于相同边布局的无向图

3.5 关系矩阵与关系图

关系矩阵

设X是m元集，有编号，记作$X=\{x_1,x_2,x_3,\dots ,x_m\}$，同理Y是n元集。R是X到Y的一个二元关系。由R定义出一个$m\times n$的矩阵$B=(b_{ij})$: $$b_{ij}=\{\begin{array}{l}1,\text{if}{x}_{i}R{y}_j\\ 0,\text{if}{x}_i/R{y}_j\end{array}$$ 矩阵B被称为关系R的矩阵。

命题3.5.1 两个编号法互换

如果有两种编号法，则对于同一个关系R可以假设其在两个表示法下有$B_1,B_2$两个关系矩阵，则一定存在一个每行每列只有一个1的布尔矩阵（置换矩阵）$P_1,P_2$满足 $$B_1=P_1{B}_2{P}_2$$

命题3.5.2 性质与矩阵

自反关系，对角线全1反自反关系，对角线全0对称关系，对称矩阵反对称关系，$b_{ij}\ne b_{ji}$，除非对角线传递关系，$b_{ij}=1,b_{jk}=1\Rightarrow b_{ik}=1$.$R^{-1}$对应$B^T$，转置矩阵。

命题3.5.3 布尔矩阵运算规则

$A,B,C$都是$n$阶布尔方阵，这$C=A\circ B$的定义是$c_{ij}=\vee (a_{ik}\wedge b_{kj})$

$A\vee B=B\vee A,A\wedge B=B\wedge A$

$(A\wedge B)\wedge C=A\wedge (B\wedge C)$

$(A\vee B)\vee C=A\vee (B\vee C)$

$(A\circ B)\circ C=A\circ (B\circ C)$

$A\wedge (B\vee C)=(A\wedge B)\vee (A\wedge C)$

$A\vee (B\wedge C)=(A\vee B)\wedge (A\vee C)$

$A\circ (B\vee C)=(A\circ B)\vee (A\circ C)$

$(B\vee C)\circ A=(B\circ A)\vee (C\circ A)$

定理3.5.1 关系与矩阵对应

RS是两个关系，对应矩阵$B_R,B_S$，则其相应交并后的矩阵： $$B_{R\cup S}=B_R\vee B_S,B_{R\cap S}=B_R\wedge B_s$$

定理3.5.2 关系合成与矩阵

$B_{R\circ S}=B_R\circ B_S$.前提是必须是有限集上的关系

定理3.5.3 传递闭包矩阵运算

$B_{R^{+}}=B^{+}={\vee }_{i=1}^n{B}_R^{(i)}$.

华沙算法

B是原关系矩阵，A是要求的传递闭包

$A\leftarrow B$$k\leftarrow 1$$i\leftarrow 1$$\text{if}{a}_{ik}=1,\forall j\in [1,n],a_{ij}\leftarrow a_{ij}\vee a_{kj}$$i\leftarrow i+1,\text{if}i\le n,\text{goto}4$$k\leftarrow k+1,\text{if}k\le n,\text{goto}3$

关系图画法

元素：一个点表示一个元素，在旁边标上这个元素的名字。关系：一个$xRy$表示为一个从x到y的有向线段。特殊关系：$xRy,yRx$画个圆，$xRx$自己指向自己的闭环（自闭） 自反：都有自环。反自反，没有自环。对称：有矢线，则必有环。反对称：除了自环，没环。传递：一个矢线(a,b),一个矢线(b,c)，则必由矢线(a,c)

对角分块矩阵与关系图

如果关系图里面可以划分成好几个不相连的块，按照这个分组方法对应到关系矩阵中，就是分块对角阵。

3.6 等价关系与集合的划分

定义3.6.1 等价关系

集合$X$上的二元关系$R$被称为等价关系当且仅当其满足以下性质:

R是自反关系,$xRx$R是对称的,$xRy,yRx$R是传递的,$xRy,yRz\Rightarrow xRz$

抽象讨论时，常用$\cong$来表示等价关系。常见的关系有：恒等关系、同余关系、无向图上的到达连通关系。

定义3.6.2 等价类

设$\cong$是X上的等价关系,$x\in X,E_x=\{y|y\in X\wedge x\cong y\},E_x\subseteq X$,称为x关于$\cong$的等价类,或简称为x的等价类.也常被记作[x] (这边那个括号的横线部分应该是斜着的,但我没找到那个符号的公式).

定义3.6.3 划分

X是一个集合,X的一些非空子集形成的集族A为X的一个划分,当且仅当A有以下性质:

$\forall B_1,B_2\in A,\text{if}{B}_1\ne B_2,B_1\cap B_2=\varnothing$${\bigcup }_{B\in A}B=X$.

如果A是X的一个划分,且$|A|=k$,则称A为X的一个k-划分.例如:$\{[0],[1]\}$是模2同余的一个2-划分.

定理3.6.1 等价类与划分

等价关系的所有等价类的集合是X的一个划分.

定理3.6.2 划分表示关系

如果A是X的一个划分,那么令$\cong ={\bigcup }_{B\in A}B\times B$是X上的一个等价关系,且A就是它等价类之集.

定理3.6.3 用划分判定等价关系

原话：集合$X$上的二元关系$\cong$是一个等价关系,当且仅当存在$X$的一个划分$A$使得$x\cong y$的充分必要条件是$\exists B\in A$使得$x,y\in B$.(我觉得很抽象)

我的理解：$X$上有个二元关系$R$,以下是充要条件

存在一个划分$A=\{B_1,B_2,B_3,\dots ,B_n\}$$\forall xRy\iff x\in B_t且y\in B_t$

也就是说:把所有有关系的都搞到一个集合,然后形成的集族是原集合X的一个划分.

定义3.6.4 商集

设$\cong$是X上的等价关系.由$\cong$确定的X的划分-$\cong$的所有等价类之集称为X对$\cong$的商集,记作$X/\cong$.公式化表示为$X/\cong =\{[x]|x\in X,[x]是x的等价类\}$.

自然映射

对于在A上的等价关系R,定义映射:$g:A\to A/R$为自然映射.

定理3.6.4 等价闭包

我们用$e(R)$来表示X上包含R的等价关系的交.(这个证明没看懂) $$e(R)=(R\cup R^{-1}{)}^{\ast }$$

定理3.6.5 等价关系合成

如果$R,S$都是等价关系,那么:$R\circ S$是等价关系$\iff R\circ S=S\circ R$.

证明思路:向左先$R^{-1}=R$对称,$R^2\subseteq R$传递.

定理3.6.5推论 等价关系合成

如果$R,S$都是等价关系,那么:$R\circ S$是等价关系$\iff R\circ S\subseteq S\circ R$.

证明思路:只要证明$S\circ R\subseteq R\circ S$即可.

定理3.6.6 等价关系合成与传递闭包

$$\begin{gathered} R,S都是X的等价关系,则 \\ R\circ S=(R\cup S{)}^{+} \end{gathered}$$

3.7 映射按等价关系的划分

定义3.7.1 映射的核

设$f:X\to Y$.在X上定义二元关系$E_f$如下:$\forall a,b\in X,a{E}_{j}b\iff f(a)=f(b)$.称$E_f$为由f导出的关系.由定义可知:该关系自反,传递,对称,因此是一个等价关系.

由f导出的等价关系常叫做f的核.f的核常记作$Ker(f)$.其中X对$Ker(f)$的商集可以表示为$X/Ker(f)=\{f^{-1}(y)|y\in Y,f^{-1}(y)\ne \varnothing \}$.

换句话说就是把$f$对应的相等的所有元素构成集合,然后构成的集族.对应一个等价关系就叫f的核.

定理3.7.1 映射的分解

一个映射$f:X\to Y$可以被分解为X到$X/Ker(f)$的满射(自然映射)$\gamma$与$X/Ker(f)$到Y的单射$\bar{f}$的合成.换言之:$f=\bar{f}\circ \gamma$(特别注意,这里是映射合成不是关系合成).

推论3.7.1 满射条件

$\bar{f}$是一一对应当且仅当$f$是满射

定理3.7.2 唯一性

定理3.7.1中的单射$\bar{f}$是唯一的.

定义3.7.3 两个关系相容

设$f:X\to Y,\cong$是X上的等价关系.如果$\forall x,y\in X,x\cong y\Rightarrow f(x)=f(y)$,那么就说$f$和$\cong$是相容的.

设$f:X\to Y,\cong$是X上的等价关系,并且$f$与$\cong$相容.定义一个$\bar{f}:X/\cong \to Y.\bar{f}([a])=f(a)$.$\gamma$是X的自然映射,可知:$f=\bar{f}\circ \gamma =\bar{f}(\gamma (x))$.

但上述$\bar{f}$不一定是单射.单射当且仅当$\cong =Ker(f)$.

3.8 偏序关系与偏序集

定义3.8.1 偏序关系

R是X上的二元关系，R是偏序关系的条件为：

R是自反的R是反对称的R是传递的

常见的偏序关系有：小于等于，小于，拓扑图上的联通关系。常用$\le$表示偏序关系,读作"小于等于".约定$x\ne y,x\le y$记作$x<y$.同时我们表示其逆为$\ge ,>$.

如果两个元素没有这个关系,那么称他们不可比较.否则称为可比较.

定义3.8.2 偏序集

设$\le$是X上的偏序关系,则称二元组$(X,\le )$为偏序集.可以认为是根据后面的偏序关系给X元素了一个"顺序".

定义3.8.3 全序关系与全序集

一个偏序关系$R$被称为全序关系的条件为:

$R$是一个偏序关系$aRb,bRa$至少有一个成立.

全序关系也被称为线序关系.常见的有:小于等于,大于等于,有向链.

X与全序关系R构成的二元组$(X,R)$称为全序集.

需要注意的是,全序关系和偏序关系一个明显的不同就是全序关系任何两个元素都可比较,不会产生不可比较的元素对.

定义3.8.4(1) 盖住关系

设$(X,\le )$是一个偏序集,我们称y盖住x当且仅当其满足下列条件:

$x<y$$\forall z\in X,x\le z\le y\Rightarrow x=z或y=z$

说人话:xRy成立,且中间插不进去.

如果y盖住x,记作$x\stackrel{\infty }{\subset }y$.y称为x的后继,x称为y的前驱.(相当于有向线段$(x,y)$)

定义3.8.4(2) Hasse哈斯图

哈斯图是用来描述偏序关系的一种图.我们假设有一个关系R是X上的偏序关系.画图规则如下:

省去自环。由于都是自反的，因此不用画。只画前驱后继之间的边。由于是传递的，所以按前驱后继总能传到。后继画在上面，前驱画在下面。由于是反对称的，因此这样画好看且不用画有向线段（矢线）

实际上，这个图就是盖住关系的关系图。

子偏序集

设$(X,\le )$是一个偏序集,把偏序关系限制在X的子集$A$上得到了${\le }_A=\le \cap A\times A$.这时候$(A,{\le }_A)$是一个偏序集,但是我们用$(A,\le )$来代替表示,此时$\le$被理解为在A上的限制${\le }_A$.

定义3.8.5 链与反链

$(X,\le )$偏序集,$A\subseteq X$.

$\forall a,b\in A,a\le b或b\le a$.A是X中的链.$\forall a\ne b\in A,a\nleqq b且b\nleqq a$,A是X中的反链.

$|A|$称为链的长度.

定义3.8.6 上界下界

$(X,\le )$偏序集,$B\subseteq X,a\in X$.

$\forall b\in B,b\le a$称$a$为B的一个上界.$\forall b\in B,a\le b$称$a$为B的一个下界.

注意：上下界不一定存在，存在也不一定唯一，不一定在B中。

定义3.8.7 最大最小元素

$(X,\le )$偏序集，$B\subseteq X,b\in B$.

$\forall x\in B,x\le b$称$b$为B的最大元素.$\forall x\in B,b\le x$称$b$为B的最小元素.

注意：最大最小元素不一定存在，若有则必唯一。

定义3.8.8 上确界、下确界

$(X,\le )$偏序集，$B\subseteq X$.

上界的最小元素叫做上确界，记作$\sup B$.下界的最大元素叫做下确界，记作$\inf B$.

关于上述六个概念的个人理解

在原Hasse哈斯图上，上界一定是他们的公共祖先；下界一定是公共儿子。最大元素和最小元素则是限制下的哈斯图上的上下界；上确界，辈分最低的上界；下确界，辈分最高的下界。

定义3.8.9 极大元素、极小元素

$(X,\le )$偏序集，$A\subseteq X,a\in A$。

$\nexists l\ne a\in A,a\le l$称a为A的极大元素$\nexists l\ne a\in A,l\le a$称a为A的极小元素

说人话就是，没有比它大就叫极大；没有比它小就叫极小。

注意：极大极小不一定唯一，也不一定是最大最小。最大最小一定是极大极小。

定理3.8.1 链转反链

$(X,\le )$偏序集，X的链长最大为n。则X的全部元素能被分成n个非空的不相交反链之并。（一定存在一种n-划分，使得每一个子集合都是反链）归纳法证明。

推论3.8.1 链长与集合大小关系

$(X,\le )$偏序集,$|X|=nm+1$.则X中或存在一个大于n的链,或存在一个大于m的反链.nm可以任意分解,无限制要求.反证法结合定理3.8.1即可.

定义3.8.10 拟序关系

X上的二元关系R称为拟序关系的条件是:

R是反自反的.也就是没有$xRx$R是传递的.(可以推出它一定是反对称的)

常记作$<$,读作"小于".常见例子$<,\subset$.

与一个偏序关系有以下关系:$\le =<\cup I_X或<=\le \setminus I_X$.

*3.9 良序集与数学归纳法

这个东西课本上都是打星号内容

[主要内容]

全序集每个非空子集都有最小元素,则称为良序集.(无限集合可能就不是良序集,例如整数对小于等于)有限全序集一定是良序集.

良序集任一子集都是良序集.

非空良序集有唯一最小元素.且称为起始元素.

任何一个集合都可以良序化.

数学归纳法分简单归纳法原理和强归纳法原理.

简单归纳法原理:

证$s(1)$成立.假设$s(n)$,证明$s(n+1)$成立.

强归纳法原理:

证$s(1)$成立.假设$s(1),s(2),\dots ,s(n)$成立,证$s(n+1)$成立.

简单归纳法原理与强归纳法原理等价.

简单归纳法原理与自然数集$\mathbb{N}$对小于等于关系构成的良序集等价.(离谱)

$(\mathbb{N},\le )$为良序集当且仅当$(\mathbb{N},\le )$的任一有上界的子集$L$有最大元素.

四、无穷集合及其基数

4.1 可数集

可数集与不可数集的概念是针对无穷集合的，有穷集合没有相关概念。 $$集合\{\begin{array}{l}有限集，有穷集\\ 无限集，无穷集\{\begin{array}{l}可数集（无穷可数集合，可列集）\\ 不可数集（不可数无限集）\end{array}\end{array}$$

定义4.1.1 可数集/不可数集

如果从自然数集$\mathbb{N}$到集合X存在一个一一对应$f:\mathbb{N}\to X$,则称集合X是无穷可数集合,简称可数集或可列集.如果X不是可数集,且X不是有限集,则称X为无穷不可数集,简称不可数集.

或者说,X是可数集当且仅当其存在映射$f:X\to \mathbb{N},g:\mathbb{N}\to X$.

定理4.1.1 可数集判定

集合A为可数集的充分必要条件为A的全部元素可以排成无重复项的序列 $$a_1,a_2,a_3,a_4,\dots ,a_n,\dots$$ 因此A可以写成$\{a_1,a_2,a_3,\dots ,a_n,\dots \}$.

定理4.1.2 可数子集

无限集A必包含有可数子集.

定理4.1.3 可数集无限子集

可数集的任一无限子集也是可数集.

推论4.1.1 可数集减有限集

从可数集A中除去一个有限集M,则$A\setminus M$仍是可数集.

定理4.1.4 可数集并有限集

设A是可数集,M是有限集,则$A\cup M$是可数集.

定理4.1.5 有限个可数集的并

设$A_1,A_2,\dots ,A_n$是n个可数集,则${\bigcup }_{i=1}^n{A}_i$也是可数集

定理4.1.6 可数无穷多有限集并

可数无穷多个有限集的并至多是可数集.

定理4.1.7 可数无穷多可数集并

可数无穷多个可数集的并是可数集.其中构造方法为反对角线法.

定理4.1.8 有理数集

有理数集$Q$是可数集.[$\frac{a}{b}$,两个都是可数集]

推论4.1.2 区间有理数

区间[0,1]之间的一切有理数之集是可数集.

定理4.1.9 无限集并

M是一个无限集,A是可数集或有限集,则$M\sim M\cup A$.[证明思路:取M一个可数集$D$,然后$D\cup A\sim D$,剩余部分对等.]

定理4.1.10 无穷集减至多可数集

M无穷不可数集,A是M的至多可数子集.则$M\sim M\setminus A$.[证明思路:$(M\setminus A)\sim (M\setminus A)\cup A$.]

定义4.1.2 无穷集合,无限集合定义

凡是能与自身的一个真子集对等的集合称为无穷集合,或无限集合.

定理4.1.11 有限个可数集的笛卡尔积

设$A_1,A_2,A_3,\dots ,A_n$是可数集,则其笛卡尔乘积$A_1\times A_2\times A_3\times \cdots \times A_n$是可数集.证明方法:归纳法.

推论4.1.3 代数多项式

整系数代数多项式的全体是一个可数集

定义4.1.3 代数数

整系数代数多项式的根称为代数数.非代数数称为超越数.由于每个多项式仅有有限个根,故代数数集市可数集.

定理4.1.12 代数数全体

代数数的全体是一个可数集.

4.2 连续统集

这一节主要讨论不可数集 $$集合\{\begin{array}{l}有限集，有穷集\\ 无限集，无穷集\{\begin{array}{l}可数集（无穷可数集合，可列集）\\ ⭐不可数集（不可数无限集）\end{array}\end{array}$$

定理4.2.1 [0,1]实数集是不可数集

区间[0,1]所有实数构成集合是不可数无穷集合.这个证明方法叫康托的对角线法!

证明:

区间中每个实数都可以写成十进制无限位小数形式,即$0.a_1{a}_2\dots$其中每个$a_i$都是[0,9]之间的数字.约定每个有限位小数后补无限个0,这样每个小数就有唯一的表示形式.

假设定理4.2.1不成立.那么全体实数就是可数集.然后我们把每个$a_i$排列称为一个序列$\{a_1,a_2,a_3,\dots \}$.然后对于所有可数多个小数$A$可以写成: $$\begin{gathered} A_1=0.a_{11}{a}_{12}{a}_{13}\dots \\ {A}_2=0.a_{21}{a}_{22}{a}_{23}\dots \\ ⋮ \\ {A}_n=0.a_{n1}{a}_{n2}{a}_{n3}\dots \\ ⋮ \end{gathered}$$

我们构造一个新的数字$B$,它的每一位$B=0.b_1{b}_2{b}_3{\cdots }_n$确定规则如下: $$b_n=\{\begin{array}{l}2,若a_{nn}=1\\ 1,若a_{nn}\ne 1\end{array},n\in \mathbb{N}.[a_{nn}就是A_n的第n位数字]$$ 通俗点理解就是跟第一个数第一位不同,第二个数第二位不同…

于是这个$B$一定是[0,1]的实数,但不在现在的序列里.与之前的假设矛盾.故[0,1]实数集不是可数集.其又不是有限集,故它是无限不可数集.

定义4.2.1 连续统

凡是与[0,1]对等的集称为具有"连续统的势"的集,或简称连续统.

定理4.2.2 有限个连续统的并

有限个两两不相交连续统的并是一个连续统.即${\cup }_{i=1}^n{A}_i\sim [0,1]$.

定理4.2.3 无穷多连续统的并

无穷多个两两不相交连续统的并是连续统.${\cup }_{i=1}^{\infty }{A}_i\sim [0,1]$.

推论4.2.1 实数集-连续统

全体实数集是一个连续统.

推论4.2.2 无理数集-连续统

全体无理数之集是一个连续统

推论4.2.3 超越数集-连续统

超越数之集是一个连续统

上述的证明需要延伸到二进制小数表示上.

定理4.2.4 无穷01序列

令B位0/1的无穷序列所构成的集合,则$B\sim [0,1]$.

定理4.2.5 N的特征函数

令$S=\{f|f:\mathbb{N}\to \{0,1\}\}$则$S\sim [0,1]$.于是,若A位可数集,$2^A\sim [0,1]$.证明:$Ch(A)\sim 2^A$.

定理4.2.6 正整数无穷序列集

正整数无穷序列之集与区间[0,1]对等.

定理4.2.7 连续统的笛卡尔积

设$A_1,A_2$为连续统,则$A_1\times A_2\sim [0,1]$.构造方法:二进制小数交错排列.

推论4.2.1 平面点集

平面点集是一个连续统.

定理4.2.8 有限多连续统的笛卡尔积

$A_1,A_2,\dots ,A_n$是连续统,则$A_1\times A_2\times \cdots \times A_n\sim [0,1]$.

定理4.2.9 无穷不可数个连续统笛卡尔积

设$I\sim [0,1],\forall l\in I,A_l\sim [0,1]$可得:$\cup A_l\sim [0,1]$.

4.3 基数及其比较

基数的建立是在解决以下两个任务的基础上产生的

推广有穷集合的元素个数的概念,使它对无穷集合也有精确的含义.也就是无穷集合基数的概念.确定比较两个基数大小的规则

数数的过程实际上是一个一一对应的过程,我们常讲的3个,也就是对应{1,2,3}与实际物体集的对应关系.

定义4.3.1 集合的基数

集合A的基数是一个符号,凡是与A对等的集合都赋以同一个记号.集合A的基数记作|A|.

定义4.3.1’ 集合的基数-集族定义形式

所有与集合A对等的集构成的集族称为集合A的基数. 公理化集合论中,集合的基数被认为一种特殊的良序集,即等价于已知集的最小序数.

集合的基数,也称为"势",“浓度”,用$\stackrel{=}{A},\text{card}A,|A|$来表示.

定义4.3.2 基数相等

集合A的基数与集合B的基数被认为是相等的,当且仅当$A\sim B$,A与B一一对应.

定义4.3.3 大小关系

$\alpha ,\beta$是两个基数,A,B分别是以它们为基数的集,如果A与B的一个真子集对等,但A却不能与B对等,则称基数$\alpha$小于基数$\beta$,记作$\alpha <\beta$.

我们规定,$\alpha \le \beta \iff \alpha <\beta 或\alpha =\beta$.大于/大于等于反向定义.

显然:

$\alpha \le \beta$当且仅当存在单射$f:A\to B$.$\alpha <\beta$当且仅当存在单射$f:A\to B$但不存在A到B的双射

无穷集合的基数被称作是超穷数.也可以进行比较大小.

康托的连续统假设: a是N的基数,c是[0,1]的基数,问题:“有没有这样一个基数b使得a<b<c”? 康托的假设:没有 目前的研究结果:连续统假设与集合论的公理不矛盾,但这个假设到现在没有证明.

定理4.3.1 (康托)定理

对任一集合$M$,$|M|<|2^M|$.构造法证明.

4.4 康托-伯恩斯坦定理

这个定理说明的内容是:基数确实可以进行唯一的比较.

定理4.4.1 康托-伯恩斯坦定理

设A,B两个集合.如果存在一个单射$f:A\to B$与单射$g:B\to A$,则A与B对等.

推论4.4.1 不动点

设$f:A\to B,g:B\to A$都是单射.令$\varphi :2^A\to 2^B,\forall E\in 2^A$,$\varphi (E)=A\setminus g(B\setminus f(E))$,则$\varphi$在$2^A$中存在一个不动点$D\in 2^A$,满足$\varphi (D)=D$.

换种方式: $$\begin{gathered} \varphi (E)=A\setminus g(B\setminus f(E))=E \\ E\cup g(B\setminus f(E))=A,E\cap g(B\setminus f(E))=\varnothing \\ g(B\setminus f(E))=A\setminus E \end{gathered}$$ 也就是说,除去$f(E)$的部分用$g$对应回来刚好是除去E的部分.

推论4.4.2 比较-两个关系不能同时成立

设$\alpha ,\beta$是两个基数,则$\alpha =\beta ,\alpha <\beta ,\alpha >\beta$中任何两个式子不能同时成立.这里需要说明的是,这推论没说一定有一个成立.

推论4.4.3 两边夹

如果$A_1\subseteq A_2\subseteq A$,且$A_1\sim A$,则$A_2\sim A$.证明过程,利用基数相等+基数比较关系.

推论4.4.4 传递关系

设$\alpha ,\beta ,\gamma$是三个基数,如果$\alpha \le \beta ,\beta \le \gamma$,则可以推出$\alpha \le \gamma$.

定理4.4.2 策梅罗-基数可比较定理

设$\alpha ,\beta$是两个基数,则以下三个式子恰好有一个成立. $$\alpha <\beta ,\alpha >\beta ,\alpha =\beta$$

定义4.4.1 基数的加法

设$\alpha ,\beta$两个基数,$A,B$以它俩为基数的两个不相交集合,则$|A\cup B|=\gamma$称为基数$\alpha ,\beta$的和,并记作$\alpha +\beta$.

定义4.4.2 基数的积

设$\alpha ,\beta$两个基数,$A,B$以它俩为基数的两个不相交集合,则$A\times B$的基数$\gamma$称为$\alpha ,\beta$的积,记作$\alpha \cdot \beta$或者$\alpha \beta$.

定义4.4.3 基数的幂

设$\alpha ,\beta$两个基数(不可同时为0),$A,B$以它俩为基数的两个不相交集合,则$B^A=\{f|f:A\to B\}$的基数$\gamma$称为$\beta 的\alpha$次幂,记作${\beta }^{\alpha }$.${\beta }^0=1,0^{\alpha }=0,0^0无意义$.

定理4.4.2 可数集基数与连续统基数

设a为可数集基数,c为连续统基数.对应之前的性质.

$\forall n\in \mathbb{N}\cup \{0\},n+a=a$$\forall n\in \mathbb{N},n\cdot a=a$$\forall n_i\in \mathbb{N},\sum n_i\le a$$\forall n\in \mathbb{N},n\cdot c=c$$a\cdot c=c$$c\cdot c=c$$2^a=c$$(2^a{)}^a=2^a$$a^a=2^a$$\forall n\in \mathbb{N},a^n=a$

定理4.4.3 满足的结合计算规律

a,b,c都是任意基数.

基数加法和乘法分别满足交换律

$a+b=b+a,ab=ba$

基数的加法和乘法分别满足结合律

$(a+b)+c=a+(b+c),(ab)c=a(bc)$

基数的乘法对加法满足分配律

$a(b+c)=ab+ac$

幂运算指数性质成立

$a^{b+c}=a^b{a}^c$$(a^b{)}^c=a^{bc}$$(ab{)}^c=a^c{b}^c$

可以看到基本都满足普通非负整数计算规则,但对于无穷基数的计算还要小心,例如它没有减法,这种.

*4.5 悖论、公理化集合论介绍

[选择性放弃更新这一节]