Let f:A→B and g:B→C be functions. Suppose that f is not surjective. I want to construct a function composition g∘f. But because there is at least one b∈B for every a∈A such that b≠f(a), it follows that g is not defined for every b∈B insofar as we cannot then construct the composition
g∘f:A→Cdefinedby(g∘f)(x)=g(f(x))
However, is it permissible to take the image f(A)⊂B as the domain of g? That is, g:f(A)→C. Then we are guaranteed that every b=f(a)∈f(A) is mapped by g to a unique element in C, that is, g∘f is well-defined.
Intuitively, this makes sense, but I am not sure if it is permissible. I hope it is clear what I am asking.
No comments:
Post a Comment