Let L\mathrm{L} be the set of all lines in a plane and R\mathrm{R} be the relation in L\mathrm{L} defined as R={(L1, L2):L1\mathrm{R}=\left\{\left(\mathrm{L}_{1}, \mathrm{~L}_{2}\right): \mathrm{L}_{1}\right. is perpendicular to L2}\left.\mathrm{L}_{2}\right\}. Show that R\mathrm{R} is symmetric but neither reflexive nor transitive.

Answer: The relation R is symmetric but neither reflexive nor transitive.

Step-by-step solution

Step 1: Check for Reflexivity

For a relation to be reflexive, every element must be related to itself. In this case, a line L1L_1 would need to be perpendicular to itself. However, a line cannot be perpendicular to itself, as the angle between a line and itself is 0∘0^\circ, not 90∘90^\circ. Therefore, the relation R is not reflexive.

Step 2: Check for Symmetry

For a relation to be symmetric, if L1L_1 is related to L2L_2, then L2L_2 must be related to L1L_1. If line L1L_1 is perpendicular to line L2L_2, it implies that the angle between them is 90∘90^\circ. This also means that line L2L_2 is perpendicular to line L1L_1. Therefore, the relation R is symmetric.

Step 3: Check for Transitivity

For a relation to be transitive, if L1L_1 is related to L2L_2 and L2L_2 is related to L3L_3, then L1L_1 must be related to L3L_3. If L1L_1 is perpendicular to L2L_2, and L2L_2 is perpendicular to L3L_3, then L1L_1 and L3L_3 must be parallel to each other (or coincident). Parallel lines are not perpendicular. Therefore, the relation R is not transitive.

More from this chapter

All Relations and Functions solutions →

Solve your own maths question free →