Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Equivalence relation"

 
m
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
−
Let <math>S</math> be a set.  A relation <math>\sim</math> on <math>S</math> is said to be an ''equivalence relation'' if <math>\sim</math> satisfies the following three properties:
+
Let <math>S</math> be a [[set]].  A [[binary relation]] <math>\sim</math> on <math>S</math> is said to be an '''equivalence relation''' if <math>\sim</math> satisfies the following three properties:
 +
 
 +
1. For every element <math>x \in S</math>, <math>x \sim x</math>.  ([[Reflexive property]])
 +
 
 +
2. If <math>x, y \in S</math> such that <math>x \sim y</math>, then we also have <math>y \sim x</math>.  ([[Symmetric property]])
 +
 
 +
3. If <math>x, y, z \in S</math> such that <math>x \sim y</math> and <math>y \sim z</math>, then we also have <math>x \sim z</math>.  ([[Transitive property]])
  
−
1. For every element <math>x \in S</math>, <math>x \sim x</math>.  (Reflexive property)
 
−
2. If <math>x, y \in S</math> such that <math>x \sim y</math>, then we also have <math>y \sim x</math>.  (Symmetric property)
 
−
3. If <math>x, y, z \in S</math> such that <math>x \sim y</math> and <math>y \sim z</math>, then we also have <math>x \sim z</math>.  (Transitive property)
 
  
 
Some common examples of equivalence relations:
 
Some common examples of equivalence relations:
  
−
* The relation <math>=</math> (equality), on the set of real numbers.
+
* The relation <math>=</math> (equality), on the set of [[real number]]s.
−
* The relation <math>\cong</math> (congruence), on the set of geometric figures in the plane.
+
* The relation <math>\cong</math> (congruence), on the set of geometric figures in the [[plane]].
 
* The relation <math>\sim</math> (similarity), on the set of geometric figures in the plane.
 
* The relation <math>\sim</math> (similarity), on the set of geometric figures in the plane.
−
* For a given positive integer <math>n</math>, the relation <math>\equiv</math> (mod <math>n</math>), on the set of integers.
+
* For a given [[positive integer]] <math>n</math>, the relation <math>\equiv \pmod n</math>, on the set of [[integer]]s. ([[Congruence]] [[Modular arithmetic|mod ''n'']])

Latest revision as of 10:51, 22 May 2007

Let $S$ be a set. A binary relation $\sim$ on $S$ is said to be an equivalence relation if $\sim$ satisfies the following three properties:

1. For every element $x \in S$, $x \sim x$. (Reflexive property)

2. If $x, y \in S$ such that $x \sim y$, then we also have $y \sim x$. (Symmetric property)

3. If $x, y, z \in S$ such that $x \sim y$ and $y \sim z$, then we also have $x \sim z$. (Transitive property)


Some common examples of equivalence relations:

  • The relation $=$ (equality), on the set of real numbers.
  • The relation $\cong$ (congruence), on the set of geometric figures in the plane.
  • The relation $\sim$ (similarity), on the set of geometric figures in the plane.
  • For a given positive integer $n$, the relation $\equiv \pmod n$, on the set of integers. (Congruence mod n)
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Equivalence_relation&oldid=15125"