
在数学和逻辑学中,等价关系(Equivalence Relation) 指在某个集合上定义的一种特殊二元关系,它同时满足自反性(Reflexivity)、对称性(Symmetry)和传递性(Transitivity) 三个基本性质。这种关系将集合中的元素划分为互不相交的等价类,使得同一类内的元素彼此等价,而不同类的元素则不等价。
自反性 (Reflexivity)
集合中的任意元素与其自身等价,即对所有元素 ( a ),满足 ( a sim a )。
数学表达:
$$ forall a in S, quad a sim a $$
对称性 (Symmetry)
若元素 ( a ) 与 ( b ) 等价,则 ( b ) 与 ( a ) 也等价,即 ( a sim b ) 蕴含 ( b sim a )。
数学表达:
$$ forall a, b in S, quad a sim b implies b sim a $$
传递性 (Transitivity)
若 ( a ) 与 ( b ) 等价,且 ( b ) 与 ( c ) 等价,则 ( a ) 与 ( c ) 等价,即 ( a sim b ) 且 ( b sim c ) 蕴含 ( a sim c )。
数学表达:
$$ forall a, b, c in S, quad (a sim b land b sim c) implies a sim c $$
整数模 ( n ) 同余
整数集 ( mathbb{Z} ) 上定义关系 ( a equiv b pmod{n} )(当 ( n ) 整除 ( a-b ) 时成立),是等价关系。其等价类为模 ( n ) 剩余类(如 ( n=3 ) 时分为 , , ))。
来源参考:中科院数学与系统科学研究院《基础数学概念》。
几何图形的全等
平面中所有三角形构成的集合上,“全等”关系(可通过刚体变换重合)满足等价关系的三性质。
来源参考:Wolfram MathWorld "Equivalence Relation" 词条。
集合的等势
若两集合存在双射函数,则称其等势(如 (|mathbb{N}| = |mathbb{Z}|))。该关系是等价关系,等价类为基数相同的集合。
来源参考:Springer《数学百科全书》"Cardinality" 条目。
中文术语 | 英文术语 |
---|---|
等价关系 | Equivalence Relation |
自反性 | Reflexivity |
对称性 | Symmetry |
传递性 | Transitivity |
等价类 | Equivalence Class |
集合划分 | Partition of a Set |
等价关系是抽象代数、拓扑学、离散数学的核心工具,用于构建商空间(如拓扑学中的商拓扑)、定义群同构(如群作用于集合的轨道)等。在计算机科学中,它支撑数据类型抽象(如编程语言的类型等价)和自动机理论的状态等价。
来源参考:中文维基百科“等价关系”词条(数学部分)。
等价关系是数学中用于描述元素间“等同性”的一种重要关系,需满足以下三个基本性质:
equals()
方法需满足自反、对称、传递性)。等价关系通过严格的数学性质,为分类和抽象提供了通用工具,是代数、拓扑等领域的基础概念。
氨基塑料膀胱造影术铂接触传动机皮带轮低温澄清器方头鞋的富耳氏征辅助控制器公司内部存货利润准备横式喷雾室秽语胡椒番荔枝硷交变负载试急速增长的鸡爪ㄚ属雷电突波连多硫酸龙舌兰属氯丙决莽莽免办年度所得税申报面部联胎米距透镜民事法典齐翁氏实验僧帽细胞实得平均数试探法脱甲四环素