首页 >
类
✍ dations ◷ 2025-06-27 16:26:50 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 结膜炎结膜炎(英语:Conjunctivitis,亦称Pink Eye),俗称红眼症,是一种发生在结膜的炎症,也会发生在眼睑内侧表面,会让眼睛泛红或带有粉红色,可能会很痒、疼痛、有灼热感或搔痒感,罹患结膜炎的
- 酒精乙醇(英语:Ethanol,结构简式: CH 3
- 社会生物学实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性
- M+-6-[(2R,3S,4R,5R,6R) -4,5,6-trihydroxy-2-(hydroxymethyl)oxan-3-yl]oxyoxane -3,4,5-triol麦芽糖(英语:Maltose)又名胶饴,其色紫凝如深琥珀色,色白而枯者,为饧糖不入药用。 是
- 小纺锤菌纲小纺锤菌科(Atractogloeaceae) 石花菌科(Mycogelidiaceae) 锤耳科(Phleogenaceae)小纺锤菌纲(学名:Atractiellomycetes)是担子菌门柄锈菌亚门下的一个纲。该纲仅含一目,即小纺锤菌目(学
- 含糖饮料税含糖饮料税或汽水税是为了打击含有游离糖的饮料消费量的税或附加费。其涵盖范围通常包括碳酸饮料、非碳酸饮料、运动饮料及能量饮料。这种税在许多地区是公众论辩议题,可口可
- 颗粒剂中药配方颗粒、中药免煎颗粒,是指“供配伍用中药颗粒”,即是将单味或复方中药材,利用颗粒剂的工艺技术,经水煎煮抽提、过滤、浓缩后,再制成颗粒,使相关药材能以温水冲溶口服,方便储
- 男性生殖器官男性生殖系统是由男性许多生殖器官或组织组成,和人类繁殖有关的系统。有些在体外,有些则在骨盆腔内。男性主要的性器官是制造精子的睾丸,以及分泌精液的阴茎,在和女性性交,精子可
- 音节音节(英语:syllable)是构成语音序列的单位,也是语音中最自然的语音结构单位。例如:英语单词“water”(.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Lib
- 规范语素规范语素(英语:Bound morpheme)又称不自由语素、黏着语素,在语言学中,指不能独立存在,必须附属于其他语素或词根的语素。 与此相对的是自由语素。 以英语为例,大多数词缀都是规范语