最小上界

✍ dations ◷ 2025-11-15 20:04:05 #最小上界

在数学中，最小上界（英语：supremum，亦称上确界，记为sup E）是序理论的重要概念，在格论和数学分析等领域有广泛应用。给定偏序集合(T,≤)，对于S⊆T，S的上确界sup(S)定义为S的所有上界组成的集合的最小元（若有）。即sup(S)满足：上确界也被称为最小上界、lub 或 LUB，在格论中也被称为并，在序理论中S的上确界也被记为 ∨ {displaystyle vee } S。在数学分析中，实数的集合S的上确界或最小上界记为 sup(S)，并被定义为大于或等于 S 中所有成员的最小实数。实数的一个重要性质是它的完备性：实数集合的所有非空子集是有上界的就是这个实数集合成员的上确界。这个有理数的集合的上确界是个无理数，这意味着有理数是不完备的。此外，如果我们定义在 S 是空集的时候 sup(S) = −∞ 和在 S 没有上界的时候 sup(S) = +∞ ，则实数的所有集合都在扩展的实数轴上有上确界。如果上确界属于这个集合，则它是这个集合的最大元素。术语极大元在处理实数或任何其他全序集合的时候是同义的。要证明 a = sup(S)，必须证明 a 是 S 的上界并且 S 的任何其他上界大于 a；等价地，也可以证明 a 是 S 的上界并且小于 a 的任何数都不是 S 的上界。

相关

卫生福利部中央健康保险署署本部：10634台北市大安区信义路三段140号台北业务组：10041台北市中正区公园路15-1号5楼北区业务组：32005桃园市中坜区中山东路三段525号中区业务组：40709台中市西屯区市政北
先天性无子宫先天性无子宫（英语：congenital absence of uterus），是一种女性生理缺陷，是两侧副中肾管中段及尾段未发育和未会合造成。常合并先天性无阴道及泌尿系统发育异常，如单肾、异位肾等。
生物物理化学生物物理化学是物理学的分支，它使用物理学和物理化学的概念来研究生物系统。这门学科的研究最普遍的特征是试图根据构成系统的分子或这些系统的超分子结构来解释生物系统中的
科学方法科学方法（英语：scientific method）指的是检查自然现象、获取新知识或修正与整合先前已得的知识，所使用的一整套技术。为了合乎科学精神，这方法必须建立于收集可观察、可经验（empir
5.8S在分子生物学中，5.8S核糖体RNA（5.8S rRNA)是指一类非编码RNA。它是真核生物核糖体的大亚基的组成成分，在蛋白质转译中起重要作用。RNA聚合酶I（英语：RNA polymerase I）先转录出沉降
纽约市立学院纽约市立学院（英语：The City College of New York，缩写：CCNY），成立于1847年，是纽约市立大学系统中的一所四年制学院，是纽约市立大学系统的创始学校，也是历史最悠久的分校，至2014年止计
文莱立法会文莱立法会（马来语：Majlis Mesyuarat Negara Brunei）是文莱的国家咨询机构，实行一院制。文莱立法会议员不是由选举产生，而是由文莱苏丹直接委任。本届立法会由议长和30名委任议员
联邦最高劳工法院德国联邦最高劳工法院(Bundesarbeitsgericht) 为德国境内关于劳工法案件的终审法院。包含了个别的劳工法律问题（大部分是与雇主间的契约问题）以及集体的劳工法律问题（像是罢工
容嫔容嫔（？－1869年），伊尔根觉罗氏，教习萨尔杭阿之女。上三旗内务府包衣出身。清文宗咸丰帝之嫔。道光十七年六月初四日出生。咸丰三年（1853年）十月二十日，已为容常在。咸丰五年十月，伊尔根
赞克尔期赞克尔期（英语：Zanclean）是上新世的早期阶段。其起止时间为5.333百万年前和3.6百万年前。