Answer on Question #51704 – Math – Real Analysis
Question. If the co-domain does not contain all the elements of range, can it be a function, like co-domain range ? Normally we know range is a subset of co-domain. But here it does not. So is it possible?
Answer. By definition, a function is the correspondence which associates to each a unique element from denoted by .
The set is then called the domain of , the set is said to be the co-domain, and the set is the range of .
The above definition does not require that the range coincides with all the co-domain . So in general, the range of the function can be a proper subset of the co-domain:
The functions for which the range coincides with the co-domain are called surjective.
For example, the functions are not surjective have the same range .
Also notice that every function induces a surjective function defined by . In other words, we can always “replace” co-domain with the range to get a surjective fucntion.
Summarize all that is said above: in general, the range of the function can be a proper subset of the co-domain.