\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 4 -- Lebesgue Measure; Non-Measurable Sets}{1}{section.1}\protected@file@percent }
\newlabel{sec:lec04}{{1}{1}{Lecture 4 -- Lebesgue Measure; Non-Measurable Sets}{section.1}{}}
\newlabel{sec:lec04@cref}{{[section][1][]1}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Lebesgue measure on $(0,1]$ and $\vvmathbb  {R}$}{1}{subsection.1.1}\protected@file@percent }
\newlabel{prop:halfopen-ring}{{1.1}{1}{$\Acal $ is a $\pi $-system and a ring}{tcb@cnt@definition.1.1}{}}
\newlabel{prop:halfopen-ring@cref}{{[tcb@cnt@definition][1][1]1.1}{[1][1][]1}{}{}{}}
\newlabel{prop:lambda-premeasure}{{1.2}{1}{$\lambda $ is a pre-measure on $\Acal $}{tcb@cnt@definition.1.2}{}}
\newlabel{prop:lambda-premeasure@cref}{{[tcb@cnt@definition][2][1]1.2}{[1][1][]1}{}{}{}}
\newlabel{thm:lebesgue}{{1.3}{1}{Lebesgue measure}{tcb@cnt@definition.1.3}{}}
\newlabel{thm:lebesgue@cref}{{[tcb@cnt@definition][3][1]1.3}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Non-measurable sets: the Vitali construction}{2}{subsection.1.2}\protected@file@percent }
\newlabel{def:add-mod-one}{{1.4}{2}{Addition modulo $1$}{tcb@cnt@definition.1.4}{}}
\newlabel{def:add-mod-one@cref}{{[tcb@cnt@definition][4][1]1.4}{[1][2][]2}{}{}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Addition mod \(1\) wraps \((0,1]\) onto a circle: shifts \(A\DOTSB \mapstochar \rightarrow A+x\) become rotations.}}{2}{figure.caption.1}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:circle-mod-one}{{1}{2}{Addition mod \(1\) wraps \((0,1]\) onto a circle: shifts \(A\mapsto A+x\) become rotations}{figure.caption.1}{}}
\newlabel{fig:circle-mod-one@cref}{{[figure][1][]1}{[1][2][]2}{}{}{}}
\newlabel{lem:translation-invariance}{{1.5}{2}{Translation invariance on Borel sets}{tcb@cnt@definition.1.5}{}}
\newlabel{lem:translation-invariance@cref}{{[tcb@cnt@definition][5][1]1.5}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Product measures, briefly}{3}{subsection.1.3}\protected@file@percent }
\newlabel{def:lebesgue-rp}{{1.6}{3}{Lebesgue measure on $\R ^p$}{tcb@cnt@definition.1.6}{}}
\newlabel{def:lebesgue-rp@cref}{{[tcb@cnt@definition][6][1]1.6}{[1][3][]3}{}{}{}}
\newlabel{def:product-measure}{{1.7}{3}{Product measure}{tcb@cnt@definition.1.7}{}}
\newlabel{def:product-measure@cref}{{[tcb@cnt@definition][7][1]1.7}{[1][3][]3}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Independence}{3}{subsection.1.4}\protected@file@percent }
\newlabel{def:indep-sets}{{1.8}{3}{Independence for sets}{tcb@cnt@definition.1.8}{}}
\newlabel{def:indep-sets@cref}{{[tcb@cnt@definition][8][1]1.8}{[1][3][]3}{}{}{}}
\newlabel{def:indep-sigma-fields}{{1.9}{4}{Independence for $\sigma $-fields}{tcb@cnt@definition.1.9}{}}
\newlabel{def:indep-sigma-fields@cref}{{[tcb@cnt@definition][9][1]1.9}{[1][4][]4}{}{}{}}
\newlabel{thm:indep-pi}{{1.10}{4}{Independence from $\pi $-systems}{tcb@cnt@definition.1.10}{}}
\newlabel{thm:indep-pi@cref}{{[tcb@cnt@definition][10][1]1.10}{[1][4][]4}{}{}{}}
\gdef \@abspage@last{4}