Q.Let L be the set of all lines in XY plane and R be the relation in L defined as is parallel to . Show that R is an equivalence relation. Find the set of all lines related to the line .
You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.
Start your 14-day free trial to unlock the full solution →The relation "is parallel to" on the set of all lines in the plane is an equivalence relation because it is reflexive (a line is parallel to itself), symmetric (if one line is parallel to another, the other is parallel to the first), and transitive (if line A is parallel to B and B is parallel to C, then A is parallel to C). The set of all lines related to is exactly the set of all lines with slope , i.e., all lines of the form where .
Why this works: The idea behind equivalence relations
An equivalence relation is a way of grouping objects that are "the same" in some precise sense. For lines in the plane, being parallel is a natural way to group them — all lines that point in the same direction belong together. The three properties (reflexive, symmetric, transitive) are what make this grouping well-behaved: every line is in its own group, the grouping doesn't depend on which line you pick first, and if two lines are both parallel to a third, they must be in the same group.
The key geometric fact: parallel lines have the same slope. So the equivalence class of a given line is simply all lines with that same slope.
A common mistake is to forget that a line is considered parallel to itself. In everyday language, "parallel" often means "distinct and never meeting," but in mathematics, the definition includes the case of a line being parallel to itself. This is essential for reflexivity.
Step-by-step proof
1. Reflexive property
We need to show that every line is related to itself, i.e., .
By definition, contains if is parallel to . Is a line parallel to itself? Yes — a line has the same direction as itself, and in formal geometry, parallelism includes the case of identity. So holds for every line .
Thus is reflexive.
2. Symmetric property
We need to show: if , then .
If is parallel to , then by the definition of parallelism, is also parallel to — it's a mutual relationship. If two lines have the same slope, it doesn't matter which one you name first. So is also in .
Thus is symmetric.
3. Transitive property
We need to show: if and , then . …
Unlock everything free for 14 days
- Full step-by-step solutions
- Concept-first explanations
- Methods, shortcuts & mistakes
- PYQ mapping + timed mock tests
Full access for 14 days. No credit card required.