首页 >
类
✍ dations ◷ 2025-11-26 08:08:32 #类
在集合论及其数学应用中,类是集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格(英语:Free_lattice#The_complete_free_lattice)。真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类;而在元语言中,类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式;类在此一理论中是基础的物件,而集合则被定义为可以是其他某些类的元素的类。真类,则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中,“真类”的概念依然是有意义的(不是任一堆事物都会是集合),但对集合特质的认定并非依据其大小。例如,所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义,最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合,又或者会是个更为模糊的概念。
相关
- 金刚烷胺金刚烷胺(英语:Amantadine,常用名金刚胺)是美国FDA所批准的抗病毒和抗帕金森病药。金刚乙胺与金刚烷胺有着相似的结构和性质。根据美国疾病控制与预防中心的数据,100%的季节性H3N
- 呼吸困难呼吸困难(拉丁语:Dyspnea或Dyspnoea)、呼吸急促或空气饥是患者一种自觉症状,病人一般可自己觉察到呼吸困难,但外界不易观察出来。一般而言重体力劳动等带来的呼吸困难是正常症状,
- 营养体营养体(Trophosome;源自trophē),亦作滋养体,是一种在部分原口动物(例如:须腕科物种)体腔(英语:coelomic cavity)内的深绿棕色海绵组织器官,用来储存内共生细菌,以为其宿主提供完全营养。
- 旁分泌旁分泌(英语:paracrine)是指细胞分泌物不进入血液循环,而是通过扩散作用作用于邻近靶细胞,进行细胞间信号传递的分泌方式,这种信号传递方式可以控制靶细胞的生长和功能。例如,肿瘤
- 纽约总部联合国总部大楼(亦称联合国大厦)是联合国总部的所在地,位于美国纽约市曼哈顿区东侧,属于国际领土,因此只要是会员国国民持有护照就可以进入,包括与美国无邦交的联合国会员国。从联
- 采血静脉穿刺是以静脉注射或静脉血采样为目的而进行的刺穿静脉的医学操作。在所有入侵性医学流程中,静脉穿刺是最常见的一种。静脉穿刺的作用有很多,比如为诊断目的检测血液中的重
- 哭泣哭,是人类生理情绪的一种表达或表露,亦是人类表达、宣泄情感的一种方式。一般定义为由于痛苦或激动而流泪出声。亦有研究指出除人以外的其他哺乳类动物也会哭, 如狗和猫。哭除
- 尿潴留尿潴留(英语:renal retention或 urinary retention),又称尿滞留、尿液滞留,是膀胱内的尿液无法排出的状况,最常见的原因是良性前列腺增生症。正常成年男性的膀胱涨满时,容积约为500
- 安东尼·范卢文霍克安东尼‧菲利普斯·范‧列文虎克(荷兰语:Antonie Philips van Leeuwenhoek;1632年10月24日-1723年8月26日)是一位荷兰贸易商与科学家,有光学显微镜与微生物学之父的称号。最为著名
- 后置词后置词(postposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置、时间、作用对象或行为主体等。与前置词相反,后
