类 (数学)

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

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

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

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

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

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

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

相关

  • 副木夹板、副木(英语:Splint),亦称夹,为一种硬性或有弹性的装置,可将移位的或可动的身体部位保持在适当位置,也能对受伤部位提供保护。副木可用于严重程度不至于需要固定整个受伤部位的
  • 4-雄烯二醇4-雄烯二醇(英语:4-Androstenediol,也被称为雄甾-4-烯-3β,17β-二醇,androst-4-ene-3β,17β-diol)是一种可以转化为睾酮的雄烯二醇,由于使用了不同的酶途径,其转化率约为15%,是4-
  • 狮甲狮甲站是高雄捷运红线的一座捷运车站,位于高雄市前镇区中山二路及复兴三路、民权二路一带,古代为戏狮甲庄的大林尾聚落;而古代戏狮甲庄的戏狮甲聚落位于今一心路于文横至林森路
  • 核时标核时标是在天文物理学中纯粹基余核燃料消耗速率估计的恒星寿命。如果假设的条件能够满足,热和力学时标是用来估计个别恒星处在生命阶段的哪一个时期,和恒星寿命的某一个阶段。
  • 台湾流行音乐博物馆台湾流行音乐博物馆,为筹设中的台湾第一座流行音乐博物馆,目前已于台北市设立台湾流行音乐博物馆筹备处,并于2014年8月开始展开各项研究、展览规划、典藏计划、推广教育等,是以
  • 辩护人《辩护人》(韩语:변호인)是一部2013年上映的韩国电影。以1980年代第五共和国初期发生于釜山的釜林事件为背景,讲授一名税务律师因为突如其来的案件,决意冒着得罪独裁者的风险,投身
  • 萨瓦电台萨瓦电台(阿拉伯语:راديو سوا‎,英语:Radio Sawa)是美国的一家电台,隶属于“中东广播网”(Middle East Broadcasting Networks,美国广播理事会下属机构),由美国国会全额拨款,使
  • 苏城苏城(英语:Sioux City),美国艾奥瓦州西北部城市,伍德伯里县县治所在处。苏城位于密苏里河上游沿岸,地处艾奥瓦州、内布拉斯加州与南达科他州交界处,其与周遭地区经常合称为苏兰(Siou
  • 虾米音乐虾米音乐是中国一个的以提供MP3格式音乐的推荐、发布、P2P下载服务,以及线下音乐活动等互动内容的网站。2013年被阿里巴巴集团全资收购,现时为阿里巴巴旗下网站。2019年,与广洲
  • 美国人口史作为一个殖民地,英属北美的各个省份通常较早的发展城市。在1880年到1900年间,美国的城市人口比率从28%上升到40%,1920年达到50%,部分是由于欧洲移民的缘故。在1890年后,美国的农