首页 >
类
✍ dations ◷ 2025-11-28 13:37:28 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 中国饮食 - æœé¥° - å»ºç‘ - 文物 - 节日 - 教育 ç§‘å¦ - äº”æœ¯ï¼ˆåŒ»å¦ - 术数) - æ
- 造影剂造影剂也称为对比剂、㫫影剤,是一种X光无法穿透的药剂,用于让体内器官在X光检查时能看得更清楚。例如消化道摄影时,医师会让患者喝下一杯造影剂溶液(大多含钡),然后用各种角度照相
- 鳃鳃是一种器官,很多水生动物依靠它将溶解在水中的氧气吸收到血液中。这种呼吸方式被称为鳃呼吸。最近的研究表明,鳃的进化起初并非为了呼吸,而是用来调节体液平衡,避免脱水。鳃被
- 刚果共和国面积以下资讯是以2018年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018
- 后述心电图(Electrocardiography、ECG 或者 EKG)是一种经胸腔的以时间为单位记录心脏的电生理活动,并通过皮肤上的电极捕捉并记录下来的诊疗技术。这是一种无创性的记录方式。Elect
- 法兰克-史达林机制Frank–Starling机制(英语:Frank–Starling mechanisms),是心脏的一种代偿机制。指的是心脏的每搏输出量在所有其他因素保持不变的情况下,会随着心脏前负荷(心肌在收缩前所承受的
- 北亚/西伯利亚北亚是亚洲次区域,由西伯利亚和俄罗斯远东组成,位于乌拉尔山脉以东、以及阿尔泰山脉以北。该区域因全属俄罗斯领土,有时也被称为亚洲俄罗斯(相对于西部较小但人口密度较高的欧洲
- 理发师理发师是一种职业,负责简单的理发。理发师与发型师不同,理发师通常只会帮男士进行简单的修剪头发或剃发,而发型师则会提供发型设计。理发师在中国古代有多种称呼,包括剃工、待诏
- 割礼割礼(又名包皮切割),天主教名割损,是一种宗教仪式,通常是指对男孩施行的割礼,方法是把阴茎上的包皮割去。早期的山洞壁画和古埃及坟穴已有关于割礼的描述,中东的不少宗教也有施行割
- 全身放射治疗全身放射治疗(Total body irradiation,TBI),又称全身辐照,是造血干细胞移植或骨髓移植前进行的一种放射疗法。它会对人体全身进行放射治疗,但肺部通常需要使用肺遮罩重点防护,以避
