\documentclass[10pt]{article}

\usepackage[margin=1in]{geometry}
\usepackage[small]{titlesec}
\usepackage{palatino, mathpazo}
\usepackage{inconsolata}
\usepackage{amsmath, amssymb}
\usepackage{enumerate}
\usepackage{graphicx}
\usepackage[normalem]{ulem}


\newcommand{\ds}{\displaystyle}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\Var}{\operatorname{Var}}
\renewcommand{\P}{\mathbb{P}}
\newcommand{\PP}{\mathcal{P}}

\setlength{\parindent}{0pt}
\setlength{\parskip}{1.5ex}

\title{\sc Math 2100 / 2350 -- Homework 3}
\author{
	Fall 2020\\[10pt]
	due Wednesday, \textbf{October 7},
	\underline{on D2L, by the beginning of class}\\[10pt]
	Sections 3.1, 3.2
}
\date{}
\begin{document}
\maketitle

\begin{center} 
	\emph{This homework assignment was written in \LaTeX{}. You can find the source code on the course website.}
\end{center}

\textbf{Instructions:} This assignment is due on D2L at the \emph{beginning} of class. It must be typed in Latex (other formats such as Word are not acceptable). \textbf{You must submit the .pdf file, but you do not have to submit the .tex file unless I ask for it} Any pictures can be drawn by hand and added to the Latex file with the ``$\backslash$includegraphics'' command (see how I do it in this document). Please write the questions in the correct order. Explain all reasoning.

\textbf{Mathematical Writing:} An important component of this course is learning how to write mathematics correctly and concisely. Your goal should always be the convince the reader that you are correct! That means explaining your thinking and each step in your solution. We will talk more about this when we cover formal proofs in a few weeks, but for now I expect you to do the following: explain your reasoning, don't leave out steps, and use full sentences with correct spelling and grammar (including your use of math symbols). For example, don't write ``$3 \in S \Longrightarrow 3 \not\in \overline{S}$''; instead, write ``Since $3 \in S$, it follows that $3 \not\in \overline{S}$''.

\begin{enumerate}	
	\item Use Venn Diagrams to determine whether the equation below is true:
	\[
		(B \cup (A \smallsetminus C)) \cap A \qquad = \qquad A \smallsetminus (A \cap \overline{B} \cap C)
	\]
	
	\item Use Venn Diagrams to determine whether the equation below is true:
	\[
		(\overline{A \cup B}) \cup (\overline{A \cup C}) \qquad = \qquad (B \cup C) \smallsetminus A
	\]
	
	\item List 5 elements of each of the following sets, unless there are fewer than $5$ elements (in which case, list them all and justify how you know you've listed all of them).
	\begin{enumerate}
		\item $\{x \in \R : x \not\in \N \text{ and } x^2 \in \N\}$
		\item $\{ S \subseteq \N : \text{the sum of the elements in $S$ is less than  $3$}\}$
		\item $\{ z \in \N : z = 5k+2 \text{ for some }k \in \Z\}$
		\item $\{ r \in \Z : r = 2k \text{ for some $k \in \Z$ and } r = 2\ell+1 \text{ for some $\ell \in \Z$}\}$
	\end{enumerate}
	
	\item Write each of the following sets in set-builder notation.
	\begin{enumerate}
		\item The set $A$ of real numbers that are not rational numbers.
		\item The set $B$ of rational numbers whose numerator is $1$ and whose denominator is a prime number. 
		\item The set $C$ of pairs of real numbers $(r_1, r_2)$ that add up to a natural number.
		\item The set $D$ of subsets of the real numbers whose size is $10$ or less.
	\end{enumerate}
	
	\item Determine whether the statement below is true or false. If true, give a few sentences of justification (a formal proof is not necessary). If false, give specific examples of sets that make the statement false.
	\begin{center}
		For all sets $A$, $B$, and $C$: if $A \subseteq B$ and $A \subseteq C$, then $A \subseteq B \cap C$.
	\end{center}
	
	\item Determine whether the statement below is true or false. If true, give a few sentences of justification (a formal proof is not necessary). If false, give specific examples of sets that make the statement false.
	\begin{center}
		For all sets $A$ and $B$: $(A \times A) \smallsetminus (B \times B) = (A \smallsetminus B) \times (A \smallsetminus B)$.
	\end{center}
	
	\item Determine whether the statement below is true or false. If true, give a few sentences of justification (a formal proof is not necessary). If false, give specific examples of sets that make the statement false.
	\begin{center}
		For all sets $A$ and $B$: if $A \subseteq B$ then $A \subseteq \PP(B)$.
	\end{center}

\end{enumerate}
\end{document}


