最小上界

✍ dations ◷ 2025-07-16 05:36:48 #最小上界

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

相关

瘀斑瘀斑是指直径10毫米以上的皮下出血点。当身体被硬物捶击时，皮肤下的血管会破裂，造成血液流出到相邻的皮下组织，这些积聚在皮下组织的血液会在表皮外显现成瘀斑。通常小而痛淤斑
特拉布宗特拉布宗（土耳其语：Trabzon)是位于黑海南岸的土耳其城市。特拉布宗过去曾于1204年建立特拉比松帝国，是为土耳其版图上的独立国家，以拜占庭人为主。但1461年，帝国被奥斯曼帝国的穆
医女医女是朝鲜王朝职业，负责医治宫廷女性。因为朝鲜王朝受程朱理学影响，故要严设男女之防。宫廷女性生病时，多由医女诊断，再由医官处方，因为医官不能亲自诊断女性。于太宗六年（1406年
圣灵降临节五旬节，即基督教的圣灵降临日（亦称圣神降临节），源自犹太人三大节期之一七七节。犹太教按犹太历守节期，纪念以色列人出埃及后第五十天〔由出埃及记19:1之记载：以色列人出埃及以后，满
线粒体基因线粒体DNA（英语：mitochondrial DNA，缩写作mtDNA）指一些位于线粒体内的DNA，与一般位于细胞核内的DNA有不同的演化起源，可能是源自早期细菌。虽然现存生物体中绝大多数作用于线粒体
饮品饮料，也称饮品，是指经过加工供予饮用的液体，分为软性饮料和酒。
呆小症先天性碘缺乏症候群（又称矮呆病、克汀病、呆小病）是指因产妇对碘的摄取不足，使得婴儿先天性缺乏甲状腺激素（先天性甲状腺机能低下症），而导致严重阻碍身心发展的一种症状。一般通过
理查森罗伯特·科尔曼·理查森（英语：Robert Coleman Richardson，1937年6月26日－2013年2月19日），生于华盛顿特区，美国物理学家，1996年获诺贝尔物理学奖。1901年：伦琴 / 1902年：洛伦兹、塞曼
落羽松落羽杉（学名：Taxodium distichum）又名落羽松，是柏科落羽杉属的植物，原产于美国。落羽杉为落叶乔木，高可达30-50米，树干直径可达1-2米，树干通直，外形似水杉树皮呈现灰棕色、红棕色，薄，具
切叶蚁属美洲切叶蚁属（学名：Atta），亦简称作切叶蚁属，隶属于蚁科家蚁亚科，分布于新世界，现时包括至少17个物种（另一说18种）。与其他蚁类相比，切叶蚁属物种的体型相对较大，呈锈红色或棕色，身体有尖