\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {13}Lecture 13 -- The Ergodic Theorem}{47}{section.13}\protected@file@percent }
\newlabel{sec:lec13}{{13}{47}{Lecture 13 -- The Ergodic Theorem}{section.13}{}}
\newlabel{sec:lec13@cref}{{[section][13][]13}{[1][47][]47}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.1}Measure-preserving maps, invariance, ergodicity}{47}{subsection.13.1}\protected@file@percent }
\newlabel{def:measure-preserving}{{13.1}{47}{Measure-preserving map}{tcb@cnt@definition.13.1}{}}
\newlabel{def:measure-preserving@cref}{{[tcb@cnt@definition][1][13]13.1}{[1][47][]47}{}{}{}}
\newlabel{def:invariant}{{13.2}{47}{Invariant set, invariant function}{tcb@cnt@definition.13.2}{}}
\newlabel{def:invariant@cref}{{[tcb@cnt@definition][2][13]13.2}{[1][47][]47}{}{}{}}
\newlabel{def:ergodic}{{13.3}{47}{Ergodic map}{tcb@cnt@definition.13.3}{}}
\newlabel{def:ergodic@cref}{{[tcb@cnt@definition][3][13]13.3}{[1][47][]47}{}{}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Orbit of a point under the rotation \(T(x)=x+a\bmod  1\): for irrational \(a\) the orbit is dense, the dynamics is ergodic, and Birkhoff's theorem says time averages equal space averages.}}{48}{figure.caption.10}\protected@file@percent }
\newlabel{fig:orbit-rotation}{{10}{48}{Orbit of a point under the rotation \(T(x)=x+a\bmod 1\): for irrational \(a\) the orbit is dense, the dynamics is ergodic, and Birkhoff's theorem says time averages equal space averages}{figure.caption.10}{}}
\newlabel{fig:orbit-rotation@cref}{{[figure][10][]10}{[1][48][]48}{}{}{}}
\newlabel{prop:ergodic-facts}{{13.4}{48}{Two basic facts}{tcb@cnt@definition.13.4}{}}
\newlabel{prop:ergodic-facts@cref}{{[tcb@cnt@definition][4][13]13.4}{[1][48][]48}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.2}Ergodic theorems}{48}{subsection.13.2}\protected@file@percent }
\newlabel{lem:maximal-ergodic}{{13.5}{48}{Maximal ergodic lemma}{tcb@cnt@definition.13.5}{}}
\newlabel{lem:maximal-ergodic@cref}{{[tcb@cnt@definition][5][13]13.5}{[1][48][]48}{}{}{}}
\newlabel{thm:birkhoff}{{13.6}{49}{Birkhoff's pointwise ergodic theorem}{tcb@cnt@definition.13.6}{}}
\newlabel{thm:birkhoff@cref}{{[tcb@cnt@definition][6][13]13.6}{[1][48][]49}{}{}{}}
\newlabel{thm:von-neumann}{{13.7}{49}{von Neumann's mean ergodic theorem}{tcb@cnt@definition.13.7}{}}
\newlabel{thm:von-neumann@cref}{{[tcb@cnt@definition][7][13]13.7}{[1][49][]49}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.3}Application: the strong law of large numbers, again}{49}{subsection.13.3}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces Truncation step in von~Neumann's proof: the unbounded \(f\) (red) is clipped to a bounded \(g=\min \{\max \{-C,f\},C\}\) (blue); the tails are absorbed in \(\|f-g\|_p<\varepsilon /3\), and dominated convergence handles \(g\).}}{50}{figure.caption.11}\protected@file@percent }
\newlabel{fig:truncation}{{11}{50}{Truncation step in von~Neumann's proof: the unbounded \(f\) (red) is clipped to a bounded \(g=\min \{\max \{-C,f\},C\}\) (blue); the tails are absorbed in \(\|f-g\|_p<\varepsilon /3\), and dominated convergence handles \(g\)}{figure.caption.11}{}}
\newlabel{fig:truncation@cref}{{[figure][11][]11}{[1][49][]50}{}{}{}}
\newlabel{def:shift}{{13.8}{50}{Shift map on $\R ^{\N }$}{tcb@cnt@definition.13.8}{}}
\newlabel{def:shift@cref}{{[tcb@cnt@definition][8][13]13.8}{[1][50][]50}{}{}{}}
\newlabel{prop:shift-ergodic}{{13.9}{50}{The shift is measure-preserving and ergodic}{tcb@cnt@definition.13.9}{}}
\newlabel{prop:shift-ergodic@cref}{{[tcb@cnt@definition][9][13]13.9}{[1][50][]50}{}{}{}}
\newlabel{thm:slln-ergodic}{{13.10}{50}{Strong law of large numbers, again}{tcb@cnt@definition.13.10}{}}
\newlabel{thm:slln-ergodic@cref}{{[tcb@cnt@definition][10][13]13.10}{[1][50][]50}{}{}{}}
\@setckpt{lectures/lecture13}{
\setcounter{page}{51}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{section}{13}
\setcounter{subsection}{3}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{11}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{caption@flags}{2}
\setcounter{continuedfloat}{0}
\setcounter{section@level}{0}
\setcounter{Item}{27}
\setcounter{Hfootnote}{0}
\setcounter{bookmark@seq@number}{65}
\setcounter{tcbbreakpart}{1}
\setcounter{tcblayer}{0}
\setcounter{tcolorbox@number}{105}
\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}
}