最小上界

✍ dations ◷ 2025-12-05 19:45:57 #最小上界

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

相关

细胞学细胞生物学（英语：cell biology）旧称细胞学（cytology），是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
耶拿桥坐标：48°51′35″N 02°17′32″E / 48.85972°N 2.29222°E / 48.85972; 2.29222耶拿桥（法语：Pont d'Iéna）是法国巴黎塞纳河上的一座桥梁，连接左岸的埃菲尔铁塔和右岸的夏乐宫
本科本科教育是高等教育的一种类型，一般由高等学校（即大学）开展。本科生成绩合格并被准予毕业后，可获得学士学位。相比起研究生，本科是否被优秀的本科教育录取是判断学生素质是否优秀
氖1s2 2s2 2p62, 8蒸气压第一：2080.7 kJ·mol−1 第二：3952.3 kJ·mol−1 第三：6122 kJ·mol−1 （主条目：氖的同位素氖（旧译作氝，讹作氞）是一种化学元素，它的化学符号是Ne，它的原子
科威特中华民国与科威特关系是指中华民国与科威特国之间的关系。两国于1963－1971年有官方外交关系，断交后，中华民国于首都科威特市设有具大使馆性质的代表机构。1963年11月21日，两国建
脱氢脱氢是一种化工单元过程，是氢化的相反过程，是减少有机物分子中的氢原子数目的过程，一般有两种方法：脱氢主要用于将丁烷脱氢形成丁二烯作为合成腈纶或合成橡胶的原料；将异戊烯脱氢
斯威士兰中央银行坐标：26°19′36″S 31°08′46″E / 26.32679°S 31.146068°E / -26.32679; 31.146068斯威士兰中央银行（英语：Central Bank of Eswatini，简称CBE），是斯威士兰王国的中央银行，系斯
湘西会战湘西会战，雪峰山战役（日语：芷江作戦）为抗日战争后期中国战场上最后一场由日军发动进攻的大型战役。主要作战时间为1945年4月至6月，战场位置位于在中国湖南省中西部，侵华日军此战主
鲁智深鲁智深，小说《水浒传》中重要人物，梁山一百单八将之一，性烈如火、力大无穷，正义感强又重义气。姓鲁，名达，原为军官，后仗义杀人被通缉，弃官出家，逃到五台山文殊院，法名智深，因身上有刺花
精神分裂症患者列表这是一个精神分裂症患者列表，伴有可供查证的来源证明他们确实患有精神分裂症，且不论生死与否。根据他们自己的公开声明，或根据当代或死后诊断而把其列出。关于死后的诊断：只有少