Search for question
Question

For the following function in the image, can you find a restriction of the domain and codomain -

without changing the mapping rule - to make the function both injective and surjective?

(Restricting the domain and codomain means replacing it with a subset). The restricted domain

and codomains should be the largest you can think of.

To give an example, the function f: [-3..3]-> [-9..9] given by f(x) = x^2 is neither injective nor

surjective, but we can restrict the domain and codomain to f:[0..3] -> {0, 1, 4, 9} with the same

mapping rule, that is f = x^2, which is both injective and surjective. The codomain is as large as

possible because adding every other number in [-9..9] that is not a square would break

subjectivity and the domain is as large as possible because adding any negative number breaks

injectivity./nh : 2[1..n] → → [0..2n] given by h(S) = |S| where n ≥ 2.

Fig: 1

Fig: 2