The Equivalence Trinity
A Mathematical Journey
Welcome, future engineers! Today, we are going to demystify the concept of equivalence relations.
In the world of set theory, an equivalence relation is like a VIP club. To gain entry, a relation must satisfy three strict, non-negotiable rules: Reflexivity, Symmetry, and Transitivity.
If a relation fails even one of these, it is barred from the club. Let us analyze our two candidates, R and S, to see if they make the cut.
Analyzing Relation R
The Trap of Zero
We define R on real numbers x and y such that x=wy for some rational number w.
First, let us test for reflexivity. Does x relate to itself? We need x=wx for all x∈R.
If we choose w=1, which is a rational number, the equation x=1⋅x holds true for every real number. So, R is reflexive.
Now, for symmetry. If (x,y)∈R, then (y,x) must also be in R.
Let us test with x=0 and y=1. Since 0=0⋅1 and 0∈Q, the pair (0,1) is in R.
But for symmetry, the pair (1,0) must also be in R. This requires 1=w⋅0 for some rational w.
As we know, any number multiplied by zero is zero, so 1=0 is impossible. Symmetry fails! Since symmetry is broken, R is not an equivalence relation.
Analyzing Relation S
The Hidden Equality
Now, let us look at S, defined on pairs of rational numbers (nm,qp) with the condition qm=pn.
This looks intimidating, but let us simplify it. If we divide both sides by nq (given $n, q
eq 0$), we get:
This is simply the definition of equality for fractions! Once we see that S is just equality, the rest is easy.
Equality is reflexive (nm=nm), symmetric (if nm=qp, then qp=nm), and transitive (if nm=qp and qp=sr, then nm=sr).
Thus, S is an equivalence relation.
The Final Verdict
We have successfully navigated the logic. R failed the symmetry test, while S proved to be a standard equality relation.
Therefore, S is an equivalence relation, but R is not. Keep practicing this systematic approach, and you will master these concepts in no time!