\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {4}Lecture 4 -- Lebesgue Measure; Non-Measurable Sets}{14}{section.4}\protected@file@percent }
\newlabel{sec:lec04}{{4}{14}{Lecture 4 -- Lebesgue Measure; Non-Measurable Sets}{section.4}{}}
\newlabel{sec:lec04@cref}{{[section][4][]4}{[1][14][]14}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Lebesgue measure on $(0,1]$ and $\vvmathbb  {R}$}{14}{subsection.4.1}\protected@file@percent }
\newlabel{prop:halfopen-ring}{{4.1}{14}{$\Acal $ is a $\pi $-system and a ring}{tcb@cnt@definition.4.1}{}}
\newlabel{prop:halfopen-ring@cref}{{[tcb@cnt@definition][1][4]4.1}{[1][14][]14}{}{}{}}
\newlabel{prop:lambda-premeasure}{{4.2}{14}{$\lambda $ is a pre-measure on $\Acal $}{tcb@cnt@definition.4.2}{}}
\newlabel{prop:lambda-premeasure@cref}{{[tcb@cnt@definition][2][4]4.2}{[1][14][]14}{}{}{}}
\newlabel{thm:lebesgue}{{4.3}{14}{Lebesgue measure}{tcb@cnt@definition.4.3}{}}
\newlabel{thm:lebesgue@cref}{{[tcb@cnt@definition][3][4]4.3}{[1][14][]14}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Non-measurable sets: the Vitali construction}{15}{subsection.4.2}\protected@file@percent }
\newlabel{def:add-mod-one}{{4.4}{15}{Addition modulo $1$}{tcb@cnt@definition.4.4}{}}
\newlabel{def:add-mod-one@cref}{{[tcb@cnt@definition][4][4]4.4}{[1][14][]15}{}{}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Addition mod \(1\) wraps \((0,1]\) onto a circle: shifts \(A\DOTSB \mapstochar \rightarrow A+x\) become rotations.}}{15}{figure.caption.3}\protected@file@percent }
\newlabel{fig:circle-mod-one}{{3}{15}{Addition mod \(1\) wraps \((0,1]\) onto a circle: shifts \(A\mapsto A+x\) become rotations}{figure.caption.3}{}}
\newlabel{fig:circle-mod-one@cref}{{[figure][3][]3}{[1][15][]15}{}{}{}}
\newlabel{lem:translation-invariance}{{4.5}{15}{Translation invariance on Borel sets}{tcb@cnt@definition.4.5}{}}
\newlabel{lem:translation-invariance@cref}{{[tcb@cnt@definition][5][4]4.5}{[1][15][]15}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Product measures, briefly}{16}{subsection.4.3}\protected@file@percent }
\newlabel{def:lebesgue-rp}{{4.6}{16}{Lebesgue measure on $\R ^p$}{tcb@cnt@definition.4.6}{}}
\newlabel{def:lebesgue-rp@cref}{{[tcb@cnt@definition][6][4]4.6}{[1][15][]16}{}{}{}}
\newlabel{def:product-measure}{{4.7}{16}{Product measure}{tcb@cnt@definition.4.7}{}}
\newlabel{def:product-measure@cref}{{[tcb@cnt@definition][7][4]4.7}{[1][16][]16}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Independence}{16}{subsection.4.4}\protected@file@percent }
\newlabel{def:indep-sets}{{4.8}{16}{Independence for sets}{tcb@cnt@definition.4.8}{}}
\newlabel{def:indep-sets@cref}{{[tcb@cnt@definition][8][4]4.8}{[1][16][]16}{}{}{}}
\newlabel{def:indep-sigma-fields}{{4.9}{17}{Independence for $\sigma $-fields}{tcb@cnt@definition.4.9}{}}
\newlabel{def:indep-sigma-fields@cref}{{[tcb@cnt@definition][9][4]4.9}{[1][16][]17}{}{}{}}
\newlabel{thm:indep-pi}{{4.10}{17}{Independence from $\pi $-systems}{tcb@cnt@definition.4.10}{}}
\newlabel{thm:indep-pi@cref}{{[tcb@cnt@definition][10][4]4.10}{[1][17][]17}{}{}{}}
\@setckpt{lectures/lecture04}{
\setcounter{page}{18}
\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}{4}
\setcounter{subsection}{4}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{3}
\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}{21}
\setcounter{tcbbreakpart}{1}
\setcounter{tcblayer}{0}
\setcounter{tcolorbox@number}{28}
\setcounter{tcbrastercolumn}{1}
\setcounter{tcbrasterrow}{1}
\setcounter{tcbrasternum}{1}
\setcounter{tcbraster}{0}
\setcounter{lstnumber}{1}
\setcounter{tcblisting}{0}
\setcounter{tcb@cnt@definition}{10}
\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}{3}
\setcounter{note}{0}
\setcounter{lstlisting}{0}
}