首页 >
最小上界
✍ dations ◷ 2025-11-15 08:02:37 #最小上界
在数学中，最小上界（英语：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 的上界。
相关
- 毒伞肽毒伞肽（Amatoxin），又称毒伞肽类毒素、毒伞毒素、瓢蕈毒素，是多种来自毒蘑菇的毒素的统称，来自鹅膏菌属（Amanita）、锥盖伞属（Conocybe）、盔孢伞属（Galerina）及环柄菇属（Lepiota）等菌类。假
- Netscape 5Netscape 5（开发代号Gromit）是一个于1998年创建的网络包，作为网景系列第五版上市。原本预定交给Mozilla组织继续开发但是本身问题过多所以中途被放弃，因此形成缺号。Netscape 5
- 不来梅不来梅（德语：Bremen，国际音标：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Ge
- 灵长类动物学动物学人类学 · 人与动物关系学 蜜蜂学 · 节肢动物学 医学节肢动物学 · 鲸类学 贝类学 · 昆虫学 动物行为学 · 蠕虫学 两栖爬行动物学 · 鱼类学 软体动物学 · 哺乳动
- 格尔津文化第八第十格尔津文化（英语：Gerzeh culture），埃及前王朝时期的历史文化阶段（约公元前3500年至公元前3200年前后），即奈加代二期文化。位于今埃及南部的奈加代、希拉孔波利斯以及努比亚
- 欧洲女同性恋者、男同性恋者、双性恋者与跨性别者（LGBT）在欧洲的权益受到欧洲联盟与多国法律的保障。全球25个承认同性婚姻的国家中，有15个在欧洲，同时英国的英格兰、威尔士、苏格兰
- ɠ浊软颚内爆音是一种辅音。其发音方式为软颚与舌背接触、且口腔、声门同时关闭的状态下，让喉头位置下降，从而使声道中产生气流。同时松开软颚与舌背发出的一种辅音。国际音标中
- 硬水软化硬水软化是降低水硬度的操作，可以将硬水软化为软水。硬水软化可以提高水使用的安全性。常见硬水软化主要方法有煮沸、蒸馏等，工业上也有用药剂软化。将水煮沸，可将部分钙镁离子
- 朱国祯朱国祯（1557年－1632年），字文宁，号平极，斋号虬庵、涌幢亭。浙江乌程（今湖州）人。明朝内阁首辅。生于湖州乌程县南浔镇居马家港河东，万历十六年（1588年）举人，为万历十七年（1589年）己丑科进士
- 瞿式耜画像出自1920年上海《常熟瞿氏忠贤遗像》瞿式耜（耜，音sì/ㄙˋ，1590年－1651年1月8日），字起田，又字伯略，号稼轩，明末政治人物、诗人。直隶常熟县（今江苏省常熟市）人。祖父瞿景淳，官至礼部
