\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 7 -- Lebesgue-Stieltjes Measure; Fubini-Tonelli}{1}{section.1}\protected@file@percent }
\newlabel{sec:lec07}{{1}{1}{Lecture 7 -- Lebesgue-Stieltjes Measure; Fubini-Tonelli}{section.1}{}}
\newlabel{sec:lec07@cref}{{[section][1][]1}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Image measures and Lebesgue--Stieltjes}{1}{subsection.1.1}\protected@file@percent }
\newlabel{def:image-measure}{{1.1}{1}{Image measure}{tcb@cnt@definition.1.1}{}}
\newlabel{def:image-measure@cref}{{[tcb@cnt@definition][1][1]1.1}{[1][1][]1}{}{}{}}
\newlabel{thm:lebesgue-stieltjes}{{1.2}{1}{Lebesgue--Stieltjes measure}{tcb@cnt@definition.1.2}{}}
\newlabel{thm:lebesgue-stieltjes@cref}{{[tcb@cnt@definition][2][1]1.2}{[1][1][]1}{}{}{}}
\newlabel{lem:g-properties}{{1.3}{1}{Properties of the left-inverse $g$}{tcb@cnt@definition.1.3}{}}
\newlabel{lem:g-properties@cref}{{[tcb@cnt@definition][3][1]1.3}{[1][1][]1}{}{}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A right-continuous non-decreasing \(F\) with a jump. \(g(y)=\inf \{x:y\le F(x)\}\) reads the picture sideways: a level \(y\) inside the jump still resolves to a single \(x\)-value.}}{2}{figure.caption.1}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:cdf-leftinverse}{{1}{2}{A right-continuous non-decreasing \(F\) with a jump. \(g(y)=\inf \{x:y\le F(x)\}\) reads the picture sideways: a level \(y\) inside the jump still resolves to a single \(x\)-value}{figure.caption.1}{}}
\newlabel{fig:cdf-leftinverse@cref}{{[figure][1][]1}{[1][2][]2}{}{}{}}
\newlabel{def:radon}{{1.4}{2}{Radon measure}{tcb@cnt@definition.1.4}{}}
\newlabel{def:radon@cref}{{[tcb@cnt@definition][4][1]1.4}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Product $\mitsigma $-fields and the product measure}{2}{subsection.1.2}\protected@file@percent }
\newlabel{def:prod-sigma}{{1.5}{2}{Rectangles and product $\sigma $-field}{tcb@cnt@definition.1.5}{}}
\newlabel{def:prod-sigma@cref}{{[tcb@cnt@definition][5][1]1.5}{[1][2][]2}{}{}{}}
\newlabel{thm:product-measure}{{1.6}{2}{Existence and uniqueness of the product measure}{tcb@cnt@definition.1.6}{}}
\newlabel{thm:product-measure@cref}{{[tcb@cnt@definition][6][1]1.6}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}The monotone class theorem}{3}{subsection.1.3}\protected@file@percent }
\newlabel{def:monotone-class}{{1.7}{3}{Monotone class}{tcb@cnt@definition.1.7}{}}
\newlabel{def:monotone-class@cref}{{[tcb@cnt@definition][7][1]1.7}{[1][3][]3}{}{}{}}
\newlabel{thm:monotone-class-thm}{{1.8}{3}{Monotone class theorem}{tcb@cnt@definition.1.8}{}}
\newlabel{thm:monotone-class-thm@cref}{{[tcb@cnt@definition][8][1]1.8}{[1][3][]3}{}{}{}}
\newlabel{lem:indic-swap}{{1.9}{3}{Order of integration for indicators}{tcb@cnt@definition.1.9}{}}
\newlabel{lem:indic-swap@cref}{{[tcb@cnt@definition][9][1]1.9}{[1][3][]3}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}The Fubini--Tonelli theorem}{4}{subsection.1.4}\protected@file@percent }
\newlabel{thm:fubini-tonelli}{{1.10}{4}{Fubini--Tonelli}{tcb@cnt@definition.1.10}{}}
\newlabel{thm:fubini-tonelli@cref}{{[tcb@cnt@definition][10][1]1.10}{[1][4][]4}{}{}{}}
\gdef \@abspage@last{4}