最小上界

✍ dations ◷ 2025-10-20 22:56:41 #最小上界

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

相关

主动脉剥离主动脉夹层（英语：aortic dissection；法语：dissection aortique；德语：Aortendissektion），又译为“主动脉剥离”或“心血管动脉撕裂”，是因为主动脉血管内膜（英语：Tunica intima）受伤，使得
埃德温·尼布洛克·莱特富特埃德温·尼布洛克·莱特富特（英语：Edwin Niblock Lightfoot；1925年9月25日－2017年10月2日）是一名化学工程师、威斯康辛大学麦迪逊分校化学暨生物工程学系名誉教授。知名于对输送
湖区湖区（Lake District）是英格兰西北部坎布里亚郡的一片乡村地区，是一个度假胜地，以湖泊与群山，并因19世纪初诗人华兹华斯的作品以及湖畔诗人（Lake Poets）而著称。这个区域游客较多的
低聚物低聚物，又称寡聚物、寡合物、齐聚物、低聚体或寡体，指的是由较少的重复单元所组成的聚合物，其相对分子质量介于小分子和高分子之间。其英语为“oligomer”词头oligo来自于希腊
大阴唇前连合阴唇前联合，是指大阴唇左右两侧在前端的联合处，位于阴阜下方。相应的后端则称为阴唇后联合。
卡尔·冯·马修斯卡尔·冯·马齐乌斯（全名卡尔·弗里德里希·菲利普·冯·马齐乌斯，德语：Carl Friedrich Philipp von Martius，1794年4月17日－1868年12月13日），是德国植物学家和探险家。他出生于埃
艾蜜莉·华森艾米丽·沃森（英语：Emily Watson，1967年1月14日－），英格兰女演员。她的首部电影作品是由拉斯·冯·提尔执导的《破浪而出》(1996)而获得欧洲电影奖、纽约影评人协会奖、国家影评人
巴本堡王朝巴本堡王朝（Babenberger）是奥地利的公王朝。顾名思义，该王朝起家于法兰克尼亚（约当今日之德国巴伐利亚州北部）的巴本堡（巴本堡）。在哈布斯堡王朝崛起之前，这个家族的成员在976年—12
比塞大比塞大（阿拉伯语：بنزرت‎，拉丁转写：Banzart，意大利语：Biserta），突尼斯北部城市，为比塞大省首府。同时位处非洲大陆最北端。总人口114,371（2004年）。比塞大为突尼斯历史最悠久的城
芒果冰芒果冰台湾的一种冰品，有别于传统的刨冰加入粉圆、芋圆、仙草等，它加入的是新鲜的芒果、炼乳以及芒果冰淇淋覆盖在挫冰或绵绵冰上面，有着清凉解暑的功用。许多地方的传统冰店都