最小上界

✍ dations ◷ 2025-11-23 12:18:21 #最小上界

在数学中，最小上界（英语：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 的上界。

相关

细菌分类表本表以LPSN网站的分类为基础（当前版本2008年1月7日），本分类代表原核生物分类的权威杂志IJSEM的分类系统，同时参考NCBI Taxonomy，但目前其它中文维基分类表可能依照其它标准，请注意
体积描记仪体积描记仪是一种测量器官或整个人体体积变化的仪器。肺部的体积描计仪通常用来测量功能余气量。传统的体积描记仪通常是一个电话亭大小的封闭箱，配有一个吸气口。常规呼气结
科尔萨科夫综合症科尔萨科夫氏症候群（Korsakoff's syndrome），又称健忘综合征，为一种大脑缺乏硫胺（维生素B1）而引起的精神障碍。其疾病由俄国神经学家谢尔盖·科尔萨科夫最先发现而命名。科尔萨科夫
名古屋市立大学坐标：35°8′20.2″N 136°56′3.85″E / 35.138944°N 136.9344028°E / 35.138944; 136.9344028名古屋市立大学（日语：名古屋市立大学／なごやしりつだいがく，英文名称： Nagoya Ci
布列塔尼半岛布列塔尼半岛（法语：Bretagne，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium"
立方立方晶系，也叫等轴晶系，它有4个三重对称轴以及3个互相垂直的4次对称轴或者3个相互垂直的二重对称轴。其中的3个互相垂直的4次对称轴或者3个相互垂直的二重对称轴是晶体结晶轴
炖炖是一种加汤汁慢煮的烹调方法。炖一般是先加调味蔬菜（中餐用葱姜，西餐用洋葱等）炒，然后加主料略炒，再加大量的清汤（水）和调味品，盖盖在小火上慢慢煮到酥烂。主料因地区和菜肴不同，可
非对映异构非对映异构（英文：Diastereomerism）是指属于立体异构但不属于对映异构的所有同分异构现象，所涉及的异构体称为非对映异构体，简称非对映体。它们包括顺反异构体、构象异构体、内消
里维拉板块里维拉板块是太平洋东北部的一个微板块，消减于墨西哥哈利斯科州之下。它位于科科斯板块的北部，被认为在500万－1000万年前与之分离。里维拉板块的消减常常造成地震，最近的一次是2
环境变量在所有 Unix 和类Unix系统中, 每个进程都有其各自的环境变量设置。缺省情况下, 当一个进程被创建时，除了创建过程中的明确更改外，它继承了其父进程的绝大部分环境设置。