Question #51704

If the co-domain does not contain all the elements of range , can it be a function?
like co-domain {3,4,5,6,7}
range {3,4 11}. normally we know range is a subset of co-domain. but here it does not . so is it possible?

Expert's answer

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 {3,4,5,6,7}\{3,4,5,6,7\} range {3,4,7}\{3,4,7\}? Normally we know range is a subset of co-domain. But here it does not. So is it possible?

Answer. By definition, a function f:XYf:X\to Y is the correspondence which associates to each xXx\in X a unique element from YY denoted by f(x)f(x).

The set XX is then called the domain of ff, the set YY is said to be the co-domain, and the set f(X)={f(x)YxX}f(X)=\{f(x)\in Y\mid x\in X\} is the range of ff.

The above definition does not require that the range f(X)f(X) coincides with all the co-domain YY. So in general, the range of the function can be a proper subset of the co-domain:

f(X)Y.f(X)\subsetneq Y.

The functions for which the range coincides with the co-domain f(X)=Yf(X)=Y are called surjective.

For example, the functions sin,cos:RR\sin,\cos:\mathbb{R}\to\mathbb{R} are not surjective have the same range [1,1][-1,1].

Also notice that every function f:XYf:X\to Y induces a surjective function f^:Xf(X)\hat{f}:X\to f(X) defined by f^(x)=f(x)\hat{f}(x)=f(x). 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.


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS