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

相关

  • 百日咳百日咳(Pertussis)是一种高度传染性的细菌性传染病。一开始的病征通常类似于普通感冒,会有流鼻水、发烧和轻微咳嗽等症状。之后几周会伴随着剧烈咳嗽,就连呼吸时也会发出高音调
  • 钙离子通道阻滞剂钙离子通道阻滞剂(英语:calcium channel blocker,CCB、calcium channel antagonists 或 calcium antagonists)是阻断钙离子经过细胞膜上的钙离子通道进入细胞的药物。 钙离子通
  • 博特氏病博特氏病(英语:Pott disease 或 英语:Pott's disease)是一种发生在椎骨(肺部以外)的结核菌感染。结核病能影响数种肺部以外的组织,包括脊椎,这是一种结核菌引起的椎间关节炎。此病是
  • 消瘦消瘦(英语:emaciation)被定义为由于皮下脂肪和身体肌肉的损失导致过度的体重减轻和不自然的羸瘦。过度的消瘦会影响到人类和动物的健康。消瘦是由严重的营养不良和饥饿引起的。
  • 渗透压渗透压(osmotic pressure)是施加到溶液上以防止溶剂经选透膜内流的最低压力。在U型管实验时,当渗透持续进行至两液面高度不再变动时,此时两液柱之压力差称为渗透压。渗透压的大
  • 生活质量指数经济学人信息社的最佳出生地指数(曾称生活质量指数)是一个使用独特方法来计算的指数,目的是得出各国能提供健康,安全,富裕生活的程度,得分因素包括主观的生活满意度调查和客观的生
  • 酮糖酮糖(英语:Ketose)是一种单糖,每一个糖分子含有一个酮基。类单糖,该单糖中氧化数最高的C原子(指定为C-2)是一个酮基。例如果糖与山梨糖。“多羟基酮”称为酮糖,如二羟丙酮、赤藓酮糖
  • 南南合作由于世界上的发展中国家绝大部分都处于南半球和北半球的南部分。于是从1960年代开始,这些国家之间为摆脱发达国家的控制,发展民族经济,开展专门的经济合作,即称为南南合作。例如
  • 输卵管输卵管,是人和动物体内携带卵子从卵巢传递到生殖系统其他部分(对哺乳动物来说,主要是子宫)或外部的管道。女人的输卵管位于骨盆腔内,左右各一,一端膨大呈喇叭状,开口于腹腔,接受来自
  • 次协调逻辑次协调逻辑是尝试处理矛盾的逻辑。次协调逻辑是不琐碎的(non-trivial)逻辑,它允许矛盾。更加特殊的,它允许断言一个陈述和它的否定,而不导致谬论。在标准逻辑中,从矛盾中可以推导