类 (数学)

✍ dations ◷ 2025-04-26 01:08:54 #集合论基本概念,类的理论,罗素公理体系,范畴论

在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。

在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。

真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。

标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。

在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。

“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。

相关

  • 阳明山国家公园阳明山国家公园是中华民国设置的第三个国家公园,由内政部营建署管辖,前身为台湾日治时期成立之大屯国立公园(1937-1945)。位于台北都会区近郊,行政区域 包括台北市北投区、士林区
  • 哥伦比亚县哥伦比亚县(Columbia County, Georgia)是位于美国乔治亚州东部的一个县,东邻南卡罗莱纳州。成立于1790年12月10日。面积797平方公里。根据美国2000年人口普查,共有人口89,288。
  • 限制性片段长度多态性在分子生物学中,限制性片段长度多态性(英语:restriction fragment length polymorphism, RFLP)具有两种涵义:一是DNA分子由于核苷酸序列的不同而产生的一种可以用来相互区别的性
  • 增井祯夫增井祯夫(日语:増井 禎夫/ますい よしお Masui Yoshio,1931年1月1日-),日本裔加拿大细胞生物学家,推动1980年代细胞周期研究大发展的关键人物。盖尔德纳国际奖得主、拉斯克基础医学
  • 杞梁杞梁(?-前550年),为春秋时期的齐国大夫,名植,一名殖,字梁。在伐莒的战争中殉国,其妻孟姜哭夫于城,城为之崩塌。齐后庄公四年(前550年),他与华周都是齐后庄公的部下将领。曾经讨伐过卫国、
  • 维生素C缺乏症坏血病(拉丁语:Scorbutus,英语:Scurvy)又称为坏血症、水手病,是一种因缺乏维生素C所引起的疾病。维生素C主要参与人体内胶原的合成,其化学名称是抗坏血酸,源自坏血症的拉丁名scorbut
  • 围城攻城战是指对城堡、城市或要塞进攻的战争模式。依照战局模式另可分作巷战和包围战,目的可以是夺取建筑、资源、战略要地或是歼灭敌人。通常攻城战是不得已的情况下才要进行的
  • 都会旅客捷运系统都会旅客捷运系统(英语:Metromover)是位于美国迈阿密佛罗里达州的一个免费(英语:Free public transport)公共旅客捷运系统,由迈阿密-戴德运输营运。迈阿密旅客捷运系统服务的地区包
  • 宋朝 (人物)宋朝,春秋时期宋国公子。《论语·雍也》曾说:“不有祝�之佞,而有宋朝之美,难乎免于今之世矣!”可见其美貌为时人所知。根据《左传》描述,他身为卫国大夫,既受到卫灵公的宠幸,又与卫灵
  • 詹巴蒂斯塔·维柯乔瓦尼·巴蒂斯塔·维柯(Giovanni Battista Vico)或詹巴蒂斯塔·维柯(Giambattista Vico)(1668年6月23日-1744年1月23日)是一名意大利政治哲学家、演说学家、历史学家和法理学家。