Friday, 24 October 2014

For function composition, can we take a subset of the codomain of the inner function as the domain of the outer function?

Let f:AB and g:BC be functions. Suppose that f is not surjective. I want to construct a function composition gf. But because there is at least one bB for every aA such that bf(a), it follows that g is not defined for every bB insofar as we cannot then construct the composition




gf:ACdefinedby(gf)(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, gf 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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...