2014年离散数学总结.pptVIP

单射和满射的证明方法 证明函数 f : A→B是满射的，基本方法是： 任取 y∈B，找到 x∈A ( x 与 y 相关，可能是一个关于 y 的表达式)或者证明存在x∈A，使得 f (x)＝y。 证明函数 f : A→B是单射的，基本方法是： 假设 A 中存在 x1 和 x2，使得 f (x1)＝f (x2)，利用已知条件或者相关的定理最终证明 x1＝x2。 * 集合论－基数 掌握基数的基本概念 掌握可数集合和不可数集合的概念，以及相关结论 * 代数结构-代数系统 构成代数系统的基本成分 非空集合 集合上若干个封闭的二元和一元运算 代数常数 二元运算性质和特异元素 同类型的与同种的代数系统 子代数的定义与实例 * 代数结构的知识体系 半群与群 环与域 格与布尔代数 分类 ∑代数 推广 成分：载体及运算 公理：运算性质 代数系统的构成 代数系统的 同态与同构 代数系统间的关系 映射 子代数 积代数 商代数 等价关系 笛卡儿积 子集 新代数系统 同种的 同类型的 产生 * 群与半群 广群 二元运算的封闭性 结合律 半群 单位元 独异点 每个元素可逆 群 交换律 交换半群 交换律 交换独异点 交换律 Abel群 有限个元素 有限群 生成元 循环群 实例 n元置换群 实例 Klein群 * 代数结构-环 代数系统 R,+,· 构成环的条件：R,+ 构成Abel群；R,·构成半群；· 对于 + 满足分配律。? 环中运算性质：a0=0a=0；a(-b)=(-a)b=-(ab)；乘法对加法的广义分配律。?? 环 R 的非空子集 S 构成 R 的子环的条件：任取 a,b 属于 S, 有a-b 属于 S；ab属于S。? 环同态映射的定义、判别法及其实例。 * 代数结构-格与布尔代数 偏序集构成格的条件：任意二元子集都有最大下界和最小上界。? 格的实例：正整数的因子格，幂集格，子群格。 格的性质：对偶原理，格中算律（交换、结合、幂等、吸收），保序性，分配不等式。? 格作为代数系统的定义。 格 L 的非空子集 S 构成 L 的子格的条件： S 对 L 的两个运算封闭。? 函数 ? 构成格同态的条件： ? (a∧b)＝? (a) ∧ ? (b) ? (a∨b)＝? (a) ∨ ? (b) 格同态的保序性。 * 代数结构-格与布尔代数 如果格中一个运算对另一个运算是可分配的，称这个格是分配格。? 分配格的两种判别法： 不存在与钻石格或五角格同构的子格； 对于任意元素 a, b, c, 有 a∧b＝a∧c 且 a∨b＝a∨c ? b＝c。? 有界格的定义及其实例。? 格中元素的补元及其性质（分配格中补元的唯一性）。? 有补格的定义。 * 代数结构-格与布尔代数 布尔代数的两个等价定义： 有补分配格； 有两个二元运算并满足交换律、分配律、同一律和补元律的代数系统。? 布尔代数的特殊性质：双重否定律和德摩根律。 子布尔代数的定义及其判别。? 布尔代数同态的判定： f (a∧b)＝f (a)∩f (b) ( 或 f (a∨b)＝f (a)∪f (b)), f (a?)＝-f (a) ? 对于任意自然数 n，只有一个 2n 元的有限布尔代数，就是幂集代数。 * 图论－解决实际问题 (1) 很多离散问题可以用图模型求解。 (2) 为了建立一个图模型，需要决定顶点和边分别代表什么。 (3) 在一个图模型中，边经常代表两个顶点之间的关系。 * 图论－基本概念 理解与图的定义有关的诸多概念，以及它们之间的相互关系。 深刻理解握手定理及其推论的内容，并能熟练地应用它们。 深刻理解图同构、简单图、完全图、正则图、子图、补图、二部图等概念及其它们的性质和相互关系，并能熟练地应用这些性质和关系。 深刻理解通路与回路的定义、相互关系及其分类，掌握通路与回路的各种不同的表示方法。 理解无向图的点连通度、边连通度等概念及其之间的关系，并能熟练地求出给定的较为简单的图的点连通度与边连通度。 理解有向图连通性的概念及其分类，掌握判断有向连通图类型的方法。 * 欧拉图和哈密顿图 深刻理解欧拉图与半欧拉图的定义及判别定理。 会用 Fleury 算法求出欧拉图中的欧拉回路。 深刻理解哈密顿图及半哈密顿图的定义。 会用破坏哈密顿图应满足的某些必要条件的方法判断某些图不是哈密顿图。 会用满足哈密顿图的充分条件的方法判断某些图是哈密顿图。 严格地分清哈密顿图必要条件和充分条件，千万不能将必要条件当充分条件，同样地，也不能将充分条件当成必要条件。 * 图论－树 树 连通无回路的无向图 任意两个顶点之间存在唯一的路径。 m＝n?1。 任何边均为桥。 在任何两个不同的顶点之间加一条新边，在所得图中得到唯一的一个含新边的圈。 n 阶非平凡的无向树中至少有两片树叶。