4二元关系和函数详解.ppt

liu qun, northeastern Univ. 4.1笛卡儿积与二元关系 4.1笛卡儿积与二元关系——序偶 4.1笛卡儿积与二元关系——序偶 4.1笛卡儿积与二元关系——序偶 4.1笛卡儿积与二元关系——笛卡尔积 4.1笛卡儿积与二元关系——笛卡尔积 4.1笛卡儿积与二元关系——笛卡尔积 4.1笛卡儿积与二元关系——笛卡尔积 4.1笛卡儿积与二元关系——笛卡尔积 4.2关系及运算——关系 4.2关系及运算——关系 4.2关系及运算——关系 4.2关系及运算——关系 4.2关系及运算——关系 4.2关系及运算——关系 4.2关系及运算——关系表示法 4.2关系及运算——关系表示法 4.2关系及运算——关系表示法 4.2关系及运算——关系表示法 4.2关系及运算——关系表示法 4.2关系及运算——运算 4.2关系及运算——运算 4.2关系及运算——运算 4.2关系及运算——运算 4.2关系及运算——运算 4.2关系及运算——运算 4.2关系及运算——运算 4.3关系及运算——性质 4.3关系及运算——性质 4.3关系及运算——性质 4.3关系及运算——性质 4.3关系及运算——性质 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.4关系的闭包运算 4.5等价关系和偏序关系——覆盖与划分 4.5等价关系和偏序关系——覆盖与划分 4.5等价关系和偏序关系——覆盖与划分 4.5等价关系和偏序关系——覆盖与划分 4.5等价关系和偏序关系——覆盖与划分 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——等价关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.5等价关系和偏序关系——偏序关系 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.6函数的概念 4.7逆函数和复合函数 ——逆函数 4.7逆函数和复合函数 ——逆函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 ——复合函数 4.7逆函数和复合函数 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 2.3.11相容关系 极大元 设 是一个偏序集合，且B是A的子集， 对于B中一个元素b，如果B中没有任何元素x， 满足b≠x，且b x，则称b为B的极大元。 极小元 设 是一个偏序集合，且B是A的子集， 对于B中一个元素b，如果B中没有任何元素x， 满足b≠x，且x b，则称b为B的极小元。 例P99/4.16 极大元和极小元不是唯一的 极大元之间没有关系，极小元既是 极大元在哈斯图的顶部，极小元相反 最大元 设 是一个偏序集合，且B是A的子集， 对于B中某个元素b，如果对B中每个元素x， 都有x b，则称b为 的最大元。 最小元 设 是一个偏序集合，且B是A的子集， 对于B中某个元素b，如果对B中每个元素x， 都有b x，则称b为 的最小元。 极大元和最大元是有区别的，最大元是唯一的， 极大元却不，极大元含有不可比元素 例P99/4.16 上界 最小上界（上确界） 下界 最大下界（下确界） 上界与最大元是有区别的，B的最大元必须属于B，而上界不一定属