【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）

设(A, ≤)是一偏序集合，B是A的子集。

最大元素、最小元素：
(1)元素b∈B是B的最大元素，如果对每一元素x∈B，x≤b
(2)元素b∈B是B的最小元素，如果对每一元素x∈B，b≤x
即：对于每一个元素，都能满足这样的偏序关系。
定理：如果B存在最大（最小）元素，那么它是唯一的。
例：如果B = {2, 3}，偏序关系为“整除”，因为2和3互相不能整除，那么B没有最小元素和最大元素。

极大元素、极小元素：
(1)如果b∈B，且B中不存在元素x，使b≠x且b≤x，那么元素b∈B叫做B的极大元素。
(2)如果b∈B，且B中不存在元素x，使b≠x且x≤b，那么元素b∈B叫做B的极小元素。
即：对于极大元素，不存在元素在它偏序关系之上。对于极小元素，不存在元素在它偏序关系之下。

注意：B的最大(小)元素和极大(小)元素都必须是子集B的元素，而B的上界(下界)和最小上界(最大下界)可以是也可以不是B的元素。在定义中并没有保证这些元素的存在。在许多情况下他们是不存在的。

上界、下界：
(1)如果对每一b∈B，b≤a，那么元素a∈A叫做B的上界；
(2)如果对于如果对每一b∈B，a≤b，那么元素a∈A叫做B的上界；
上界、下界是A集合里的，可以存在很多个，也可以不存在
也就是说求上界的时候，对于每一个B里面的元素，都要和它上界们满足偏序关系，所以在集合B里面的不能有两个及以上，因为同时选择两个的话，就不满足B里面任何元素都要满足偏序关系了。

上确界、下确界：
(1)如果a是一上界并且对每一B的上界a’有a≤a’，那么元素a∈A叫做B的最小上界，记作lub；
(2)如果a是一下界并且对每一B的下界a’有a≤a’，那么元素a∈A叫做B的最大下界，记作glb
最大下界和最小上界可能存在也可能不存在，如果它们存在，则是唯一的。

如果最大值/最小值/上确界/下确界存在，那么一定是唯一的
求极大值/极小值的时候，因为只要是所有元素没有不满足的就可以，所以可以选择两个以上，其中可以有不和元素连线的。。
求上界/下界，因为是和最大最小值一样是所有的必须满足条件，所以所有元素都是要求有连线的，所以不可能存在两个及以上的元素在B集合里面。。

【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）相关推荐

【集合论】序关系 ( 偏序关系中八种特殊元素 | ① 最大元 | ② 最小元 | ③ 极大元 | ④ 极小元 | ⑤ 上界 | ⑥ 下界 | ⑦ 最小上界上确界 | ⑧ 最小下界下确界 )
文章目录一.最大元二.最小元三.最大元.最小元示例四.极大元五.极小元六.极大元.极小元示例七.上界八.下界九.上界.下界示例十.上确界 ( 最小上界 ) 十一.下确界 ( 最大下 ...
通俗理解偏序关系中的八个特殊元（极大、极小、最大、最小元和上界、下界、上确界、下确界）
设<A,≼ >是偏序集合,B⊆A,b∈B. 注:下面所有的比较大小,都是在所研究的偏序关系上比较,不是表面上的数值比较注:可以结合高等数学中的极值和最值理解极大元:没有比元素b更&qu ...
stl向量最大值_C ++ STL中向量的最小和最大元素
stl向量最大值 Given a vector and we have to find the smallest (minimum) and largest (maximum) elements. 给 ...
随机产生10个整数;设计一个算法找其中的最大的元素和最小的元素，并统计元素之间的比较次数
随机产生10个整数;设计一个算法找其中的最大的元素和最小的元素,并统计元素之间的比较次数选择排序法 #include <iostream> #include <cstdlib> ...
盒模型，块状元素，行内元素
盒子模型: css盒模型分为两种,一种是遵循w3c标准的标准盒模型,另一种是IE盒模型. 标准盒子模型 IE盒子模型通过上面两张图可以看出,两种盒子模型都包括padding,margin,borde ...
【HTML】行内元素与块级元素
一.行内元素与块级元素的三个区别 1.行内元素与块级元素直观上的区别行内元素会在一条直线上排列,都是同一行的,水平方向排列块级元素各占据一行,垂直方向排列.块级元素从新行开始结束接着一个断行. 2 ...
[HTML/CSS]盒子模型，块级元素和行内元素
目录概述盒子模型块级元素行内元素可变元素总结概述在div+css中,了解块级元素和行内元素还是非常有必要的,比如:对行内元素使用width属性就会失效.虽然自己不是做前端的,但是,在项 ...
请写出至少五个块级元素_html 行级元素和块级元素标签列表分别有哪些
展开全部行内元素列表: 标签可定义锚表示一个缩写形式定义只取e5a48de588b662616964757a686964616f31333366303766首字母缩写字体加粗可覆盖默认的文本 ...
行内元素与块级元素，以及区别
行内元素与块级元素首先,CSS规范规定,每个元素都有display属性,确定该元素的类型,每个元素都有默认的display值,分别为块级(block).行内(inline). 块级元素:(以下列举比 ...
HTML的块级元素和行级元素的标签列表
行内元素列表: <a>标签可定义锚点 <abbr>表示一个缩写形式 <acronym>定义只取首字母缩写 <b>字体加粗 <bdo>可覆盖默 ...

【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）

【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）相关推荐

最新文章

热门文章