\documentclass[10pt]{article}

\usepackage[margin=0.7in,top=0.5in]{geometry}
\usepackage[small]{titlesec}
\usepackage{palatino, mathpazo}
\usepackage{inconsolata}
\usepackage{amsmath, amssymb}
\usepackage{enumitem}

\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}}

\newpagestyle{main}[\small]{
	\headrule
	\sethead[\usepage][][]
	{}{}{\usepage}
}

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

\title{\sc Math 2100 / 2105 / 2350 -- Homework 1}
\author{due Thursday, September 6, at the beginning of class}
\date{}
\begin{document}
\maketitle

\pagestyle{main}

\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 at the \emph{beginning} of class. Staple your work together (do not just fold over the corner). Please write the questions in the correct order. If I cannot read your handwriting, you won't receive credit.

\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}$''.



%\emph{You may use Wolfram Alpha or another similar tool to compute any necessary sums or integrals, and for your matrix calculations. If you have trouble with this, let me know.}\\

%\textbf{If you're using facts about distributions to answer the questions, be very clear about which distribution you're using to model that problem and why that distribution is appropriate.}

%\underline{\textbf{Every step of your answers must be fully justified to receive credit.}}


\begin{enumerate}
	
	\item Use a Venn diagram to determine whether each of the following set equalities is true or false. If true, explain why (use your Venn diagram---I'm not asking for a formal proof yet); if false, give examples of sets for which the two sides are not equal.
	\begin{enumerate}
		\item $A \cup (A \cap B) = A$
		\item $(A \cup B) \smallsetminus (A \cap C) = B \cup (A \smallsetminus C)$
	\end{enumerate}
	
	\item Write each of the following sets in set-builder notation.
	\begin{enumerate}
		\item The set $S$ of rational numbers such that the difference between the numerator and the denominator is even.
		\item The set $T$ of positive integers that are bigger than $10$ and whose tens digit is a 5.
		\item The set $R$ of pairs $(a,b)$ of positive integers whose sum is a multiple of 3.
	\end{enumerate}
	
	\item List five elements in each of the following sets, unless there are fewer than 5 elements in the set (in which case, justify how you know you've listed all of the elements.
	\begin{enumerate}
		\item $A = \{x \in \R : x^2 \in \N\}$
		\item $B = \{S \subseteq \{1,2,3,4\} : \text{the sum of the elements of $S$ is even}\}$
		\item $C = \{q \in \N : q = 2k \text{ for some $k\in\N$ and }q=2\ell+1\text{ for some $\ell\in\N$}\}$
	\end{enumerate}
	
	\item Define the sets $X = \{2x : x \in \Z\}$ and $Y = \{3y : y \in \Z\}$. Describe each of the following as simply as possible using set-builder notation.
	\begin{enumerate}
		\item $X \cap Y$
		\item $X \smallsetminus Y$
		\item $Y \smallsetminus X$
		\item $\Z \smallsetminus X$
	\end{enumerate}
	
	\item Let $n$ be a positive integer and define $N = \{1, 2, \ldots, n\}$ to be the set of positive integers from $1$ to $n$. For example, if $n = 4$, then $N = \{1,2,3,4\}$. Each of the following answers should have the variable $n$ in it.
	\begin{enumerate}
		\item What is the size of the set $N \times N$?
		\item What is the size of the set $\{(a,b) \in N \times N : a \neq b\}$?
		\item What is the size of the set $\{(a,b,c) \in N \times N \times N : a \neq b, a \neq c, b \neq c\}$?
	\end{enumerate}
				
\end{enumerate}
\end{document}




¡