类 (数学)

✍ dations ◷ 2025-09-16 12:27:04 #集合论基本概念,类的理论,罗素公理体系,范畴论

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

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

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

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

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

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

相关

  • 有孔虫界有孔虫界(学名:Rhizaria)为原生生物的一条主线。它们的形态差别很大,但主要部分均为变形虫状(amoeboid)并有丝状、网状或小管型支撑的假足。它们部分会制造可能有复杂结构的外壳或
  • 工党劳工锡安主义(希伯来语:ציונות סוציאליסטית)是锡安主义运动的左翼派别,劳工锡安主义者视自己为历史上中东和中欧的犹太工人运动的一支;不同于主流政治上的锡安
  • 彼奇湖坐标:10°13′57.00″N 61°37′41.00″W / 10.2325000°N 61.6280556°W / 10.2325000; -61.6280556彼奇湖(Pitch Lake)是一个奇特的沥青湖泊,该湖泊位于加勒比海的特立尼达
  • 泰奥多尔·热里科西奥多·杰利柯(法语:Théodore Géricault;1791年9月26日-1824年1月26日)是法国浪漫主义画派的先驱,对浪漫主义画派和现实主义画派的发展有重要影响。他出生于法国鲁昂,曾师从卡勒
  • 有虞氏,又称虞朝,是中国历史上一个可能存在过数百年的王朝,在夏朝之前。虞朝位于今山西平陆西南,舜是虞朝的最后一位君主。在《左传》、《国语》中,虞夏商周四代连称的文句不胜枚
  • span class=nowrapPbSOsub4/sub/span硫酸铅,分子式为PbSO4,白色单斜或正交晶体,难溶于水,有毒。是铅矾或硫酸铅矿的主要成分,熔点1443K,Ksp=1.06×10−8,主要用于白色油漆颜料、铅蓄电池等。可溶于硝酸、浓硫酸、饱和
  • 网胃蜂巢胃,又称网胃,是反刍动物的第二个胃,也叫网胃,内壁有类似蜂巢形状六角形的突起,并有分解食物纤维之细菌。食物会由蜂巢胃挤回口腔咀嚼反刍。经反刍后比较小的食物粒子会进入重
  • 时装店服装店是售卖服饰的商店,由于现代服饰潮流转变快,一般时尚服装店约三个月至半年就会转换款式。但有些售卖特定类型服饰如民族服饰、特色服装等的服装店则不一定频繁转变款式。
  • 顺化-岘港战役美国等国正式介入之后美国撤出至南越灭亡顺化-岘港战役,(越南语:Chiến dịch Huế - Đà Nẵng,英语:Hue–Da Nang Campaign)是越南战争后期的一场战斗,北越在1975年3月,越南人民军
  • 星条旗美国国旗旗面由13道红白相间的宽条构成,左上角还有一个包含了50颗白色小五角星的蓝色长方形。50颗小星代表了美国的50个州,而13条间纹则象征着美国最早建国时的13个殖民地。红