离散数学及其应用之第二章基本结构：集合、函数、序列、求和与矩阵

集合

引言

注意：通常用大写字母来表示集合。小写字母表示集合中的元素。

描述集合的方式：一种是一个一个列出集合中的元素——花名册方法；另一种是集合构造器。

花名册法：
集合构造器：

区间：
集合相等
空集：不含任何元素的集合——Ø。
单元素集：只有一个元素的集合。

文氏图

如：

子集

一个集合的元素也是另一个集合的元素。

定理

注意：

集合的大小

定义

幂集

定义

笛卡尔积

定义


注意：

使用带量词的集合符号

真值集

注意：

集合运算

引言

并集


交集

无交集

容斥理论
差集

补集

集合恒等式

注意
集合恒等式还可以用成员表来证明。

证明恒等式的方法

扩展的并集和交集

多并集和交集

集合的计算机表示

一种是把集合的元素无序地存储起来
一种是是利用全集中元素的任何一种顺序来存放集合元素的方法。
如；

多重集

一个元素的无须集，其中作文成员可以出现多于一次。

函数

引言

一对一函数和映上函数

定义




证明是否一对一的映射

反函数和函数合成

注意
复合函数
注意

函数的图

一些重要的函数

下取整函数和上取整函数

性质

部分函数

序列与求和

序列

定义

几何级数

算术级数

串

递推关系

定义

初始條件

斐波那契数列递推关系
注意
正向替换

反向替换

特殊整数序列

求和

定理
有用的求和公式

无穷级数
需要用到微积分

集合的基数

引言

定义

可数集合

不可数集合

定理

不可计算函数

矩阵

引言

定义

矩阵算术

定义
矩阵加法

矩阵乘法

注意：矩阵乘法不是可交换的。
如：

矩阵的转置和幂

定义

0-1矩阵

定义
两个矩阵的布尔积


布尔幂