集合 (数学)

✍ dations ◷ 2025-07-11 15:13:43 #集合论,朴素集合论,公理化集合论

集合(英语:Set,或简称集)是基本的数学概念,它是集合论的研究对象,指具有某种特定性质的事物的总体,(在最原始的集合论─朴素集合论─中的定义,集合就是“一堆东西”。)集合里的事物(“东西”),叫作元素。若然 x {\displaystyle x} ,就是将数个对象归类而分成为一个或数个形态各异的大小整体。一般来讲,集合是具有某种特性的事物的整体,或是一些确认对象的汇集。构成集合的事物或对象称作元素或是成员。集合的元素可以是任何事物,可以是人,可以是物,也可以是字母或数字等。

在数学交流当中为了方便,集合会有一些别名。比如:

元素通常用 a ,   b ,   c ,   d ,   x {\displaystyle a,\ b,\ c,\ d,\ x} 有三个元素、而集合 有四个。一个集合中元素的数目称为该集合的基数。数学写法有很多种,不同作者及不同书本用不同的写法: Card ( A ) ,   # A ,   | A | ,   A ¯ ,   A ¯ ¯ {\displaystyle \operatorname {Card} (A),\ \#A,\ |A|,\ {\bar {A}},\ {\bar {\bar {A}}}}

集合可以没有元素。这样的集合叫做空集,用 { } {\displaystyle \{\}} 或符号 {\displaystyle \varnothing } 表示。比如:在2004年,集合 A {\displaystyle A} 是所有住在月球上的人,它没有元素,则 A = {\displaystyle A=\varnothing } 。在数学上,空集非常重要。更多资讯请参阅空集。

如果集合只含有限个元素,那么这个集合可以称为有限集合。

集合也可以有无穷多个元素,这样的集合称为无限集合。比如:自然数集便是无限集合。关于无穷大和集合的大小的其他资讯请见集合的势。

若把集合看作“符合任意特定性质的一堆东西”,会得出所谓罗素悖论。为解决罗素悖论,数学家提出公理化集合论。在公理集合论中,集合是一个不加定义的概念。

在更深层的公理化数学中,集合仅仅是一种特殊的类,是“良性类”,是能够成为其它类的元素的类。

类区分为两种:一种是可以顺利进行类运算的“良性类”,我们把这种“良性类”称为集合;另一种是要限制运算的“本性类”,对于本性类,类运算并不是都能进行的。

定义 类A如果满足条件“ B ( A B ) {\displaystyle \exists B(A\in B)} ”,则称类A为一个集合(简称为集),记为 Set ( A ) {\displaystyle \operatorname {Set} (A)} 。否则称为本性类。

这说明,一个集合可以作为其它类的元素,但一个本性类却不能成为其它类的元素。因此可以理解为“本性类是最高层次的类”。

相关

  • 南印度南印度有可能指以下其中一项:
  • 王铁冠王铁冠(1937年12-),中国石油地质学家。出生于上海。中国石油大学(北京)教授。1956年毕业于北京石油地质学校。1965年毕业于北京石油学院。1994年起在石油大学(北京)任教,现兼任国家自
  • 穆罕默德·纳希德穆罕默德·纳希德(迪维希语:މުހައްމަދު ނަޝީދު ,拉丁转写:Mohamed Nasheed,1967年5月17日-),马尔代夫共和国前任总统。纳希德1989年毕业于英国利物浦约翰摩尔斯大学
  • 高雄市区道列表高雄市区道列表列出高雄市境内的区道。高雄市境内区道原为旧高雄县辖乡道,在升格直辖市后解编既有乡道,改制为区道。以下注解指出在交通部所公布的2010年全台乡道统计资料参照
  • 弗兰纳里·奥康纳玛丽·弗兰纳里·奥康纳(英语:Mary Flannery O'Connor,1925年3月25日-1964年8月3日),美国女性作家。奥康纳共创作有两本长篇小说和32篇短篇小说,以及大量的评论和评述。作为美国南
  • 侏罗纪 (消歧义)侏罗纪可指:
  • 德川家茂德川家茂(1846年7月17日-1866年8月29日)是德川幕府第14代征夷大将军,第13代将军德川家定的堂弟。就任将军前是德川御三家纪州藩第13代藩主,原名庆福(よしとみ)。德川家茂是德川齐顺
  • 狮潭乡狮潭乡(台湾客家语四县腔:siiˊ tamˇ hiongˊ),是台湾苗栗县的一个乡,位于苗栗县地理中心,地处苗栗县大湖地区,北接三湾乡,东边北、南段分别与南庄鄉、泰安乡相邻,南邻大湖乡,西临公
  • 大林猪大林猪(学名:Hylochoerus meinertzhageni),是偶蹄目猪科大林猪属中唯一的一种,分布于西非和中部非洲地区。其种加词“meinertzhageni”得名于英国军官及动物学家理查德·梅纳茨哈
  • 兴福庄建冢纪念碑兴福庄建冢纪念碑,约建于1929年,顶碑背面碑文由倪希昶纪录于1929年(昭和四年),由台湾正米市场、大稻埕永乐会、陈天来、辜显荣、林柏寿与许丙等多位北市的乡绅商户集资购买兴福庄