I know two functions f and g are equal if
(1) their domains are equal
(2) their co-domains are equal
(3) f(x)=g(x)
I want to ask if two functions are equal is it necessary that they will have equal range too?
Answer
Take f:A→B∧g:A→B. If these functions are equal, then ∀x∈A.f(x)=g(x). Consider their ranges f(A) and g(A). If their ranges are not equal, f(A)≠g(A), which implies that there exists an element in one of their ranges that is not in the other. Without loss of generality. Say there exists some y∈f(A) such that y∉g(A). This means that
∃x∈A.f(x)=y∧∀x∈A.g(x)≠y.
Fix this x∈A such that f(x)=y. Because f and g are equal, then
f(x)=g(x)=y⟹g(x)=y,
which is a contradiction of the statement that ∀x∈A.g(x)≠y. Thus, the ranges of f and g must be equal.
Your suggested functions are not equal, since
fof(3)=1≠2=f(3).
No comments:
Post a Comment