类

✍ dations ◷ 2024-12-22 13:06:41 #类

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

相关

头孢唑林头孢唑林（英语：Cefazolin，cefazoline 或 cephazolin），是一种用于治疗多种病原细菌的抗细菌药，尤其针对蜂窝组织炎、泌尿道感染、肺炎、心内膜炎、败血性关节炎及胆道发炎（英语：bilia
天气天气是大气状态的一种表征，反映大气是冷还是热、是干还是湿、是平静还是狂暴、是晴朗还是多云等等。绝大多数天气现象发生在平流层之下的对流层。天气通常指每天的温度和降水
蛋白质A蛋白质A（英语：Protein A）为金黄色葡萄球菌表面上发现的一种表面蛋白，大小约为42 kDa。该蛋白由 spa 基因转译而成，并由DNA的拓朴结构、包内渗透压，以及一个名为ArlS-ArlR的双单元
细胞素细胞因子（英语：cytokine，又称细胞介素、细胞激素、细胞素、细胞活素），是一组蛋白质及多肽，在生物中用作信号蛋白。这些类似激素或神经递质的蛋白用作细胞间沟通的信号。细胞因子多
致死量致死量（英语：lethal dose、简写为 LD）是指特定物质或是辐射可造成死亡的量。对于不同的动物，或是其他条件差异（如年龄、健康状态等）而言，同一物质所能致死的量并不一定。这些数值多
共价化合物共价键（英语：covalent bond），是化学键的一种。两个或多个非金属原子共同使用它们的外层电子（砷化镓为例外），在理想情况下达到电子饱和的状态，由此组成比较稳定和坚固的化学结构叫做
阿纳帕阿纳帕（俄语：Ана́па）是俄罗斯克拉斯诺达尔边疆区的一个城市，是黑海沿岸的渡假胜地。2002年人口53,493人。阿纳帕交通设施有阿纳帕机场、火车站，一座小吨数轮船停靠之国际海
梅格洛玻利斯梅格洛玻利斯（希腊语：Μεγαλόπολη）是希腊南部阿卡迪亚州西南部的一个城镇。该城始建于公元前371年，是当时该地区最早实现城市化的地方。著名历史学家波利比乌斯即生于
动物交流动物交流是指一个或一群动物（发送者）与一个或更多动物（接收者）之间的信息传递，可改变接收者当下或未来的行为。信息传递可以是有意的，如求偶表演，也可以是无意的，如捕猎者闻嗅猎物气
集合名词集合名词（英语：Collective noun）是语言学上的一个专有名词，意指一种可用来指称一群对象的字，而这些对象，可以是人、动物、或是一群概念等事物。举例而言，在英语中，“一群狮子”可称