首页 >
最小上界
✍ dations ◷ 2025-12-01 01:38:56 #最小上界
在数学中，最小上界（英语：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 的上界。
相关
- 感觉系统感觉系统（英语：sensory system）是神经系统中处理感觉信息的一部分。感觉系统包括感受器、神经通路以及大脑中和感觉知觉有关的部分。通常而言感觉系统包括那些和视觉、听觉、触
- 中卫市中卫市是中华人民共和国宁夏回族自治区下辖的地级市，位于宁夏西部，黄河西岸。市境东邻吴忠市，南接固原市，西界甘肃省白银市，北毗内蒙古自治区阿拉善盟。地处宁甘蒙三省区交界，腾格
- 分化细胞分化（英语：cellular differentiation），是发育生物学的研究课题之一，指的是在多细胞生物中，一个干细胞在分裂的时候，其子细胞的基因表达受到调控，例如DNA甲基化，变成不同细胞类型
- 对马海峡对马海峡（日语：対馬海峡／つしまかいきょう Tsushima kaikyō */?；朝鲜语：쓰시마해협／쓰시마海峽 Sseusima haehyeop */?），西方历史作品常译作Tsu Shima Strait或Tsu-Shima Strai
- 鼓山轮渡站鼓山轮渡站，也称西子湾渡轮站或渡船头，主要连结鼓山区与旗津区之间的交通往返，由高雄市轮船公司负责营运。在明清时代仅靠竹筏、舢舨撑度，时常发生意外，涉渡者须打鼓鸣锣，焚烧纸钱
- 氟锑酸氟锑酸（化学式：HSbF6）或称六氟锑酸，是氢氟酸和五氟化锑反应后的产物。以一比一的比例混合时成为现在已知最强的超强酸，实验证明能分解碳氢化合物，产生碳正离子以及氢气。氢氟酸（HF）
- agar plate琼脂平板（英语：Agar Plate）是一种把消毒后的培养基加上繁殖微生物所需材料（通常是洋菜及养分）后制成的有盖培养皿。由于提供了微生物繁殖的有利条件，琼脂平板能够用来种出不同的微
- 陈皮陈皮（广皮）即橘皮，由橘子成熟后的果皮晒干或烘干所得。陈皮放置年份越久越好，故称为“陈皮”。陈皮是重要中药材，亦可以用作烹饪佐料及制作零食。根据本草纲目记载，陈皮：疗呕哕反胃
- 克雷伯氏循环三羧酸循环（tricarboxylic acid cycle） ，亦作柠檬酸循环（citric acid cycle），是有氧呼吸的第二阶段。该循环以循环中一个重要中间体柠檬酸命名，又因为柠檬酸是一种三元羧酸，该反应又
- 查尔斯·格里费斯查尔斯·汤姆林森·格里费斯（英语：Charles Tomlinson Griffes，1884年9月17日－1920年4月8日），美国作曲家。早年到德国师从洪佩尔丁克学习，并周游欧洲，回国后担任教职，1920年因流感早逝
