万维百科

等价关系

等价关系(equivalence relation)即设是某个集合上的一个二元关系。若满足以下条件:

  1. 自反性:
  2. 对称性:
  3. 传递性:

则称是一个定义在上的等价关系。习惯上会把等价关系的符号由改写为

例如,设,定义上的关系如下:

其中叫做模3 同余,即除以3的余数与除以3的余数相等。例子有1R4, 2R5, 3R6。不难验证上的等价关系。

并非所有的二元关系都是等价关系。一个简单的反例是比较两个数中哪个较大

  • 没有自反性:任何一个数不能比自身为较大(
  • 没有对称性:如果,就肯定不能有

不是等价关系的关系的例子

  • 实数之间的"≥"关系满足自反性和传递性,但不满足对称性。例如,7 ≥ 5 无法推出 5 ≥ 7。它是一种全序关系

参见

外部链接


本页面最后更新于2021-09-15 06:21,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器