\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 6 -- Integration and Convergence Theorems}{1}{section.1}\protected@file@percent }
\newlabel{sec:lec06}{{1}{1}{Lecture 6 -- Integration and Convergence Theorems}{section.1}{}}
\newlabel{sec:lec06@cref}{{[section][1][]1}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Building the integral via simple functions}{1}{subsection.1.1}\protected@file@percent }
\newlabel{thm:simple-density}{{1.1}{1}{Approximation by simple functions on a $\pi $-system}{tcb@cnt@definition.1.1}{}}
\newlabel{thm:simple-density@cref}{{[tcb@cnt@definition][1][1]1.1}{[1][1][]1}{}{}{}}
\newlabel{def:lebesgue-integral}{{1.2}{1}{Lebesgue integral of a measurable function}{tcb@cnt@definition.1.2}{}}
\newlabel{def:lebesgue-integral@cref}{{[tcb@cnt@definition][2][1]1.2}{[1][1][]1}{}{}{}}
\newlabel{thm:integral-ae}{{1.3}{2}{Integrals ignore null sets}{tcb@cnt@definition.1.3}{}}
\newlabel{thm:integral-ae@cref}{{[tcb@cnt@definition][3][1]1.3}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}The three convergence theorems}{2}{subsection.1.2}\protected@file@percent }
\newlabel{thm:mct}{{1.4}{2}{Monotone Convergence (Beppo Levi)}{tcb@cnt@definition.1.4}{}}
\newlabel{thm:mct@cref}{{[tcb@cnt@definition][4][1]1.4}{[1][2][]2}{}{}{}}
\newlabel{thm:fatou}{{1.5}{2}{Fatou's Lemma}{tcb@cnt@definition.1.5}{}}
\newlabel{thm:fatou@cref}{{[tcb@cnt@definition][5][1]1.5}{[1][2][]2}{}{}{}}
\newlabel{thm:dct}{{1.6}{3}{Dominated Convergence (Lebesgue)}{tcb@cnt@definition.1.6}{}}
\newlabel{thm:dct@cref}{{[tcb@cnt@definition][6][1]1.6}{[1][2][]3}{}{}{}}
\newlabel{cor:bdd-conv}{{1.7}{3}{Bounded Convergence}{tcb@cnt@definition.1.7}{}}
\newlabel{cor:bdd-conv@cref}{{[tcb@cnt@definition][7][1]1.7}{[1][3][]3}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Image measures (Lebesgue--Stieltjes)}{3}{subsection.1.3}\protected@file@percent }
\newlabel{def:image-measure}{{1.8}{3}{Image (push-forward) measure}{tcb@cnt@definition.1.8}{}}
\newlabel{def:image-measure@cref}{{[tcb@cnt@definition][8][1]1.8}{[1][3][]3}{}{}{}}
\gdef \@abspage@last{3}