\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 2 -- Constructing sigma-Fields and Measures}{1}{section.1}\protected@file@percent }
\newlabel{sec:lec02}{{1}{1}{Lecture 2 -- Constructing sigma-Fields and Measures}{section.1}{}}
\newlabel{sec:lec02@cref}{{[section][1][]1}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Semirings, rings, and fields}{1}{subsection.1.1}\protected@file@percent }
\newlabel{def:semiring}{{1.1}{1}{Semiring}{tcb@cnt@definition.1.1}{}}
\newlabel{def:semiring@cref}{{[tcb@cnt@definition][1][1]1.1}{[1][1][]1}{}{}{}}
\newlabel{def:ring}{{1.2}{1}{Ring}{tcb@cnt@definition.1.2}{}}
\newlabel{def:ring@cref}{{[tcb@cnt@definition][2][1]1.2}{[1][1][]1}{}{}{}}
\newlabel{def:field}{{1.3}{2}{Field}{tcb@cnt@definition.1.3}{}}
\newlabel{def:field@cref}{{[tcb@cnt@definition][3][1]1.3}{[1][1][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Set functions and pre-measures}{2}{subsection.1.2}\protected@file@percent }
\newlabel{def:setfunction}{{1.4}{2}{Set function and its properties}{tcb@cnt@definition.1.4}{}}
\newlabel{def:setfunction@cref}{{[tcb@cnt@definition][4][1]1.4}{[1][2][]2}{}{}{}}
\newlabel{def:premeasure}{{1.5}{2}{Pre-measure}{tcb@cnt@definition.1.5}{}}
\newlabel{def:premeasure@cref}{{[tcb@cnt@definition][5][1]1.5}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Outer measure and $\mu ^{*}$-measurability}{2}{subsection.1.3}\protected@file@percent }
\newlabel{def:outermeasure}{{1.6}{3}{Outer measure}{tcb@cnt@definition.1.6}{}}
\newlabel{def:outermeasure@cref}{{[tcb@cnt@definition][6][1]1.6}{[1][2][]3}{}{}{}}
\newlabel{def:caratheodory-measurable}{{1.7}{3}{$\mu ^{*}$-measurable set}{tcb@cnt@definition.1.7}{}}
\newlabel{def:caratheodory-measurable@cref}{{[tcb@cnt@definition][7][1]1.7}{[1][3][]3}{}{}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The Carath\'eodory criterion. A set \(B\subseteq \Omega \) is \(\mu ^{*}\)-measurable when every test set \(E\) (red) is split additively by \(B\) and its complement: \(\mu ^{*}(E)=\mu ^{*}(E\cap B)+\mu ^{*}(E\cap B^{c})\).}}{3}{figure.caption.1}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:caratheodory-split}{{1}{3}{The Carath\'eodory criterion. A set \(B\subseteq \Omega \) is \(\mu ^{*}\)-measurable when every test set \(E\) (red) is split additively by \(B\) and its complement: \(\mu ^{*}(E)=\mu ^{*}(E\cap B)+\mu ^{*}(E\cap B^{c})\)}{figure.caption.1}{}}
\newlabel{fig:caratheodory-split@cref}{{[figure][1][]1}{[1][3][]3}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Carath\'eodory's extension theorem}{3}{subsection.1.4}\protected@file@percent }
\newlabel{thm:caratheodory}{{1.8}{3}{Carath\'eodory Extension}{tcb@cnt@definition.1.8}{}}
\newlabel{thm:caratheodory@cref}{{[tcb@cnt@definition][8][1]1.8}{[1][3][]3}{}{}{}}
\gdef \@abspage@last{4}