本文为离散数据与组合数学电子科技大学王丽杰老师的课程笔记，详细视频参考 【电子科技大学】离散数学（上） 王丽杰 【电子科技大学】离散数学（下） 王丽杰 latex的离散数学写法参考： 离散数学与组合数学-01
离散数学公式 !符号 代码 含义
wedge 且
vee 或
cap 交
cup 并
subseteq 子集
nsubseteq 不是子集
subset 真子集
notsubset 不是真子集
in 属于
notin 不属于
leftrightarrow 等价
Leftrightarrow 等值
neg或lnot 非
mathbb{R} 实数集
mathbb{Z} 整数集
varnothing 空集
forall 对任意的
exists 存在
geq大于等于
leq 小于等于
下标的输入命令是：
x_{内容} 上标的输入命令式：
x^2 空格 quad
Rmkern-10.5mu/ 数值越大，斜杆越往字母左侧移动
离散数学与组合数学-03函数
3.1 函数基本概念
函数是数学中的一个基本概念, 它非常古老, 这个词出现于十七世纪下半叶,比关系理论早两个多世纪, 由伟大的数学家莱布尼兹提出, 他也与牛顿各自独立的发现了微积分的基本定理. 在高等数学中, 函数一般是在实数集的基础上来研究, 通常是连续或间断连续的函数. 在这里, 我们将函数看作是一种特殊的二元关系, 从离散量的角度讨论函数的定义, 运算和性质. 函数的概念在日常生活和计算机科学中非常重要. 例如, 各种高级程序语言中都大量的使用了函数。实际上, 计算机的任何输出都可看成是某些输入的函数.
3.1.1 函数的定义
3.1.2 函数举例
3.1.3 函数的数量
3.1.4 关系与函数的差别
当 A 和 B 都是有限集合时, 函数和一般关系具有如下差别: 关系和函数的数量不同: 从 A 到 B 的不同关系有
个, 从 A 到 B 的不同函数却仅有
个; 关系和函数的基数不同: 每一个关系的基数可以从零一直到 |A| × |B|, 每一个函数的基数都为 |A| 个; 关系和函数的第一元素存在差别: 关系的第一个元素可以相同, 函数的第一元素一定是互不相同的
3.2函数的类型
3.2.1 函数类型
设 f 是从集合 A 到 B 的函数,对任意 x1, x2 ∈ A, 如果
, 都有
, 则称 f 为从 A 到 B 的单射; 如果 ranf = B, 则称 f 为从 A 到 B 的满射; 如果 f 既是单射又是满射, 则称 f 为从 A 到 B 的双射.
3.2.2 函数类型的必要条件
3.2.3 函数类型的数学化描述
3.2.4 函数类型的证明
3.3 函数的运算
3.3.1 函数的复合运算
3.3.2 函数运算的保守性
3.3.3 函数的逆
