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

相关

  • 大脑大脑(英语:Cerebrum),由左右两个大脑半球组成。将两个半球隔开的是称为大脑纵隔的沟壑,两个半球除了胼胝体相连以外完全左右分开。半球表面布满脑沟,沟与沟之间所夹细长的部分称为
  • 维生素Bsub12/sub缺乏症维生素B12缺乏症指的是血液中维生素B12含量过低的情况。此病症状广泛,可致思考能力下降、人格改变(如抑郁、易怒、思觉失调)、感觉异常(英语:Paresthesia)、反射改变、肌肉功能减
  • 4-AcO-MiPTN-甲基-N-异丙基-4-乙酰氧基色胺(4-acetoxy-N-methyl-N-isopropyltryptamine 或 4-AcO-MiPT)是一种迷幻性色胺。到目前为止,有关其药理与毒性的认知不多。在瑞典,当局以危害健康
  • Po6s2 4f14 5d10 6p42, 8, 18, 32, 18, 6蒸气压主条目:钋的同位素钋是化学元素,化学符号Po,原子序84,是一种稀有且具有高度放射性的银白色金属元素(有时归为类金属),对人类极为危险。
  • 《格雷氏解剖学》《亨利·格雷氏人体解剖学》(英语:Henry Gray's Anatomy of the Human Body),通常简短地写成《格雷氏解剖学》(Gray's Anatomy),是一部英语人体解剖学教科书,解剖学的经典著作之一。
  • 人类腿部,或称人腿,一般指的是人体的整个下肢部分,包括足部、大腿甚至髋关节等。然而,人体解剖一般谈及“人腿”时,指的只是从膝盖到脚踝的这一段下肢,也称“小腿”。腿部在站立以
  • 俄语俄语(俄语:ру́сский язы́к,罗马化:russkij jazyk,发音),中文也称俄文,为联合国官方语言之一。俄语属于斯拉夫语族的东斯拉夫语支,是斯拉夫语族中使用人数最多的语言,是俄
  • 电灯电灯或称电火,是人造光源之一,是种将电能转化为光能的设备,用于指示或者照明。其中,用电流把常常以钨制成的灯丝加热到白炽状态后用来发光的灯叫白炽灯。灯泡内填充了卤素和惰性
  • 述宾短语述宾短语,或称述宾词组,是短语的结构分类之一,它是由两个成分以“支配、关涉”的关系组成的一类结构:前面是述语,后面是宾语。宾语是述语所表示的动作或现象所支配或关涉到的对象
  • 迷因体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种