Sample Solutions on Mathematical Structures - Exam 2 | MAT 300, Exams of Mathematics

Material Type: Exam; Class: Mathematical Structures; Subject: Mathematics; University: Arizona State University - Tempe; Term: Spring 2004;

Typology: Exams

Pre 2010

Uploaded on 09/02/2009

koofers-user-o1z
koofers-user-o1z 🇺🇸

4

(1)

10 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
MAT 300 Mathematical Structures March 31, 2004
Test 2, sample solutions
1. a. Arelation from a set Ato a set Bis a subset of A×B.b. A relation on a set Ais
reflexive if aA, a a.c-e. Suppose (X, ) is a partially ordered set. An element mX
is called a maximal element if xX,xmimplies x=m. An element `Xis called a
largest element if xX,`x. A subset SXis bounded if there exist a, b Xsuch that
xS, a xb.f. A relation ffrom a set Ato a set Bis a function if for every aA
there exists exactly one bBsuch that (a, b)for afb, which is usually written as f(a) = b,
g. A function ffrom a set Ato a set Bis one-to-one if for every bBthere exists at most one
aAsuch that f(a) = b.
2. Proof by induction on n. If there is only one disk, then it is clearly allowed to move it from
open peg to another. Now suppose nZ+and it is possible to move a tower of ndisks to a
different peg, and consider the case of (n+ 1) disks, ordered from largest to smallest on one peg.
By induction hypothesis one may move the top ndisks to a second peg since the presence of the
largest disk does not affect the legality of any of the moves of the nsmaller disks. Then move the
largest disk to the third peg. Finally, again using the induction hypothesis move the nsmaller
disks from the second peg to the third peg.
3. Define the relation on Zby xyif and only if 5|(yx). This relation is reflexive because
for every xX, 5|0 = xx. It is symmetric, because whenever x, y Zsuch that xy, i.e.
5|(yx) then also 5|(xy), i.e. yx. Finally suppose x, y, z Zare such that xyand
yz. This means that there exist integers p, q Zsuch that (yx)=5pand (zy)=5q.
Hence (zx) = 5(p+q). Since (p+q) is again an integer, this shows that 5|(zx) or xz,
establishing transitivity of .
4. Suppose f:A7→ Band {Bα:αΛ}is an indexed collection of subsets of B. To show that
T
αΛ
f1(Bα)f1 T
αΛ
Bα!, suppose xT
αΛ
f1(Bα). This means that xf1(Bα) and
hence f(x)Bαfor every αΛ. This implies f(x)T
αΛ
Bαand therefore xf1 T
αΛ
Bα!
5. Suppose A,Band Care sets and g:A7→ Band f:B7→ Care functions.
a. Suppose both fand gare onto and consider any cC. Since fis onto, there exists bBsuch
that f(b) = c. Since gis onto, there exists aAsuch that g(a) = b. Hence (fg)(a) = f(g(a)) = c
showing that fgis onto.
b. Conversely suppose that fgis onto. We show that fis onto. Let cC. Since fg
is onto, there exists aAsuch that (fg)(a) = f(g(a)) = c. Define b=g(a)B. Then
f(b) = f(g(a)) = c.
Bonus. Suppose f:A7→ Ais onto. Prove by induction on nthat fn:A×Ais onto for every nZ+.
When n= 1, then fn=fwhich is onto. Now suppose that nZ+and fnis onto. Then by 5.a.
fn+1 =ffnis onto because it is the composition of two functions that are both onto.

Partial preview of the text

Download Sample Solutions on Mathematical Structures - Exam 2 | MAT 300 and more Exams Mathematics in PDF only on Docsity!

MAT 300 Mathematical Structures March 31, 2004

Test 2, sample solutions

  1. a. A relation from a set A to a set B is a subset of A × B. b. A relation ∼ on a set A is reflexive if ∀a ∈ A, a ∼ a. c-e. Suppose (X, ≤) is a partially ordered set. An element m ∈ X is called a maximal element if ∀x ∈ X, x ≥ m implies x = m. An element ∈ X is called a largest element if ∀x ∈ X, ≥ x. A subset S ⊆ X is bounded if there exist a, b ∈ X such that ∀x ∈ S, a ≤ x ≤ b. f. A relation f from a set A to a set B is a function if for every a ∈ A there exists exactly one b ∈ B such that (a, b) ∈ f or af b, which is usually written as f (a) = b, g. A function f from a set A to a set B is one-to-one if for every b ∈ B there exists at most one a ∈ A such that f (a) = b.
  2. Proof by induction on n. If there is only one disk, then it is clearly allowed to move it from open peg to another. Now suppose n ∈ Z+^ and it is possible to move a tower of n disks to a different peg, and consider the case of (n + 1) disks, ordered from largest to smallest on one peg. By induction hypothesis one may move the top n disks to a second peg since the presence of the largest disk does not affect the legality of any of the moves of the n smaller disks. Then move the largest disk to the third peg. Finally, again using the induction hypothesis move the n smaller disks from the second peg to the third peg.
  3. Define the relation ∼ on Z by x ∼ y if and only if 5|(y − x). This relation is reflexive because for every x ∈ X, 5|0 = x − x. It is symmetric, because whenever x, y ∈ Z such that x ∼ y, i.e. 5 |(y − x) then also 5|(x − y), i.e. y ∼ x. Finally suppose x, y, z ∈ Z are such that x ∼ y and y ∼ z. This means that there exist integers p, q ∈ Z such that (y − x) = 5p and (z − y) = 5q. Hence (z − x) = 5(p + q). Since (p + q) is again an integer, this shows that 5|(z − x) or x ∼ z, establishing transitivity of ∼.
  4. Suppose f : A 7 → B and {Bα: α ∈ Λ} is an indexed collection of subsets of B. To show that ⋂ α∈Λ

f −^1 (Bα) ⊆ f −^1

( ⋂ α∈Λ

) , suppose x ∈

⋂ α∈Λ

f −^1 (Bα). This means that x ∈ f −^1 (Bα) and

hence f (x) ∈ Bα for every α ∈ Λ. This implies f (x) ∈

⋂ α∈Λ

Bα and therefore x ∈ f −^1

( ⋂ α∈Λ

)

  1. Suppose A, B and C are sets and g: A 7 → B and f : B 7 → C are functions. a. Suppose both f and g are onto and consider any c ∈ C. Since f is onto, there exists b ∈ B such that f (b) = c. Since g is onto, there exists a ∈ A such that g(a) = b. Hence (f ◦g)(a) = f (g(a)) = c showing that f ◦ g is onto. b. Conversely suppose that f ◦ g is onto. We show that f is onto. Let c ∈ C. Since f ◦ g is onto, there exists a ∈ A such that (f ◦ g)(a) = f (g(a)) = c. Define b = g(a) ∈ B. Then f (b) = f (g(a)) = c.

Bonus. Suppose f : A 7 → A is onto. Prove by induction on n that f n: A × A is onto for every n ∈ Z+. When n = 1, then f n^ = f which is onto. Now suppose that n ∈ Z+^ and f n^ is onto. Then by 5.a. f n+1^ = f ◦ f n^ is onto because it is the composition of two functions that are both onto.