类 (数学)

✍ dations ◷ 2025-09-07 14:06:56 #集合论基本概念,类的理论,罗素公理体系,范畴论

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

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

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

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

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

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

相关

  • 上臂臂是动物上肢的一部分,通常指从肩膀到手腕的肢体部分。臂包含上臂与前臂,而其中的关节为肘。上臂骨称作肱骨,其上端为肩关节,下端为肘关节。上臂的肌肉有肱二头肌、肱三头肌、肱
  • 细胞内细胞内受体(Intracellular receptor)是指位于细胞膜内部的细胞质或细胞核中的受体,这类受体都为转录因子。因为其激素要穿越细胞膜才能进入细胞内与其结合,所以通常都为脂溶性激
  • HPA轴下视丘-垂体-肾上腺轴 (HPA或HTPA轴),也被叫做 边缘系统-下视丘-垂体-肾上腺轴(LHPA轴),是一个直接作用和反馈互动的复杂集合,包括 下视丘(脑内的一个中空漏斗状区域),脑垂体(下视
  • 吉布斯自由能在热力学里,吉布斯能(英语:Gibbs Free Energy),又称吉布斯自由能、吉布斯函数、自由焓,常用英文字母 G {\displaystyle G} 标记。吉布
  • 胡人胡人,或称胡族,中国古代汉族对外族的称呼,主要是指欧亚大草原上的游牧民。该名称来源一说是匈奴人在历史上自称为“胡”,另有说法为鹘人的错写,因为草原游牧民族多有养鹰的传统,秦
  • 矿床学经济地质学,俗称矿床学,研究对经济工业有影响的地球资源。这些资源包括贵金属,基本金属,非金属矿产,建筑石材,油气,煤炭和水。
  • 沙鼠见内文。沙鼠(学名:Gerbillinae)是一个包含约110个物种的亚科,生存于非洲、印度以及其他亚洲地区。以下分类群在中文里皆可能被称为“沙鼠”。
  • 宋子良宋子良(1899年-1987年5月11日),民国时期的实业家、银行家,籍贯海南文昌县,出身著名的宋嘉澍家族。父亲宋嘉澍是美南监理会(今卫理公会)的牧师,后经营出版业致富,资助孙中山革命,母亲倪
  • 哈罗德·霍尔特哈罗德·爱德华·霍尔特,CH(Harold Edward Holt,1908年8月5日-1967年12月17日),第17任澳大利亚总理,澳大利亚自由党政治家。1966年起任自由党领袖和澳大利亚总理,1967年在维多利亚州
  • 长沙晚报长沙晚报,1956年7月1日由长沙晚报报业集团创办,为湖南省长沙市市级报刊之一。长沙晚报创刊于1956年7月1日,最初叫做《长沙日报》。1961年1月,《长沙日报》改为《长沙晚报》。文