I .

Prove (
by contradiction) that if A and B are
disjoint ,
then AEBC

Assume AhB=§ and A # Be

so x ⇐ A Axe B
↳ contradicts
,
so A EB - V

"

2 . Prove that (4) t It IT

by induction
"

n -
-
I :
(E) Z it I ,

I, z E v

Proof
"

Let s -
-
E n E IN / (E ) > it F}
'

IES → E =
I + I r

k "" '

Assume KES , (E) 2 It ¥ k + IES =

(f) z , -1k¥
ECE)
" '
E,
so
=

" '
Z sac , +
I) =
-1,461
( E) ,
z
E. +
z f -1,461
Kt '
( Ef) z , -1
k¥
ktl ES and IN PMI
Therefore , s
by
=

3 .
Let An =
{ C -
2-' th ,
I +
ht ] In EIN } A ,
= C -
I ,
2 ] ¥2
Az 1.5 ]
S 5
C 1.5 l l
-
- - . .
-

,
④ a-

C- I , I ]
? An C I I]
=
Az
-
-

a
-

. , ① •
n
-
I 4-
3 3

b .
Find ten An =
C 2,2] -

4 . Let A
=
{I ,
2 ,
3, 43 and let R
-
-

{ Cl ,
D , (212) (3,3) , ,
( I 4) ,, ( 4,1 ) , ( 2,4 ) , ( 1,27 , CZ , I ) }
be a relation on A

a .
Not reflexive :(4,4) EIR
Not
symmetric : ( 2 , 4) ER ( 4,2 ) EIR
,

b . Add ( 4,4 ) and ( 4 > 2) to make R an

equivalence relation

C .
If the 2 ordered pairs are added to R , what is the equivalence class of 2

[ 2) = { I, 2,4 }
5 .
Let A- {1,213,43 ,
and let R :P (A) →
PCA) ,
where PCA) denotes the power set of A

XRY iff X and Y the of elements

by have same number

a . What is in the equivalence class of E3} and the equivalence class of { 1,2 , 33 ?

[ {33 ]={ El } { 23 { 33 { 4 } } , ,
,

[ { 1,2133] { { I 2,3 } { I 2,4 } {

=
,
,
,
,
113,4 }, { 2 ,
3,4 } }

b. How are there?

many equivalence classes

{ 13 {23 { 33 { 43

{ 1,23 { 1,3 } { 1,43 { 2,33 16

equivalence classes

{2,4 } { 3,4 } { I , 2,3} {1/2,4}

{ 43,4} { 2. 3,4 } {1,2 3,43 { 0 } ,

6 .
Let f : R→R ,
defined by f
=
{ ( x y) , ly 3+1 }
a . Show that f is a l -
I function

assume f (a) =
fcb) ,
a ,
be N

then a 3+1 = b 3+1

a 3=63
a
-
- b so f is I I
-
V

b .
Show that f is onto R

f- Cx) -
- 113+1 →
show inverse

IR
g: R
-

g
Cx ) -

-
3nF
fcgcx)) ( 3¥71
=

✓
=
X
so f- is onto R

7 Show that if f :
A → B and
g
: B → C such that f and
g are both H

functions then g of : A → c is also I I

-

of ) Ca ) of ) ( b)
Cg =
Cg
Ca))
g Cf g Cf Cb ))
=

Fca ) =
fcb) since g is IT

f is A → C I I ✓
b l I therefore ,
got is
: -

since
-
=
a