Home » 6 homework question

6 homework question

<<

p

>p

>1. (a) Given any two propositions P and Q, prove de Morgan’s laws in propositional logic:

:(P _ Q) = (:P) ^ (:Q);

:(P ^ Q) = (:P) _ (:Q):

(b) Prove de Morgan’s laws in set theory: Given two sets A;B  X, show that

(A [ B)c = Ac \ Bc;

(A \ B)c = Ac [ Bc:

Recall that the complement of A  X is the set Ac := fx 2 X : x =2 Ag.

(c) Explain brie

y how the results of part (a) and (b) are related. Notice that the

symbols _ and ^ can be easily remembered via the symbols (which you may be

more familiar with) in set theory [ and \.

2. (a) Suppose p 2 N. Show that if p2 is divisible by 5 then p is also divisible by 5 (Hint:

write p = 5s + r with appropriate conditions for s and r).

(b)

Prove that

p

5 is irrational.

(c) Suppose you try the same argument to prove

p

4 is irrational. The proof must fail,

but where exactly does it fail?

3. Consider a function f : X 7! Y and let A  X and B  X

(a) Show that f(A [ B) = f(A) [ f(B)

(b) Show that f(A \ B)  f(A) \ f(B)

(c) Prove that the converse statement

f(A) \ f(B)  f(A \ B)

is false (Hint: nd a

counterexample)

(d) Give an extra condition on f and prove that with your extra condition we have

f(A) \ f(B)  f(A \ B)

(e) Consider a function f : X 7! Y . Given a subset C  Y , we de ne its inverse image

(or preimage) as f􀀀1(C) := fx 2 X : f(x) 2 Cg. Notice that f􀀀1(C)  X and that

f􀀀1(C) makes sense even if f does not have an inverse. Let C  Y and D  Y .

Prove that

f􀀀1(C [ D) = f􀀀1(C) [ f􀀀1(D)

f􀀀1(C \ D) = f􀀀1(C) \ f􀀀1(D):

Note that these set equalities above easily generalise to arbitrary (i.e. `in nite’)

collections of sets.

4. Use the principle of mathematical induction to prove the following identity:

1 + r + r2 +    + rn =

1 􀀀 r

n+1

1 􀀀 r

for r 6= 1:

5. In class, we saw an axiomatic foundation of N. Making use of the notion of successor, we

can make an appropriate de nition of + (i.e. addition behaves as we learnt way back).

Furthermore, we can make sense of m 􀀀 n when m > n. You may assume these two

facts from now on. Now, you will be guided through a foundational construction of Z.

Consider the set N  N and the

following relation:

(m1; n1)  (m2; n2) if m1 + n2 = n1 + m2

(Perhaps after the end of this problem, I recommend coming back and trying to under-

stand why the equivalence relation de ned as above would work to construct Z. Try to

draw a picture.)

(a) Show that  is an equivalence relation on NN (recall the cancellative law: m+n =

m + `, for m; n; ` 2 N, then n = `)

(b) Show that if (m1; n1)  (m2; n2) and (a1; b1)  (a2; b2), then

(m1 + a1; n1 + b1) 

(m2 + a2; n2 + b2)

Call Z the set of equivalence classes in N  N with respect to the relation . That

is, Z := f[(m; n)] : (m; n) 2 N  Ng. Recall that [(m; n)] denotes the equivalence

class of N. We now identify a copy of N inside of Z. For every n 2 N, we declare

[(n + 1; 1)] to be the corresponding element in Z (i.e. we have set up a bijection from N

to fz 2 Z : z = [(n + 1; 1)] for some n 2 Ng). That is, when we think of the natural

number n as an integer, we use [(n + 1; 1)] 2 Z.

(c) Use part (b) to show the following: if [(m1; n1)] = [(m2; n2)] and [(a1; b1)] =

[(a2; b2)], then [(m1 + a1; n1 + b1)] = [(m2 + a2; n2 + b2)]

Part (c) shows us how to de ne addition + on Z as follows: we de ne [(m; n)]+[(a; b)] =

[(m + a; n + b)].

(d) Show that for every [(m; n)] 2 Z, we have [(m; n)] +

[(1; 1)] = [(m; n)]

Part (d) tells us that [(1; 1)] is the additive identitiy in (Z; +); i.e. it is what we usually

denote by 0.

(e) Show that for every [(m; n)] 2 Z, we have [(m; n)] + [(n;m)] = [(1; 1)]

Part (e) tells us that the additive inverse of [(m; n)] is [(n;m)] and we write [(n;m)] =

􀀀[(m; n)]. In particular, we have made sense of what we usually denote by 􀀀n for n 2 N

(f) Show that every integer [(m; n)] 2 Z is either a natural number (i.e. of the form

[(a; 1)], 0 (i.e. of the form [(a; a)]), or the opposite of a natural number. Hint:

you may nd it useful to distinguish three case: m > n, m = n and m < n.

Furthermore, remember that m 􀀀 n 2 N when m > n, and similarly n 􀀀 m 2 N

when n > m).

Part (f) tells us that Z is nothing but the natural numbers, their negatives, and zero.

That is, Z is what we usually think of as the integers.

6. In Problem 4, we constructed the integers Z. With some work we can de ne the multi-

plication  on Z. In this exercise, we will assume that we already have a knowledge of Z

together with + and . Our goal is to de ne Q. Consider the set Z  (Z n f0g) and the

following relation:

(m1; n1)  (m2; n2) if m1  n2 = n1  m2:

(Again, try to draw a picture)

(a) Show that  is an equivalence relation on Z  (Z n f0g)

(b) Show that if (m1; n1)  (m2; n2) and (a1; b1)  (a2; b2), then

(m1  b1 + a1  n1; n1  b1)  (m2  b2 + a2  n2; n2  b2)

and that (m1  a1; n1  b1)  (m2  a2; n2  b2)

Call Q the set of equivalence classes in Z  (Z n f0g) with respect to the equivalence

relaiton . Notice that the equivalence class [(m; n)] 2 Q is nothing but what we usually

denote by m

n . Part (b) allows us to de ne + and  on Q: for every [(m; n)]; [(a; b)] 2 Q,

we de ne [(m; n)] + [(a; b)] = [(m  b + a  n; n  b)] and [(m; n)]  [(a; b)] = [(m  a; n  b)]

(can you motivate these de nitions?)

(c) Now, we want to nd a copy of Z inside Q. For every n 2 Z, determine a rational

number [(a; b)] 2 Q that corresponds to n. (Hint: intuitively, we want to write an

integer as a fraction).

(d) Show that for every [(m; n) 2 Q, we have [(m; n)] + [(0; 1)] = [(m; n)] and [(m; n)] 

[(1; 1)] = [(m; n)]

(e) For every [(m; n)] 2 Q, nd [(a; b)] 2 Q such that [(m; n)] + [(a; b)] = [(0; 1)]

(f) For every [(m; n)] 2 Qnf[(0; 1)]g, nd [(a; b)] 2 Q such that [(m; n)][(a; b)] = [(1; 1)]

1. (a) Given any two propositions P and Q, prove de Morgan’s laws in propositional logic:
-(PVQ) = (-P)^(-Q),
-(PAQ) = (-P) v(Q).
(b) Prove de Morgan’s laws in set theory: Given two sets A, B C X, show that
(AUB) = An BC,
(An B) = AⓇUB
Recall that the complement of A CX is the set Aº := {1 € X : * & A}.
(c) Explain briefly how the results of part (a) and (b) are related. Notice that the
symbols V and can be easily remembered via the symbols (which you may be
more familiar with) in set theory U and n.
2. (a) Suppose PE N. Show that if p’ is divisible by 5 then p is also divisible by 5 (Hint:
write p= 5s +r with appropriate conditions for s and r).
(b) Prove that V5 is irrational.
(c) Suppose you try the same argument to prove V7 is irrational. The proof must fail,
but where exactly does it fail?
3. Consider a function f :X HY and let ASX and B CX
(a) Show that f(AUB) = f(A) U f(B)
(b) Show that f(An B) Cf(A) n f(B)
(c) Prove that the converse statement f(A) n f(B) Cf(An B) is false (Hint: find a
counterexample)
(d) Give an extra condition on f and prove that with your extra condition we have
f(A) n f(B) = f(ANB)
(e) Consider a function f : X HY. Given a subset C CY, we define its inverse image
(or preimage) as f-(C):= {r € X : f(x) € C}. Notice that f-1(C) X and that
F-1(C) makes sense even if f does not have an inverse. Let C C Y and D CY.
Prove that
f'(CUD) = f-(CUF-‘(D)
f-(COD) = f-‘(C) nf-(D).
Note that these set equalities above easily generalise to arbitrary (i.e. ‘infinite’)
collections of sets.
4. Use the principle of mathematical induction to prove the following identity:
1 – pp+1
1+r+p2 + … + pelle
for r #1.
1-r
=
5. In class, we saw an axiomatic foundation of N. Making use of the notion of successor, we
can make an appropriate definition of + (i.e. addition behaves as we learnt way back).
Furthermore, we can make sense of m – n when m > n. You may assume these two
facts from now on. Now, you will be guided through a foundational construction of Z.
Consider the set N ~ N and the following relation:
(mi, ni) ~ (m2, n2) if mi + n2 = n1 + m2
(Perhaps after the end of this problem, I recommend coming back and trying to under-
stand why the equivalence relation defined as above would work to construct Z. Try to
draw a picture.)
(a) Show that ~ is an equivalence relation on Nx N (recall the cancellative law: m+n=
m+l, for m, n, l e N, then n=l)
(b) Show that if (mi, ni) ~(m2, n2) and (a1, bı) ~ (a2, b2), then (mi + a1, n1 +bi) ~
(m2 + a2, n2 + b2)
Call Z the set of equivalence classes in N ~ N with respect to the relation ~. That
is, Z := {[(m,n)] : (m, n) E N N}. Recall that [(m,n)] denotes the equivalence
class of N. We now identify a copy of N inside of Z. For every n e N, we declare
((n +1,1)] to be the corresponding element in Z (i.e. we have set up a bijection from N
to {z e Z: z= ((n + 1, 1)] for some n e N}). That is, when we think of the natural
number n as an integer, we use ((n +1,1)] e Z.

Prove that
f-‘(CUD) = f (C)uf-‘(D)
f-‘(COD) = f-(C) nf-(D).
Note that these set equalities above easily generalise to arbitrary (i.e. ‘infinite’)
collections of sets.
4. Use the principle of mathematical induction to prove the following identity:
1+r+p? +…+mon
1 – poh+1
for r +1.
1-r
5. In class, we saw an axiomatic foundation of N. Making use of the notion of successor, we
can make an appropriate definition of + (i.e. addition behaves as we learnt way back).
Furthermore, we can make sense of m – n when m > n. You may assume these two
facts from now on. Now, you will be guided through a foundational construction of Z.
Consider the set N x N and the following relation:
(mi, ni) ~ (m2, n2) if mi + n2 = n1 + m2
(Perhaps after the end of this problem, I recommend coming back and trying to under-
stand why the equivalence relation defined as above would work to construct Z. Try to
draw a picture.)
(a) Show that is an equivalence relation on NxN (recall the cancellative law: m+n=
m+l, for m, n, l e N, then n= l)
(b) Show that if (mi, n1) ~ (m2, n2) and (a1, b1) ~ (a2, b2), then (mi + a1, n1 + b1) ~
(m2 + a2, n2 + b2)
Call Z the set of equivalence classes in N ~ N with respect to the relation. That
is, Z:= {[(m, n)] : (m,n) E N N}. Recall that [(m, n) denotes the equivalence
class of N. We now identify a copy of N inside of Z. For every n e N, we declare
[(n +1,1)] to be the corresponding element in Z (i.e. we have set up a bijection from N
to {z e Z: z = [(n +1,1)] for some n e N}). That is, when we think of the natural
number n as an integer, we use [(n +1,1)] € Z.
(c) Use part (b) to show the following: if [(mi, n1)] = [(m2, n2)] and [(a1, b1)]
[(az, b2)], then [(mi + a1, ni+b1)] = [(m2 +22, N2 + b2)]
Part (c) shows us how to define addition + on Z as follows: we define [(m, n)]+[(a,b)] =
[(m+a,n+b)]
(d) Show that for every [(m, n)] = Z, we have (m, n)] + [(1,1)] = [(m, n)]
Part (d) tells us that [(1,1)] is the additive identitiy in (Z, +); i.e. it is what we usually
denote by 0.
(e) Show that for every [(m, n) € Z, we have [(m,n)] + [(n, m)] = [(1,1)]
Part (e) tells us that the additive inverse of [(m, n) is [(n, m)) and we write [(n, m)] =
-[(m, n)]. In particular, we have made sense of what we usually denote by -n for n EN
(f) Show that every integer [(m, n)] € Z is either a natural number (i.e. of the form
[(a, 1)], 0 (i.e. of the form [(a, a)]), or the opposite of a natural number. Hint:
you may find it useful to distinguish three case: m > n, m = n and m n, and similarly n – mEN
when n > m).
Part (f) tells us that Z is nothing but the natural numbers, their negatives, and zero.
That is, Z is what we usually think of as the integers.
6. In Problem 4, we constructed the integers Z. With some work we can define the multi-
plication on Z. In this exercise, we will assume that we already have a knowledge of Z
together with + and . Our goal is to define Q. Consider the set Zx (Z\{0}) and the
following relation:
(m1, nu) ~ (m2, n2) if min2 = n1m2.
(Again, try to draw a picture)
(a) Show that is an equivalence relation on Zx (Z {0})
(b) Show that if (mi, ni) ~ (m2, n2) and (ai, bı) ~ (a2, b2), then
(m1.b1+a1.n1, N1.b) ~(m2.b2 + 22. n2, n. 62)
and that (m1.21,n1.b) ~(m2.09, n2 · 62)
Call Q the set of equivalence classes in Zx (Z\{0}) with respect to the equivalence
relaiton ~. Notice that the equivalence class [(m, n)) € Q is nothing but what we usually
denote by . Part (b) allows us to define + and · on Q: for every [(m, n)], [(a,b)] E Q,
we define [(m, n)] + [(a,b)] = [(m·b+an, n – b)] and [(m, n)] · [(a,b)] = [(m·a, n- b)]
(can you motivate these definitions?)
(C) Now, we want to find a copy of Z inside Q. For every n e Z, determine a rational
number [(a,b)] € Q that corresponds to n. (Hint: intuitively, we want to write an
integer as a fraction).
(d) Show that for every [(m, n) E Q, we have [(m, n)] + [(0,1)] = [(m, n)] and [(m, n)].
[(1,1)] = [(m, n)]
6. In Problem 4, we constructed the integers Z. With some work we can define the multi-
plication on
. on Z. In this exercise, we will assume that we already have a knowledge of Z
together with + and .. Our goal is to define Q. Consider the set Zx (Z\{0}) and the
following relation:
(m1, nu) ~ (m2, n2) if mi.n2 = n1.m2.
(Again, try to draw a picture)
(a) Show that is an equivalence relation on Zx (Z {0})
(b) Show that if (mi, ni)~ (m2, n2) and (ai, bı) ~ (a2, b2), then
(m1.b1+a1.n1, N1.b) ~(m2.b2 + 22. n2, n. 62)
and that (m1.01, n. b) ~(m2.12, 12 · 62)
Call Q the set of equivalence classes in Zx (Z\{0}) with respect to the equivalence
relaiton ~. Notice that the equivalence class [(m, n)] Q is nothing but what we usually
denote by m Part (b) allows us to define + and on Q: for every [(m, n)], [(a,b)] E Q,
we define (m, n)] + [(a,b)] = [(m.b+a.n, n.b)] and [(m, n)] · [(a,b)] = [(m.a,n. b)]
(can you motivate these definitions?)
(C) Now, we want to find a copy of Z inside Q. For every n e Z, determine a rational
number [(a, b)] € Q that corresponds to n. (Hint: intuitively, we want to write an
integer as a fraction).
(d) Show that for every [(m,n) € Q, we have [(m,n)] + [(0,1)] = [(m, n)and [(m,n)] ·
[(1,1)] = [(m,n)]
(e) For every [(m, n)] € Q, find [(a,b)] € Q such that [(m, n)] + [(a, b)] = [(0,1)]
(f) For every [(m, n)] € Q\{[(0,1)]}, find [(a,b)) € Q such that [(m, n)]-[(a,b)] = [(1,1)]

Place your order
(550 words)

Approximate price: $22

Calculate the price of your order

550 words
We'll send you the first draft for approval by September 11, 2018 at 10:52 AM
Total price:
$26
The price is based on these factors:
Academic level
Number of pages
Urgency
Basic features
  • Free title page and bibliography
  • Unlimited revisions
  • Plagiarism-free guarantee
  • Money-back guarantee
  • 24/7 support
On-demand options
  • Writer’s samples
  • Part-by-part delivery
  • Overnight delivery
  • Copies of used sources
  • Expert Proofreading
Paper format
  • 275 words per page
  • 12 pt Arial/Times New Roman
  • Double line spacing
  • Any citation style (APA, MLA, Chicago/Turabian, Harvard)

Our guarantees

Delivering a high-quality product at a reasonable price is not enough anymore.
That’s why we have developed 5 beneficial guarantees that will make your experience with our service enjoyable, easy, and safe.

Money-back guarantee

You have to be 100% sure of the quality of your product to give a money-back guarantee. This describes us perfectly. Make sure that this guarantee is totally transparent.

Read more

Zero-plagiarism guarantee

Each paper is composed from scratch, according to your instructions. It is then checked by our plagiarism-detection software. There is no gap where plagiarism could squeeze in.

Read more

Free-revision policy

Thanks to our free revisions, there is no way for you to be unsatisfied. We will work on your paper until you are completely happy with the result.

Read more

Privacy policy

Your email is safe, as we store it according to international data protection rules. Your bank details are secure, as we use only reliable payment systems.

Read more

Fair-cooperation guarantee

By sending us your money, you buy the service we provide. Check out our terms and conditions if you prefer business talks to be laid out in official language.

Read more

Order your essay today and save 30% with the discount code ESSAYHELP