首页 | 主题 | 图库 | 问答 | 文摘 | 原创 | 百科

历史 | 地理 | 人物 | 艺术 | 体育 | 科学 | 音乐 | 电影 | 信息技术 | 世界遗产

 开放、中立,源自维基百科

个人工具


等价关系

维库,知识与思想的自由文库

跳转到: 导航, 搜索

R集合 A 上的一个二元关系,若 R 满足:

  1. 自反性:\forall x \in A,~~x R x
  2. 对称性:\forall x, y \in A,~~ x R y ~~ \implies ~~y R x
  3. 传递性:\forall x, y, z \in A, ~~~( x R y ~~ \wedge ~~ y R z) ~~\implies~~x R z

则称 R 是定义在 A 上的一个等价关系

例如,设 A = \{1, 2, \ldots, 8\},定义A上的关系R如下:

R = \{ (x, y) | x, y \in A \wedge x \equiv y (\mod~3) \}

其中x \equiv y (\mod~3) 叫做 xy 模 3 同餘,即 x 除以 3 的餘数与 y 除以 3 的餘数相等。不难验证 RA 上的等价关系。

[编辑] 参见

其它语言
AD Links