\relax \providecommand\zref@newlabel[2]{} \providecommand\hyper@newdestlabel[2]{} \@writefile{toc}{\contentsline {section}{\numberline {2}Lecture 2 -- Constructing sigma-Fields and Measures}{7}{section.2}\protected@file@percent } \newlabel{sec:lec02}{{2}{7}{Lecture 2 -- Constructing sigma-Fields and Measures}{section.2}{}} \newlabel{sec:lec02@cref}{{[section][2][]2}{[1][7][]7}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Semirings, rings, and fields}{7}{subsection.2.1}\protected@file@percent } \newlabel{def:semiring}{{2.1}{7}{Semiring}{tcb@cnt@definition.2.1}{}} \newlabel{def:semiring@cref}{{[tcb@cnt@definition][1][2]2.1}{[1][7][]7}{}{}{}} \newlabel{def:ring}{{2.2}{7}{Ring}{tcb@cnt@definition.2.2}{}} \newlabel{def:ring@cref}{{[tcb@cnt@definition][2][2]2.2}{[1][7][]7}{}{}{}} \newlabel{def:field}{{2.3}{7}{Field}{tcb@cnt@definition.2.3}{}} \newlabel{def:field@cref}{{[tcb@cnt@definition][3][2]2.3}{[1][7][]7}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Set functions and pre-measures}{8}{subsection.2.2}\protected@file@percent } \newlabel{def:setfunction}{{2.4}{8}{Set function and its properties}{tcb@cnt@definition.2.4}{}} \newlabel{def:setfunction@cref}{{[tcb@cnt@definition][4][2]2.4}{[1][8][]8}{}{}{}} \newlabel{def:premeasure}{{2.5}{8}{Pre-measure}{tcb@cnt@definition.2.5}{}} \newlabel{def:premeasure@cref}{{[tcb@cnt@definition][5][2]2.5}{[1][8][]8}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Outer measure and $\mu ^{*}$-measurability}{8}{subsection.2.3}\protected@file@percent } \newlabel{def:outermeasure}{{2.6}{8}{Outer measure}{tcb@cnt@definition.2.6}{}} \newlabel{def:outermeasure@cref}{{[tcb@cnt@definition][6][2]2.6}{[1][8][]8}{}{}{}} \newlabel{def:caratheodory-measurable}{{2.7}{9}{$\mu ^{*}$-measurable set}{tcb@cnt@definition.2.7}{}} \newlabel{def:caratheodory-measurable@cref}{{[tcb@cnt@definition][7][2]2.7}{[1][9][]9}{}{}{}} \@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})\).}}{9}{figure.caption.1}\protected@file@percent } \providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} \newlabel{fig:caratheodory-split}{{1}{9}{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][9][]9}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Carath\'eodory's extension theorem}{9}{subsection.2.4}\protected@file@percent } \newlabel{thm:caratheodory}{{2.8}{9}{Carath\'eodory Extension}{tcb@cnt@definition.2.8}{}} \newlabel{thm:caratheodory@cref}{{[tcb@cnt@definition][8][2]2.8}{[1][9][]9}{}{}{}} \@setckpt{lectures/lecture02}{ \setcounter{page}{11} \setcounter{equation}{0} \setcounter{enumi}{5} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} \setcounter{footnote}{0} \setcounter{mpfootnote}{0} \setcounter{part}{0} \setcounter{section}{2} \setcounter{subsection}{4} \setcounter{subsubsection}{0} \setcounter{paragraph}{0} \setcounter{subparagraph}{0} \setcounter{figure}{1} \setcounter{table}{0} \setcounter{parentequation}{0} \setcounter{caption@flags}{2} \setcounter{continuedfloat}{0} \setcounter{section@level}{0} \setcounter{Item}{10} \setcounter{Hfootnote}{0} \setcounter{bookmark@seq@number}{11} \setcounter{tcbbreakpart}{1} \setcounter{tcblayer}{0} \setcounter{tcolorbox@number}{11} \setcounter{tcbrastercolumn}{1} \setcounter{tcbrasterrow}{1} \setcounter{tcbrasternum}{1} \setcounter{tcbraster}{0} \setcounter{lstnumber}{1} \setcounter{tcblisting}{0} \setcounter{tcb@cnt@definition}{8} \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}{2} \setcounter{remark}{4} \setcounter{note}{0} \setcounter{lstlisting}{0} }