Beruflich Dokumente
Kultur Dokumente
S to T ?
Answer:
The size of the relation of a function f : S T is s. For any function f , we
have x S((f (x) = y and f (x) = z) y = z), or that the image of any element of S under f is unique. Then if an ordered pair (x, y) {(x, y) | x S
and y = f (x)}, it will have s elements.
(d) We say f is a one-to-one function or injection from S to T if each member of S is related to a different element of T . How many different elements
must appear as second elements of the ordered pairs in the relation of a
one-to-one function from S to T ?
Answer:
The number of different second elements that must appear in the relation of an injection f : S T is s. If f is an injection, then we have
x1 , x2 S(x1 6= x2 f (x1 ) 6= f (x2 )). Then every ordered pair (x, y)
will be unique, meaning that there will be s different second elements to
correspond to each element in S.
(e) A function f : S T is called an onto function or surjection if each
element of T is f (x) for some x S. What is the minimum size that S can
have if there is a surjection from S to T ?
Answer:
The minimum size that the relation of a surjection f : S T is t. If f is
a surjection, then we have that y T x S(y = f (x)), or in other words
that every element of T is the image of some x S under f . Since it is the
case that each ordered pair (x, y) with x S and y = f (x) has only one y
corresponding to each x, the relation of the surjection f must have at least
t elements.
3. When f is a function from S to T , the sets S and T play a big role in
determining whether a function is one-to-one or onto (as defined in Problem
2). For the remainder of this problem, let S and T stand for the set of
nonnegative real numbers.
(a) If f : S T is given by f (x) = x2 , is f one-to-one? Is f onto?
Answer:
2
Let x and y be arbitrary elements of R+
0 and suppose that y = x . Then
2
2
to y = x are x = x and x = x. But since x 6= 0, there is no x R+
0
that satisfy satisfy this equation. Therefore h is not surjective.
Now suppose that y = a2 and y = b2 , where a, b R+
0 . Then we have