首页 >
最小上界
✍ dations ◷ 2025-04-04 05:10:16 #最小上界
在数学中,最小上界(英语: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 的上界。
相关
- 印度喀拉拉邦柯枝犹太人,又名马拉巴尔犹太人,是生活在现在印度喀拉拉邦的犹太人。他们是印度最古老的犹太人群体,最早可追溯至所罗门王时代。早在12世纪一个来自西班牙图德拉的犹太旅行家提
- 自旋在量子力学中,自旋(英语:Spin)是粒子所具有的内禀性质(英语:Intrinsic and extrinsic properties),其运算规则类似于经典力学的角动量,并因此产生一个磁场。虽然有时会与经典力学中的
- 上艾瑟尔省上艾瑟尔省(荷兰语:Overijssel)是荷兰东部的一个省,首府兹沃勒,人口1,109,250人(2006年)。该省与德国接壤上艾瑟尔省早期名为上艾瑟尔领地,当时整个疆域包含现在的德伦特省,1336年是
- 扬·彼得·巴尔克嫩德扬·彼得·巴尔克嫩德(荷兰语:Jan Peter Balkenende,1956年5月7日-),荷兰政治家,前荷兰基督教民主党领袖,2002年—2010年担任首相。巴尔克嫩德是家中长子,其父是商人,其母是教师。他在
- 冲床冲床(Stamping press,或称冲压机,模锻压力机),是利用压力使金属形变,使其冲压成各种需要结构的机器。冲床的功能包括冲剪、成形(英语:Forming (metalworking))、深拉、锻造金属,一般会
- 北美自由贸易协定北美自由贸易协议(英语:North American Free Trade Agreement,NAFTA,法语:Accord de libre-échange nord-américain,ALÉNA,西班牙语:Tratado de Libre Comercio de América del
- 拉姆拉拉姆拉(希伯来语:רַמְלָה)位于以色列中部,是中央区的首府,人口约6.3万(2004年),其中犹太人占80%、阿拉伯人占20%。
- 施泰尔马克州坐标:47°15′N 15°10′E / 47.250°N 15.167°E / 47.250; 15.167施泰尔马克州(德语:Steiermark),或依其英语名称译为施蒂利亚州(Styria),是奥地利的一个联邦州,位于奥地利的东南部
- 粪蝇科粪蝇科(学名:Scathophagidae),又名拟花蝇科,是家蝇总科下的一个小科。这个科下的黄粪蝇是北半球最为普遍及大量的苍蝇。粪蝇科下的物种在幼虫阶段较为多样化,包括有吃植物的、水中
- 吕留良案吕留良(1629年-1683年),别名光轮,字用晦,又字庄生,号晚村,别号有耻斋老人、耻翁、吕医山人、南阳布衣等,暮年剃发出家,法名耐可,字不昧,号何求老人。浙江嘉兴府崇德县(今桐乡市崇福镇)人,明