类 (数学)

✍ dations ◷ 2025-04-02 16:32:21 #集合论基本概念,类的理论,罗素公理体系,范畴论

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

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

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

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

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

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

相关

  • 体感体感,或称躯体感觉,是触觉、压觉、温觉、痛觉和本体感觉(关于肌肉和关节位置和运动、躯体姿势和运动以及面部表情的感觉)的总称。体感是和特殊感觉相对的一个概念。这些不同的体
  • JAK激酶JAK激酶(英语:Janus kinase,缩写JAK)是一个细胞内非受体酪氨酸激酶家族,介导细胞因子产生的信号,并通过JAK-STAT信号通路传递下去。它们最初被命名为"just another kinase"1和2(因
  • 巨型短面袋鼠巨型短面袋鼠(Procoptodon)是一属生活在更新世澳洲的袋鼠。P. goliah是体型最大的袋鼠,站立时约有3米高,重232公斤。巨型短面袋鼠的面扁平,眼睛向前。每一只脚上只有一只脚趾,就像
  • 国子监国子监是中国隋代以后、朝鲜半岛高丽王朝、越南的中央官学,为中国古代教育体系之最高学府;同时作为当时国家教育的主管机构,隶属礼部。国子监具有一定程度的监国功能,可以弹劾官
  • 环嗪酮环嗪酮(英语:Hexazinone)是一种广谱除草剂,属于三嗪类,性质为无色固体,可溶于水,易溶于烷烃以外的有机溶剂,由陶氏杜邦生产销售,商品名:Velpar。环嗪酮会抑制光合作用,因此是一种非选择
  • 香皂肥皂,又名香皂、雪文(台湾话)、茶箍(台湾话)(但根据中华民国教育部的台湾闽南语常用辞典中指出,茶箍是用压榨茶油时所剩下来的渣滓,再把它压制成坚硬的饼形,可当肥皂用,但与肥皂其实不
  • 阜新矿业学院辽宁工程技术大学, 简称:辽宁工大,原名阜新矿业学院,位于辽宁省阜新市注1;学校创建于1949年,是一所以本科生教育为主,涵盖博士后、博士、硕士、本科、专科等办学层次,拥有工学、理学
  • 亚洲管理研究所亚洲管理研究所(英语:Asian Institute of Management,缩写:AIM)是一所位于菲律宾的商学院和研究中心,乃当前少数于亚洲获得AACSB认证的高等学府。AIM与哈佛商学院有学术合作关系 ,
  • 耶稣基督末期圣徒教会耶稣基督后期圣徒教会(The Church of Jesus Christ of Latter-day Saints),总部位于美国犹他州盐湖城,分支遍及世界。该教会复兴了耶稣最初建立的教会。据该教会统计,该教会拥有7
  • 金日成广场坐标:39°01′10″N 125°45′09″E / 39.01953°N 125.75247°E / 39.01953; 125.75247金日成广场(朝鲜语:김일성광장/金日成廣場)是朝鲜民主主义人民共和国首都平壤市的中央广