diff --git a/assignments/main_text.pdf b/assignments/main_text.pdf index 2ca1f0e..1615538 100644 Binary files a/assignments/main_text.pdf and b/assignments/main_text.pdf differ diff --git a/assignments/main_text.tex b/assignments/main_text.tex index 36e3fa8..3e668f6 100644 --- a/assignments/main_text.tex +++ b/assignments/main_text.tex @@ -1,5 +1,6 @@ \documentclass{latex-homework/homework} +\usepackage{enumitem} \usepackage{subfiles} \title{MIT OCW Real Analysis} @@ -8,5 +9,5 @@ \begin{document} \maketitle -\subfile{week1/0.3.6.tex} +\subfile{week1/1.tex} \end{document} diff --git a/assignments/week1/0.3.6.pdf b/assignments/week1/0.3.6.pdf deleted file mode 100644 index 0c9c1dd..0000000 Binary files a/assignments/week1/0.3.6.pdf and /dev/null differ diff --git a/assignments/week1/0.3.6.tex b/assignments/week1/0.3.6.tex deleted file mode 100644 index 18e9d28..0000000 --- a/assignments/week1/0.3.6.tex +++ /dev/null @@ -1,6 +0,0 @@ -\documentclass[../main_text.tex]{subfiles} -\begin{document} - -\exercise - -\end{document} diff --git a/assignments/week1/1.pdf b/assignments/week1/1.pdf new file mode 100644 index 0000000..41e6977 Binary files /dev/null and b/assignments/week1/1.pdf differ diff --git a/assignments/week1/1.tex b/assignments/week1/1.tex new file mode 100644 index 0000000..a012809 --- /dev/null +++ b/assignments/week1/1.tex @@ -0,0 +1,22 @@ +\documentclass[../main_text.tex]{subfiles} +\begin{document} + +\exercise*[0.3.6] +\begin{enumerate}[label=\emph{\alph*)}] + \item Wanting to show: + $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ + + In order to prove this equivalence, we have to prove the implication both ways. We use two lemmas for this. + + \begin{lemma}[test] + $A \cap (B \cup C) \implies (A \cap B) \cup (A \cap C)$ + + Let $x \in A \cap (B \cup C)$. + \end{lemma} + \begin{definition} + Test. + \end{definition} + \item +\end{enumerate} + +\end{document}