✍ dations ◷ 2025-11-15 09:09:09 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。

相关

  • 病理学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学病理学(pathology)是医学领域的一门分支
  • 分子量分子量,又称“相对分子质量”,指组成分子的所有原子的原子量的总和,分子量的符号为Mr。定义为物质分子或特定单元的平均质量与12C质量的1/12之比值。由于是相对值,所以为无量纲
  • 骨软骨炎骨软骨炎(英语:Osteochondritis)是一种疼痛的幼年型骨软骨病(英语:Osteochondrosis),是关节内的软骨或骨骼的炎症。通常是指剥脱性骨软骨炎。“剥脱性”一词指的是“新生软骨瓣从软
  • 肾上腺素能受体激动剂肾上腺素能受体(英语:Adrenergic receptors,或称为肾上腺素受体)是一类接受儿茶酚胺类物质刺激的代谢型G蛋白偶联受体,所接受的儿茶酚胺类主要是去甲肾上腺素以及肾上腺素。尽管
  • 勃朗特三姐妹勃朗特三姊妹(英语:Brontë family or The Brontës),是三位英国著名文学女作家,并且是亲生三姊妹,分别是:1847年,夏洛蒂的《简·爱》,艾米莉的《呼啸山庄》,安妮的《荒野庄园的房客》
  • 金刚烷衍生物金刚烷(化学式:C10H16,三环癸烷)是无色晶状固体,有樟脑气味。化学性质稳定,对光稳定,亲油性强,天然存在于石油中。它是分子式为C10H16的异构体中最稳定的。金刚烷的碳架结构相当于是
  • 大使馆外交代表机构,通常称为领使馆、使领馆等,是一个国家驻外外交人员居住与工作的地方,可分为大使馆、公使馆、高级专员公署(西班牙语:Alto Comisionado)等种类。外交代表机构通常设在
  • 醋酸乙酸,也叫醋酸,化学式CH3COOH,是一种有机一元酸和短链饱和脂肪酸,为食醋内酸味及刺激性气味的来源。纯正且近乎无水的乙酸(含水量1%以下)称为“冰醋酸”,为无色的吸湿性固体,凝固
  • 代谢疾病代谢疾病(代谢病)是一种影响人类(或动物)细胞生产能量的障碍,又称为新陈代谢失调症。大部分代谢疾病都是遗传性疾病,而有部分是从饮食、毒素、感染等而有。遗传性的代谢疾病一般
  • 原型语义学原型理论(prototype theory)在认知科学中,是一种分级归类的模式。在这种模式中,在同一个范畴中,某些项目会比其他项目更为核心。例如,当我们想到家俱这个概念的时候,椅子会比起板凳