类 (数学)

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

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

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

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

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

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

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

相关

  • 尸斑尸斑(Livor mortis)是指动物死亡后,血液循环停止,血液停留在尸体的低处,红血球从血清中进一步分离沉积,在表皮下形成可见的紫红色淤斑现象。人类的尸斑一般在死亡后0.5-2小时开始
  • 金盏花金盏花(Calendula officinalis)又名金盏菊,在古代西方作为药用或染料,也可以作为化妆品或食用,其叶和花瓣可以食用,因此可以用作菜肴的装饰。一年或二年生草本植物,单叶互生,在基部
  • 小隐孢子虫小隐胞子虫(学名:Cryptosporidium parvum)是引起隐胞子虫病的其中一种病原寄生虫,主要寄生在哺乳动物的肠道。感染的主要途径是饮用了含小隐胞子虫卵囊(Oocysts)的水所引起。在
  • 大汶口文化大汶口文化(公元前3500年~公元前2500年)是属太昊与少昊集团的新石器时代文化,主要分布以泰山地区为中心的山东中、南部以及江苏北部地区,晚期遗址的分布更广,东起黄海之滨,西到河南
  • 马亨德拉马亨德拉·比尔·比克拉姆·沙阿(尼泊尔语:महेन्द्र वीर विक्रम शाहदेव,IAST:Mahendra Bir Bikram Shah;1920年6月11日-1972年1月31日)是尼泊尔沙阿王朝的
  • 江忠源江忠源(1812年-1854年),字常孺,号岷樵。湖南省新宁人。道光十七年(1837年)举人。官至安徽巡抚兼军门提督,都察院副右都察御使兼兵部侍郎。为湘军名将,最先升至督抚一级。忠源弟三人,忠
  • 涅涅茨人涅涅茨人(涅涅茨语:ненэй ненэче, nenəj nenəče, 俄语:ненцы, nentsy),是俄罗斯北方极地区域的一支民族,在萨摩耶德语支中为数最多。涅涅茨人依生态环境分为冻
  • 平面几何欧几里得几何指按照欧几里得的《几何原本》构造的几何学。欧几里得几何有时就指二维平面上的几何,即平面几何,本文主要描述平面几何。三维空间的欧几里得几何通常叫做立体几何
  • 行政公职局行政公职局(葡文:Direcção dos Serviços de Administração e Função Pública;葡文简称:SAFP),是澳门特别行政区政府负责研究、协调和辅助公共行政和公务员事务的部门,隶属
  • 新右派新右派(英语:the New Right)与新左派都是一种社会运动,而新右派乃是相对于“老右派”而产生。其理论基础以弗里德里希·哈耶克、弗里德曼的思想为基本。新右派与新保守主义相同