离散数学 --- 函数 --- 函数的定义，类型与运算

 第一部分 --- 函数的定义

1.注意 f 和 f(x) 是不一样的！ --- f 是一个二元关系，是一个序偶集合，而 f(x) 是一个值 ，是一个随着x变化而变化的变量

2.一个函数的定义域里的 一个x 值只能够对应值域里的一个 y 值，而值域里的一个 y 值能够对应定义域里的多个 x 值

1.A是定义域，B是值域（定义域里的值称为原像，值域里的值称为像）

2.定义域中的每一个原像能且只能在值域中找到一个像与其对应（不同原像对应的像可以相同）

1.B的A次幂

 

 1.函数的基数就是作为函数定义域的集合中的元素个数

2.最后一点的第一元素存在差别指的是关系的前域和函数的定义域这两个的差别，对于关系而言，当后域改变时前域可以不变；对于函数而言，当值域改变时，定义域一定要发生改变，不然的话就不符合函数的定义了。

---

第二部分 --- 函数的类型

1.每一个定义域中的原像都对应一个值域中的不同的像 --- 单射

2.f是从A到B的函数，当作为函数的值域的集合不是B的子集而是B自身时 --- 满射

3.f既是满射又是单射时 --- 双射

1.给集合套上绝对值表示的是集合的基数，即集合中的元素个数

1.（设函数是从A到B的函数）函数的值域集合等价于函数关系中的序偶的后域集合，当后域集合等价于集合B的时候，才能称函数为满射

2.函数的序偶的前域为x，后域为f(x) ---> 序偶的完整表示是：< x , f(x) > --- f(x) 的具体形式由我们自己给定 --- f(x)的所有可能取值组成的后域集合就是函数的值域集合

 1.P（A）是集合A的幂集，是由集合A的所有子集构成的集合

1.在偏序集中不满足偏序关系的元素a,b是存在的，即无法比较大小或者是无法分前后顺序的元素，比如以能够被整除分前后顺序的偏序关系中，3不能被2整除，2也不能被3整除，二者之间不能够分先后顺序，不符合偏序关系

---

第三部分 --- 函数的运算 

1.在上面这个例子中两个取交集的话，则得到的新的集合中，x这个原像同时具有y1和y2这两个像，不满足函数定义，所以这个并出来的新集合不是函数

2.如果取交集的话，得到的集合为空集，空集不是函数

对函数而言有着广泛意义的是复合运算和幂运算

 ran：值域，dom：定义域

函数的复合不满足交换律！！

函数的复合满足结合律！！！

 

1.原函数不是单射函数的话，则其逆函数会出现一个原像对应多个像的情况，违反函数定义

2.原函数不是满射函数的话，则其逆函数会出现存在原像找不到像的情况，违反函数定义

3.综上原函数为双射函数的时候才能够具有逆函数，且得到的逆函数也是双射函数