集合建构式符号

✍ dations ◷ 2025-07-19 06:38:30 #数学,集合论基本概念,数学符号

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

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

相关

  • 福楼拜古斯塔夫·福楼拜(法语:Gustave Flaubert,1821年12月12日-1880年5月8日),生于法国鲁昂,法国文学家,世界文学名著《包法利夫人》的作者。福楼拜出生于法国西北部诺曼底地区的鲁昂,父亲
  • 孟买历史现在的孟买起初是七个小岛组成的一个群岛。在孟买北部Kandivali附近发现的人造器物显示这些岛屿自从石器时代已经有人居住。 最早的文字记载可以追溯到公元前250年,来到这里
  • 娱乐通北京娱乐通科技发展有限公司(Beijing Entertainment All Technology Co.,Ltd,简称娱乐通或北京娱乐通,网络谑称“YLT”)成立于2003年8月,其前身是日本HODO公司在中国的分公司SOFT
  • 新港新港(英语:Newport),又译为纽波特,位于美国罗得岛州南部,是新港县县治,距离州首府普罗维登斯37公里,距离波士顿98公里。面积29.7平方公里。根据美国2010年人口普查,共有24,672人,其中
  • 双射数学中,一个由集合 X {\displaystyle X} ,且广义化至无限集合,并导致了基数的概念,用以分辨无限集合的不同大小。形式上,双射函数恰好是集合范
  • 杜卡金奥卢·艾哈迈德帕夏杜卡金奥卢·艾哈迈德帕夏(土耳其语:Dukakinoğlu Ahmed Paşa;-1515年),奥斯曼帝国官员,曾于1514年12月18日-1515年9月8日之间出任帝国宰相“大维齐”。他来自阿尔巴尼亚桑贾克(英
  • 中国国家水利风景区列表中国的国家级水利风景区,是指以水域(水体)或水利工程为依托,按照水利风景资源即水域(水体)及相关联的岸地、岛屿、林草、建筑等能对人产生吸引力的自然景观和人文景观的观赏、文化
  • 约翰内斯·厄科兰帕迪乌斯约翰内斯·厄科兰帕迪乌斯(英语:Johannes Oecolampadius, 1482年-1531年),文艺复兴时期神圣罗马帝国德意志新教徒。他积极主张参与教会的管理事务。他与慈温利共同努力,从而说服了
  • 百百目鬼百百目鬼(とどめき、どどめき)或百目鬼、百目妖(どうめき)是在日本传说的妖怪之一。在鸟山石燕的《今昔画図続百鬼》有记载。外观为手臂上长有无数眼睛的女性。她原本是人类女
  • 弗蕾德里克 (石勒苏益格-荷尔斯泰因-森讷堡-格吕克斯堡)腓特丽克·卡罗琳·朱丽安妮(德语:Friederike Caroline Juliane von Schleswig-Holstein-Sonderburg-Glücksburg;1811年10月9日-1902年7月10日),是第一代石勒苏益格-荷尔斯泰因-