离散数学 第六章 函数

目录

6.1 函数的定义与性质

6.2 单射、满射和双射

6.3 函数的复合与逆函数

6.3.1 复合函数

6.3.2 逆函数

6.4 集合的基数、可数集和不可数集

6.4.1 集合的基数

6.4.2 可数集

6.4.3 不可数集

---

掌握函数的基本概念

掌握单射、满射、双射

掌握复合函数和逆函数

掌握集合的基数

掌握有限集、无限集

掌握可数集和不可数集

6.1 函数的定义与性质

定义：设f是集合A到B的关系，若对，都存在唯一，使得<x,y>f，则称关系f为A到B的函数。

函数与关系的差别

1）从A到B的不同关系有个

2）从A到B的不同函数有个

6.2 单射、满射和双射

1）单射：，若x1≠x2，则f(x1)≠f(x2)

2）满射：,都，使f(x)=y

3）双射：既是单射，又是满射

6.3 函数的复合与逆函数

6.3.1 复合函数

定义1：设f:X—>Y,g:Y—>Z是两个函数，称g◦f={(x,z)|}称为函数f与g的复合函数。

        (g◦f)(x)=g(f(x))

※置换

定义：设A是有限集合，A={a1,a2,...,an}，从A到A的双射函数称为A上的n阶置换或排列。

※循环&循环的积

6.3.2 逆函数

定义2：设f:X—>Y是一个函数，若存在一个函数g:Y—>X，使得 

                    

        则称g是f的逆函数，

注意：函数f存在逆函数当且仅当f是双射   / 

6.4 集合的基数、可数集和不可数集

6.4.1 集合的基数

定义1：集合的基数——card(X)=|A|（元素数目）

定义2：集合X与Y是对等的或等势的（能够建立双射），记为X~Y

定义3：设X,Y是两个集合，若存在从X到Y的单射，则card(X)≤card(Y)；若存在X到Y的满射，则card(X)≥card(Y)

定理：非空集合X是无限集当且仅当存在从N到X的单射（N为自然数集）

6.4.2 可数集

定义：凡是与自然数集合等势（建立双射）的集合，统称为可数集合/可列集合。

6.4.3 不可数集

1）开区间（0,1）称为不可数集合，其基数设为阿列夫

2）凡是与（0,1）等势的集合

注：实数集合R是不可数集合

补充：

证明：一个函数有逆函数——>则证它是双射函数！！

证明：集合X与Y是对等的/等势的——>则证X与Y能建立双射