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

相关

  • 遗体保存技术遗体保存技术(英语:Embalming)指通过化学药物及其他科学技术的方法,将人的遗体作短期或长期保存,防止遗体腐烂。
  • 自身抗体人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学自身抗体(autoantibody)是一种抗体类型,
  • 全民健康保险全民健康保险,一般简称为“全民健保”或“健保”,是一种强制性保险的福利政策,法源是依据《中华民国宪法增修条文》所实施的全民医疗保险制度。为增进全体国民健康,中华民国于19
  • 退伍军人症军团病,又名退伍军人症是由军团菌引发的非典型肺炎。 其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
  • 假足伪足(英语:Pseudopodia)是细胞伸出类似足状的部分,由原生质体形成的临时细胞器。伪足会依形状分成叶形状伪足、丝形状伪足、根形状伪足,有轴伪足4种。如单细胞生物(变形虫)、黏菌就
  • 磁力共振核磁共振(NMR,Nuclear Magnetic Resonance)是基于原子尺度的量子磁物理性质。具有奇数质子或中子的核子,具有内在的性质:核自旋,自旋角动量。核自旋产生磁矩。NMR观测原子的方法,是
  • 开罗省开罗省(阿拉伯语:محافظة القاهرة‎),是埃及的一个省,位于该国尼罗河三角洲东南角。首府开罗同时也是埃及的首都。开罗省面积3,085平方公里,人口13,000,000人(2006年统
  • 克里米亚克里米亚半岛(又译克里木半岛;俄语:Кры́мский полуо́стров,罗马化:Krymskiy poluostrov;乌克兰语:Кримський півострів,转写:Krymskyi nivost
  • 胶原凝集素胶原凝集素(Collectin,简称胶凝素),是一种可溶性的模式识别受体,属于含有C-型凝集素的胶原蛋白。目前已经有八种胶原凝集素被辨识出来,这包括甘露聚糖结合凝集素(Mannan-binding le
  • 无衬线体无衬线体(英语:sans-serif)指没有衬线的字体,与衬线字体相反,完全抛弃装饰衬线,只剩下主干,造型简明有力,更具现代感,起源也很晚。适用于标题、广告,瞬间的识别性高。在汉字等东亚字体