Relations and Functions
Let f : A → B and g : B → C be two functions such that g o f : A ∴ C is defined.
We are given that g of : A → C is one-one.
We are to prove that f is one-one If possible, suppose that f is not one-one.
there exists x1, x2 ∈ A such that x1 ≠ x2 but f (x1) = f (x2)
But f(x1) = f (x2) ⇒ g (f(x1)) = g (f(x2))
⇒ (gof) (x1) = (gof) (x2)
∴ x1, x2 ∈ A such that x1 ≠ x2 but (gof) (x1) = (gof) (x2)
∴ gof is not one-one, which is against the given hypothesis that g of is one-one our supposition is wrong.
∴ f is one-one.
Consider f : {1, 2, 3, 4} ≠ {1, 2, 3, 4, 5, 6} defined as f (x) = x, ∀ x and g : {1, 2, 3, 4, 5, 6} → {1, 2, 3, 4, 5, 6} as g. (x) = x, for x = 1, 2, 3, 4 and g (5) = g (6) = 5. Then, g o f (x) = x ∀ x, which shows that g o f is one-one. But g is clearly not one-one.
Sponsor Area
Give an example of a relation which is
(i) Symmetric but neither reflexive nor transitive.
(ii) Transitive but neither reflexive nor symmetric.
(iii) Reflexive and symmetric but not transitive.
(iv) Reflexive and transitive but not symmetric.
(v) Symmetric and transitive but not reflexive.
Determine whether each of the following relations are reflexive, symmetric and transitive :
(i) Relation R in the set A = {1, 2, 3,....., 13, 14} defined as
R = {(x, y) : 3 x – 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}
Sponsor Area
Sponsor Area