CS 390 Solutions to Unit 3 Exercises
pp. 32 - 36
1.22 (a) It is one-to-one but not onto unless
. For if
, i.e.
, then
. Hence by the definition of one-to-one function =,
is one-to-one.
If
, then there is no number that is mapped to 0 by
. In fact there is no
nonnegative real number which are mapped by
to a
nonnegative real number less than
. Hence the range of
is the set of real numbers
not less than (i.e. greater than or equal to)
.
1.57 (a)
.
Proof: Let
be an element of
. Then there is an element
in
such that
. Thus
or
.
If
, then
, and if
, then
.
Hence
.
1.26(b)
Since
is not in
,
is defined for every element of the domain
and its value is between
and
since
for all nonnegative
number
. Also for every
,
is unique. Thus
is a function from
to
.
is onto. For let
be an arbitrary numnber in
.
Then from
,
is obtained. This
is unique for a given
and it is mapped to
by
. Hence
is onto.
is 1-1. For if
, then
.
Hence
.
Thus
is a 1-1 onto function, that is, it is a bijection.
1.27
Let us first prove that
is a bijection.
is onto. For for every
, there exists a
such that
since
is a function from
to
. Hence
, that is,
every element
of
is mapped to from an element of
by
.
Hence
is onto.
is 1-1. For if
=
, then
and
, where
. Since
is a function, this
means that
. Hence
is 1-1.
Thus
is a bijection.
Now for
. For any
and any
,
=
iff
. Also
iff
. Hence
=
iff
. Thus for every
,
and
take
the same value. Hence they are equal.