05笔记 离散数学——函数——基于离散数学(第3版)_章炯民,陶增乐

概念与性质

定义：
X和Y是集合，f是X到Y的二元关系，且有以下性质
1）dom(f) = X
2)对任意x∈X，$y_1$∈Y，$y_2$∈Y，(x,y1)∈f和(x,y2)∈f，那么有y1 = y2
称f是X到Y的函数或映射，记为f ：X->Y
x关于f有且只有一个后件，称x在f(x)在f下的一个原像，若X = Y，称X到X函数是X上的函数

定义：
1）$ran(f)=Y$，称f是到上的到映上的
图：至少一个指向它的箭头
矩阵：每列至多一个1

2）对于任意$x_1,x_2\in X$，$x_1\ne x_2$ 有 $f(x_1)\ne f(x_2)$,f是一对一的
图：至多一个指向它的箭头
矩阵：每列至少一个1

3）f即使一对一，又是到上的，称f是一一对应
一对一函数称为单射，到上的函数称为满射，一一对应称为双射
图：有且只有一个箭头
矩阵：有且仅有一个1

定义：
设X是集合，X上一一对应称为X上的变换，有限集上的变换又称为置换

函数的复合与逆

$f:X\to Yg:Y\to Z$那么$f\circ g$是X到Z的函数

定理： f:X->Y,g:Y->Z
1)f,g到上的，$f\circ g$也是到上的
2）f,g一对一的，$f\circ g$也是一对一的
3） f和g都一一对应 $f\circ g$也是一一对应的

定理：
f:X->Y
1)$f^{-1}$是Y到X的函数当且仅当f是一一对应
2）f是一一对应，$f^{-1}$也是一一对应
3）若f是一一对应，$f\circ f^{-1}=I_X{f}^{-1}\circ f=I_Y$

基数

设A和B是集合，存在A到B的一一对应，称集合A和B等势，记为A~B
（0，1）~R

性质：
1）自反性：A~A
2）对称性，A~ B，有B ~A
3）传递性： A ~ B， B ~ C， A ~ C

可数集

定义：
A是有限集合或与自然数集等势，称A是可数集

定理：
A是可数集当且仅当A所有元素可以逐个排列成一个序列，让其中每个元素都属于A，且A中每个元素都在期中某个位置上出现且仅出现一次

定理：
可数个可数集合的并是可数集

无限集和集合的基数

定理：
(0,1)不是可数集

定义：
把互相等势的集合归为一类，赋予每一个类一个记号，称之为该类中集合的基数或势，A的基数记为|A|，规定有限集基数是他的计数，自然数集合基数记为a，实数集基数记为c

定义：
A和B是集合，存在B的子集B_1, 满足A~B_1,称|A|不大于|B|
记为$|A|\le |B|$
在此基础上|A|≠B，则称$|A|<|B|$

定理：
任意无限集都含有可数的无限子集

定理：
|A| < |P(A)|

定理：
|A| ≤ |B|且|B| ≤ |A|,有 |A| = |B|

定理：
任意无限集都有和他等势的真子集

不可解问题

存在问题使得编程语言的程序无法解决