Module 1: Basic Set Theory
Module 2: Modular Arithmetic, Divisibility, and the Fundamental Theorem of Arithmetic
Module 3: Functions and Relations
Module 4: Truth Tables and Symbolic Logic
Module 5: Basic Direct Proofs
Module 6: Proof Techniques Part 1: Contrapositive and Contradiction
Module 7: Sequences, Sums, and Products
Module 8: Proof Techniques Part 2: (Weak) Induction
Module 9: Recurrence Relations and Recursion
Module 10: Counting Systems (Binary, Hex, Octal, etc.)
Module 11: Combinatorics
Module 12: Graph Theory
Module 13: Review

Module 3 Homework Problems

Complete the Following Problems

For each of the following problems 1-9, let \(A=\{1,2,…,8,9,10\}\) and \(B=\{3,4,5,…,10,11,12,13\}\), and let \(R\) be the relation defined as \(R=\{(a,b)\vert a\in A, b\in B,\ \text{and}\ a\leq b\}\).

  1. True or False: \(2R10\); explain
  2. True or False: \(10R3\); explain
  3. True or False: \(4R4\); explain
  4. True or False: \((11,4)\in R\); explain
  5. True or False: \((8,11)\in R\); explain
  6. True or False; \((5,14)\in R\); explain
  7. Find the set of all \(b\in B\) such that \(9Rb\)
  8. Find the set of all \(a\in A\) such that \(aR3\)
  9. Is \(R\) homogeneous or heterogeneous? Why?

  1. Give an example of a homogeneous relation on a set that you define. Aim for coming up with something that is different from any example covered on this site.
  2. Build a relation from a set of ordered pairs that is NOT reflexive (i.e. come up with an example relation of your own that is not reflexive).
  3. Build a relation from a set of ordered pairs that is reflexive, but NOT symmetric
  4. (Bonus +10) Build a relation from a set of ordered pairs that is reflexive, symmetric, but NOT transitive.
  5. Is the relation \(“\geq”\) on the set of real numbers an equivalence relation? Why or why not?
  6. Let \(S\) be the equivalence relation defined on \(S=\{2,3,4,5\}\) such that \(S=\{(2,2),(2,3),(3,2),(3,3),(4,5),(4,4),(5,4),(5,5)\}\). Find the equivalence classes \([2]\) and \([3]\). Are there any other equivalence classes of \(S\) different from \([2]\) and \([3]\)?

Let \(f\) be defined by the potato diagram below, for questions (16-22)

  1. Find the image of \(-1\) and \(-2\)
  2. Find the image of \(S=\{1,2,-2\}\)
  3. Find the preimage of \(4\)
  4. Find the preimage of \(M=\{1,8\}\)
  5. Find the domain of \(f\)
  6. Find the range of \(f\)
  7. Find the codomain of \(f\).

  1. Give an example of a function that is injective but NOT surjective
  2. Give an example of a function that is surjective but NOT injective
  3. Give an example of a function that is neither injective nor surjective
  4. (Bonus +10) Let \(f:A\rightarrow B\) be a function, where \(A\) is the domain and \(B\) is the codomain of \(f\). Suppose \(|A|=|B|\). Is it possible for \(f\) to be surjective but not injective? How about injective, but not surjective?

Let \(f\) be the function defined by the graph below, where the tick marks on the \(x\) or \(y\)-axis represent whole numbers.

  1. Is \(f\) onto? Explain.
  2. Is \(f\) one-to-one? Explain
  3. What is the image of \(x=2\)?
  4. What is the image of \(\{1.5,-1.5\}\)? (Estimates are okay here)
  5. What is the preimage of \(\{2\}\)?
  6. What is the domain of \(f\)? What is the range?
Scroll to Top