最小上界

✍ dations ◷ 2025-12-09 05:00:09 #最小上界
在数学中,最小上界(英语: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 的上界。

相关

  • 扩张型心肌病 1O扩张性心肌病(英语:Dilated cardiomyopathy、簡稱DCM),也称充血性心肌病,表现为心脏功能减弱,各心腔扩大,不能充分泵血。心脏功能的减弱也会影响肺、肝和其它器官。扩张性心肌病是
  • 还原还原是一种化工单元过程。在化学反应中,还原反应是氧化反应的逆过程,即是得到电子的过程,因为有一方失去电子,就会有另一方得到电子。因此,还原反应经常和氧化反应合在一起,被称为
  • 颈阔肌颈阔肌是使嘴向下伸张的肌肉。它是一块表面肌肉,也就是说,它不直接连在骨骼上,与胸锁乳突肌重叠。沿下巴和颈的两侧各有一大块颈阔肌,每块的形状就像一把倒置的扇形。此扇形的
  • 水上旅游水上旅游是在假日或闲暇时间通以船作为工具在水上游玩的一种旅游方式,水上旅游有船岸互动、消费链长和特色项目附加值高等特点。在中国水资源比较发达的地区水上旅游比较受欢
  • arXivarXiv(X依希腊文的χ发音,读音如英语的archive)是一个收集物理学、数学、计算机科学、生物学与数理经济学的论文预印本的网站,始于1991年8月14日。截至2008年10月 (2008-10),arX
  • 萨丁尼亚岛坐标:40°00′N 09°00′E / 40.000°N 9.000°E / 40.000; 9.000撒丁岛(意大利语:Sardegna,,撒丁语:Sardìgna, Sardìnnia)位于意大利半岛的西南方,是地中海的第二大岛,仅次于西西
  • 开放源代码开放源代码(英语:Open Source)是一种在电脑程序的出品前和开发中提供其内部代码的做法。开放源代码在互联网上获得广泛使用,参加者需要大量更新电脑源代码。开放源代码使得生产
  • 皮膜patagium (复数型: patagia)是一种皮膜,协助动物滑翔或飞行。皮膜可发现于现生与灭绝的动物身上,包含蝙蝠、擅攀鸟龙科恐龙、翼龙、飞蜥、飞蛙、飞蛇、鼯鼠。若皮膜延伸至动物
  • 机械化部队机械化步兵是现代陆军中的一个步兵兵种,是指搭乘步兵战车或装甲输送车机动的步兵。机械化步兵是在第二次世界大战期间,由德国在闪电战理论指导下开创的一个兵种。纳粹德国陆军
  • 芫荽.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings: