首页 >
类
✍ dations ◷ 2025-12-05 18:12:30 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 自体免疫缺乏免疫缺陷(英语:immunodeficiency)是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性(secondary)免疫缺陷,不过也有些人生来就有
- 红斑性狼疮红斑狼疮(Lupus erythematosus)为一系列自体免疫性疾病的统称,即免疫系统非正常地攻击自身正常组织。症状可能会发生于全身各处,包含关节、皮肤、肾、血球、心脏,以及肺。最常见
- 红孩症夸休可尔症(英语:Kwashiorkor),即恶性营养不良,又称蛋白質缺乏症,台湾亦称作红孩儿症,是一种营养不良症,其致病原因尚有争议,目前普遍认为是由于蛋白质摄入不足而导致。此病症通常发
- 咸丰帝清朝第9位皇帝孝钦显皇后叶赫那拉氏咸丰帝(1831年7月17日-1861年8月22日),爱新觉罗氏,名奕
- 悬浮偶极悬浮偶极(Levitated dipole)是一种核聚变实验,将超导圆环设置于反应器内部。超导圆环将产生轴对称磁场,类似于地球或木星的磁层。据信这样的装置可以比其他聚变反应器设计更有效
- 蟾毒色胺蟾毒色胺(bufotenin、5-HO-DMT、bufotenine)是一种与血清素相关的色胺类物质,是存在于某些蟾蜍皮肤(得名于蟾蜍属)、蘑菇、高等植物和哺乳动物中的生物碱,结构与二甲基色胺、脱磷
- 萨摩斯岛萨摩斯岛(Σάμος),是希腊第9大岛屿,位于北爱琴、希俄斯岛以南,帕特莫斯岛和多德卡尼斯以北,东临安纳托利亚海岸。该岛面积478平方千米,岛上人口33,814人,是第9多人居住的岛屿,首
- Netscape Plugin Application Programming Interface (NPAPI)网景插件应用程序接口(英语:Netscape Plugin Application Programming Interface,缩写:NPAPI)是一个跨平台的通用浏览器插件应用程序接口(API)。1995年由网景公司发布,应用于网景导
- 认知认知或认识(英语:cognition)在心理学中是指通过形成概念、知觉、判断或想象等心理活动来获取知识的过程,即个体思维进行信息处理的心理功能。认知过程可以是自然的或人造的、有
- 代词代名词'在语言学和语法学中是指代替名词或名词短语的形式词(是否附加限定词各个语言不同),如中文的“你”、“我”、“他”,英文的 “pronoun”法语的“nous”、“elle”等。问
