Compare commits
43 Commits
f31117d87e
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
| 23c5c26472 | |||
| b27c0d1872 | |||
| b92d0a5a97 | |||
| 7fbca3031a | |||
| 12ba818631 | |||
| bc10cf8736 | |||
| 83c9218b81 | |||
| a7ec28cf5c | |||
| 9ea1970fcf | |||
| adcf470b30 | |||
| 108ef1755a | |||
| d2b0965281 | |||
| ad278c6e66 | |||
| 40e3f57f5e | |||
| 1bb9abb8cf | |||
| b1d3f25d48 | |||
| 029f0fe6d6 | |||
| 85bdd56b1c | |||
| cdbf024243 | |||
| 4b69b4ed5d | |||
| 2f080802fb | |||
| 0bf782be40 | |||
| 2665c4b0c1 | |||
| 13455b406d | |||
| 81586f7f19 | |||
| d371820b74 | |||
| 9e486162f7 | |||
| 13069e68ea | |||
| 559d27267c | |||
| 3e210ca9ba | |||
| 603241fce5 | |||
| 6fbf6273ea | |||
| deaaaa276b | |||
| 549af36a07 | |||
| ce4daadd49 | |||
| 8d19df9d53 | |||
| a28e184552 | |||
| 9c83a5bb32 | |||
| 2eda317dd7 | |||
| f7000b4b84 | |||
| be946462f5 | |||
| b089017f69 | |||
| 9cc3641238 |
2
.gitmodules
vendored
2
.gitmodules
vendored
@@ -1,4 +1,4 @@
|
|||||||
[submodule "latex-homework"]
|
[submodule "latex-homework"]
|
||||||
path = assignments/template
|
path = src/template
|
||||||
url = https://github.com/gijs-pennings/latex-homework.git
|
url = https://github.com/gijs-pennings/latex-homework.git
|
||||||
branch = master
|
branch = master
|
||||||
|
|||||||
12
Jenkinsfile
vendored
12
Jenkinsfile
vendored
@@ -1,10 +1,12 @@
|
|||||||
pipeline {
|
pipeline {
|
||||||
agent {label 'linux'}
|
agent any
|
||||||
stages {
|
stages {
|
||||||
stage('Build') {
|
stage('Build') {
|
||||||
steps {
|
steps {
|
||||||
echo 'Starting build step...'
|
echo 'Starting build step...'
|
||||||
sh './scripts/build.sh'
|
sh 'latexmk -pdf -outdir=out main_text.tex'
|
||||||
|
|
||||||
|
archiveArtifacts artifacts: 'out/main_text.pdf'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -13,7 +15,13 @@ pipeline {
|
|||||||
stage('Deploy') {
|
stage('Deploy') {
|
||||||
steps{
|
steps{
|
||||||
echo 'Starting deploy step...'
|
echo 'Starting deploy step...'
|
||||||
|
sh 'cp out/main_text.pdf /var/www/zwietering.eu/pdfs/real_analysis.pdf'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
post {
|
||||||
|
cleanup {
|
||||||
|
cleanWs()
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
@@ -5,3 +5,5 @@ Exercises and maybe (just maybe, like, very probably not) lecture notes on the R
|
|||||||
[Course link](https://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/)
|
[Course link](https://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/)
|
||||||
|
|
||||||
The text book is included in the directory root. The `.tex` files can be compiled individually in the corresponding subdirectories or collectively from the assignments directory. I use `pdflatex` with texlive on Arch (through WSL2, [check this guide](https://gist.github.com/ld100/3376435a4bb62ca0906b0cff9de4f94b) on how to do this (why use Ubuntu if you're only going to use the CLI right?)).
|
The text book is included in the directory root. The `.tex` files can be compiled individually in the corresponding subdirectories or collectively from the assignments directory. I use `pdflatex` with texlive on Arch (through WSL2, [check this guide](https://gist.github.com/ld100/3376435a4bb62ca0906b0cff9de4f94b) on how to do this (why use Ubuntu if you're only going to use the CLI right?)).
|
||||||
|
|
||||||
|
The complete generated PDF file can be downloaded from [this address](https://zwietering.eu/pdfs/real_analysis.pdf).
|
||||||
Binary file not shown.
Submodule assignments/template deleted from de9419d4cc
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@@ -1,59 +0,0 @@
|
|||||||
\documentclass[../main_text.tex]{subfiles}
|
|
||||||
\begin{document}
|
|
||||||
\setcounter{exercise}{0}
|
|
||||||
|
|
||||||
\part{Assignment 4}
|
|
||||||
|
|
||||||
\exercise*
|
|
||||||
\begin{tcolorbox}
|
|
||||||
We say a set $F \subset \R$ is \textit{closed} if its complement $F^c := \R \backslash F$ is open. Since
|
|
||||||
$\emptyset$ and $\R$ are open, it follows that $\emptyset$ and $\R$ are closed as well.
|
|
||||||
|
|
||||||
\begin{enumerate}[label=\emph{(\alph*)}]
|
|
||||||
\item Let $a,b \in \R$ with $a < b$. Prove that $[a,b]$ is closed.
|
|
||||||
\item Is the set $\Z \subset \R$ closed? Provide a proof to substantiate your claim.
|
|
||||||
\item Is the set of rationals $\Q \subset \R$ closed? Provide a proof to substantiate your claim.
|
|
||||||
\end{enumerate}
|
|
||||||
\end{tcolorbox}
|
|
||||||
|
|
||||||
\begin{enumerate}[label=\emph{(\alph*)}]
|
|
||||||
\item The complement of $[a,b]$ is equal to the union of $(-\infty, a)$ and $(b, \infty)$. So, we have to prove
|
|
||||||
that both these sets are open. But we have already done so in the assignment of the previous week, so I'll just
|
|
||||||
leave it at that.
|
|
||||||
\item To prove that $\Z \subset \R$ is closed, we have to prove that the complement is open. Since the complement
|
|
||||||
consists of the union of a countably infinite number of open intervals $(a, b)$ such that $a < b$, we know
|
|
||||||
from a combination of earlier exercises that this is the case. This is because any interval $(a, b)$ is open
|
|
||||||
if $a,b \in \R$ such that $a < b$ and for any two open interval $A$ and $B$ that are open, then $A \cup B$
|
|
||||||
is open as well.
|
|
||||||
\item I claim that the set of rationals isn't closed in $\R$. This is because there doesn't exist any interval
|
|
||||||
$(a,b)$ where $a,b \in \Q$ such that $a < b$, since for any $a$ and $b$ you can always find a $c$ such that
|
|
||||||
$a < c < b$. This makes it impossible to find an $\epsilon > 0$ such that for any $x \in (a,b)$,
|
|
||||||
$(x - \epsilon, x + \epsilon)$ is also in $(a,b)$ but in such a way that it only contains irrational numbers.
|
|
||||||
This argument makes use of the fact that $\Q$ is dense in $\R$.
|
|
||||||
\end{enumerate}
|
|
||||||
|
|
||||||
\exercise*
|
|
||||||
\begin{tcolorbox}
|
|
||||||
\begin{enumerate}[label=\emph{(\alph*)}]
|
|
||||||
\item Let $\Lambda$ be a set (not necessarily a subset of $\R$), and for each $\lambda \in \Lambda$, let
|
|
||||||
$F_\lambda \in \R$. Prove that if $F_\lambda$ is closed for all $\lambda \in \Lambda$ then the set
|
|
||||||
\begin{equation*}
|
|
||||||
\bigcap_{\lambda \in \Lambda} F_\lambda = \{x \in \R : x \in F_\lambda \text{ for all }
|
|
||||||
\lambda \in \Lambda\}
|
|
||||||
\end{equation*}
|
|
||||||
is closed.
|
|
||||||
\item Let $n \in \N$, and let $F_1,...,F_n \subset \R$. Prove that if $F_1,...,F_n$ are closed then the set
|
|
||||||
$\bigcup_{m=1}^n F_m$ is closed.
|
|
||||||
\end{enumerate}
|
|
||||||
\end{tcolorbox}
|
|
||||||
|
|
||||||
This exercise is very similar to an exercise of the previous assignment, in which we looked at unions and intersections
|
|
||||||
of \textit{open} intervals, whereas in this exercise, it's all about closed intervals. As the definition of closed
|
|
||||||
intervals is intricately linked to the definition of open intervals, the following arguments will look very similar and
|
|
||||||
shouldn't be surprising.
|
|
||||||
\begin{enumerate}[label=\emph{(\alph*)}]
|
|
||||||
\item
|
|
||||||
\item
|
|
||||||
\end{enumerate}
|
|
||||||
|
|
||||||
\end{document}
|
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
\documentclass{template/homework}
|
\documentclass{src/template/homework}
|
||||||
|
|
||||||
\usepackage{enumitem} % Gives access to better enumeration items
|
\usepackage{enumitem} % Gives access to better enumeration items
|
||||||
\usepackage{tcolorbox} % Gives boxes
|
\usepackage{tcolorbox} % Gives boxes
|
||||||
@@ -6,17 +6,15 @@
|
|||||||
|
|
||||||
\title{MIT OCW Real Analysis}
|
\title{MIT OCW Real Analysis}
|
||||||
\author{Philippe H. Zwietering}
|
\author{Philippe H. Zwietering}
|
||||||
\date{}
|
\date{\today}
|
||||||
|
|
||||||
\begin{document}
|
\begin{document}
|
||||||
\maketitle
|
\maketitle
|
||||||
\tableofcontents
|
\tableofcontents
|
||||||
\clearpage
|
\clearpage
|
||||||
\subfile{week1/main.tex}
|
\subfile{./src/week1.tex}
|
||||||
\clearpage
|
\clearpage
|
||||||
\subfile{week2/main.tex}
|
\subfile{./src/week2.tex}
|
||||||
\clearpage
|
\clearpage
|
||||||
\subfile{week3/main.tex}
|
\subfile{./src/week3.tex}
|
||||||
\clearpage
|
|
||||||
\subfile{week4/main.tex}
|
|
||||||
\end{document}
|
\end{document}
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
#!/bin/bash
|
|
||||||
|
|
||||||
# Check if necessary packages are installed
|
|
||||||
necessary_packages=("pdflatex")
|
|
||||||
|
|
||||||
for package in ${necessary_packages}; do
|
|
||||||
if ! [dpkg -l ${package} > /dev/null]; then
|
|
||||||
echo "Error: ${package} is not installed."
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
done
|
|
||||||
|
|
||||||
# Build all directories
|
|
||||||
subdirectory_file_name=main
|
|
||||||
|
|
||||||
for D in *; do
|
|
||||||
if [ -d "${D}" ]; then
|
|
||||||
echo "Building ${D}..."
|
|
||||||
cd ${D}
|
|
||||||
pdflatex -interaction=nonstopmode -halt-on-error ${subdirectory_file_name}.tex
|
|
||||||
cd ..
|
|
||||||
fi
|
|
||||||
done
|
|
||||||
|
|
||||||
# Build main PDF
|
|
||||||
main_file_name=main_text
|
|
||||||
|
|
||||||
echo "Building main PDF..."
|
|
||||||
pdflatex -interaction=nonstopmode -halt-on-error ${main_file_name}.tex
|
|
||||||
|
|
||||||
# Clean up
|
|
||||||
rm -rf *.aux *.log *.out *.toc
|
|
||||||
1
src/template
Submodule
1
src/template
Submodule
Submodule src/template added at bb25980b30
Reference in New Issue
Block a user