首页 >
类
✍ dations ◷ 2025-01-22 15:47:49 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 盛行率盛行率(英语:prevalence rate,又称流行率、患病率)在流行病学中是指某特定时间总人口中患有某病或症状的人口所占比例。盛行率的计算方式是将一研究中,发现有特定病症的人数除以
- 人类免疫缺乏病毒人类免疫缺陷病毒(英语:human immunodeficiency virus,簡稱HIV,又称艾滋病毒)是一种感染人类免疫系统细胞的慢病毒,属逆转录病毒的一种。普遍认为,人类免疫缺陷病毒的感染导致艾滋
- 圣奥古斯丁县圣奥古斯丁县(San Augustine County, Texas)是美国德克萨斯州的一个县。面积1,534平方公里。根据美国2000年人口普查,共有人口8,946人。县治圣奥古斯丁(San Augustine)。成立于18
- PubChemPubChem,即有机小分子生物活性数据,是一种化学模组的数据库,目前由美国国家生物技术信息中心维护。PubChem可经由网站直接存取,数以百万计的化学组成资料集可经由FTP免费下载。
- 拜占庭拜占庭(希腊语:Βυζάντιον,拉丁语:Byzantium)是一个古希腊城市,也为现今土耳其伊斯坦布尔(君士坦丁堡)的旧名,相传是从墨伽拉来的殖民于公元前667年建立的。拜占庭的名字据说
- 品牌产品 · 定价 · 分销 服务 · 零售 · 宣传 品牌管理 · 大客户营销 营销道德 · 营销效果 营销调查 · 市场调查 市场划分 · 营销战略 市场优势 · 操
- 沟通障碍沟通障碍指的是任何会影响到个人有效在对话中理解、表达或应用的语言和语音与他人沟通之能力的障碍。 此类的迟缓或障碍的类型可能从简单的语音取代,到无法理解或使用一个人
- 鞭虫鞭虫是一种圆虫(一种寄生虫),因为其形状与鞭子相似而被称为鞭虫。
- 日德兰语日德兰语(Jysk,宽式IPA:/ˈjysg̊/)属于印欧语系-日尔曼语族-北日尔曼语支-丹麦语,是通行于丹麦王国西部日德兰半岛的方言,也零星通行于德国境内的部分地区。日德兰语发音与标准丹麦
- 尤卡吉尔语系尤卡吉尔语系是俄罗斯尤卡吉尔人(西伯利亚人之一)的几种语言,他们生活在科雷马河(Kolyma)盆地。现时只有北尤卡吉尔语和南尤卡吉尔语两种语言存在。其他的已经消亡。这些语言与其