类 (数学)

✍ dations ◷ 2025-04-04 20:18:43 #集合论基本概念,类的理论,罗素公理体系,范畴论

在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。

在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。

真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。

标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。

在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。

“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。

相关

  • 460–519医学导航: 呼吸系统解剖(n, x, l, c)/生理/发育病理(c, p)/先天/肿瘤, 症状/人名体征, 创伤手术, 药品(R1/2/3/5/6/7)
  • 伪麻黄碱伪麻黄碱(伪麻黄素,Pseudo-ephedrine,PSE)是一种苯乙胺、苯丙胺类拟交感神经药,可作为鼻腔或鼻窦的减充血剂。盐酸伪麻黄碱(pseudoephedrine hydrochloride)与硫酸伪麻黄碱(pseudoep
  • 日本语系日琉语系,或者称作日本-琉球语系,是学者提出的一个语系,包含日语和琉球语两大分支。日琉语系这个概念由美国的日本学者Leon Serafim提出。日琉语系的所有语言的祖语都是原始日本
  • 语言学史语言学是一门用来描述与说明人类有关语言官能的学问。在古代文明,语言学源于正确描述古典礼拜仪式的语言,比如波你尼(公元前4世纪)对梵文语法的研究,又或是希腊语言在逻辑及修辞
  • 鼓部,为汉字索引中的部首之一,康熙字典214个部首中的第二百〇七个(十三划的则为第三个)。就繁体和简体中文中,鼓部归于十三划部首。鼓部只以上方为部字。且无其他部首可用者将部
  • 新加坡港新加坡港,位于新加坡南部沿海,是世界上第二繁忙的港口,仅次于上海港。该港扼太平洋及印度洋之间的航运要道,战略地位十分重要。主要工业以电子电器、炼油及船舶修造为三大支柱部
  • 低山低山指绝对高度为500-1000m,相对高度为200-500m,平均坡度5°-10°的山地,有些低山也可能比较陡峭。中国东部的低山分布较为广泛。低山的形体一般比较圆滑,常为缓坡,由山麓堆积物
  • 鬼笔属鬼笔属(学名:Phallus)属鬼笔目鬼笔科,其中大部分种具有恶臭且有毒,白鬼笔是著名的食用菌,红鬼笔可药用,而近期发现的新种食用菌香鬼笔具有丁香花香气。长裙竹荪和短裙竹荪在目前的
  • 作业研究运筹学(Operations Research,又被称作作业研究),是一门应用数学学科,利用统计学和数学模型等方法,去寻找复杂问题中的最佳或近似最佳的解答。运筹学经常用于解决现实生活中的复杂
  • 亚欧混血亚欧混血指同时拥有亚洲和欧洲(或蒙古人种、高加索人种)的血统之人。世界上最多的亚欧混血人群在中亚和菲律宾,其次是荷兰和美国。而新加坡也有不少人是亚欧混血人。