类 (数学)

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

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

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

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

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

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

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

相关

  • 凝血病凝血病指凝血能力受损的病症,可能导致出现长期或过度出血的倾向。这种出血既可能是自发性的,也可能发生在受伤或手术后。值得注意的是,凝血病有时被错误地称为“凝血障碍”,而凝
  • 双翅目双翅目(学名:Diptera)包括蚊、蝇、虻等昆虫,约有8.5万种,是昆虫纲中居于鞘翅目、鳞翅目和膜翅目之后的第四大目。除了在南极洲之外,在全世界都很普遍。其中某些种类是传播疾病给人
  • 纵火狂纵火狂是一种有关控制冲动的障碍,其中患者反复无法抵抗故意纵火,以缓解紧张或获得满足。纵火狂不等同于纵火行为,纵火狂并不是为了经济或政治利益,而且对与火有相联的物件,例如消
  • 粗粮本列表是2005-2011年世界各国粗粮产量的列表,数据来源于联合国粮食及农业组织。单位:(吨)
  • 779年
  • 精米步合精米歩合是日本清酒酿造的术语,指“磨过之后的白米,占原本玄米(糙米)的比重。”譬如将一批糙米磨去四成后,所制成之白米占原玄米重量的六成,其精米步合即为60%。此标准系由日本国税
  • 郭柏成2000年亚洲杯台球锦标赛季军2002年亚洲杯台球锦标赛季军 2004年世界花式台球锦标赛季军 2005年世界花式台球锦标赛亚军 2005年纬来职撞大赛年度总冠军 2010年卡达世界9号球
  • 毛里塔尼亚乌吉亚毛里塔尼亚乌吉亚(货币代码:MRU),简称乌吉亚,是毛里塔尼亚的法定货币。乌吉亚是世界上少数以五分之一而非十分之一作为辅币单位的货币种类。毛里塔尼亚乌吉亚于1973年开始流通,以
  • 布伦瑞克不伦瑞克公国(德语:Herzogtum Braunschweig)为一前德意志国家,首都为不伦瑞克。1815年维也纳会议建立此国家以取代前布伦瑞克-沃尔芬比特尔亲王国。19世纪该公国先后为德意志邦
  • 青菜青菜可以指: