有界集合

✍ dations ◷ 2025-10-21 18:59:16 #数学分析,序理论

在数学分析和有关的数学领域中,一个集合被称为有界的,如果它在某种意义上有有限大小。反过来说,不是有界的集合就叫做无界。

如果存在一个实数 ,使得对于所有 中的 有 ≥ ,实数集合 被称为“上有界”的,这个数 被称为 的上界。可用类似的定义术语“下有界”和下界。

如果集合 有上界和下界二者,则它是有界的。所以,如果一个实数集合包含在有限区间内,则它是有界的。

度量空间 (, ) 的子集 是有界的,如果它包含在有限半径的球内,就是说如果对于所有 中的 ,存在 中的 并且 > 0,使得 d(, ) < 。 是有界度量空间(或 是有界度量),如果 作为自身的子集是有界的。

在拓扑向量空间中,存在一个有界集合的不同定义,通常叫做冯·诺伊曼有界性。如果拓扑向量空间的拓扑是由均匀度量所诱导,如度量是由赋范向量空间的范数所诱导的情况,则这两个定义是一致的。

一个实数集合是有界的,当且仅当它有上界和下界。这个定义可扩展到任何偏序集合的子集。注意这个更一般的有界性概念不对应于“大小”的概念。

偏序集合 的子集 叫做上有界的,如果对于所有 中的 ,有 中一个元素 使得 ≥ 。元素 叫做 的上界。可类似的定义下有界和下界。(参见上界和下界。)

偏序集合 的子集 叫做有界的,如果它有上界和下界二者,或等价的说,它被包含在一个区间内。注意这不是集合 自己的一个性质,而是集合 作为 的子集的性质。

有界偏序集合 (就是说自身就是有界而不是作为子集)是有最小元素和最大元素的偏序集合。注意这个有界性的概念与有限大小无关,有界偏序集合 的子集 在 的次序(的限制)下也不必然是有界偏序集合。

R 的子集 是关于欧几里得距离有界的,当且仅当它在乘积序(英语:Product order)下作为 R 的子集是有界的。但是, 可以是在字典序下有界,而不关于欧几里得距离有界。

序数的类被称为是无界的,或共尾的,在给定任何序数的时候,总是有这个类的某个成员大于它。所以在这种情况下,“无界”不意味着自身是无界的而是作为序数类的子类是无界的。

相关

  • 依半衰期排列的放射性同位素列表这是依半衰期排列的放射性同位素列表,次序由最短至最长。
  • 驻西部战区第一审计局中国人民解放军军徽中央军委审计署驻西部战区第一审计局,位于四川省成都市,是中央军事委员会审计署下属局,负责中国人民解放军西部战区审计工作。在深化国防和军队改革中,2016年
  • 顾问顾问是一个职称,对某些范围知识有专家程度的认识,他们可以提供顾问服务,例如法律顾问、政治顾问、投资顾问、港事顾问、军事顾问、国策顾问、地产顾问、工程顾问或国家安全顾问
  • 富马亲王梭发那·富马亲王(老挝语:ເຈົ້າສຸວັນນະພູມາ ລັດຕະນະວົງ;英语:Prince Souvanna Phouma,1901年10月7日-1984年1月10日),老挝中立派首相(1951~1954、1960、196
  • 1999年冬季世界大学生运动会第十九届冬季世界大学生运动会于1999年1月22日至1月30日在斯洛伐克的波普拉德-塔特拉斯(Poprad Tatry)举行。吉祥物为一只土拨鼠,共有40个国家1412名大学生参与。 *  主办国
  • 安德斯·佐恩安德斯·伦纳德·佐恩(Anders Leonard Zorn,1860年2月18日-1920年4月22日),画家、雕塑家和蚀刻版画家,他是瑞典最重要的艺术家之一,获得了国际性的成功。佐恩出生在瑞典达拉纳省穆
  • 凤山单选区凤山单选区(英语:Fengshan Single Member Constituency; 马来语:Kawasan Undi Perseorangan Fengshan; 泰米尔语:ஃபெங்ஷான் தனித் தொகுதி)是一个位于新加坡
  • 莫逖拉尔·尼赫鲁莫逖拉尔·尼赫鲁(Motilal Nehru,1861年5月6日-1931年2月6日)为印度政治家,律师,早期印度独立运动积极分子,国大党领导人,印度最大的政治家族——尼赫鲁-甘地家族元老。其子贾瓦哈
  • 水野春季水野春季(1979年7月21日-)是一名日本AV女优。她身材娇小可爱,早期从事写真女郎的工作,1997年初次演出,以《カメラの前で初めて見せたマジオナニー》作品名噪一时,1998年推出写真集
  • 天主教洛德瓦尔教区天主教洛德瓦尔教区(拉丁语:Dioecesis Loduarinus;斯瓦希里语:Jimbo Katoliki Lodwar)是肯亚一个罗马天主教教区,属基苏木总教区。教区的前身是一个于1968年1月11日成立的宗座监牧