CS 390 Solutions to Unit 3 Exercises
pp. 36 - 42
1.28 (a) It is symmetric because for (1,3), (3,1) exists and vice versa.
(It is neither reflexive nor transitive).
(b) It is reflexive because for every element
in {1,2,3}
exists in
.
It is also transitive because for (1,1) and (1,2), (1,2) exists in
, and for every
( and
),
exists in
.
(It is not symmetric).
(c) It is reflexive, symmetric and transitive because those properties are vacuously satisfied, i.e.
there are no ordered pairs to satisfy the conditions for those three properties.
1.61 There might be an element
in
which is not related to any element of
,
that is, there may not be any
that satisfies
. Then for that
,
does not have to hold. Thus the second sentence is where it went wrong.
1.30(a) Reflexive and transitive but not symmetric
(c) Symmetric and transitive but not reflexive.
1.35
iff
or -
.
Hence
iff
or
, or equivalently iff
=
.
Thus the equivalence classes are {
} for all real numbers
.
1.66 Let
be the set of representatives taken one from each of the equivalence classes
of
on
. Let
be the mapping that mapps
in
to the representative of the
equivalence class
belongs to. Then
is a function because every element of
belongs to a unique equivalence class of
. Also for any elements
and
of
iff
and
belong to the same
equivalence class. Hence
iff
.