集合建构式符号

✍ dations ◷ 2025-07-11 15:15:58 #数学,集合论基本概念,数学符号

在数学里,集合建构式符号(set-builder notation)是常用于描述集合的一种记号,这种描述集合的方式一般也称为集合抽象化(set abstraction)或set comprehension。一般写为 { x : P ( x ) } {\displaystyle \{x:P(x)\}} 的集合,而后者的元素除了符合谓词,还得是的元素。

以三角形数的集合为例。三角形数有一个规则,它是正整数的和。

下面的每一个等式给出了三角形数集合T的一个元素:

于是我们归纳出一个规则(即公式):

这个规则可代表集合T中的元素。于是,集合T可以简写为:

在上面的简单范例中,我们将一个繁复的集合表示法,透过一个简单的规则,重新以简单的符号来表示这个集合。

当一个集合的元素是用某种公式或条件(亦即,一个函数)所产生,这时候就可以用集合建构式来表示,例如:

就哲学上来说,这些元素具有某种共同的性质(2的倍数,或是小于0);在一阶逻辑中,这个性质可以使用谓词来表示,而该集合的一般格式为:

以偶数集合为例,其谓词 P = {\displaystyle P=} “是2的倍数”。 P ( x ) = {\displaystyle P(x)=} x {\displaystyle x} 是2的倍数”,被称为一个命题函数。

集合 A {\displaystyle A} 的元素必定是另一个集合 B {\displaystyle B} 的元素 x {\displaystyle x} ,使得 P ( x ) {\displaystyle P(x)} 为真(亦即, A {\displaystyle A} B {\displaystyle B} 的一个子集),一般表述为:

在这里, P {\displaystyle P} 是谓词, x {\displaystyle x} 是主词( B {\displaystyle B} 集合中的一个元素), P ( x ) {\displaystyle P(x)} 是一个传回真假值的命题函数:

所以,在数学中,谓词被视为一种布林值函数。

在实例中,如果没有指定 B {\displaystyle B} 集合,就表示 B {\displaystyle B} 集合是由谓词 P {\displaystyle P} 所给出。

在这里,有几个习惯用法:

相关

  • 阿肯色河阿肯色河(Arkansas River)是美国密西西比河的主要支流之一,流经科罗拉多州、堪萨斯州、俄克拉何马州和阿肯色州。全长1,469公里,流域面积435,122平方公里。
  • 潜在语义学潜在语义分析(Latent Semantic Analysis),是语义学的一个新的分支。传统的语义学通常研究字、词的含义以及词与词之间的关系,如同义,近义,反义等等。潜在语义分析探讨的是隐藏在字
  • 劳伦斯·奥利维尔劳伦斯·奥利维尔,奥利维尔男爵,OM(英语:Laurence Kerr Olivier, Baron Olivier,/ˈlɒrəns ˈkɜːrr əˈlɪvieɪ/,1907年5月22日-1989年7月11日),英国电影演员、导演和制片人,奥
  • 黑色素细胞癌黑色素瘤,又称恶性黑色素瘤,是一种从黑色素细胞发展而来的癌症,是皮肤癌中罕见的癌症。好发于皮肤但也可能出现在口腔、肠道或眼睛中。女性患者的黑色素瘤最常出现在腿,而男性患
  • 巴巴散射量子电动力学中,巴巴散射(英文:BhaBha Scattering)是指电子-反电子的散射过程,其中伴随有交换虚光子:巴巴散射散射振幅的领头项包含有两个费曼图的贡献:一个是湮灭过程,一个是散射过
  • Prima PortaPrima Porta(日语:ぷりまぽるた)是日本的一支由五名声优所组成的偶像组合,所属唱片公司为StrayCats(日语:株式会社ストレイキャッツ)。2019年10月7日,唱片公司StrayCats(日语:株式会社
  • 恰尔布拉赫马纳加尔恰尔布拉赫马纳加尔(Char Brahmanagar),是印度西孟加拉邦Nadia县的一个城镇。总人口5307(2001年)。该地2001年总人口5307人,其中男性2712人,女性2595人;0—6岁人口493人,其中男247人,
  • 汤姆·罗伯·史密斯汤姆·罗伯·史密斯(1979年-)是一位英国作家。史密斯在伦敦出生和长大,父亲是英国人,母亲是瑞典人。史密斯就读于剑桥大学圣约翰学院,2001年他毕业后,他获得了获得了奖学金到意大利
  • 布赖特科普夫与黑特尔音乐出版社布赖特科普夫与黑特尔音乐出版社(德语:Musikverlag Breitkopf & Härtel),德国音乐出版社,是现存最古老的乐谱出版社,亦是第一家出版莫扎特作品全集的出版社,其总部位于德国威斯巴
  • 身体崇拜身体崇拜(英语:Body worship),为一个人崇拜另一个人身体的一部分,通常出现在BDSM的顺从。