Exercise 1.2 — Solutions
Q1.
Show that the function defined by () is one-one and onto. Is the result true if the domain is replaced by (with codomain still )?
Solution.
Injective: Suppose . Then . Multiply both sides by (nonzero) to get . So is one-one.
Surjective: For any take . Then . So every has a pre-image; is onto.
Hence is bijective.
If domain is replaced by (i.e. , :
-
Injective: Yes — different natural give different reciprocals.
-
Surjective: No — many real nonzero numbers (e.g. is covered, but numbers like , etc.) are not of the form with . In particular negative reals are impossible. So not onto .
Thus bijectivity fails if domain is .
Q2.
Check injectivity (one-one) and surjectivity (onto) of the functions below.
(i)
(ii)
(iii)
(iv)
(v)
Solution.
(i) on :
-
Injective: Yes. On (positive integers), is strictly increasing, so .
-
Surjective: No. Not every natural number is a perfect square (e.g. has no natural square root).
So: one-one but not onto.
(ii) on :
-
Injective: No. and map to same value for (e.g. .
-
Surjective: No. Negative integers are never squares, so they are not in the range.
So: neither one-one nor onto.
(iii) on :
-
Injective: No (same reason: and ).
-
Surjective: No — negative real numbers are not squares.
So: neither one-one nor onto.
(iv) on :
-
Injective: Yes (strictly increasing on ).
-
Surjective: No (not every natural number is a perfect cube).
So: one-one but not onto.
(v) on :
-
Injective: Yes. Cubing is strictly monotone on ; .
-
Surjective: No — a general integer need not be a perfect cube (e.g. is not).
So: one-one but not onto.
Q3.
Prove that the greatest integer function , , is neither one-one nor onto.
Solution.
-
Not one-one: though . So many inputs share the same value.
-
Not onto: Range of is the set of integers . Non-integer real numbers (e.g. ) are not attained. Hence not onto .
Therefore neither injective nor surjective.
Q4.
Show that the modulus function is neither one-one nor onto.
Solution.
-
Not one-one: with
-
Not onto: Negative reals are not attained (no with ). So not onto .
Hence neither injective nor surjective.
Q5.
Show that the signum function defined by
is neither one-one nor onto.
Solution.
-
Not one-one: All positive numbers map to , so many inputs share the same image.
-
Not onto: The range is , a proper subset of ; reals like are not attained. So not onto.
Therefore neither injective nor surjective.
Q6.
Let and as a function . Show that is one-one.
Solution.
The images are which are distinct, so distinct domain elements have distinct images. Thus is injective. is not onto because is not an image.
Q7.
Decide whether the given functions are one-one, onto, or bijective:
(i)
(ii)
Solution.
(i) : linear with slope .
-
Injective: Yes. If then .
-
Surjective: Yes. Given any , solve ⇒ . So every real has a pre-image.
Thus bijective (one-one and onto).
(ii) :
-
Injective: No because and give same value for .
-
Surjective: No because range is , so values are not attained.
Thus neither one-one nor onto.
Q8.
Let be sets. Show defined by is bijective.
Solution.
Define by . Then and , so . Hence has an inverse and is bijective (both one-one and onto).
Q9.
Let be defined by
State whether is bijective. Justify your answer.
Solution.
For a fixed both (odd) and (even) map to :
So every has at least one preimage (in fact two), hence is onto.
But and show is not one-one. Therefore onto but not one-one; hence not bijective.
Q10.
(From the PDF — formula hard to render.) Let , and (interpreting the PDF) consider
Is one-one and onto?
Solution – Under the interpretation
-
Injectivity: Suppose . Then
Cross-multiply and simplify:
Expanding and cancelling leads to . Working the algebra carefully yields (there is no other solution in ). Thus is injective. (One can solve for in terms of below to make injectivity explicit.)
-
Find range (surjectivity): Solve for :
So if then and this (provided ). The algebra shows every is attained by some . But yields no solution (division by zero). Thus the range = .
Hence with our interpreted formula:
-
is one-one.
-
The image is , so is onto but not onto the given codomain (because is in the image). Therefore is not onto the stated (but would be onto ).
Important: If the rational expression in your book is different from , tell me the exact formula shown in the PDF and I will re-evaluate Q10 precisely.
Q11.
Let be . Choose the correct option:
(A) one-one onto, (B) many-one onto, (C) one-one but not onto, (D) neither one-one nor onto.
Solution.
, so is many-one (not injective). Range is , so negative reals are not attained ⇒ not onto . So answer is (D): neither one-one nor onto.
Q12.
Let be . Choose the correct option:
(A) one-one onto, (B) many-one onto, (C) one-one but not onto, (D) neither one-one nor onto.
Solution.
Linear map with nonzero slope: injection holds and for any we have so surjection holds. Thus one-one and onto, option (A).
