首页 >
类
✍ dations ◷ 2025-12-03 06:23:07 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 嗜肺军团菌嗜肺军团菌是一种有鞭毛,革兰氏阴性,军团菌属多形态性的短小球杆菌。嗜肺军团菌是一种原发的人类病原体,会引发军团病。嗜肺军团菌不抗酸,无孢子,无荚膜,类似于杆菌。不能分解明胶
- 食欲不振食欲不振(英语:Anorexia),也作食欲减退、食欲缺乏,民间常称“没胃口”,是指食欲降低的一种症状。虽然在许多非科研出版物中该词也可指代神经性厌食症,但是食欲不振的成因却多种多样
- 蛋白酶蛋白酶(英语:protease)是生物体内的一类酶(酵素),它们能够分解蛋白质。分解方法是打断那些将氨基酸连结成多肽链的肽键。蛋白酶是重要的工业酶,占全球总酶销售量约六成,其中七成用于
- 血红蛋白血红蛋白,又称血红素,俗称血色素,(Hemoglobin(美国) 或 haemoglobin(英国) (/ˈhiːməˌɡloʊbᵻn, ˈhɛ-, -moʊ-/);缩写︰Hb 或 Hgb)是高等生物体内负责运载氧的一种蛋白质。可
- 抗菌药抗细菌药(英语:antibacterial)也称为“抗细菌剂”,是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下,抗细菌药也可简称为“抗菌药”,包括抗生素(英语:antibiotic) 由微
- 专性厌氧微生物专性厌氧菌(obligate anaerobes)是一类仅能进行无氧呼吸,且无法在正常大气(氧含量21%)等富氧环境下存活的微生物。这类生物对氧气的耐受力不同,部分专性厌氧菌可以在氧含量达8%的
- 官方语言联合国正式语文有6种,用于联合国会议,联合国所有正式文件皆以这6种语文书写。以拉丁字母顺序排列分别为:这些语言在联合国各个机构的会议上使用,特别是联合国大会(《议事规则》第
- 熔融状态熔化是指物质由固态转变为液态的一个过程(又称熔解,其中冰的熔化又写作融化、融解)。固态物质中的内能增加(通常借由加热或加压)至一特定的温度(称之为熔点),在该温度下(或对于非纯物
- 兴庆区兴庆区,即原城区或老城区,是中华人民共和国宁夏回族自治区银川市辖下的一个区,因西夏时期的兴庆府而得名。面积共757.6平方公里,人口约41万。银川市兴庆区,是该自治区的首府银川
- 第二语言习得第二语言习得(英语:Second-language acquisition,又译“第二语言获得”、“二语习得”),指人们学习第二语言的过程。第二语言获得(常缩写为SLA)同时亦指研究这一过程的科学学科。第
