\relax \providecommand\zref@newlabel[2]{} \providecommand\hyper@newdestlabel[2]{} \@writefile{toc}{\contentsline {section}{\numberline {6}Lecture 6 -- Integration and Convergence Theorems}{23}{section.6}\protected@file@percent } \newlabel{sec:lec06}{{6}{23}{Lecture 6 -- Integration and Convergence Theorems}{section.6}{}} \newlabel{sec:lec06@cref}{{[section][6][]6}{[1][23][]23}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Lebesgue integration for measurable functions}{23}{subsection.6.1}\protected@file@percent } \newlabel{def:up-arrow}{{6.1}{23}{Increasing convergence \texorpdfstring {$f_i\uparrow f$}{f\_i up f}}{tcb@cnt@definition.6.1}{}} \newlabel{def:up-arrow@cref}{{[tcb@cnt@definition][1][6]6.1}{[1][23][]23}{}{}{}} \newlabel{thm:simple-approx}{{6.2}{23}{Approximation by simple functions}{tcb@cnt@definition.6.2}{}} \newlabel{thm:simple-approx@cref}{{[tcb@cnt@definition][2][6]6.2}{[1][23][]23}{}{}{}} \newlabel{def:pos-neg-parts}{{6.3}{23}{Positive and negative parts}{tcb@cnt@definition.6.3}{}} \newlabel{def:pos-neg-parts@cref}{{[tcb@cnt@definition][3][6]6.3}{[1][23][]23}{}{}{}} \@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Dyadic simple approximation: rounding \(f\) down to the nearest multiple of \(2^{-i}\) gives a simple function \(f_i\le f\) with \(f_i\uparrow f\) pointwise.}}{24}{figure.caption.4}\protected@file@percent } \newlabel{fig:dyadic-approx}{{4}{24}{Dyadic simple approximation: rounding \(f\) down to the nearest multiple of \(2^{-i}\) gives a simple function \(f_i\le f\) with \(f_i\uparrow f\) pointwise}{figure.caption.4}{}} \newlabel{fig:dyadic-approx@cref}{{[figure][4][]4}{[1][23][]24}{}{}{}} \newlabel{def:integral}{{6.4}{24}{Integral of a measurable function}{tcb@cnt@definition.6.4}{}} \newlabel{def:integral@cref}{{[tcb@cnt@definition][4][6]6.4}{[1][23][]24}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2}The three convergence theorems}{24}{subsection.6.2}\protected@file@percent } \newlabel{thm:mct}{{6.5}{24}{Monotone convergence}{tcb@cnt@definition.6.5}{}} \newlabel{thm:mct@cref}{{[tcb@cnt@definition][5][6]6.5}{[1][24][]24}{}{}{}} \newlabel{thm:fatou}{{6.6}{25}{Fatou's lemma}{tcb@cnt@definition.6.6}{}} \newlabel{thm:fatou@cref}{{[tcb@cnt@definition][6][6]6.6}{[1][24][]25}{}{}{}} \newlabel{thm:dct}{{6.7}{25}{Dominated convergence}{tcb@cnt@definition.6.7}{}} \newlabel{thm:dct@cref}{{[tcb@cnt@definition][7][6]6.7}{[1][25][]25}{}{}{}} \@setckpt{lectures/lecture06}{ \setcounter{page}{26} \setcounter{equation}{0} \setcounter{enumi}{2} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} \setcounter{footnote}{0} \setcounter{mpfootnote}{0} \setcounter{part}{0} \setcounter{section}{6} \setcounter{subsection}{2} \setcounter{subsubsection}{0} \setcounter{paragraph}{0} \setcounter{subparagraph}{0} \setcounter{figure}{4} \setcounter{table}{0} \setcounter{parentequation}{0} \setcounter{caption@flags}{2} \setcounter{continuedfloat}{0} \setcounter{section@level}{0} \setcounter{Item}{12} \setcounter{Hfootnote}{0} \setcounter{bookmark@seq@number}{30} \setcounter{tcbbreakpart}{1} \setcounter{tcblayer}{0} \setcounter{tcolorbox@number}{46} \setcounter{tcbrastercolumn}{1} \setcounter{tcbrasterrow}{1} \setcounter{tcbrasternum}{1} \setcounter{tcbraster}{0} \setcounter{lstnumber}{1} \setcounter{tcblisting}{0} \setcounter{tcb@cnt@definition}{7} \setcounter{mdf@globalstyle@cnt}{0} \setcounter{mdfcountframes}{0} \setcounter{mdf@env@i}{0} \setcounter{mdf@env@ii}{0} \setcounter{mdf@zref@counter}{0} \setcounter{example}{0} \setcounter{remark}{4} \setcounter{note}{0} \setcounter{lstlisting}{0} }