集合 (数学)

✍ dations ◷ 2025-04-26 13:10:10 #集合论,朴素集合论,公理化集合论

集合(英语: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)} 。否则称为本性类。

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

相关

  • 白内障白内障(拉丁语:cataract)是因为眼睛水晶体混浊而造成视力缺损的疾病,可能侵犯单眼或双眼。症状包含彩度降低、视线模糊、光源产生光晕、无法适应亮光,以及黑暗环境下视觉障碍。白
  • 中阳虫门Raphidiophryidae Acanthocystidae Heterophryidae中阳虫门(Centrohelid或Centroheliozoa)是一类原生生物,包括一些固着生活和游动生活的类群,在淡水与海水中都有发现,但主要生活
  • 迈克尔·达米特迈克尔·达米特(英语:Michael Anthony Eardley Dummett,1925年6月27日-2011年12月27日)英国哲学家,英国国家学术院院士,被描述为“上世纪最重要的英国哲学家之一,也是种族容忍和平
  • 咨商咨商心理学(英语:Counseling Psychology),是以咨商为主题的心理学。当一个人有需要时,透过与咨商者的互动,来协助其觉察和了解自身,探究满足需要或解决问题之方法,这种语言互动就是
  • 分割谬误分割谬误(Division Fallacy)是一种非形式谬误,是基于整体拥有某性质,而推论其中的部分或全部个体都具备该性质,这是一种以全概偏。相对地则有合成谬误:某物的某部分具有某性质,故某
  • 窦房节律在一周期的心脏律动中,如果心肌的去极化从窦房结开始,则称为窦性心律(英文:sinus rhythm)。其特点是心电图(ECG)中展示方向正确的P波(英语:P wave (electrocardiography))。窦性心律是
  • 纽芬兰渔场纽芬兰渔场,位于纽芬兰岛沿岸(纽芬兰大浅滩),曾是世界四大渔场之一,由拉布拉多寒流和墨西哥暖流在纽芬兰岛附近海域交汇而形成了。1534年,由意大利航海家约翰·卡波特在寻找西北航
  • 爱沙尼亚人塞托人(setokõsõ)是居住在爱沙尼亚东南部和俄罗斯西北部的原住民族。塞托人大多信仰东正教。塞托人拥有自己的语言,是为塞托语,属乌拉尔语系。现在全世界大约有15000人塞托人,
  • 1689年权利法案《权利法案》,全称《国民权利与自由和王位继承宣言》(An Act Declaring the Rights and Liberties of the Subject and Settling the Succession of the Crown),是英国政治性法
  • 热带型雨林气候热带雨林气候,又称热带型雨林气候,全年高温多雨,可分为两种子类型:常年受赤道低压带控制的赤道多雨气候和常年受潮湿信风控制的热带海洋性气候,在对应的柯本气候分类法中代号为“