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

相关

  • 免疫抑制药物免疫抑制剂(英语:Immunosuppressive drug)是对免疫系统有免疫抑制效用的物质,分为外原的免疫抑制药,一类压制人体免疫反应的相关药物,用于器官移植与各种自体免疫疾病。和内原的免
  • 流汗汗液,或汗,是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水,约占总成分的98%到99%,其余物质为氯化钠,极少量的尿素、氨和其他盐类
  • 奥地利面积以下资讯是以2019年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018
  • 食品添加剂食品添加剂是为了保持味道或增强口感、改善外观添加到食物中的物质。 一些添加剂已经使用了几个世纪;例如,(用醋)腌制、盐腌来保存食物(如腌肉),糖果的保存以及用二氧化硫来保存葡
  • 透析透析是利用半透膜将小分子和大分子分离的一种技术。在医学中,透析被用来代替因为肾衰竭而丧失功能的肾,俗称“洗肾”。透析可以被用来救助突然的暂时丧失其肾功能的病人(急性肾
  • 火鸡野生火鸡 Meleagris gallopavo 眼斑火鸡 Meleagris ocellata火鸡(英语:turkey),又名七面鸟或吐绶鸡,是一种原产于北美洲的家禽。火鸡体型比一般鸡大,可达10公斤以上。根据传统,美国
  • 希尔德里克一世希尔德里克一世(法语:Childéric Ier,440年-481年6月26日),自457或​​458年起任萨利昂法兰克人国王。他的名字来自法兰克语hild-“战斗”和-rik“强大”,Childericus是其拉丁文形
  • 灰质灰质(英语:Gray matter),又称为皮质(英语:Cortex),是一种神经组织,是中枢神经系统的重要组成部分。灰质由神经元,神经胶质细胞,微血管组成。灰质的灰色源于神经元的细胞体和微血管。中
  • 马桶坐垫纸马桶座垫纸是一种可用来覆于马桶座垫上的纸张。通常使用的原因是出于卫生考虑。但近期却有观点认为人们高估了马桶的致病几率,并称马桶座垫纸的心理安慰作用大于实际作用。20
  • 互补分布在语言学中,当两个语言成分(辅音、元音、词素等)不能在同一个环境中出现,即处于互补分布。当两个以上的语音成分处于互补分布时,这两种成分一般可以视为同一个音位的条件变体。但