Determine whether each of the following relations are reflexive, symmetric and transitive: (i) Relation R in the set A={1,2,...,13,14} defined as R={(x,y): 3x-y=0}. (ii) Relation R in the set N of natural numbers defined as R={(x,y): y=x+5 and x<4}. (iii) Relation R in the set A={1,2,3,4,5,6} as R={(x,y): y is divisible by x}. (iv) Relation R in the set Z of all integers defined as R={(x,y): x-y is an integer}. (v) Relation R in the set A of human beings in a town at a particular time given by (a) R={(x,y): x and y work at the same place} (b) R={(x,y): x and y live in the same locality} (c) R={(x,y): x is exactly 7 cm taller than y} (d) R={(x,y): x is wife of y} (e) R={(x,y): x is father of y}
Hint. For each relation, test reflexivity with (a,a), test symmetry by finding one pair whose reverse fails, and test transitivity by checking whether every chain closes up.
(i) R={(x,y): y=3x} within A={1,...,14} gives pairs (1,3),(2,6),(3,9),(4,12). (1,1) is not in R (reflexive fails). (1,3) is in R but (3,1) is not (symmetric fails). (1,3) and (3,9) are in R but (1,9) is not, since 3(1)-9=-6, not 0 (transitive fails).
(ii) R={(1,6),(2,7),(3,8)} on N. (1,1) is not in R (not reflexive). (1,6) is in R but (6,1) is not (not symmetric). No pair's second coordinate (6,7,8) ever appears as a first coordinate (only 1,2,3 do), so there is no chain to violate — transitive holds vacuously.
(iii) 'y divisible by x' on {1,...,6}. x divides x always, so reflexive holds. (1,2) is in R (2 divisible by 1) but (2,1) is not (1 not divisible by 2), so not symmetric. If x divides y and y divides z, then x divides z (standard divisibility property), so transitive holds.
(iv) 'x-y is an integer' on Z. Since x,y are always integers, x-y is always an integer, so R=Z x Z, the universal relation. This is trivially reflexive, symmetric, and transitive — an equivalence relation.
(v)(a) Same workplace: reflexive, symmetric, transitive — an equivalence relation. (b) Same locality: likewise an equivalence relation. (c) 'exactly 7 cm taller': not reflexive (x is not taller than itself), not symmetric (if x is 7cm taller than y, y is 7cm shorter, not taller, than x), not transitive (7cm taller than 7cm taller is 14cm taller, not 7cm). (d) 'x is wife of y': not reflexive, not symmetric (x wife of y means y is husband, not wife, of x), not transitive. (e) 'x is father of y': not reflexive, not symmetric, not transitive (a father's father is a grandfather, not a father).
✦ (i) Neither reflexive, symmetric, nor transitive. (ii) Neither reflexive nor symmetric, but transitive. (iii) Reflexive and transitive, not symmetric. (iv) Reflexive, symmetric, and transitive (equivalence relation). (v)(a),(b) equivalence relations; (c),(d),(e) neither reflexive, symmetric, nor transitive.
