Exercise 1.1
Show that the relation R in the set R of real numbers, defined as R = {(a, b) : a ≤ b²} is neither reflexive nor symmetric nor transitive.
Not reflexive: We need a ≤ a² for all real a. Take a = 1/2: 1/2 ≤ (1/2)² = 1/4 is false. So (1/2, 1/2) ∉ R, and R is not reflexive.
Not symmetric: Take a = 1, b = 4. Then a ≤ b² since 1 ≤ 16, so (1, 4) ∈ R. But b ≤ a² requires 4 ≤ 1, which is false. So (4, 1) ∉ R, and R is not symmetric.
Not transitive: Take a = 25, b = −5, c = 2. Then a ≤ b²: 25 ≤ (−5)² = 25, true, so (25, −5) ∈ R. Also b ≤ c²: −5 ≤ 4, true, so (−5, 2) ∈ R. But a ≤ c²: 25 ≤ 4 is false. So (25, 2) ∉ R, and R is not transitive.
Answer: R is neither reflexive (1/2 ≤ 1/4 fails), nor symmetric ((1,4) ∈ R but (4,1) ∉ R), nor transitive ((25,−5) ∈ R, (−5,2) ∈ R but (25,2) ∉ R).
