首页 >
最小上界
✍ dations ◷ 2025-11-26 08:14:19 #最小上界
在数学中，最小上界（英语：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 的上界。
相关
- 莉泽·迈特纳莉泽·迈特纳（英语：Lise Meitner，1878年11月7日－1968年10月27日），奥地利-瑞典原子物理学家。她的众多成绩中最重要的是她第一个理论解释了奥托·哈恩1938年发现的核裂变。莉泽·迈
- 扩充中心法则分子生物学的中心法则（英语：The central dogma of molecular biology，又译分子生物学的中心教条），首先由佛朗西斯·克里克于1958年提出，并于1970年在《自然》上的一篇文章中重申：中
- 国防部长国防部长，总统制与双首长制的国家可简称防长;君主制的国家可简称防相，是近现代国家政府中国防部门的领导者，负责管理国防和军事行政（日语：軍政 (行政)），对国家元首或政府首脑负责。
- 荆州荆州，中国东汉末至唐朝时的州，前身为监察区荆州刺史部。早期幅员广袤，包括今天湖北、湖南二省的大部以及邻省的小部，后分置湘州等州，隋朝以后辖境仅限于今湖北省荆州市一带。西汉
- 组团式城市群组团式城市群是商务印书馆于2003年出版的城市蓝皮书《中国城市发展报告》（2002-2003）中提出的关于描述中国大陆城市发展战略目标的宏观概念。组团式城市群的概念在学界使用并
- 斐迪南三世斐迪南三世（Ferdinand III，1608年7月13日－1657年4月2日）哈布斯堡王朝的神圣罗马帝国皇帝(1637年-1657年在位)，匈牙利国王(1625年-1657年）和波希米亚国王(1627年-1657年)。他也是奥
- 绅士
- 粤西片粤西客语，或称客家语粤西片，是汉藏语系汉语族客家语的一个支系，主要分布在中国广东省西部地区。1987年版的《中国语言地图集》粤西客语仍是未分片的方言岛。而2012年版的《中国
- 广交会中国进出口商品交易会（英语：China Import and Export Fair），又称广州交易会，简称广交会（Canton Fair），旧称中国出口商品交易会，是由商务部和广东省人民政府联合主办，中国对外贸易中心
- 克痢霉素粘杆菌素（Colistin），又名克痢霉素、多粘菌素E，是一种多粘菌素类多肽抗生素，是两种环状多肽——粘杆菌素A和B的混合物。可由多粘芽肥杆菌变种粘菌素（Bacillus polymyxa var. colist
