 :=\ \ \left( \widehat{T} \right)^{n} \left( \mathscr{B}_{0} \right)\ \ \text{for}\ \ n \in \mathbb{N}.$$

On a probability space $(\Omega, \nu)$, let $\big\{ \mathscr{B}_{n} \big\}_{n\, \ge\, 0}$ be an increasing sequence of $\sigma$-algebras and $\big\{ \Psi_{n} : \Omega \longrightarrow \mathbb{R} \big\}_{n\, \ge\, 0}$ be a collection of functions. Then, $\big\{ \Psi_{n}, \mathscr{B}_{n} \big\}_{n\, \ge\, 0}$ is called an *increasing martingale* if $\Psi_{n}$ is $\mathscr{B}_{n}$-measurable and ${\rm E} \left[ \Psi_{n + 1} \mid \mathscr{B}_{n} \right] = \Psi_{n}$ for $n\geq 0$.

Thus, defining $$\begin{aligned}
\left( \widehat{\Phi} \right)^{n} \left( \overline{(w,\, x)} \right) & := & \widehat{\Phi} \left( \left( \widehat{T} \right)^{- 1} \left( \overline{(w,\, x)} \right) \right)\; +\; \widehat{\Phi} \left( \left( \widehat{T} \right)^{- 2} \left( \overline{(w,\, x)} \right) \right) \\ 
& & \hspace{+4cm} +\; \cdots +\; \widehat{\Phi} \left( \left( \widehat{T} \right)^{- n} \left( \overline{(w,\, x)} \right) \right), \end{aligned}$$ that captures the $n$-th ergodic sum $\Phi^{n}((w,\, x))$, as defined in equation, on the base space, helps us form an increasing martingale on $\widehat{X}$, related to $\Phi^{n}$.

[@ps:02] The sequence $\left\{ \left( \widehat{\Phi} \right)^{n}, \mathscr{B}_{n} \right\}_{n\, \ge\, 1}$ forms an increasing martingale on $\widehat{X}$.

Before we embark on the proof of theorem, we state the Skorokhod embedding
: = \ \ \left (\widehat{T } \right)^{n } \left (\mathscr{B}_{0 } \right)\ \ \text{for}\ \ n \in \mathbb{N}.$$ 

 On a probability space $ (\Omega, \nu)$, let $ \big\ { \mathscr{B}_{n } \big\}_{n\, \ge\, 0}$ be an increasing succession of $ \sigma$-algebras and $ \big\ { \Psi_{n }: \Omega \longrightarrow \mathbb{R } \big\}_{n\, \ge\, 0}$ constitute a collection of functions. Then, $ \big\ { \Psi_{n }, \mathscr{B}_{n } \big\}_{n\, \ge\, 0}$ is call an * increase martingale * if $ \Psi_{n}$ is $ \mathscr{B}_{n}$-measurable and $ { \rm E } \left [ \Psi_{n + 1 } \mid \mathscr{B}_{n } \right ] = \Psi_{n}$ for $ n\geq 0$. 

 Thus, define $ $ \begin{aligned } 
 \left (\widehat{\Phi } \right)^{n } \left (\overline{(w,\, x) } \right) &: = & \widehat{\Phi } \left (\left (\widehat{T } \right)^{- 1 } \left (\overline{(w,\, x) } \right) \right)\; + \; \widehat{\Phi } \left (\left (\widehat{T } \right)^{- 2 } \left (\overline{(w,\, x) } \right) \right) \\ 
 & & \hspace{+4 cm } + \; \cdots + \; \widehat{\Phi } \left (\left (\widehat{T } \right)^{- n } \left (\overline{(w,\, x) } \right) \right), \end{aligned}$$ that capture the $ n$-th ergodic sum $ \Phi^{n}((w,\, x))$, as specify in equation, on the base quad, helps us form an increase martingale on $ \widehat{X}$, related to $ \Phi^{n}$. 

 [ @ps:02 ] The sequence $ \left\ { \left (\widehat{\Phi } \right)^{n }, \mathscr{B}_{n } \right\}_{n\, \ge\, 1}$ forms an increasing dolphin striker on $ \widehat{X}$. 

 Before we embark on the proof of theorem, we state the Skorokhod embed
 :=\ \ \peft( \widehat{T} \right)^{n} \lefu( \mathscr{B}_{0} \right)\ \ \text{foc}\ \ n \in \mathbb{N}.$$

Un a probability space $(\Omega, \ny)$, let $\big\{ \mathscr{B}_{n} \big\}_{n\, \ge\, 0}$ be an ijcreasint sewyence of $\smfma$-algenxas ahf $\biy\{ \'si_{n} : \Omega \lonnrightarrow \mathbb{R} \big\}_{n\, \ce\, 0}$ ye a collection of functions. Then, $\bid\{ \Psi_{n}, \kahhscr{B}_{n} \big\}_{n\, \gg\, 0}$ is sallsd an *increasing martingale* if $\Psi_{h}$ is $\mauhscr{B}_{n}$-measurable snd ${\rm E} \left[ \Psi_{n + 1} \mid \mwthsfr{B}_{n} \right] = \Psi_{n}$ flr $n\geq 0$.

Thuw, desuning $$\begin{auigned}
\left( \widehat{\Phi} \tight)^{n} \left( \overline{(w,\, x)} \right) & := & \widekat{\Phi} \left( \lwft( \fidehat{T} \rijht)^{- 1} \lvft( \overline{(w,\, x)} \right) \right)\; +\; \widehat{\Phi} \lent( \leht( \wudehat{T} \right)^{- 2} \left( \oterline{(w,\, x)} \right) \rigrt) \\ 
& & \hspdcz{+4cm} +\; \cdots +\; \widehat{\Phu} \oeft( \neft( \widdyat{G} \rjgit)^{- h} \left( \ovxrline{(w,\, x)} \rjght) \right), \wnd{aligned}$$ that capuurqw the $n$-th ergkdic stm $\Phi^{n}((w,\, x))$, as defined in equation, on the tass space, helps us form ab increasing martingape on $\widqhat{X}$, related to $\Phi^{n}$.

[@ps:02] The sequence $\left\{ \left( \wigehat{\'hk} \rnnmt)^{n}, \oqtjscr{B}_{n} \right\}_{n\, \ge\, 1}$ forms an increasing martingwme ok $\widehat{X}$.

Before we embark pn tng proof of theurem, wz sfate the Skorokhod embeddyng
:=\ \ \left( \widehat{T} \right)^{n} \left( \mathscr{B}_{0} \text{for}\ n \in On a probability \mathscr{B}_{n} \ge\, 0}$ be increasing sequence of and $\big\{ \Psi_{n} : \Omega \longrightarrow \big\}_{n\, \ge\, 0}$ be a collection of functions. Then, $\big\{ \Psi_{n}, \mathscr{B}_{n} \big\}_{n\, 0}$ is called an *increasing martingale* if $\Psi_{n}$ is $\mathscr{B}_{n}$-measurable and ${\rm E} \Psi_{n 1} \mathscr{B}_{n} = \Psi_{n}$ for $n\geq 0$. Thus, defining $$\begin{aligned} \left( \widehat{\Phi} \right)^{n} \left( \overline{(w,\, x)} \right) & & \widehat{\Phi} \left( \left( \widehat{T} \right)^{- 1} \left( x)} \right) \right)\; +\; \left( \left( \widehat{T} \right)^{- 2} \overline{(w,\, \right) \right) & \hspace{+4cm} \cdots +\; \widehat{\Phi} \left( \widehat{T} \right)^{- n} \left( \overline{(w,\, x)} \right) \right), \end{aligned}$$ that captures the $n$-th ergodic sum $\Phi^{n}((w,\, as defined on the space, us an increasing martingale related to $\Phi^{n}$. [@ps:02] The sequence \right)^{n}, \mathscr{B}_{n} \right\}_{n\, \ge\, 1}$ forms an increasing on $\widehat{X}$. we embark on the proof of we state the Skorokhod embedding
 :=\ \ \left( \widehat{T} \right)^{n} \left( \matHscr{B}_{0} \right)\ \ \Text{fOr}\ \ n \In \mAtHbb{N}.$$

on a pRobability spacE $(\omegA, \nu)$, let $\big\{ \mathscr{B}_{n} \big\}_{n\, \Ge\, 0}$ be aN iNCreaSInG sequEnce of $\sIGmA$-ALgeBrAs And $\BiG\{ \psI_{n} : \OmeGa \lOngrighTarrow \mathBb{R} \BiG\}_{n\, \ge\, 0}$ be a colleCTiOn of functiOns. then, $\big\{ \Psi_{n}, \mAthScr{B}_{n} \bIg\}_{N\, \ge\, 0}$ IS callEd aN *incrEasing MArtingAle* if $\Psi_{n}$ Is $\MAthscr{b}_{N}$-measurABLe And ${\rM E} \left[ \Psi_{n + 1} \mid \mathSCr{b}_{N} \right] = \Psi_{n}$ for $n\Geq 0$.

ThuS, dEFiNINg $$\bEgiN{aligned}
\leFt( \WidehAT{\Phi} \rigHT)^{n} \LEFT( \ovERline{(w,\, x)} \right) & := & \wIdehat{\Phi} \leFT( \leFt( \wideHaT{T} \rIGht)^{- 1} \lefT( \overLiNE{(w,\, x)} \Right) \right)\; +\; \wIdehAt{\Phi} \left( \Left( \wiDEhat{T} \riGHt)^{- 2} \left( \oVerlinE{(w,\, x)} \RigHt) \riGHt) \\ 
& & \HsPacE{+4cM} +\; \CdoTS +\; \wIdeHAt{\PHi} \left( \leFt( \WiDehat{t} \rigHT)^{- N} \LEft( \oVerLine{(W,\, x)} \rigHt) \right), \end{aliGneD}$$ thaT CapTures The $n$-tH ergOdIc sum $\phi^{n}((w,\, x))$, As defInEd in equation, on tHe baSe space, heLps Us ForM aN incrEAsing mArtIngAle on $\wiDehat{X}$, rELatEd TO $\pHi^{N}$.

[@ps:02] The sequence $\left\{ \LeFT( \WiDehat{\Phi} \Right)^{n}, \MAtHsCR{B}_{n} \right\}_{N\, \gE\, 1}$ foRms aN INcreaSing MArTingale oN $\widehAT{X}$.

beFore we eMbArk on tHe ProOf oF theoREm, we State tHe SkorokHod emBEdding
 :=\ \ \left( \widehat{T}\right)^{n } \le ft(  \m at hscr {B}_ {0} \right)\ \ \tex t{for}\ \ n \in \mathb b{N}. $$ 
Ona  p robab ility s p ac e $(\ Om eg a,\n u )$ , let  $\ big\{ \ mathscr{B} _{n }\big\}_{n\,\ ge \, 0}$ beanincreasing s equ ence o f$\s i gma$- alg ebras  and $ \ big\{\Psi_{n}:\ Omega\ longrig h t ar row\mathbb{R} \big\} _ {n \ , \ge\, 0}$ be  a col le c ti o n  of  fu nctions. T he n, $\ b ig\{ \P s i_ { n } , \ m athscr{B}_{n}  \big\}_{n\ ,  \g e\, 0} $isc alledan *i nc r eas ing marting ale*  if $\Psi _{n}$i s $\mat h scr{B}_ {n}$-m eas ura blea nd  $ {\r mE } \ l ef t[\ Psi _{n + 1}  \ mi d \ma thsc r { B } _{n}  \r ight ] = \ Psi_{n}$ for$n\ geq0 $.
Thus , def inin g$$\be gin{al igned }\left( \widehat {\Ph i} \right )^{ n}  \l ef t( \o v erline {(w ,\,  x)} \r ight) & :=&\ w i de hat{\Phi} \left( \ le f t (\widehat {T} \r i gh t) ^ {- 1} \l ef t(\ove r l ine{( w,\, x) } \right ) \rig h t) \;  +\; \w id ehat{\ Ph i}\le ft( \ l eft(  \wide hat{T} \ right ) ^{- 2} \left(\ overline{(w,\ ,  x ) }  \ r ight ) \ right) \\ & &\ hspa ce{+ 4 cm } + \ ; \cd ots + \; \w i dehat{\Phi} \left(\l eft( \ wideh at{T} \right) ^{- n} \le f t (  \overli ne{( w ,\ ,  x)} \right) \ right ), \end{al i gned}$$thatcaptures  the $n$- t h  ergodic  su m $ \Ph i^{ n } (( w,\, x))$, as d efin ed  in equ ati on, onthe  ba sespa ce , helps u s form a nin cr ea sin g mar t ingale o n$\w id eha t{X}$ ,  relat ed to  $\P hi ^{ n }$. 

[@ps: 0 2] T he s eq ue nce$\l ef t\{ \ left (  \w idehat{ \Phi} \ri ght ) ^{n} ,\m athscr{ B}_{n} \right \} _{n\, \ge\ ,1}$  forms a n increa sing martingale on $\wi d ehat{X} $.
Befo re w e embarkonthe pr oof of the orem,we st at e t h e  Skor o k ho d e mb edding
 :=\_\ \left(_\widehat{T} \right)^{n} \left( \mathscr{B}_{0}_\right)\ \_\text{for}\_\ n_\in_\mathbb{N}.$$

On a probability_space $(\Omega, \nu)$,_let $\big\{ \mathscr{B}_{n} \big\}_{n\,_\ge\, 0}$ be_an_increasing sequence of $\sigma$-algebras and $\big\{ \Psi_{n} : \Omega \longrightarrow \mathbb{R} \big\}_{n\, \ge\, 0}$_be_a collection_of_functions._Then, $\big\{ \Psi_{n}, \mathscr{B}_{n} \big\}_{n\,_\ge\, 0}$ is called an_*increasing martingale*_if $\Psi_{n}$ is $\mathscr{B}_{n}$-measurable and ${\rm E} \left[_\Psi_{n_+ 1} \mid_\mathscr{B}_{n} \right] = \Psi_{n}$ for $n\geq 0$.

Thus, defining $$\begin{aligned}
\left(_\widehat{\Phi} \right)^{n} \left( \overline{(w,\, x)} \right)_& := &_\widehat{\Phi}_\left(_\left( \widehat{T} \right)^{- 1}_\left( \overline{(w,\, x)} \right) \right)\; +\;_\widehat{\Phi} \left( \left( \widehat{T} \right)^{- 2}_\left( \overline{(w,\, x)} \right) \right) \\ 
&_& \hspace{+4cm} +\; \cdots +\; \widehat{\Phi}_\left( \left( \widehat{T} \right)^{- n}_\left( \overline{(w,\,_x)} \right) \right), \end{aligned}$$ that_captures the $n$-th_ergodic sum_$\Phi^{n}((w,\, x))$, as_defined in equation, on the base_space, helps us_form an increasing martingale on $\widehat{X}$,_related_to $\Phi^{n}$.

[@ps:02] The_sequence_$\left\{_\left( \widehat{\Phi}_\right)^{n}, \mathscr{B}_{n} \right\}_{n\,_\ge\,_1}$ forms_an_increasing martingale on $\widehat{X}$.

Before we embark_on_the proof of theorem, we state the_Skorokhod embedding