有界集合

✍ dations ◷ 2025-04-02 09:06:47 #数学分析,序理论

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

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

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

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

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

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

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

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

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

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

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

相关

  • 电解质不平衡电解质在生物体的自平衡维持上相当的重要。电解质可调节心臓及神经机能、输送氧气、维持体液平衡(英语:fluid balance)及酸碱平衡等。电解质的不平衡可能因为以下原因而产生:过
  • 圣乔治乔治丝带(俄语:георгиевская ленточка,转写:georgiyevskaya lentochka)是黑色和橘色相间的丝带。乔治丝带起源于俄罗斯帝国时期的最高军功勋章——圣乔治勋
  • 宋江起自花村刀笔吏 英灵上应天星 疏财仗义更多能 事亲行孝敬 待士有声名 济弱扶倾心慷慨 高名冰月双清 及时甘雨四方称 山东呼保义 豪杰宋公明宋江是中国北宋宣和年间的淮南军
  • 百科全书,或科学、艺术和工艺详解词典《百科全书,或科学、艺术和工艺详解词典》(法语:Encyclopédie, ou dictionnaire raisonné des sciences, des arts et des métiers),通称《百科全书》(Encyclopédie),是1751年至
  • 波利安人波利安人(英语:Bolian)是《星际旅行》虚构宇宙中的类人种族,主要出现于《星际旅行:下一代》、《星际旅行:深空九号》及《重返地球》中。波利安人是星际联邦的一员,居住在波拉鲁斯星
  • 原天津海关旧址原天津海关旧址是该建筑始建于1862年,坐落于当时的天津法租界的圣路易路(Rue Saint Louis)(今和平区营口道2-4号),目前是天津市和平区文物保护单位和重点保护等级历史风貌建筑。现
  • 江孔燧江孔燧(1572年-1647年),字心一,号湛如,山东兖州府沂州沂水县人,明朝政治人物。江孔燧孝顺双亲,公平对待子弟,万历四十三年(1615年)中举人,崇祯元年(1628年)成进士,获授南京吏部主事,历任南京
  • 芭芭拉·赫尔辛尤斯芭芭拉·克里斯蒂娜·伊丽莎白·赫尔辛尤斯-科斯基(瑞典语:Barbara Christina Elisabeth Helsingius-Koski,1937年9月27日-2017年3月9日),出生于芬兰赫尔辛基,是一名芬兰歌手、诗人
  • 倚天屠龙记 (1978年电影)《倚天屠龙记》(英语:)为1978年邵氏电影公司出品,楚原执导的武侠电影。改编自金庸著名武侠小说倚天屠龙记。后有续作《倚天屠龙记大结局》及外传《魔殿屠龙》。剧情以原作故事为
  • 落花流水《落花流水》漫画第1本封面《落花流水》是真田一辉(日语:真田一輝)的四格漫画作品,连载于《Manga Time Kirara MAX》2005年1月号至2015年4月号。本作是以作者在2003年10月发表的