首页 >
最小上界
✍ dations ◷ 2025-11-22 09:59:46 #最小上界
在数学中，最小上界（英语：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 的上界。
相关
- 豆科豆科（学名：Fabaceae，保留名：Leguminosae）植物属于真双子叶植物豆目，约有800属19,325种。为被子植物中相当庞大的一科，占了已知开花植物物种的7%。部分物种在经济上具有重要地位，该科
- 含羞草酸含羞草酸，又名含羞草氨酸，是一种毒性非蛋白氨基酸，化学性质类似于色氨酸，首先从含羞草（Pimica pudica）中分离出来的。它存在其他一些含羞草属植物中，以及物种密切相关的银合欢属所
- 华严经《.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
- span style=color:white;中华民国内阁/span本表列出中华民国自1912年建国至今的历任政府首脑，包括北洋政府时代的国务总理等，国民政府时代的行政院院长，以及行宪后的行政院院长。本表所列不仅限于具正式职务者，亦包含各种
- 古典典籍中国古籍或中国古典典籍一般指的是“公元1911年（含）以前出版的书籍，包括抄本及刻本”。具体而言，可以说是以印刷或书写成“具有中国古典装帧形式（如包背装、线装、蝴蝶装等）、以研
- 紫外光谱紫外-可见分光光度法（Ultraviolet–visible spectroscopy，UV-Vis），又称紫外-可见分子吸收光谱法，是以紫外线-可见光区域电磁波连续光谱作为光源照射样品，研究物质分子对光吸收的相
- 自杀论《自杀论：社会学的研究》（法语：Le Suicide : Étude de Sociologie），为爱米尔·涂尔干的一部巨著。该书从社会学的角度分析自杀的动因及分类。涂尔干着手进行研究自杀的人们的特
- 坤帖木儿汗坤帖木儿（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus
- 芋粿芋粿，又称芋粿巧（闽南语）、芋粄（客家语），是广东潮汕地区、福建福州以及闽南地区的传统小吃。先以糯米研磨之米浆压干后，再和芋头去皮切成丝及油葱香料搅拌，再细分约巴掌大小一块一块
- 派对派对源自英文party，又译趴踢、或称联欢会，通常是社会中的人们聚在一起打算主要用于庆祝和休闲的一种方式。有一些派对是因为宗教和季节性的原因，有些派对则是由个人举办的。派
