Course

Home

Syllabus

Lecture Topics

Homework

Policies



Links

Problem of the Month

Math Club (QED)

Putnam Competition (Dr. Wise)

Math Department Tutor List


MATH 4730/5730: Set Theory, Fall 2019


Homework


Assignment
Assigned
Due
Problems
HW1 9/4/19
9/11/19
Read pages 1-28.

1.  Do Exercise 1.3.1. (Exercise A.B.C means: Chapter A, Section B, Exercise B.C.)

2.  Do Exercise 1.3.6.

3.  Do Exercise 2.2.8(a) and the first part of 2.2.8(b).
HW2 9/11/19
9/18/19
Read pages 29-42.

Think about the following, but do not turn them in: Exercises 2.3.6(a), 2.3.8, 2.4.1.

1.  How many equivalence relations on the set $\{0,1,2\}$ are there? How many partial orderings on $\{0,1,2\}$ are there? (To answer this, just write them down or draw the appropriate picture. You don't have to prove that your lists are complete, but to get full credit your lists must be complete. You may assume anything about counting that you learned in grade school, even if haven't proved it yet.)

2.  Recall that a partial ordering of a set is a binary relation. What are the least and largest number of pairs that can occur in a partial ordering of an $n$-element set? (Problem to think about: is every intermediate value equal to the number of pairs of some ordering of an $n$-element set?)

3.  Do Exercise 3.2.1.
HW3 9/18/19
9/25/19
Read pages 42-64.

Think about the following, but do not turn them in: Exercises 3.2.2, 3.2.7.

1.  Do Exercise 3.2.6.

2.  Do Exercise 3.2.8.

3.  Prove that $m^{n+k}=m^n\cdot m^k$. (You may need to prove some lemmas first.)
HW4 9/25/19
10/2/19
Read pages 65-79.

1.  Define a binary operation $\circ$ on $\omega$ as follows. Given $m, n\in\omega$, choose sets $A, B$ with $|A|=m$, $|B|=n$ and define $m\circ n = |A\times B|$.
(a) Show that $\circ $ is well defined.
(b) Show that $m\circ 0=0$ and $m\circ S(n)=(m\circ n)+m$. (That is, $\circ$ satisfies the recursion that defines multiplication.)
(c) Conclude that $m\circ n = mn$. (This shows that $|A\times B|=|A|\cdot |B|$ for finite sets.)

2.  Show that the real line has the same cardinality as the real plane. (Hint: By the CBS Theorem you only need to find 1-1 functions in each direction. For a 1-1 function from the plane to the line, try mapping a point (x,y) in the plane to the real number obtained by interlacing the digits of x and y. Be careful to explain exactly what you mean, noting that some real numbers have more than one decimal representation.).

3.  Show that $|(A^B)^C|=|A^{B\times C}|$.
HW5 10/3/19
10/9/19
The exponentiation used in these problems is defined so that $A^B=\{f: B\to A\;|\;f\;\textrm{is a function}\}$.

1.  Show that $|2^{\omega}|=|\omega^{\omega}|=|2^{\omega\times\omega}|$.

2.  Show that the set of all equivalence relations on $\omega$ has the same cardinality as $2^{\omega}$.

3.  Show that the set of all linear orders on $\omega$ has the same cardinality as $2^{\omega}$.
HW6 10/16/18
10/23/18 Read pages 93-102.

1. Do Exercise 5.1.3.

2. Do Exercise 5.1.7.

3.
(a) Give an example of a set that is transitive, but not well-ordered by epsilon.
(b) Give an example of a set that is well-ordered by epsilon, but is not transitive.