词义说明
本义为数学术语,指在一个集合上定义了等价关系后,所有相互等价的元素构成的子集。例如整数按模n同余关系划分,得到n个等价类。引申义可指代任何按某种标准归为一类的对象,如编程中按哈希值相等的对象归为同一等价类。核心在于“等价”的划分,强调内部元素共性及类间互斥。
英 /ɪˈkwɪvələns klɑːs/美 /ɪˈkwɪvələns klæs/
n. 名词
等价类;数学中按等价关系划分的集合
本义为数学术语,指在一个集合上定义了等价关系后,所有相互等价的元素构成的子集。例如整数按模n同余关系划分,得到n个等价类。引申义可指代任何按某种标准归为一类的对象,如编程中按哈希值相等的对象归为同一等价类。核心在于“等价”的划分,强调内部元素共性及类间互斥。
“equivalence”源自拉丁语“aequivalentia”(同等价值),由“aequus”(平等)和“valere”(价值)构成。“class”源自拉丁语“classis”(类别)。组合后表示“相等的类别”。记忆时可拆解为“equivalence”(等价)+“class”(类),理解为“等价关系下的类别”。
主要用于数学、计算机科学、逻辑学等学术领域,如抽象代数、集合论、离散数学中。在学术写作中,它是严格定义的技术名词;在编程和数据库设计中,也用于讨论数据分组或等价性。日常口语或一般文章中极少使用,若出现多为比喻义,但需谨慎以免造成误解。
作为名词,常作主语或宾语。常见句型:"The equivalence classes of a set under an equivalence relation partition the set."(在等价关系下,集合的等价类划分该集合。)易错点:单复数——可数名词,复数形式为“equivalence classes”。注意搭配介词“under”(在...关系下),或“with respect to”。
与“partition”(划分)相关,但“partition”指划分行为或结果,而“equivalence class”特指划分后的子集。与“category”(范畴)区别:“category”更宽泛,不强调等价关系;“equivalence class”严格依赖等价关系定义。在数学中,与“orbit”(轨道)在群作用下有联系,但“orbit”是特定群作用下的等价类。
属于正式学术用语,语域较高,不宜用于日常非正式交流。没有褒贬色彩。常见误用:混淆等价关系与相等关系;误以为一个集合只能有一种等价类划分;在非数学语境中滥用。使用时应明确所指的等价关系,否则概念不成立。