最小上界

✍ dations ◷ 2025-11-30 01:16: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 的上界。

相关

  • 液泡液泡(拉丁语:vacuolum、 法语、英语、荷兰语:vacuole、 德语:vakuole),又称为液泡,是一种囊状的单层膜细胞器,其中含有细胞液,为酸性环境。液泡的作用在于存储并降解细胞中的废物和有
  • 伯里克利时代伯里克利时代是指古希腊的一个历史时期,其始于波希战争,终于伯里克利离世或伯罗奔尼撒战争结束,大约由前480年至前404年。在同一时期大批在政治、哲学、建筑、雕塑、历史以及文
  • 原型语义学原型理论(prototype theory)在认知科学中,是一种分级归类的模式。在这种模式中,在同一个范畴中,某些项目会比其他项目更为核心。例如,当我们想到家俱这个概念的时候,椅子会比起板凳
  • 模式识别受体模式识别受体为免疫系统细胞表达的,与病原微生物或细胞应激相关的蛋白。可以被模式识别受体识别的微生物特定分子为病原相关分子模式。包括细菌的碳水化合物(如脂多糖和甘露
  • 恐龙化石恐龙化石是恐龙的化石。目前已在全球各大洲发现恐龙化石,包含南极洲在内。早在数千年前,人类就已发现恐龙的化石,但当时并不晓得这些石头的真实面目。古代中国人将恐龙化石认为
  • 无动力制冷无动力制冷(passive cooling),由德国法兰克福的考斯特博士(Dr. Helmut Köster)首创的概念,通过改变百叶窗表面的形状,在导入太阳光作为室内自然光源的同时,又能够有效将紫外线与太
  • 社会进步实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性
  • 保罗·奥尼尔保罗·亨利·奥尼尔(英语:Paul Henry O'Neill ,1935年12月4日-),生于密苏里州圣路易斯,第72任美国财政部部长,总统乔治·沃克·布什的首个幕僚。2002年12月因为政府的压力及成了被
  • 奥昔哌汀奥昔哌汀(英语:Oxypertine)是一种治疗精神分裂症的抗精神病药。在化学上,它是吲哚的衍生物,也是哌嗪的衍生物。如同利血平和丁苯那嗪(英语:tetrabenazine),奥昔哌汀消耗的是儿茶酚胺,
  • 星际分子列表星际分子列表列出已在星际物质和星周包层中被检测出的分子,并依照组成原子的数目分组。每一种分子均附其化学式,若有离子型式也会一并列出。本列表中的所有分子都是透过分光学