最小上界

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

相关

  • 国际核事件分级表国际核能事件分级表(英语:International Nuclear Event Scale, INES)是根据核电站事故对安全的影响作为分类,使传媒和公众更易了解。INES由国际原子能机构(IAEA)和经济合作与发展
  • 生物反馈生物反馈(英语:Biofeedback)是指通过一些仪器来测量生理指标,借此更加了解人们心智想法的运作并且改善他们的一系列方法。例如脑电波、皮肤电传导率(英语:Electrodermal activity)
  • 鳞翅目鳞翅目(学名:Lepidoptera),又名蝶蛾目、螟蛉目,是昆虫纲中第二大的目,包括各种蝴蝶和蛾类(并系群)。鳞翅目昆虫是完全变态生物(卵、幼虫、蛹、成虫)。成虫有两对翅膀,上面覆满鳞粉,口器
  • 奥兰面积以下资讯是以2017年估计国家领袖立国历史奥兰(瑞典语:Åland),又称阿赫韦南马(芬兰语:Ahvenanmaa),是位于波罗的海、波的尼亚湾入口处的一个群岛,也是芬兰的一个自治区,通用瑞典语
  • 决定性的角色轴心国 纳粹德国 意大利王国(至1943年) 匈牙利王国 罗马尼亚王国(至1944年) 保加里亚第三帝国(至1944年)同盟国 苏联 波兰(英语:Polish Armed Forces in the East) 南斯拉夫(自1
  • 卢卡帕坐标:8°25′S 20°45′E / 8.417°S 20.750°E / -8.417; 20.750卢卡帕为于安哥拉东部,亦为北伦达省的首府,其人口数由于内战所导致人民迁移而难以估计。城市中主要产业为矿业
  • 比勒陀利亚比勒陀利亚(南非语:Pretoria,英语:Pretoria,祖鲁语:ePitoli,札那语:Tshwane),是位于南非豪登省(Gauteng)北部的城市,亦是南非的行政首都。南非总统府位于这个城市内,各国使馆亦集中于此城
  • 淋病奈瑟菌淋球菌(学名:Neisseria gonorrhoeae,奈瑟氏球菌)又称淋病双球菌(“淋”,拼音:lìn)、淋病奈瑟菌,是导致淋病的病原菌,和脑膜炎奈瑟菌同属于奈瑟菌属,是革兰氏阴性菌一个属种。球菌是需
  • 阿胶阿胶(拼音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternativ
  • 郑麟趾郑麟趾(1396年-1478年),字伯雎(백저),号学易斋(학역재),是朝鲜王朝初期的文臣及学者,著名的理学家,曾于世宗时期负责教育工作,亦是《训民正音》(훈민정음)的八位编者之一。本贯河东,祖先郑芝