Compare commits
14 Commits
f31117d87e
...
assignment
| Author | SHA1 | Date | |
|---|---|---|---|
| 0366eb95af | |||
| 1eea13699f | |||
| 6fbf6273ea | |||
| deaaaa276b | |||
| 549af36a07 | |||
| ce4daadd49 | |||
| 8d19df9d53 | |||
| a28e184552 | |||
| 9c83a5bb32 | |||
| 2eda317dd7 | |||
| f7000b4b84 | |||
| be946462f5 | |||
| b089017f69 | |||
| 9cc3641238 |
1
Jenkinsfile
vendored
1
Jenkinsfile
vendored
@@ -13,6 +13,7 @@ pipeline {
|
|||||||
stage('Deploy') {
|
stage('Deploy') {
|
||||||
steps{
|
steps{
|
||||||
echo 'Starting deploy step...'
|
echo 'Starting deploy step...'
|
||||||
|
sh 'cp assignments/main_text.pdf /var/www/zwietering.eu/pdfs/real_analysis.pdf'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -4,4 +4,6 @@ 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.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@@ -52,8 +52,24 @@ of \textit{open} intervals, whereas in this exercise, it's all about closed inte
|
|||||||
intervals is intricately linked to the definition of open intervals, the following arguments will look very similar and
|
intervals is intricately linked to the definition of open intervals, the following arguments will look very similar and
|
||||||
shouldn't be surprising.
|
shouldn't be surprising.
|
||||||
\begin{enumerate}[label=\emph{(\alph*)}]
|
\begin{enumerate}[label=\emph{(\alph*)}]
|
||||||
\item
|
\item Non-formally speaking, in this exercise we want to prove that any intersection of closed sets in $\R$, is
|
||||||
\item
|
closed itself. In order to make this formal, we will assume that $F_\lambda$ is closed for all $\lambda \in
|
||||||
|
\Lambda$ and follow the definition as presented.
|
||||||
|
|
||||||
|
So, let us assume that $F_\lambda$ is closed for all $\lambda \in \Lambda$. Following the definition of closed
|
||||||
|
sets, this means that the complement of $F_\lambda$ is open. Let's call the complement $\R \backslash F_\lambda =
|
||||||
|
U_\lambda$. Similarly, proving $\bigcap_{\lambda \in \Lambda} F_\lambda$ is closed, means we need to prove its
|
||||||
|
complement is open. From De Morgan's laws, it follows that $\R \backslash \bigcap_{\lambda \in \Lambda}
|
||||||
|
F_\lambda = \bigcup_{\lambda \in \Lambda} U_\lambda$.
|
||||||
|
|
||||||
|
We already proved this statement in exercise 5.b of week 3.
|
||||||
|
\item Similarly to the previous exercise, non-formally speaking we want to prove that any union of closed sets in
|
||||||
|
$\R$ is closed itself. Again, we will assign the complement of $(F_n)^c = U_n$, since we can't directly prove
|
||||||
|
a set is closed; we can only use the definition of closedness by proving something on open sets.
|
||||||
|
|
||||||
|
In the same vein, in order to prove that $\bigcup_{m=1}^n F_m$ is closed, we can only try and prove that its
|
||||||
|
complement is open. Using De Morgan's laws, $(\bigcup_{m=1}^n F_m)^c = \bigcap_{m=1}^n U_m$. This is the same
|
||||||
|
exercise as exercise 5.c from week 3, which also already proves the theorem.
|
||||||
\end{enumerate}
|
\end{enumerate}
|
||||||
|
|
||||||
\end{document}
|
\end{document}
|
||||||
|
|||||||
31
scripts/build.sh
Normal file → Executable file
31
scripts/build.sh
Normal file → Executable file
@@ -1,23 +1,16 @@
|
|||||||
#!/bin/bash
|
#!/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
|
# Build all directories
|
||||||
subdirectory_file_name=main
|
subdirectory_file_name=main
|
||||||
|
|
||||||
|
cd assignments
|
||||||
|
|
||||||
for D in *; do
|
for D in *; do
|
||||||
if [ -d "${D}" ]; then
|
if [ "${D}" != "template" ] && [ -d "${D}" ]; then
|
||||||
echo "Building ${D}..."
|
echo "Building ${D}..."
|
||||||
cd ${D}
|
cd "${D}"
|
||||||
pdflatex -interaction=nonstopmode -halt-on-error ${subdirectory_file_name}.tex
|
pdflatex -interaction=batchmode -halt-on-error "${subdirectory_file_name}.tex"
|
||||||
|
pdflatex -interaction=batchmode -halt-on-error "${subdirectory_file_name}.tex"
|
||||||
cd ..
|
cd ..
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
@@ -26,7 +19,15 @@ done
|
|||||||
main_file_name=main_text
|
main_file_name=main_text
|
||||||
|
|
||||||
echo "Building main PDF..."
|
echo "Building main PDF..."
|
||||||
pdflatex -interaction=nonstopmode -halt-on-error ${main_file_name}.tex
|
pdflatex -interaction=batchmode -halt-on-error "${main_file_name}.tex"
|
||||||
|
pdflatex -interaction=batchmode -halt-on-error "${main_file_name}.tex"
|
||||||
|
|
||||||
# Clean up
|
# Clean up
|
||||||
rm -rf *.aux *.log *.out *.toc
|
rm -rf *.aux *.log *.out *.toc
|
||||||
|
for D in *; do
|
||||||
|
if [ "${D}" != "template" ] && [ -d "${D}" ]; then
|
||||||
|
cd "${D}"
|
||||||
|
rm -rf *.aux *.log *.out *.toc
|
||||||
|
cd ..
|
||||||
|
fi
|
||||||
|
done
|
||||||
Reference in New Issue
Block a user