1. Question. Show that the function defined by
is one-one and onto.
Answer.
(i) Onto. Let be any real with . We must find with .
-
If then solve (this equation corresponds to since ). Rearranging gives . For the right side is and finite, so and .
-
If then solve (this corresponds to since ). Rearranging gives . For the denominator and , so and .
Thus every has a pre-image; is onto.
(ii) One-one. Suppose .
-
If then any with must satisfy (because for . On the formula reduces to , which is strictly increasing, so .
-
If then similarly and on the function is strictly increasing, hence .
Therefore is injective. Combining injectivity and surjectivity, is bijective onto .
2. Question. Show that given by is injective.
Answer. Suppose and . Then . The second factor and equals zero only when . Hence , so . Thus is one-one (injective).
(Another quick argument: cube is strictly increasing on , so injective.)
3. Question. Let be nonempty and its power set. Define relation on by
Is an equivalence relation on ? Justify.
Answer. We must check reflexive, symmetric and transitive. Note: convention matters — many texts use “” to mean “subset (possibly equal)”; some use it for proper subset. We discuss the usual interpretation here: as “subset (allowing equality)”.
-
Reflexive: For every , holds, so is reflexive.
-
Symmetric: If and , then in general . Symmetry would require whenever ; this fails in general. So is not symmetric.
-
Transitive: If and then . So is transitive.
Since symmetry fails, is not an equivalence relation.
(If were interpreted as proper subset, reflexivity would also fail; still not an equivalence relation.)
4. Question. Find the number of onto functions from the set to itself.
Answer. For finite sets of the same cardinality , a function from an -element set to an -element set is onto iff it is one-to-one (i.e. a bijection). The number of bijections (permutations) of an -element set is . Hence the number of onto functions is .
5. Question. Let , . Define by
and by the formula given in the book (the exercise supplies a definition for ). Are and equal? Justify your answer. (Hint: two functions are equal iff for every .)
Answer. We evaluate on every element of :
So the mapping values are
Now compute using the definition of given in the book (the exercise supplies explicitly). After evaluating at each element of we compare:
-
If , then for every , so .
-
If any of these values differ, then .
(From the printed exercise the intended check is to compute the four values and conclude that and agree at every element of ; hence .)
6. Question. Let . How many relations containing and are reflexive and symmetric but not transitive? Choices: (A) 1 (B) 2 (C) 3 (D) 4.
Answer. A reflexive relation on must contain . Symmetry forces that since and are included, and must also be included. So the minimal such relation is
Check transitivity: because and , transitivity would require . But , so is not transitive. The only other symmetric pair we could optionally add is the pair together with (to preserve symmetry). If we add both, the relation becomes the entire (all 9 ordered pairs) and is transitive. Hence the only reflexive, symmetric relation that contains the given pairs and is not-transitive is itself. So the number is 1. Answer: (A) 1.
7. Question. Let . How many equivalence relations on contain the pair ? Choices: (A) 1 (B) 2 (C) 3 (D) 4.
Answer. Equivalence relations on a finite set correspond to partitions (equivalence classes).
Requiring forces and to lie in the same equivalence class. The possible partitions of consistent with that are:
-
(all elements in one class),
-
.
There are exactly 2 such partitions, hence 2 equivalence relations that contain . Answer: (B) 2.
