集合建构式符号

✍ dations ◷ 2025-09-09 20:25:31 #数学,集合论基本概念,数学符号

在数学里,集合建构式符号(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} 所给出。

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

相关

  • 心术《心术》,根据著名作家六六的同名书籍改编而成,讲述二十一世纪中国大陆都市人的感情生活故事。(第一轮首播)东方卫视、天津卫视、浙江卫视、安徽卫视(第二轮首播)北京卫视、湖北卫
  • 疖肿疖(boil、furuncle)是毛囊炎的一种,其常见起因为金黄色葡萄球菌感染,可导致皮肤上出现一片由脓和死亡组织累积形成之有痛感的肿块。肿胀的疖肿基本上为充满脓液的结节。单独的疖
  • 海面温度海面温度(Sea Surface Temperature, SST),又称海表温度、表面洋温,是指接近海洋表面的水面温度。对于表面的定义会有不同种的诠释,取决于检测方式,但通常是海面以下1毫米到20米之
  • 安全壳核反应堆安全壳,或称反应堆安全壳、安全壳建筑或安全壳、围阻体、安全厂房、安全掩体,是构成压水反应堆最外围的建筑,指包容了核蒸汽供应系统的大部分系统和设备的外壳建筑,用以
  • 汤森港汤森港(Port Townsend)发音: /ˈtaʊnzən/位于美国华盛顿州杰佛逊县。2010年美国人口普查时人口为9,113人。自2000年人口普查以来增长了9.3%。本市是杰佛逊郡的郡治,也是该郡唯
  • 中加里曼丹中加里曼丹是印尼在婆罗洲岛加里曼丹地区的五个省份之一。首府是帕朗卡拉亚,中加里曼丹面积153,564平方公里。中加里曼丹于2018年的人口2,300,000。位于婆罗洲岛中南部地区西
  • 蜂窝组织蜂窝组织(Areola tissue),或称为疏松结缔组织(loose connective tissue),是人体内最常见的一种结缔组织。疏松结缔组织主要由大量的细胞外基质(主要由成纤维细胞分泌的纤维组成)和少
  • 墨西哥的UFO目击事件这是一个关于在墨西哥目击不明飞行物的列表。
  • 跨媒体制作跨媒体制作是将知识产权透过不同传播媒体(载体)制作,以提升广告效应、增加经济规模、或回馈消费者、扩大促销商品等。内容包括原始作品的角色、设定、商标。英语称为“媒体连锁
  • 阿特罗巴特斯阿特罗巴特斯(希腊语:Aτρoπάτης 古波斯语义:被火保护的;前370年-前321年)出身于波斯的贵族,曾效力于大流士三世、亚历山大大帝,最终建立一个以他为名的独立国家和王朝。在波