最小上界

✍ dations ◷ 2025-06-28 15:37: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 的上界。

相关

条带状铁矿条状铁层（Banded Iron Formation，简称BIF），又名带状铁矿层、条带状铁矿、带状铁矿或缟状铁矿，是一类岩石的名称，它包含了铁的氧化物、硫化物、碳酸盐类矿物以及燧石，并以条状互层的
树艺树艺（英文：Arboriculture，/ˈɑːrbərᵻkʌltʃər/）亦称树艺学或植树学，为进行栽培、研究、经营管理单独一株树木、灌木、藤本植物或其他多年生木本植物的工作或学科。树艺同时
路易·马莱路易·马卢（法语：Louis Malle，1932年10月30日－1995年11月23日），法国电影导演。1932年生于法国北省（Nord）Thumeries。1995年殁于美国洛杉矶（Los Angeles）。
性生活印度的性史是多元文化的印度根据其独特的地区用自己独特的文化不同地发展了对性的话语。印度文化是指在印度形成的关于性文化的事物。印度次大陆是四大文明古国古印度的诞生
MSDNMSDN技术资源库是微软公司为软件和网站开发人员提供的技术资源库，名字中的MSDN意味着微软开发者网络。除了Windows SDK之外，MSDN也包含对应版本的Visual Studio产品文档和微软
黄禹锡黄禹锡（韩语：황우석，1952年12月15日－），大韩民国生物学家，出生于忠清南道扶余郡的一间穷苦人家，曾经担任首尔大学兽医系首席教授。他在干细胞的研究一度令他成为韩国人的民族英雄、视
锦屏极深地下暗物质实验室中国锦屏极深地下暗物质实验室，简称中国锦屏地下实验室（CJPL），是位于中国四川雅砻江锦屏的中国首个用于开展暗物质探测等国际前沿基础研究课题的极深地下实验室。该实验室于2010
1177年重要事件及趋势重要人物
考普瓦利1法国统计部门在计算土地面积时，不计算面积大于1平方公里的湖泊、池塘、冰川和河口。考普瓦利（法语：Coupvray）是法国北部一个市镇，位于巴黎远郊，由法兰西岛大区辖下省份塞纳-马恩
落叶松属落叶松属（学名：Larix）是松科下的一个属，主要分布在北半球。落叶松属约有10-14种。