Description of Incomplete Financial Markets for Time Evolution of Risk Assets

Nicholas S. Gonchar

Bogolyubov Institute for Theoretical Physics of NAS, Kiev, Ukraine.

DOI: 10.4236/apm.2019.96029                

Abstract

In the paper, a class of discrete evolutions of risk assets having the memory is considered. For such evolutions the description of all martingale measures is presented. It is proved that every martingale measure is an integral on the set of extreme points relative to some measure on it. For such a set of evolutions of risk assets, the contraction of the set of martingale measures on the filtration is described and the representation for it is found. The inequality for the integrals from a nonnegative random value relative to the contraction of the set of martingale measure on the filtration which is dominated by one is obtained. Using these inequalities a new proof of the optional decomposition theorem for super-martingales is presented. The description of all local regular super-martingales relative to the regular set of measures is presented. The applications of the results obtained to mathematical finance are presented. In the case, as evolution of a risk asset is given by the discrete geometric Brownian motion, the financial market is incomplete and a new formula for the fair price of super-hedge is founded.

Keywords

Random Process, Regular Set of Measures, Optional Doob Decomposition, Local Regular Super-Martingale, Martingale, Discrete Geometric Brownian Motion

1. Introduction

In the paper, the notion of the regular super-martingale relative to the set of equivalent measures is introduced. The necessary and sufficient conditions of the regular super-martingale relative to the set of equivalent measures are found. The notion of the family of equivalent measures consistent with filtration is introduced. Theorem giving the sufficient conditions of the existence of super-martingale and martingale relative to the set of equivalent measures consistent with the filtration is proved. The sufficient conditions of the existence of the set of equivalent measures consistent with the filtration, satisfying the conditions: the mean value of the nonnegative random value relative to these set of measures equal one, are given. Further, we construct the set of equivalent measures consistent with the filtration satisfying the above conditions. First, we give the complete description of the set of equivalent measures satisfying the conditions: the mean value of the nonnegative random value relative to this set of measures equals one. Using the above result we construct the example of the set of equivalent measures consistent with the filtration satisfying the condition: the mean value of the nonnegative random value relative to every measure of this set of measures equals one. The above method we use for the construction of evolution

of risk assets and we describe completely the set of equivalent martingale measures for this evolution. We prove that every martingale measure is an integral on the set of extreme points of the convex set of martingale measures relative to some measure on it. To give a new proof of the optional decomposition for super-martingale we describe the contraction of every martingale measure on the filtration and find the closure of integrals from the integrable random values over all martingale measures. To do this we introduce the notion of the exhaustive decomposition and prove that every separable metric space with the Borel σ-algebra has an exhaustive decomposition. For the integral from the nonnegative random value relative to all martingale measures which is dominated by one, the inequalities for this random value are obtained. This fact gives us the possibility to find a new proof of the optional decomposition for the nonnegative super-martingale. This proof does not use the no-arbitrage arguments and the measurable choice [1] [2] [3] [4] . This paper is a generalization of the results of the paper [5] .

First, the optional decomposition for diffusion processes super-martingale was opened by El Karoui N. and Quenez M. C. [6] . After that, Kramkov D. O. and Follmer H. [1] [2] proved the optional decomposition for the nonnegative bounded super-martingales. Folmer H. and Kabanov Yu. M. [3] [4] proved analogous result for an arbitrary super-martingale. Recently, Bouchard B. and Nutz M. [7] considered a class of discrete models and proved the necessary and sufficient conditions for the validity of the optional decomposition.

The optional decomposition for super-martingales plays the fundamental role for the risk assessment in incomplete markets [1] [2] [6] [8] [9] [10] [11] .

At last, we consider an application of the results obtained to find the new formula for the fair price of super-hedge in the case, as the risk asset evolves by the discrete geometric Brownian motion.

2. Local Regular Super-Martingales Relative to a Set of Equivalent Measures

We assume that on a measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ a filtration ${\mathcal{F}}_m\subset {\mathcal{F}}_{m+1}\subset \mathcal{F},$ $m=\overline{0,\infty }$, and a set of equivalent measures M on $\mathcal{F}$ are given. Further, we

assume that ${\mathcal{F}}_0=\left\{\varnothing ,\Omega \right\}$ and the σ-algebra $\mathcal{F}=\sigma \left(\underset{n=1}{\overset{\infty }{{\displaystyle V}}}{\mathcal{F}}_n\right)$ is a minimal σ-algebra generated by the algebra $\underset{n=1}{\overset{\infty }{{\displaystyle V}}}{\mathcal{F}}_n$. A random process $\psi ={\left\{{\psi }_m\right\}}_{m=0}^{\infty }$ is

said to be adapted one relative to the filtration ${\left\{{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, if ${\psi }_m$ is a ${\mathcal{F}}_m$ measurable random value, $m=\overline{0,\infty }$.

Definition 1. An adapted random process $f={\left\{f_m\right\}}_{m=0}^{\infty }$ is said to be a super-martingale relative to the filtration ${\mathcal{F}}_m,m=\overline{0,\infty }$, and the family of equivalent measures M, if $E^P\left|f_m\right|<\infty ,m=\overline{1,\infty },P\in M$, and the inequalities

$E^P\left\{f_m|{\mathcal{F}}_k\right\}\le f_k,0\le k\le m,m=\overline{1,\infty },P\in M,$ (1)

are valid.

Further, for an adapted process f we use both the denotation ${\left\{f_m\mathrm{,}{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ and the denotation ${\left\{f_m\right\}}_{m=0}^{\infty }$.

Definition 2. A super-martingale ${\left\{f_m\mathrm{,}{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ relative to a set of equivalent

measures M is a local regular one, if $\underset{P\in M}{\sup }{E}^P\left|f_m\right|<\infty ,m=\overline{1,\infty }$, and there exists

an adapted nonnegative increasing random process ${\left\{g_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty },g_0=0$,

$\underset{P\in M}{\sup }{E}^P\left|g_m\right|<\infty ,m=\overline{1,\infty }$, such that ${\left\{f_m+g_m\mathrm{,}{\mathcal{F}}_m\right\}}_{m\mathrm{<mo>\; =\; </mo>0}}^{\infty }$ is a martingale relative to

every measure from M.

The next elementary Theorem 1 will be very useful later.

Theorem 1. Let a super-martingale ${\left\{f_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, relative to a set of equivalent measures M be such that $\underset{P\in M}{\sup }{E}^P\left|f_m\right|<\infty ,m=\overline{1,\infty }$. The necessary and sufficient

condition for it to be a local regular one is the existence of an adapted nonnegative

random process ${\left\{{\bar{g}}_m^0,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, $\underset{P\in M}{\sup }{E}^P\left|{\bar{g}}_m^0\right|<\infty ,m=\overline{1,\infty }$, such that

$f_{m-1}-E^P\left\{f_m|{\mathcal{F}}_{m-1}\right\}=E^P\left\{{\bar{g}}_m^0|{\mathcal{F}}_{m-1}\right\},m=\overline{1,\infty },P\in M.$ (2)

Proof. The necessity. If ${\left\{f_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ is a local regular super-martingale, then there exist a martingale ${\left\{{\bar{M}}_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ and a non-decreasing nonnegative random process ${\left\{g_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, $g_0=0$, such that

$f_m={\bar{M}}_m-g_m,m=\overline{1,\infty }.$ (3)

From here, we obtain the equalities

$\begin{array}{l}{E}^P\left\{f_{m-1}-f_m|{\mathcal{F}}_{m-1}\right\}\\ =E^P\left\{g_m-g_{m-1}|{\mathcal{F}}_{m-1}\right\}=E^P\left\{{\bar{g}}_m^0|{\mathcal{F}}_{m-1}\right\},m=\overline{1,\infty },P\in M,\end{array}$ (4)

where we introduced the denotation ${\bar{g}}_m^0=g_m-g_{m-1}\ge 0$. It is evident that

$E^P{\bar{g}}_m^0\le \underset{P\in M}{\sup }{E}^P{g}_m+\underset{P\in M}{\sup }{E}^P{g}_{m-1}<\infty$.

The sufficiency. Suppose that there exists an adapted nonnegative random process ${\bar{g}}^0={\left\{{\bar{g}}_m^0\right\}}_{m=0}^{\infty },{\bar{g}}_0^0=0$, $E^P{\bar{g}}_m^0<\infty ,m=\overline{1,\infty }$, such that the equalities (2) hold. Let us consider the random process ${\left\{{\bar{M}}_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, where

${\bar{M}}_0=f_0,{\bar{M}}_m=f_m+{\displaystyle \underset{i=1}{\overset{m}{\sum }}{\bar{g}}_m^0},m=\overline{1,\infty }.$ (5)

It is evident that $E^P\left|{\bar{M}}_m\right|<\infty$ and

$E^P\left\{{\bar{M}}_{m-1}-{\bar{M}}_m|{\mathcal{F}}_{m-1}\right\}=E^P\left\{f_{m-1}-f_m-{\bar{g}}_m^0|{\mathcal{F}}_{m-1}\right\}=0.$ (6)

Theorem 1 is proved. □

Lemma 1. Any super-martingale ${\left\{f_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ relative to a family of measures M for which there hold equalities $E^P{f}_m=f_0,m=\overline{1,\infty },P\in M$, is a martingale with respect to this family of measures and the filtration ${\mathcal{F}}_m,m=\overline{1,\infty }$.

Proof. The proof of Lemma 1 see [12] . □

In the next Lemma, we present the formula for calculation of the conditional expectation relative to another measure from M.

Lemma 2. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, let M be a set of equivalent measures and let $\xi$ be an integrable random value. Then, the following formulas

$E^{P_1}\left\{\xi |{\mathcal{F}}_n\right\}=E^{P_2}\left\{\xi {\phi }_n^{P_1}|F_n\right\},n=\overline{1,\infty },$ (7)

are valid, where

${\phi }_n^{P_1}=\frac{\text{d}{P}_1}{\text{d}{P}_2}{\left[E^{P_2}\left\{\frac{\text{d}{P}_1}{\text{d}{P}_2}|{\mathcal{F}}_n\right\}\right]}^{-1},P_1,P_2\in M.$ (8)

Proof. The proof of Lemma 2 is evident. □

3. Local Regular Super-Martingales Relative to a Set of Equivalent Measures Consistent with the Filtration

Definition 3. On a measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with a filtration ${\mathcal{F}}_n$ on it, a set of equivalent measures M we call consistent with the filtration ${\mathcal{F}}_n$, if for every pair of measures $\left(Q_1\mathrm{,}{Q}_2\right)\in M^2$ the set of measures

$R_s^k\left(A\right)={\displaystyle \underset{A}{\int }}\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}\text{d}{Q}_1,A\in \mathcal{F},k\ge s\ge n,n=\overline{0,\infty },$ (9)

belongs to the set M, where $M^2$ is a direct product of the set M by itself.

Lemma 3. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, the set of measures

$M=\left\{Q,Q\left(A\right)={\displaystyle \underset{A}{\int }}\alpha \left(\omega \right)\text{d}P,A\in \mathcal{F},Q\left(\Omega \right)=1\right\}$ (10)

is a consistent one with the filtration ${\mathcal{F}}_n$, if P is a measure on $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ and a random value $\alpha \left(\omega \right)$ runs over all nonnegative random values, satisfying the condition $P\left(\left\{\omega ,\alpha \left(\omega \right)>0\right\}\right)=1$.

Proof. Suppose that $\left(Q_1\mathrm{,}{Q}_2\right)$ belongs to $M^2$. Then, $\frac{\text{d}{Q}_2}{\text{d}{Q}_1}=\frac{{\alpha }_2\left(\omega \right)}{{\alpha }_1\left(\omega \right)}$ and $P\left(\left\{\omega ,\frac{\text{d}{Q}_2}{\text{d}{Q}_1}>0\right\}\right)=1$, since the equalities $P\left(\left\{\omega ,0<{\alpha }_1\left(\omega \right)<\infty \right\}\right)=1$, $P\left(\left\{\omega ,0<{\alpha }_2\left(\omega \right)<\infty \right\}\right)=1$ are true. It is evident that

$\begin{array}{c}{R}_s^k\left(A\right)={\displaystyle \underset{A}{\int }}\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}\text{d}{Q}_1\\ ={\displaystyle \underset{A}{\int }}\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}{\alpha }_1\left(\omega \right)\text{d}P,A\in \mathcal{F},k\ge s\ge n,n=\overline{0,\infty }.\end{array}$ (11)

It is easy to see that

$P\left(\left\{\omega ,\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}{\alpha }_1\left(\omega \right)>0\right\}\right)=1,k\ge s,$ (12)

since

$P\left(\left\{\omega ,E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}>0\right\}\right)=1,k\ge s,$ (13)

$P\left(\left\{\omega ,0<E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}<\infty \right\}\right)=1,s\ge n,n=\overline{0,\infty }.$ (14)

The last equality follows from the equivalence of the measures $Q_1\mathrm{,}{Q}_2$ and P. Altogether, it means that the set of measures $R_s^k,k\ge s\ge n,n=\overline{0,\infty }$, belongs to the set M. The same is true for the pair $\left(Q_2\mathrm{,}{Q}_1\right)\in M^2$. Lemma 3 is proved. □

Theorem 2. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, let the set of equivalent measures M be consistent with the filtration ${\mathcal{F}}_n$. Then,

for every nonnegative random value $\xi$ such that $\underset{P\in M}{\sup }{E}^P\xi <\infty$, the random process ${\left\{f_n,{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$ is a super-martingale relative to the set of measures M, where $f_n=\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi |{\mathcal{F}}_n\right\},n=\overline{0,\infty }$.

Proof. Let $Q\in M$, then, due to Lemma 2, for every $P\in M$

$E^P\left\{\xi |{\mathcal{F}}_n\right\}=E^Q\left\{\xi \left|\frac{\frac{\text{d}P}{\text{d}Q}}{E^Q\left\{\frac{\text{d}P}{\text{d}Q}|{\mathcal{F}}_n\right\}}\right|{\mathcal{F}}_n\right\}.$ (15)

If to put instead of the measure P the measure $R_s^k\mathrm{,}k\ge s\ge n$, for the pair of measures $\left(Q\mathrm{,}P\right)$ we obtain

$\begin{array}{c}{E}^{R_s^k}\left\{\xi \mathrm{<mo>\; |\; </mo>}{F}_n\right\}=E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}\frac{\frac{\text{d}{R}_s^k}{\text{d}Q}}{E^Q\left\{\frac{\text{d}{R}_s^k}{\text{d}Q}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\\ =E^Q\left\{\xi \frac{E^Q\left\{\frac{\text{d}P}{\text{d}Q}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_k\right\}}{E^Q\left\{\frac{\text{d}P}{\text{d}Q}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_s\right\}}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}\end{array}$ (16)

where we took into account the equality

$E^Q\left\{\frac{\text{d}{R}_s^k}{\text{d}Q}|{\mathcal{F}}_n\right\}=E^Q\left\{\frac{E^Q\left\{\frac{\text{d}P}{\text{d}Q}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_k\right\}}{E^Q\left\{\frac{\text{d}P}{\text{d}Q}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}=1,k\ge s\ge n.$ (17)

From the formula (16), it follows the equality

$\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}=\text{ess}\underset{T\in R_n}{\sup }{E}^P\left\{\xi T\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}$ (18)

where $R_n$ is a set of martingales $T={\left\{T_m\right\}}_{m=0}^{\infty }$ relative to the measure Q such

that $T_m=1,m\le n$, $T_m=\frac{E^Q\left\{\frac{\text{d}P}{\text{d}Q}|{\mathcal{F}}_m\right\}}{E^Q\left\{\frac{\text{d}P}{\text{d}Q}|{\mathcal{F}}_s\right\}},m\ge s\ge n,P\in M$. The definition of

$\text{ess}\sup$ for the uncountable set of random values see [13] . It is evident that $T_n\subseteq T_{n-1}$. Let us consider

$\begin{array}{l}{E}^Q\left\{\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}=E^Q\left\{\text{ess}\underset{T\in R_n}{\sup }{E}^P\left\{\xi T\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\\ =E^Q\left\{\underset{i\ge 1}{\sup }{E}^P\left\{\xi T_i\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}=E^Q\left\{\underset{k\to \infty }{\lim }\underset{1\le i\le k}{\max }{E}^P\left\{\xi T_i\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\\ =\underset{k\to \infty }{\lim }{E}^Q\left\{\underset{1\le i\le k}{\max }{E}^P\left\{\xi T_i\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}=\underset{k\to \infty }{\lim }{E}^P\left\{\xi T_{{\tau }_k}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\\ \le \text{ess}\underset{T\in R_n}{\sup }{E}^Q\left\{\xi T\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\le \text{ess}\underset{T\in R_{n-1}}{\sup }{E}^Q\left\{\xi T\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\\ =\text{ess}\underset{P\in M}{\sup }{E}^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\mathrm{,}\end{array}$ (19)

where

${\tau }_1=1,$ (20)

${\tau }_i=\{\begin{array}{ll}{\tau }_{i-1},\hfill & E^P\left\{\xi T_{{\tau }_{i-1}}|{\mathcal{F}}_n\right\}>E^P\left\{\xi T_i|{\mathcal{F}}_n\right\},\hfill \\ i,\hfill & E^P\left\{\xi T_{{\tau }_{i-1}}|{\mathcal{F}}_n\right\}\le E^P\left\{\xi T_i|{\mathcal{F}}_n\right\},\hfill \end{array}i=\overline{2,k}.$ (21)

Lemma 2 is proved. □

Theorem 3. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$, $\mathcal{F}=\sigma \left(\underset{i=1}{\overset{\infty }{{\displaystyle V}}}{\mathcal{F}}_i\right)$, let M be a set

of equivalent measures being consistent with the filtration ${\mathcal{F}}_n$. If there exists a nonnegative random value $\xi \ne 1$ such that $E^P\xi =1,P\in M$, then $E^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}P\in M$, is a local regular martingale.

Proof. Due to Lemma 2, the random process ${\left\{f_n,{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$, where

$f_n=\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}$, $n=\overline{0,\infty }$, is a super-martingale relative to the set of

measures M, that is,

$E^Q\left\{\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\le \text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\mathrm{,}Q\in M\mathrm{,}n=\overline{\mathrm{0,}\infty }\mathrm{.}$ (22)

From the inequality (22), it follows the inequality

$E^Q\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\le \mathrm{1,}n=\overline{\mathrm{0,}\infty }\mathrm{.}$ (23)

Since $E^Q\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\ge E^Q{E}^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}=1$, we have

$E^Q\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}=\mathrm{1,}Q\in M\mathrm{,}n=\overline{\mathrm{0,}\infty }\mathrm{.}$ (24)

The inequalities (22) and the equalities (24) give the equalities

$E^Q\left\{\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}=\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_{n-1}\right\}\mathrm{,}Q\in M\mathrm{,}n=\overline{\mathrm{1,}\infty }\mathrm{,}$ (25)

which are true with the probability 1. The last means that ${\left\{f_n\mathrm{,}{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$ is a martingale relative to the set of measures M, where $f_n=\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}n=\overline{\mathrm{0,}\infty }$. With the probability 1, $\underset{n\to \infty }{\lim }\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}=f_{\infty }$, where the random value

$f_{\infty }$ is F measurable one. From the inequality (23) and Fatou Lemma [13] [14] , we obtain

$E^P{f}_{\infty }\le \mathrm{1,}P\in M\mathrm{.}$ (26)

Prove that $f_{\infty }=\xi$. Going to the limit in the inequality

$\text{ess}\underset{P\in M}{\sup }{E}^P\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\ge E^{P_1}\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}$ (27)

as $n\to \infty$, we obtain the inequality

$f_{\infty }\ge \xi \mathrm{.}$ (28)

From the inequality (26) and the inequality (28), we obtain the inequalities $1\ge E^P{f}_{\infty }\ge E^P\xi =1$. Or, $E^P{f}_{\infty }=1$. The equalities $E^P{f}_{\infty }=1,E^P\xi =1$ and the inequality (28) give the equality $f_{\infty }=\xi$ with the probability 1. Lemma 3 is proved. □

Lemma 4. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, let there exist k equivalent measures $P_1,\cdots ,P_k,k>1$, and a nonnegative random value ${\xi }_0\ne 1$ be such that

$E^{P_i}\left\{{\xi }_0|{\mathcal{F}}_n\right\}=E^{P_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\},E^{P_i}{\xi }_0=1,i=\overline{2,k},n=\overline{0,\infty }.$ (29)

Then, there exists the set of equivalent measures M consistent with the filtration ${\mathcal{F}}_n$, satisfying the condition $E^P{\xi }_0=1,P\in M$.

Proof. Let us consider the set of equivalent measures M, satisfying the condition

$E^P\left\{{\xi }_0|{\mathcal{F}}_n\right\}=E^{P_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\},n=\overline{0,\infty },P\in M.$ (30)

Such a set of measures is a nonempty one. Suppose that $Q_1\mathrm{,}{Q}_2\in M$, then

$E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\}=E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_n\right\},n=\overline{0,\infty }.$ (31)

Let us prove that the formula

$E^{Q_1}\left\{{\xi }_0\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}=E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\},n\le s\le k,n=\overline{0,\infty },$ (32)

is valid. Let $s\ge n$. Then, from the equalities (31), we have

$E^{Q_1}\left\{E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_s\right\}|{\mathcal{F}}_n\right\}=E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\}.$

Let $k\ge s$. Then,

$\begin{array}{l}{E}^{Q_1}\left\{E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_s\right\}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{E^{Q_2}\left\{E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_k\right\}|{\mathcal{F}}_s\right\}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{E^{Q_1}\left\{E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_k\right\}\frac{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_s\right\}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{E^{Q_2}\left\{{\xi }_0|{\mathcal{F}}_k\right\}\frac{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}\end{array}$

$\begin{array}{l}=E^{Q_1}\left\{E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_k\right\}\frac{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_k\right\}\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{{\xi }_0\left|\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}\right|{\mathcal{F}}_n\right\}.\end{array}$

This proves the formula (32). To finish the proof of Lemma 4, it needs to prove that the set of measures

$R_s^k\left(A\right)={\displaystyle \underset{A}{\int }}\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}\text{d}{Q}_1,A\in \mathcal{F},k\ge s\ge n,n=\overline{0,\infty },$ (33)

belongs to the set M. Really,

$\begin{array}{c}{E}^{R_s^k}\left\{{\xi }_0|{\mathcal{F}}_n\right\}=E^{Q_1}\left\{{\xi }_0\left|\frac{\frac{\text{d}{R}_s^k}{\text{d}{Q}_1}}{E^{Q_1}\left\{\frac{\text{d}{R}_s^k}{\text{d}{Q}_1}|{\mathcal{F}}_n\right\}}\right|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{{\xi }_0\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}\\ =E^{Q_1}\left\{{\xi }_0|{\mathcal{F}}_n\right\},\end{array}$ (34)

where we took into account the equality

$E^{Q_1}\left\{\frac{\text{d}{R}_s^k}{\text{d}{Q}_1}|{\mathcal{F}}_n\right\}=E^{Q_1}\left\{\frac{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_k\right\}}{E^{Q_1}\left\{\frac{\text{d}{Q}_2}{\text{d}{Q}_1}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_n\right\}=1,k\ge s\ge n.$ (35)

From this, it follows that the set of measures $R_s^k\in M$. This proves the consistence with the filtration of the set of measures M. Lemma 4 is proved. □

The next Lemma 5 is a key statement in the construction of the set of measures satisfying the conditions of Lemma 4.

On a probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$, let $\xi$ be a random value, satisfying the conditions

$0<P\left(\left\{\omega ,\xi >0\right\}\right)<1,0<P\left(\left\{\omega ,\xi <0\right\}\right).$ (36)

Denote ${\Omega }^{+}=\left\{\omega ,\xi \left(\omega \right)>0\right\},{\Omega }^{-}=\left\{\omega ,\xi \left(\omega \right)\le 0\right\}$ and let ${\mathcal{F}}^{-}\mathrm{,}{\mathcal{F}}^{+}$ be the restrictions of the σ-algebra $\mathcal{F}$ on the sets ${\Omega }^{-}$ and ${\Omega }^{+}$, correspondingly. Suppose that $P^{-}$ and $P^{+}$ are the contractions of the measure P on the σ-algebras ${\mathcal{F}}^{-}\mathrm{,}{\mathcal{F}}^{+}$, correspondingly. Consider the measurable space with measure $\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\mathrm{,}\mu \right\}$, which is a direct product of the measurable spaces with measures $\left\{{\Omega }^{-}\mathrm{,}{\mathcal{F}}^{-}\mathrm{,}{P}^{-}\right\}$ and $\left\{{\Omega }^{+}\mathrm{,}{\mathcal{F}}^{+}\mathrm{,}{P}^{+}\right\}$, where $\mu =P^{-}\times P^{+}$. Introduce the denotations

${\xi }^{+}\left(\omega \right)=\{\begin{array}{ll}\xi \left(\omega \right),\hfill & \omega \in \left\{\xi \left(\omega \right)>0\right\},\hfill \\ 0,\hfill & \omega \in \left\{\xi \left(\omega \right)\le 0\right\},\hfill \end{array}$ (37)

${\xi }^{-}\left(\omega \right)=\{\begin{array}{ll}-\xi \left(\omega \right),\hfill & \omega \in \left\{\xi \left(\omega \right)\le 0\right\},\hfill \\ 0,\hfill & \omega \in \left\{\xi \left(\omega \right)>0\right\}.\hfill \end{array}$ (38)

Then, $\xi \left(\omega \right)={\xi }^{+}\left(\omega \right)-{\xi }^{-}\left(\omega \right)$.

On the measurable space $\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\mathrm{,}{P}^{-}\times P^{+}\right\}$, we assume that the set of nonnegative measurable functions $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$, satisfying the conditions

$\mu \left(\left\{\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+},\alpha \left({\omega }_1,{\omega }_2\right)>0\right\}\right)=P\left({\Omega }^{+}\right)P\left({\Omega }^{-}\right),$ (39)

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right){\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)<\infty ,$ (40)

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\text{d}\mu \left({\omega }_1,{\omega }_2\right)=1,$ (41)

is a nonempty set. Such assumptions are true for the nonempty set of bounded random values $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$, for example, if the random value $\xi$ is an integrable one relative to the measure P.

Lemma 5. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$, let a random value $\xi$ satisfy the conditions (36) and let a measure Q be equivalent to the measure P and such that $E^Q\xi =0$. Then, for the measure Q the following representation

$\begin{array}{l}Q\left(A\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_1\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_2\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right),A\in \mathcal{F},\end{array}$ (42)

is valid for those random value $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$ that satisfy the conditions (39)-(41).

Every measure Q, given by the formula (42), with the random value $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$, satisfying the conditions (39)-(41) is equivalent to the measure P and is such that $E^Q\xi =0$. For the measure Q, the canonical representation

$\begin{array}{l}Q\left(A\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_1\right){\alpha }_1\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_2\right){\alpha }_1\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right),A\in \mathcal{F},\end{array}$ (43)

is valid, where

${\alpha }_1\left({\omega }_1,{\omega }_2\right)=\frac{{\psi }_1\left({\omega }_1\right){\psi }_2\left({\omega }_2\right)\left[{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)\right]}{d},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+},$ (44)

${\psi }_1\left({\omega }_1\right)={\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}P\left({\omega }_2\right),{\omega }_1\in {\Omega }^{-},$ (45)

${\psi }_2\left({\omega }_2\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}P\left({\omega }_1\right),{\omega }_2\in {\Omega }^{+},$ (46)

$d={\displaystyle \underset{{\Omega }^{-}}{\int }}{\xi }^{-}\left({\omega }_1\right){\psi }_1\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)={\displaystyle \underset{{\Omega }^{+}}{\int }}{\xi }^{+}\left({\omega }_2\right){\psi }_2\left({\omega }_2\right)\text{d}P\left({\omega }_2\right).$ (47)

Proof. From the Lemma 5 conditions,

$Q\left(A\right)={\displaystyle \underset{A}{\int }}\psi \left(\omega \right)\text{d}P,P\left(\left\{\omega ,\psi \left(\omega \right)>0\right\}\right)=1,$ (48)

${\displaystyle \underset{\Omega }{\int }}\psi \left(\omega \right)\xi \left(\omega \right)\text{d}P\left(\omega \right)=0.$ (49)

The condition (49) means

${\displaystyle \underset{{\Omega }^{+}}{\int }}{\psi }_2\left({\omega }_2\right){\xi }^{+}\left({\omega }_2\right)\text{d}P\left({\omega }_2\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\psi }_1\left({\omega }_1\right){\xi }^{-}\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)=d>0,$ (50)

where

${\psi }_1\left(\omega \right)=\{\begin{array}{ll}\psi \left(\omega \right),\hfill & \omega \in {\Omega }^{-},\hfill \\ 0,\hfill & \omega \in {\Omega }^{+},\hfill \end{array}$ (51)

${\psi }_2\left(\omega \right)=\{\begin{array}{ll}\psi \left(\omega \right),\hfill & \omega \in {\Omega }^{+},\hfill \\ 0,\hfill & \omega \in {\Omega }^{-}.\hfill \end{array}$ (52)

Let us put

$\alpha \left({\omega }_1,{\omega }_2\right)=\frac{{\psi }_1\left({\omega }_1\right){\psi }_2\left({\omega }_2\right)\left[{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)\right]}{d},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}.$ (53)

Then, for such $\alpha \left({\omega }_1,{\omega }_2\right)$ the equality (39) is true. Moreover,

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right){\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)=d^2<\infty ,$ (54)

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\text{d}\mu \left({\omega }_1,{\omega }_2\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\psi }_1\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)+{\displaystyle \underset{{\Omega }^{+}}{\int }}{\psi }_2\left({\omega }_2\right)\text{d}P\left({\omega }_2\right)=1,$ (55)

$\begin{array}{l}{E}^Q\xi ={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\xi \left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\xi \left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)=0,\end{array}$ (56)

since $\xi \left({\omega }_1\right)=-{\xi }^{-}\left({\omega }_1\right),{\omega }_1\in {\Omega }^{-},\xi \left({\omega }_2\right)={\xi }^{+}\left({\omega }_2\right),{\omega }_2\in {\Omega }^{+}$.

Let us prove the last statement of Lemma 5. Suppose that the representation (42) for the measure Q, satisfying the conditions (39)-(41), is valid. Taking into account the denotations (45)-(47), we obtain

$Q\left(A\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\chi }_A\left({\omega }_1\right){\psi }_1\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)+{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_2\right){\psi }_2\left({\omega }_2\right)\text{d}P\left({\omega }_2\right),$ (57)

$\begin{array}{c}0=E^Q\xi ={\displaystyle \underset{{\Omega }^{-}}{\int }}\xi \left({\omega }_1\right){\psi }_1\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)+{\displaystyle \underset{{\Omega }^{+}}{\int }}\xi \left({\omega }_2\right){\psi }_2\left({\omega }_2\right)\text{d}P\left({\omega }_2\right)\\ =-{\displaystyle \underset{{\Omega }^{-}}{\int }}{\xi }^{-}\left({\omega }_1\right){\psi }_1\left({\omega }_1\right)\text{d}P\left({\omega }_1\right)+{\displaystyle \underset{{\Omega }^{+}}{\int }}{\xi }^{+}\left({\omega }_2\right){\psi }_2\left({\omega }_2\right)\text{d}P\left({\omega }_2\right).\end{array}$ (58)

If to introduce the denotation

$\psi \left(\omega \right)=\{\begin{array}{ll}{\psi }_1\left(\omega \right),\hfill & \omega \in {\Omega }^{-},\hfill \\ {\psi }_2\left(\omega \right),\hfill & \omega \in {\Omega }^{+},\hfill \end{array}$ (59)

then we obtain the representation

$Q\left(A\right)={\displaystyle \underset{A}{\int }}\psi \left(\omega \right)\text{d}P\left(\omega \right)\mathrm{,}$ (60)

where $P\left({\psi }_1\left(\omega \right)>0\right)=P\left({\Omega }^{-}\right),P\left({\psi }_2\left(\omega \right)>0\right)=P\left({\Omega }^{+}\right)$.

The last formula proves the equivalence of the measures Q and P. At last, to prove the canonical representation (43) it is sufficient to substitute the expression (44) for ${\alpha }_1\left({\omega }_1\mathrm{,}{\omega }_2\right)$ into the expression (43) for $Q\left(A\right)$. We obtain the expression (57) for $Q\left(A\right)$. Then, if to substitute the expressions (45), (46) for ${\psi }_1\left({\omega }_1\right)\mathrm{,}{\psi }_2\left({\omega }_2\right)$ into the expression (57) for $Q\left(A\right)$, we obtain that the canonical representation for $Q\left(A\right)$ is true. This proves Lemma 5. □

For further investigations, the next Theorem 4 is very important [5] .

Theorem 4. The necessary and sufficient conditions of the local regularity of the nonnegative super-martingale ${\left\{f_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ relative to a set of equivalent measures M are the existence of ${\mathcal{F}}_m$ -measurable random values ${\xi }_m^0\in A_0,m=\overline{1,\infty }$, such that

$\frac{f_m}{f_{m-1}}\le {\xi }_m^0,E^P\left\{{\xi }_m^0|{\mathcal{F}}_{m-1}\right\}=1,P\in M,m=\overline{1,\infty }.$ (61)

Proof. The necessity. Without loss of generality, we assume that $f_m\ge a$ for a certain real number $a>0$. Really, if it is not so, then we can come to the consideration of the super-martingale ${\left\{f_m+a,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$. Thus, let ${\left\{f_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$ be a nonnegative local regular super-martingale. Then, there exists a nonnegative

adapted random process ${\left\{g_m\right\}}_{m=0}^{\infty },g_0=0$, such that $\underset{P\in M}{\sup }{E}^P{g}_m<\infty$,

$f_{m-1}-E^P\left\{f_m|{\mathcal{F}}_{m-1}\right\}=E^P\left\{g_m|{\mathcal{F}}_{m-1}\right\},P\in M,m=\overline{1,\infty }.$ (62)

Let us put ${\xi }_m^0=\frac{f_m+g_m}{f_{m-1}},m=\overline{1,\infty }$. Then, ${\xi }_m^0\in A_0$ and from the equalities

(62) we obtain $E^P\left\{{\xi }_m^0|{\mathcal{F}}_{m-1}\right\}=1,P\in M,m=\overline{1,\infty }$. It is evident that the inequalities (61) are valid.

The sufficiency. Suppose that the conditions of Theorem 4 are valid. Then, $f_m\le f_{m-1}+f_{m-1}\left({\xi }_m^0-1\right)$. Introduce the denotation $g_m=-f_m+f_{m-1}{\xi }_m^0$. Then,

$g_m\ge 0$, $\underset{P\in M}{\sup }{E}^P{g}_m\le \underset{P\in M}{\sup }{E}^P{f}_m+\underset{P\in M}{\sup }{E}^P{f}_{m-1}<\infty ,m=\overline{1,\infty }$. The last equality and

the inequalities give

$f_m=f_0+{\displaystyle \underset{i=1}{\overset{m}{\sum }}}{f}_{i-1}\left({\xi }_i^0-1\right)-{\displaystyle \underset{i=1}{\overset{m}{\sum }}}{g}_i,m=\overline{1,\infty }.$ (63)

Let us consider the random process ${\left\{M_m,{\mathcal{F}}_m\right\}}_{m=0}^{\infty }$, where

$M_m=f_0+{\displaystyle \underset{i=1}{\overset{m}{\sum }}}{f}_{i-1}\left({\xi }_i^0-1\right)$. Then, $E^P\left\{M_m|{\mathcal{F}}_{m-1}\right\}=M_{m-1},P\in M,m=\overline{1,\infty }$. Theorem 4 is proved. □

4. Construction of the Regular Set of Measures

In the next two Lemmas, we investigate the closure of a convex set of equivalent measures presented in Lemma 5 by the formula (42). First, we consider the countable case.

Suppose that ${\Omega }_1$ contains the countable set of elementary events and let ${\mathcal{F}}_1$ be a σ-algebra of all subsets of the set ${\Omega }_1$. Let $P_1$ be a measure on the σ-algebra ${\mathcal{F}}_1$. We assume that $P_1\left({\omega }_i\right)=p_i>0,i=\overline{1,\infty }$. On the probability space $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\mathrm{,}{P}_1\right\}$, let us consider a nonnegative random value ${\xi }_1$, satisfying the conditions

$0<P_1\left(\left\{\omega \in {\Omega }_1,{\eta }_1\left(\omega \right)<0\right\}\right)<1,0<P_1\left(\left\{\omega \in {\Omega }_1,{\eta }_1\left(\omega \right)>0\right\}\right),$

$E^{P_1}\left|{\eta }_1\left(\omega \right)\right|<\infty ,$ (64)

where we introduced the denotation ${\eta }_1\left(\omega \right)={\xi }_1\left(\omega \right)-1$. On the measurable space $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$, let us consider the set of measures $M_1$, which are equivalent to the measure $P_1$ and are given by the formula

$\begin{array}{l}Q\left(A\right)={\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\chi }_A\left({\omega }_1\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right)\\ +{\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\chi }_A\left({\omega }_2\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right),A\in {\mathcal{F}}_1,\end{array}$ (65)

where ${\eta }_1\left(\omega \right)={\eta }_1^{+}\left(\omega \right)-{\eta }_1^{-}\left(\omega \right)$, ${\Omega }_1^{+}=\left\{\omega ,{\eta }_1\left(\omega \right)>0\right\}$, ${\Omega }_1^{-}=\left\{\omega ,{\eta }_1\left(\omega \right)\le 0\right\}$. Introduce the denotations ${\mathcal{F}}_1^{+}={\Omega }_1^{+}\cap {\mathcal{F}}_1$, ${\mathcal{F}}_1^{-}={\Omega }_1^{-}\cap {\mathcal{F}}_1$. Let $P_1^{-}$ be a contraction of the measure $P_1$ on the σ-algebra ${\mathcal{F}}_1^{-}$ and let $P_1^{+}$ be a contraction of the measure $P_1$ on the σ-algebra ${\mathcal{F}}_1^{+}$. On the probability space $\left\{{\Omega }_1^{-}\times {\Omega }_1^{+}\mathrm{,}{\mathcal{F}}_1^{-}\times {\mathcal{F}}_1^{+}\mathrm{,}{P}_1^{-}\times P_1^{+}\right\}$, the set of random value $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$ satisfies the conditions

$P_1^{-}\times P_1^{+}\left(\left\{\left({\omega }_1,{\omega }_2\right)\in {\Omega }_1^{-}\times {\Omega }_1^{+},\alpha \left({\omega }_1,{\omega }_2\right)>0\right\}\right)=P_1\left({\Omega }_1^{+}\right)P_1\left({\Omega }_1^{-}\right),$ (66)

${\displaystyle \underset{{\omega }_1\in {\Omega }^{-}}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }^{+}}{\sum }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{-}\left({\omega }_1\right){\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right)<\infty ,$ (67)

${\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}\alpha \left({\omega }_1,{\omega }_2\right)P_1\left({\omega }_1\right)P_1\left({\omega }_2\right)=1.$ (68)

On the probability space $\left\{{\Omega }_1^{-}\times {\Omega }_1^{+}\mathrm{,}{\mathcal{F}}_1^{-}\times {\mathcal{F}}_1^{+}\mathrm{,}{P}_1^{-}\times P_1^{+}\right\}$, all the bounded strictly positive random values $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$ the above conditions satisfy. Introduce into the set of all measures on $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$ the metrics

$\rho \left(Q_1,Q_2\right)={\displaystyle \underset{i=1}{\overset{\infty }{\sum }}}\left|Q_1\left({\omega }_i\right)-Q_2\left({\omega }_i\right)\right|.$ (69)

Lemma 6. The closure of the set of measures $M_1$ in metrics (69) contains the set of measures

${\nu }_{{\omega }_1,{\omega }_2}\left(A\right)={\chi }_A\left({\omega }_1\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}+{\chi }_A\left({\omega }_2\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}$ (70)

for ${\omega }_1\in {\Omega }_1^{-}$, ${\omega }_2\in {\Omega }_1^{+}$, $A\in {\mathcal{F}}_1$. For every bounded random value $f\left(\omega \right)$, the closure of the set of points $E^{Q}f\mathrm{,}Q\in M_1$, in metrics $\rho \left(x,y\right)=\left|x-y\right|,x,y\in R^1$, contains the points $E^{{\nu }_{{\omega }_1,{\omega }_2}}f,\left({\omega }_1,{\omega }_2\right)\in {\Omega }_1^{-}\times {\Omega }_1^{+}$.

Proof. Let us choose the set of equivalent measures $Q^{\epsilon }$ defined by ${\alpha }^{\epsilon }\left({\omega }_1,{\omega }_2\right),0<\epsilon <1$, and given by the law:

${\alpha }^{\epsilon }\left({\omega }_1^0,{\omega }_2^0\right)=\frac{1-\epsilon }{P_1\left({\omega }_1^0\right)P_1\left({\omega }_2^0\right)},{\omega }_1^0\in {\Omega }_1^{-},{\omega }_2^0\in {\Omega }_1^{+},$

$\begin{array}{l}{\alpha }^{\epsilon }\left({\omega }_1,{\omega }_2\right)=\epsilon {\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right),\\ {\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)=\frac{1}{{\displaystyle \underset{{\omega }_1\ne {\omega }_1^0}{\sum }}{\displaystyle \underset{\omega \ne {\omega }_2^0}{\sum }}P\left({\omega }_1\right)P\left({\omega }_2\right)},\left({\omega }_1,{\omega }_2\right)\ne \left({\omega }_1^0,{\omega }_2^0\right),\end{array}$

${\omega }_1\in {\Omega }_1^{-}\mathrm{,}{\omega }_2\in {\Omega }_1^{+}\mathrm{.}$

It is evident that ${\alpha }^{\epsilon }\left({\omega }_1,{\omega }_2\right)>0,\left({\omega }_1,{\omega }_2\right)\in {\Omega }_1^{-}\times {\Omega }_1^{+}$, for every $1>\epsilon >0$, and satisfy the equality

${\displaystyle \underset{\left({\omega }_1,{\omega }_2\right)\in {\Omega }_1^{-}\times {\Omega }_1^{+}}{\sum }}{\alpha }^{\epsilon }\left({\omega }_1,{\omega }_2\right)P_1\left({\omega }_1\right)P_1\left({\omega }_2\right)=1.$ (71)

Then,

$Q^{\epsilon }\left({\omega }_1^0\right)={\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\alpha }^{\epsilon }\left({\omega }_1^0,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1^0\right)P_1\left({\omega }_2\right),$ (72)

$Q^{\epsilon }\left({\omega }_2^0\right)={\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\alpha }^{\epsilon }\left({\omega }_1,{\omega }_2^0\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2^0\right).$ (73)

$\begin{array}{l}{Q}^{\epsilon }\left({\omega }_1^0\right)=\left(1-\epsilon \right)\frac{{\eta }_1^{+}\left({\omega }_2^0\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}\\ +\epsilon {\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+},{\omega }_2\ne {\omega }_2^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1^0,{\omega }_2\right)\frac{{\eta }_1^{+}({\omega }_2)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1^0\right)P_1\left({\omega }_2\right),\end{array}$ (74)

$\begin{array}{l}{Q}^{\epsilon }\left({\omega }_2^0\right)=\left(1-\epsilon \right)\frac{{\eta }_1^{-}\left({\omega }_1^0\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}\\ +\epsilon {\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-},{\omega }_1\ne {\omega }_1^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2^0\right)\frac{{\eta }_1^{-}({\omega }_1)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2^0\right).\end{array}$ (75)

If ${\omega }_1\ne {\omega }_1^0\mathrm{,}{\omega }_2\ne {\omega }_2^0$, then

$Q^{\epsilon }\left({\omega }_1\right)=\epsilon {\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right),$ (76)

$Q^{\epsilon }\left({\omega }_2\right)=\epsilon {\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right).$ (77)

The distance between the measures $Q^{\epsilon }$ and ${\nu }_{{\omega }_1^0\mathrm{,}{\omega }_2^0}$ is given by the formula

$\begin{array}{l}\rho \left(Q^{\epsilon },{\nu }_{{\omega }_1^0,{\omega }_2^0}\right)\\ =\epsilon +\epsilon {\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+},{\omega }_2\ne {\omega }_2^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1^0,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1^0\right)P_1\left({\omega }_2\right)\\ +\epsilon {\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-},{\omega }_1\ne {\omega }_1^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2^0\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2^0\right)\\ +\epsilon {\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-},{\omega }_1\ne {\omega }_1^0}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right)\\ +\epsilon {\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+},{\omega }_2\ne {\omega }_2^0}{\sum }}{\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{-}({\omega }_1)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right).\end{array}$ (78)

Since

$\begin{array}{l}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+},{\omega }_2\ne {\omega }_2^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1^0,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1^0\right)P_1\left({\omega }_2\right)\\ +{\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-},{\omega }_1\ne {\omega }_1^0}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2^0\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2^0\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2^0\right)\le 1,\end{array}$

${\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-},{\omega }_1\ne {\omega }_1^0}{\sum }}{\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{+}\left({\omega }_2\right)}{{\eta }_1^{-}\left({\omega }_1^0\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right)\le 1,$

${\displaystyle \underset{{\omega }_2\in {\Omega }_1^{+},{\omega }_2\ne {\omega }_2^0}{\sum }}{\displaystyle \underset{{\omega }_1\in {\Omega }_1^{-}}{\sum }}{\alpha }_0^{\epsilon }\left({\omega }_1,{\omega }_2\right)\frac{{\eta }_1^{-}\left({\omega }_1\right)}{{\eta }_1^{-}\left({\omega }_1\right)+{\eta }_1^{+}\left({\omega }_2\right)}{P}_1\left({\omega }_1\right)P_1\left({\omega }_2\right)\le 1,$

we obtain

$\rho \left(Q^{\epsilon }\mathrm{,}{\nu }_{{\omega }_1^0\mathrm{,}{\omega }_2^0}\right)\le 4\epsilon \mathrm{.}$

Let us prove the second part of Lemma 6. It is evident that the inequality

$\left|E^{Q^{\epsilon }}f-E^{{\nu }_{{\omega }_1^0,{\omega }_2^0}}f\right|\le 4\epsilon \underset{\omega \in {\Omega }_1}{\sup }\left|f\left(\omega \right)\right|$ (79)

is true. Due to arbitrariness of the small $\epsilon$, Lemma 6 is proved. □

Definition 4. Let $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$ be a measurable space. The decomposition $A_{n,k},n,k=\overline{1,\infty }$, of the space ${\Omega }_1$ we call exhaustive one if the following conditions are valid:

1) $A_{n,k}\in {\mathcal{F}}_1,A_{n,k}\cap A_{n,s}=\varnothing ,k\ne s,{\displaystyle \underset{k=1}{\overset{\infty }{\cup }}}{A}_{n,k}={\Omega }_1,n=\overline{1,\infty }$ ;

2) the $\left(n+1\right)$ -th decomposition is a sub-decomposition of the n-th one, that is, for every j, $A_{n+\mathrm{1,}j}\subseteq A_{n\mathrm{,}k}$ for a certain $k=k\left(j\right)$ ;

3) the minimal σ-algebra containing all $A_{n,k},n,k=\overline{1,\infty }$, coincides with ${\mathcal{F}}_1$.

The next Remark 1 is important for the construction of the filtration having the exhaustive decomposition.

Remark 1. Suppose that the measurable spaces $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$ and $\left\{{\Omega }_2\mathrm{,}{\mathcal{F}}_2\right\}$ have the exhaustive decompositions $A_{n,k}^1,n,k=\overline{1,\infty }$ and $A_{m,s}^2,m,s=\overline{1,\infty }$, respectively, then the measurable space $\left\{{\Omega }_1\times {\Omega }_2\mathrm{,}{\mathcal{F}}_1\times {\mathcal{F}}_2\right\}$ also have the exhaustive decomposition $B_{n,ks},n=\overline{1,\infty },k,s=\overline{1,\infty }$, $B_{n,ks}=A_{n,k}^1\times A_{n,s}^2,k,s=\overline{1,\infty },n=\overline{1,\infty }$. Really,

1) $A_{n,k}^1\times A_{n,s}^2\in {\mathcal{F}}_1\times {\mathcal{F}}_2,A_{n,k}^1\times A_{n,s}^2\cap A_{n,t}^1\times A_{n,r}^2=\varnothing ,\left(k,s\right)\ne \left(t,r\right)$,

${\displaystyle \underset{k,s=1}{\overset{\infty }{\cup }}}{B}_{n,ks}={\Omega }_1\times {\Omega }_2,n=\overline{1,\infty }$ ;

2) the $\left(n+1\right)$ -th decomposition is a sub-decomposition of the n-th one, that is, for every $k\mathrm{,}s$ $B_{n+\mathrm{1,}ks}\subseteq B_{n\mathrm{,}ij}$ for a certain $i=i\left(k\right),j=j\left(s\right)$ ;

3) the minimal σ-algebra containing all $B_{n,ks},n,k,s=\overline{1,\infty }$, coincides with $F_1\times F_2$.

In the next Lemma we give the sufficient condition of the existence of exhaustive decomposition.

Lemma 7. Let $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$ be a measurable space with a complete separable metric space ${\Omega }_1$ and Borel σ-algebra ${\mathcal{F}}_1$ on it. Then $\left\{{\Omega }_1\mathrm{,}{\mathcal{F}}_1\right\}$ has an exhaustive decomposition.

Proof. If $\left\{{\omega }_1\mathrm{,}\cdots \mathrm{,}{\omega }_n\mathrm{,}\cdots \right\}$ is a countable dense set in ${\Omega }_1$, then we denote

$B\left({\omega }_n,{\epsilon }_m\right)=\{\omega \in {\Omega }_1,\rho \left(\omega ,{\omega }_n\right)<{\epsilon }_m\},n,m=\overline{1,\infty },$ (80)

the countable set of open balls as ${\epsilon }_m$ runs all positive rational numbers, where $\rho \left({\omega }_1\mathrm{,}{\omega }_2\right)\mathrm{,}{\omega }_1\mathrm{,}{\omega }_2\in {\Omega }_1$ is a metric in ${\Omega }_1$. Prove that ${\mathcal{F}}_1=\sigma \left(B\left({\omega }_n,{\epsilon }_m\right),n,m=\overline{1,\infty }\right)$, where $\sigma \left(B\left({\omega }_n,{\epsilon }_m\right),n,m=\overline{1,\infty }\right)$ is a minimal σ-algebra generated by the sets (80). For this purpose let us prove that for every open set $A\in {\Omega }_1$ the representation

$A={\displaystyle \underset{n_k\in N_1,m_s\in Q_{+}^1}{\cup }}B\left({\omega }_{n_k},{\epsilon }_{m_s}\right)$ (81)

is true, where $N_1$ is a subset of positive integers, and $Q_{+}^1$ is a subset of positive rational numbers. Let us denote $\left\{{\omega }_1^A\mathrm{,}\cdots \mathrm{,}{\omega }_n^A\mathrm{,}\cdots \right\}=A\cap \left\{{\omega }_1\mathrm{,}\cdots \mathrm{,}{\omega }_n\mathrm{,}\cdots \right\}$. Suppose that ${\omega }_0\in A$, then $d={\inf }_{\omega \in \bar{A}\backslash A}\rho \left({\omega }_0,\omega \right)>0$, where $\bar{A}$ is a closure of the set A.

Let the point ${\omega }_{k_0}^A$ belong to the ball $C\left({\omega }_0,\frac{d}{8}\right)=\left\{\omega \in {\Omega }_1,\rho \left({\omega }_0,\omega \right)<\frac{d}{8}\right\}$ and

let us consider the ball

$C\left({\omega }_{k_0},\frac{d}{8}+\rho \left({\omega }_0,{\omega }_{k_0}^A\right)\right)=\left\{\omega \in {\Omega }_1,\rho \left({\omega }_{k_0},\omega \right)<\frac{d}{8}+\rho \left({\omega }_0,{\omega }_{k_0}^A\right)\right\}$. The point ${\omega }_0$ belongs to this ball and for every $\omega \in C\left({\omega }_{k_0}\mathrm{,}\frac{d}{8}+\rho \left({\omega }_0\mathrm{,}{\omega }_{k_0}^A\right)\right)$ the inequality

$\rho \left({\omega }_0,\omega \right)\le \rho \left({\omega }_0,{\omega }_{k_0}^A\right)+\rho \left({\omega }_{k_0}^A,\omega \right)<\frac{d}{8}+2\rho \left({\omega }_0,{\omega }_{k_0}^A\right)<\frac{3d}{8}$ (82)

is true. Therefore $C\left({\omega }_{k_0}\mathrm{,}\frac{d}{8}+\rho \left({\omega }_0\mathrm{,}{\omega }_{k_0}^A\right)\right)\subset C\left({\omega }_0\mathrm{,}\frac{3d}{8}\right)$. Let the rational number ${\epsilon }_{k_0}$ satisfies the inequalities

$\frac{d}{8}+2\rho \left({\omega }_0,{\omega }_{k_0}^A\right)<{\epsilon }_{k_0}<\frac{3d}{8},$ (83)

then $C\left({\omega }_{k_0}^A\mathrm{,}{\epsilon }_{k_0}\right)\subseteq C\left({\omega }_0\mathrm{,}\frac{d}{2}\right)$, since for every $\omega \in C\left({\omega }_{k_0}^A\mathrm{,}{\epsilon }_{k_0}\right)$, $\rho \left({\omega }_0,\omega \right)\le \rho \left({\omega }_0,{\omega }_{k_0}\right)+\rho \left({\omega }_{k_0},\omega \right)<\frac{d}{8}+{\epsilon }_{k_0}<\frac{d}{2}$. So, for ${\omega }_0\in A$ we found ${\omega }_{k_0}\in \left\{{\omega }_1\mathrm{,}\cdots \mathrm{,}{\omega }_n\mathrm{,}\cdots \right\}$ and the rational number ${\epsilon }_{k_0}$ such that ${\omega }_0\in C\left({\omega }_{k_0}^A\mathrm{,}{\epsilon }_{k_0}\right)\subset C\left({\omega }_0\mathrm{,}\frac{d}{2}\right)\subset A$. The last prove the needed statement. To complete the proof of Lemma 7 let us construct the exhaustive decomposition. Let us renumber the sets $B\left({\omega }_n\mathrm{,}{\epsilon }_m\right)$ putting by $D_1=B\left({\omega }_1,{\epsilon }_1\right)$, $D_2=B\left({\omega }_1,{\epsilon }_2\right)$, $D_3=B\left({\omega }_2,{\epsilon }_1\right)$, and so on. We put that ${\left\{A_{1k}\right\}}_{k=1}^{\infty }$ consists of two sets $D_1$ and ${\bar{D}}_1={\Omega }_1\backslash D_1$. If the set ${\left\{A_{nk}\right\}}_{k=1}^{\infty }$ is constructed, then the set ${\left\{A_{n+1k}\right\}}_{k=1}^{\infty }$ we construct from the various set of the kind $A_{nk}\cap D_{n+1}\mathrm{,}{A}_{nk}\cap {\bar{D}}_{n+1}$. By construction the minimal σ-algebra $\sigma \left\{A_{nk},n,k=\overline{1,\infty }\right\}=\sigma \left\{B\left({\omega }_n,{\epsilon }_m\right),n,m=\overline{1,\infty }\right\}$. Taking into account the previous part of the proof we have $\sigma \left\{A_{nk},n,k=\overline{1,\infty }\right\}={\mathcal{F}}_1$. Lemma 7 is proved. □

Lemma 8. Let a measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ have an exhaustive decomposition and let $\xi$ be an integrable random value relative to the measure P, satisfying the conditions (36). Then, the closure of the set of measure Q, given by the formula (42), relative to the pointwise convergence of measures contains the set of measures

$\begin{array}{l}{\nu }_{{\omega }_1,{\omega }_2}\left(A\right)={\chi }_A\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\\ +{\chi }_A\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)},A\in \mathcal{F},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+},\end{array}$ (84)

for those $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}$ which have the full measure $\mu =P^{-}\times P^{+}$ For every integrable finite valued random value $f\left(\omega \right)$ relative to all measures Q, the closure in metrics $\rho \left(x_1,x_2\right)=\left|x_1-x_2\right|$, $x_1\mathrm{,}{x}_2\in R^1$, of the set of real numbers

$\begin{array}{l}{E}^{Q}f={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}f\left({\omega }_1\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}f\left({\omega }_2\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right),\end{array}$ (85)

when $\alpha \left({\omega }_1,{\omega }_2\right)$ runs over all random values satisfying the conditions (39), (41), contains the set of numbers

$f\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}+f\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}.$ (86)

Proof. On a probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$, let $\xi$ be an integrable random value, satisfying the conditions (36). As before, let ${\Omega }^{+}=\left\{\omega ,\xi \left(\omega \right)>0\right\}$, ${\Omega }^{-}=\left\{\omega ,\xi \left(\omega \right)\le 0\right\}$ and let ${\mathcal{F}}^{-}\mathrm{,}{\mathcal{F}}^{+}$ be the restrictions of the σ-algebra $\mathcal{F}$ on the sets ${\Omega }^{-}$ and ${\Omega }^{+}$, correspondingly. Suppose that $P^{-}$ and $P^{+}$ are the contractions of the measure P on the σ-algebras ${\mathcal{F}}^{-}\mathrm{,}{\mathcal{F}}^{+}$, correspondingly. Consider the probability space $\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\mathrm{,}{P}^{-}\times P^{+}\right\}$ which is a direct product of the probability spaces $\left\{{\Omega }^{-}\mathrm{,}{\mathcal{F}}^{-}\mathrm{,}{P}^{-}\right\}$ and $\left\{{\Omega }^{+}\mathrm{,}{\mathcal{F}}^{+}\mathrm{,}{P}^{+}\right\}$. Due to Lemma 8 conditions and Remark 1, the measurable space $\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\right\}$ has the exhaustive decomposition $B_{n,ks},k,s=\overline{1,\infty },n=\overline{1,\infty }$. Denote ${\mathcal{F}}_n$ the minimal σ-algebra generated by decomposition $B_{n,ks},k,s=\overline{1,\infty }$. It is evident

that ${\mathcal{F}}_n\subset {\mathcal{F}}_{n+1}$. Moreover, $\sigma \left(\underset{n=1}{\overset{\infty }{{\displaystyle V}}}{\mathcal{F}}_n\right)={\mathcal{F}}^{-}\times {\mathcal{F}}^{+}$. On the probability space

$\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\mathrm{,}{P}^{-}\times P^{+}\right\}$, for every integrable finite valued random value $f\left({\omega }_1\mathrm{,}{\omega }_2\right)$ the sequence $E^{\mu }\left\{f\left({\omega }_1\mathrm{,}{\omega }_2\right)\mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}$ converges to $f\left({\omega }_1\mathrm{,}{\omega }_2\right)$ with probability one, as $n\to \infty$, since it is a regular martingale. It is evident that for those $B_{n\mathrm{,}ks}$ for which $\mu \left(B_{n\mathrm{,}ks}\right)\ne 0$

$E^{\mu }\left\{f\left({\omega }_1,{\omega }_2\right)|{\mathcal{F}}_n\right\}=\frac{{\displaystyle \underset{B_{n,ks}}{\int }}f\left({\omega }_1,{\omega }_2\right)\text{d}\mu }{\mu \left(B_{n,ks}\right)},\left({\omega }_1,{\omega }_2\right)\in B_{n,ks}.$ (87)

Denote $D_0={\displaystyle \underset{n,k,s,\mu \left(B_{n,ks}\right)=0}{\cup }}{B}_{n,ks}$. It is evident that $\mu \left(D_0\right)=0$. For every

$\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}\backslash D_0$, the formula (87) is well defined and is finite. Let $D_1$ be the subset of the set ${\Omega }^{-}\times {\Omega }^{+}\backslash D_0$, where the limit of the left hand side of the formula (87) does not exist. Then, $\mu \left(D_1\right)=0$. For every $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}\backslash \left(D_0\cup D_1\right)$, the right hand side of the formula (87) converges to $f\left({\omega }_1\mathrm{,}{\omega }_2\right)$. For $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}\backslash \left(D_0\cup D_1\right)$, denote $A_n=A_n\left({\omega }_1,{\omega }_2\right)$ those set $B_{n\mathrm{,}ks}$ for which $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in B_{n\mathrm{,}ks}$ for a certain $k\mathrm{,}s$. Then, for every integrable finite valued $f\left({\omega }_1\mathrm{,}{\omega }_2\right)$

$\underset{n\to \infty }{\lim }\frac{{\displaystyle \underset{A_n}{\int }}f\left({\omega }_1\mathrm{,}{\omega }_2\right)\text{d}\mu }{\mu \left(A_n\right)}=f\left({\omega }_1\mathrm{,}{\omega }_2\right)\mathrm{.}$ (88)

Let us consider the sequence

${\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)=\left(1-{\epsilon }_n\right)\frac{{\chi }_{A_n}\left({\omega }_1,{\omega }_2\right)}{\mu \left(A_n\right)}+{\epsilon }_n\frac{{\chi }_{{\Omega }^{-}\times {\Omega }^{+}\backslash A_n}\left({\omega }_1,{\omega }_2\right)}{\mu \left({\Omega }^{-}\times {\Omega }^{+}\backslash A_n\right)},$ (89)

where $0<{\epsilon }_n<1$, $\underset{n\to \infty }{\lim }{\epsilon }_n=0$. Such a sequence ${\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)$ satisfies the conditions (39)-(41) and

$\begin{array}{l}{Q}_n^{{\epsilon }_n}\left(A\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_1\right){\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_2\right){\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ =\left(1-{\epsilon }_n\right)\frac{{\displaystyle \underset{A_n}{\int }}{\chi }_A\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left(A_n\right)}\\ +\left(1-{\epsilon }_n\right)\frac{{\displaystyle \underset{A_n}{\int }}{\chi }_A\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu (An)}\end{array}$

$\begin{array}{l}+{\epsilon }_n\frac{{\displaystyle \underset{{\Omega }^{-}\times {\Omega }^{+}\backslash A_n}{\int }}{\chi }_A\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left({\Omega }^{-}\times {\Omega }^{+}\backslash A_n\right)}\\ +{\epsilon }_n\frac{{\displaystyle \underset{{\Omega }^{-}\times {\Omega }^{+}\backslash A_n}{\int }}{\chi }_A\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left({\Omega }^{-}\times {\Omega }^{+}\backslash A_n\right)}.\end{array}$ (90)

From the formula (90), we obtain

$\begin{array}{l}\underset{n\to \infty }{\lim }{Q}_n^{{\epsilon }_n}\left(A\right)={\chi }_A\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}+{\chi }_A\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)},\\ A\in \mathcal{F},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}\backslash \left(D_0\cup D_1\right).\end{array}$ (91)

Further,

$\begin{array}{l}{E}^{Q_n^{{\epsilon }_n}}f\left(\omega \right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}f\left({\omega }_1\right){\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}f\left({\omega }_2\right){\alpha }_n^{{\epsilon }_n}\left({\omega }_1,{\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ =\left(1-{\epsilon }_n\right)\frac{{\displaystyle \underset{A_n}{\int }}f\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left(A_n\right)}\\ +\left(1-{\epsilon }_n\right)\frac{{\displaystyle \underset{A_n}{\int }}f\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu (An)}\end{array}$

$\begin{array}{l}+{\epsilon }_n\frac{{\displaystyle \underset{{\Omega }^{-}\times {\Omega }^{+}\backslash A_n}{\int }}f\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left({\Omega }^{-}\times {\Omega }^{+}\backslash A_n\right)}\\ +{\epsilon }_n\frac{{\displaystyle \underset{{\Omega }^{-}\times {\Omega }^{+}\backslash A_n}{\int }}f\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)}{\mu \left({\Omega }^{-}\times {\Omega }^{+}\backslash A_n\right)}.\end{array}$ (92)

From the formula (92), we obtain

$\begin{array}{l}\underset{n\to \infty }{\lim }{E}^{Q_n^{{\epsilon }_n}}f\left(\omega \right)=f\left({\omega }_1\right)\frac{{\xi }^{+}\left({\omega }_2\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)}+f\left({\omega }_2\right)\frac{{\xi }^{-}\left({\omega }_1\right)}{{\xi }^{-}\left({\omega }_1\right)+{\xi }^{+}\left({\omega }_2\right)},\\ \left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}\backslash \left(D_0\cup D_1\right).\end{array}$ (93)

Lemma 8 is proved. □

The next Theorem 5 is a consequence of Lemma 5.

Theorem 5. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$, for the nonnegative random value $\xi \ne 1$ the set of measures $M_0$ on the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$, being equivalent to the measure P, satisfies the condition

$E^Q\xi =1,Q\in M_0,$ (94)

if and only if as for $Q\in M_0$ the representation

$\begin{array}{l}Q\left(A\right)={\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_1\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)+{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}{\chi }_A\left({\omega }_2\right)\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)}{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)+{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right),A\in \mathcal{F},\end{array}$ (95)

is true, where on the measurable space $\left\{{\Omega }^{-}\times {\Omega }^{+}\mathrm{,}{\mathcal{F}}^{-}\times {\mathcal{F}}^{+}\mathrm{,}{P}^{-}\times P^{+}\right\}$, the random value $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$ satisfies the conditions

$\mu \left(\left\{\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+},\alpha \left({\omega }_1,{\omega }_2\right)>0\right\}\right)=P\left({\Omega }^{+}\right)P\left({\Omega }^{-}\right),$ (96)

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\frac{{\left(\xi -1\right)}^{-}\left({\omega }_1\right){\left(\xi -1\right)}^{+}\left({\omega }_2\right)}{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)+{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}\text{d}\mu \left({\omega }_1,{\omega }_2\right)<\infty ,$ (97)

${\displaystyle \underset{{\Omega }^{-}}{\int }}{\displaystyle \underset{{\Omega }^{+}}{\int }}\alpha \left({\omega }_1,{\omega }_2\right)\text{d}\mu \left({\omega }_1,{\omega }_2\right)=1.$ (98)

We introduced above the following denotations: $\mu =P^{-}\times P^{+}$, $P^{-}$ is a contraction of the measure P on the set ${\Omega }^{-}=\left\{\omega \in \Omega ,\xi -1\le 0\right\}$, $P^{+}$ is a contraction of the measure P on the set ${\Omega }^{+}=\left\{\omega \in \Omega ,\xi -1>0\right\}$, ${\mathcal{F}}^{-}={\Omega }^{-}\cap \mathcal{F}$, ${\mathcal{F}}^{+}={\Omega }^{+}\cap \mathcal{F}$.

It is evident that the set of measure $M_0$ is a nonempty one, since it contains those measures Q, for which the random value $\alpha \left({\omega }_1\mathrm{,}{\omega }_2\right)$ is bounded, since $E^Q\left|\xi -1\right|<\infty$. The set of measure $M_0$ is consistent with the filtration $\left\{{\mathcal{F}}_0\mathrm{,}\mathcal{F}\right\}$ on the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$, where ${\mathcal{F}}_0=\left\{\varnothing \mathrm{,}\Omega \right\}$.

Theorem 6. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ with the filtration ${\mathcal{F}}_n$ on it, the set of measures $M_0$, given by the formula (95), is consistent with the filtration ${\mathcal{F}}_n$, if and only if, as $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}Q\in M_0$, is a local regular martingale.

Proof. The necessity. Let the set of measures $M_0$ be consistent with the filtration. Then, due to Theorem 3, $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}Q\in M_0$, is a local regular martingale.

The sufficiency. Suppose that $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}Q\in M_0$, is a local regular martingale. Let us prove that, if $Q_1\mathrm{,}{Q}_2\in M_0$, then the set of measures

$R_s^k\left(A\right)={\displaystyle \underset{A}{\int }}\frac{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_k\right\}}{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_s\right\}}\text{d}{Q}_2,A\in \mathcal{F},k\ge s\ge n,n=\overline{0,\infty },$ (99)

belongs to the set $M_0$. For this, it is to prove that $E^{R_s^k}\left(\xi -1\right)=0$, or $E^{R_s^k}\xi =1$. Really, if $E^{Q_1}\xi =1,E^{Q_2}\xi =1$, then

$\begin{array}{c}{E}^{R_s^k}\xi =E^{Q_2}\xi \frac{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_k\right\}}{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_s\right\}}=E^{Q_2}{E}^{Q_2}\left\{\xi |{\mathcal{F}}_k\right\}\frac{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}}{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_s\right\}}\\ =E^{Q_2}{E}^{Q_2}\left\{E^{Q_2}\left\{\xi |{\mathcal{F}}_k\right\}\frac{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}}{E^{Q_2}\left\{\frac{\text{d}{Q}_1}{\text{d}{Q}_2}|{\mathcal{F}}_s\right\}}|{\mathcal{F}}_s\right\}\\ =E^{Q_2}{E}^{Q_1}\left\{E^{Q_2}\left\{\xi |{\mathcal{F}}_k\right\}|{\mathcal{F}}_s\right\}=E^{Q_2}{E}^{Q_1}\left\{E^{Q_1}\left\{\xi |{\mathcal{F}}_k\right\}|{\mathcal{F}}_s\right\}\\ =E^{Q_2}{E}^{Q_1}\left\{\xi |{\mathcal{F}}_s\right\}=E^{Q_2}{E}^{Q_2}\left\{\xi |{\mathcal{F}}_s\right\}=E^{Q_2}\xi =1.\end{array}$ (100)

Theorem 6 is proved. □

Theorem 7. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ with the filtration ${\mathcal{F}}_n$ on it, the set of measures $M_0$, given by the formula (95), is consistent with the filtration ${\mathcal{F}}_n$, if and only if there exists not depending on $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}$ the random process ${\left\{m_n,{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$ such that

$E^{{\nu }_{{\omega }_1,{\omega }_2}}\left\{\xi |{\mathcal{F}}_n\right\}=m_n,n=\overline{1,\infty },$ (101)

for those $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}$ that have the full measure $\mu =P^{-}\times P^{+}$, where

$\begin{array}{l}{\nu }_{{\omega }_1,{\omega }_2}\left(A\right)={\chi }_A\left({\omega }_1\right)\frac{{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)+{\left(\xi -1\right)}^{+}\left({\omega }_2\right)}\\ +{\chi }_A\left({\omega }_2\right)\frac{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)}{{\left(\xi -1\right)}^{-}\left({\omega }_1\right)+{\left(\xi -1\right)}^{+}\left({\omega }_2\right)},A\in \mathcal{F},\left({\omega }_1,{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}.\end{array}$ (102)

Proof. The necessity. Suppose that the set of measures $M_0$, given by the formula (95), is consistent with the filtration ${\mathcal{F}}_n$. Due to Theorem 6, $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}Q\in M_0$, is a local regular martingale. Then, $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}=m_n$. Using Lemma 8, we obtain $E^{{\nu }_{{\omega }_1,{\omega }_2}}\left\{\xi |{\mathcal{F}}_n\right\}=m_n$ for those $\left({\omega }_1\mathrm{,}{\omega }_2\right)\in {\Omega }^{-}\times {\Omega }^{+}$ that have the full measure $\mu$.

The sufficiency. If the formula (101) is true, then $E^Q\left\{\xi |{\mathcal{F}}_n\right\}=m_n,Q\in M_0$. From this, it follows that $E^Q\left\{\xi \mathrm{<mo>\; |\; </mo>}{\mathcal{F}}_n\right\}\mathrm{,}Q\in M_0$, is a local regular martingale. Theorem 7 is proved. □

Definition 5. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ with the filtration ${\mathcal{F}}_n$ on it, the consistent with the filtration ${\mathcal{F}}_n$ subset of the measures M of the set of the measures $M_0$ generating by the nonnegative random value $\xi \ne 1$, $E^Q\xi =1,Q\in M_0$, we call the regular set of measures.

Let $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ be a probability space. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, let $M\subseteq M_0$ be a set of regular measures, where the set $M_0$ is generated by the nonnegative random value $\xi \ne 1$. Denote by ${\left\{m_n,{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$ the regular martingale, where $m_n=E^Q\left\{\xi |{\mathcal{F}}_n\right\},Q\in M,n=\overline{1,\infty }$. Assume that $M_n$ is a contraction of the set of regular measures M onto the σ-algebra ${\mathcal{F}}_n$. Every $Q^n\in M_n$ is equivalent to $P_n$, where $P_n$ is a contraction of the measure P on the σ-algebra ${\mathcal{F}}_n$. For every $Q^n\in M_n$, we have $E^{Q^n}\left[m_n-m_{n-1}\right]=0$. Therefore, for the measure $Q^n\in M_n$ the representation

$\begin{array}{l}{Q}^n\left(A\right)={\displaystyle \underset{{\Omega }_n^{-}\times {\Omega }_n^{+}}{\int }}{\chi }_A\left({\omega }_1\right)\frac{{\alpha }_n\left({\omega }_1,{\omega }_2\right){\left[m_n-m_{n-1}\right]}^{+}\left({\omega }_2\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\omega }_1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\omega }_2\right)}\text{d}{\mu }_n\left({\omega }_1,{\omega }_2\right)\\ +{\displaystyle \underset{{\Omega }_n^{-}\times {\Omega }_n^{+}}{\int }}{\chi }_A\left({\omega }_2\right)\frac{{\alpha }_n\left({\omega }_1,{\omega }_2\right){\left[m_n-m_{n-1}\right]}^{-}\left({\omega }_1\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\omega }_1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\omega }_2\right)}\text{d}{\mu }_n\left({\omega }_1,{\omega }_2\right),A\in {\mathcal{F}}_n,\end{array}$ (103)

${\Omega }_n^{-}=\left\{{\omega }_1\in \Omega ,\left[m_n-m_{n-1}\right]\left({\omega }_1\right)\le 0\right\},$

${\Omega }_n^{+}=\left\{{\omega }_2\in \Omega ,\left[m_n-m_{n-1}\right]\left({\omega }_2\right)>0\right\},$

is true, where, on the measurable space $\left\{{\Omega }_n^{-}\times {\Omega }_n^{+}\mathrm{,}{\mathcal{F}}_n^{-}\times {\mathcal{F}}_n^{+}\right\}$, the random value ${\alpha }_n\left({\omega }_1\mathrm{,}{\omega }_2\right)$ satisfies the conditions

${\mu }_n\left(\left\{\left({\omega }_1,{\omega }_2\right)\in {\Omega }_n^{-}\times {\Omega }_n^{+},{\alpha }_n\left({\omega }_1,{\omega }_2\right)>0\right\}\right)=P_n\left({\Omega }^{+}\right)P_n\left({\Omega }^{-}\right),$ (104)

${\displaystyle \underset{{\Omega }_n^{-}}{\int }}{\displaystyle \underset{{\Omega }_n^{+}}{\int }}{\alpha }_n\left({\omega }_1,{\omega }_2\right)\frac{{\left[m_n-m_{n-1}\right]}^{-}\left({\omega }_1\right){\left[m_n-m_{n-1}\right]}^{+}\left({\omega }_2\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\omega }_1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\omega }_2\right)}\text{d}{\mu }_n\left({\omega }_1,{\omega }_2\right)<\infty ,$ (105)

${\displaystyle \underset{{\Omega }_n^{-}}{\int }}{\displaystyle \underset{{\Omega }_n^{+}}{\int }}{\alpha }_n\left({\omega }_1,{\omega }_2\right)\text{d}{\mu }_n\left({\omega }_1,{\omega }_2\right)=1.$ (106)

Here, the measure ${\mu }_n=P_n^{-}\times P_n^{+}$ is given on the measurable space $\left\{{\Omega }_n^{-}\times {\Omega }_n^{+}\mathrm{,}{\mathcal{F}}_n^{-}\times {\mathcal{F}}_n^{+}\right\}$ and it is a direct product of the measures $P_n^{-}$ and $P_n^{+}$, where the measure $P_n^{+}$ is a contraction of the measure $P_n$ on the σ-algebra ${\mathcal{F}}_n^{+}={\Omega }_n^{+}\cap {\mathcal{F}}_n$ and $P_n^{-}$ is a contraction of the measure $P_n$ on the σ-algebra ${\mathcal{F}}_n^{-}={\Omega }_n^{-}\cap {\mathcal{F}}_n$. It is evident that the regular set of measures M is a convex set of measure.

Definition 6. On the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ with the filtration ${\mathcal{F}}_n$ on it, denote by $A_0$ the set of all nonnegative integrable random values $\zeta$ relative to the set of regular measures M, satisfying the conditions:

$E^P\zeta =1,P\in M.$ (107)

Due to Theorem 3, ${\left\{E^P\left\{\zeta |{\mathcal{F}}_n\right\},{\mathcal{F}}_n\right\}}_{n=0}^{\infty }$ is a regular martingale relative to the set of measures M.

It is evident that the set $A_0$ is a nonempty one, since it contains the random value $\zeta =1$. The more interesting case is as $A_0$ contains more than one element. So, further we consider the regular set of measure M with the set $A_0$, containing more than one element.

In the next Lemma 9, using Lemma 5, we construct a set of measures consistent with the filtration. On the probability space $\left\{{\Omega }_1^0\mathrm{,}{\mathcal{F}}_1^0\mathrm{,}{P}_1^0\right\}$, let us consider a nonnegative random value ${\xi }_1$, satisfying the conditions

$0<P_1^0\left(\left\{{\omega }_1\in {\Omega }_1^0,{\eta }_1\left({\omega }_1\right)<0\right\}\right)<1,$

$0<P_1^0\left(\left\{{\omega }_1\in {\Omega }_1^0,{\eta }_1\left({\omega }_1\right)>0\right\}\right),$ (108)

where we introduced the denotation ${\eta }_1\left({\omega }_1\right)={\xi }_1\left({\omega }_1\right)-1$. Described in Lemma 5 the set of equivalent measures to the measure $P_1^0$ and such that $E^Q{\eta }_1\left({\omega }_1\right)=0$, we denote by $M_1$. Let us construct the infinite direct product of the measurable

spaces $\left\{{\Omega }_i^0,{\mathcal{F}}_i^0\right\},i=\overline{1,\infty }$, where ${\Omega }_i^0={\Omega }_1^0,{\mathcal{F}}_i^0={\mathcal{F}}_1^0$. Denote $\Omega ={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{\Omega }_i^0$. On

the space $\Omega$, under the σ-algebra $\mathcal{F}$ we understand the minimal σ-algebra,

generated by the sets ${\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{G}_i,G_i\in F_i^0$, where in the last product only the finite set

of $G_i$ do not equal ${\Omega }_i^0$. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$, under the filtration

${\mathcal{F}}_n$ we understand the minimal σ-algebra generated by the sets ${\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{G}_i,G_i\in {\mathcal{F}}_i^0$,

where $G_i={\Omega }_i^0$ for $i>n$. We consider the probability space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$, where

$P={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{P}_i^0,P_i^0=P_1^0,i=\overline{1,\infty }$.

On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$, we introduce into consideration the set of

measures M, where Q belongs to M, if $Q={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{Q}_i,Q_i\in M_1$. We denote by $M^{Q_0}$ a subset of the set M of those measures $Q={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{Q}_i,Q_i\in M_1$, for which only the

finite set of $Q_i$ does not coincide with the measure $Q_0\in M_1$.

Lemma 9. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, there exists consistent with the filtration ${\mathcal{F}}_n$ the set of measures $M_0$ and the nonnegative random variable ${\xi }_0$ such that $E^Q{\xi }_0=1,Q\in M_0$, if the random value ${\xi }_1$, satisfying the conditions (108), is bounded.

Proof. To prove Lemma 9, we need to construct a nonnegative bounded random value ${\xi }_0$ on the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ and a set of equivalent measures $M_0$ on it, such that $E^Q{\xi }_0=1,Q\in M_0$, and to prove that the set of measures $M_0$ is consistent with the filtration ${\mathcal{F}}_n$. From the Lemma 9 conditions, the random value ${\eta }_1\left({\omega }_1\right)={\xi }_1\left({\omega }_1\right)-1$ is also bounded. Let us put

${\xi }_0={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],$ (109)

where the random values $a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)$ are ${\mathcal{F}}_{i-1}$ -measurable, $i=\overline{1,\infty }$, they satisfy the conditions $0<a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)\le b_i<1$. The constants $b_i$ are such

that ${\displaystyle \underset{i=1}{\overset{\infty }{\sum }}}{b}_i<\infty$, the random value ${\eta }_i\left({\omega }_i\right)$ is given on $\left\{{\Omega }_i^0\mathrm{,}{\mathcal{F}}_i^0\mathrm{,}{P}_i^0\right\}$ and is

distributed as ${\eta }_1\left({\omega }_1\right)$ on $\left\{{\Omega }_1^0\mathrm{,}{\mathcal{F}}_1^0\mathrm{,}{P}_1^0\right\}$. From this, it follows that the random

value ${\xi }_0$ is bounded by the constant ${\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}\left[1+C{b}_i\right]$, where $C>0$ and it is such

that $\left|{\eta }_i\left({\omega }_i\right)\right|<C,i=\overline{1,\infty }$. It is evident that $E^Q{\xi }_0=1,Q\in M^{Q_0}$. Really,

$\begin{array}{l}{E}^Q{\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right]\\ =E^{Q_0^{n-1}}{\displaystyle \underset{i=1}{\overset{n-1}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right]\\ \times E^{Q_n}\left[1+a_{n-1}\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_n\left({\omega }_n\right)\right],\end{array}$ (110)

where $Q={\displaystyle \underset{i=1}{\overset{\infty }{\prod }}}{Q}_i,Q_0^{n-1}={\displaystyle \underset{i=1}{\overset{n-1}{\prod }}}{Q}_i$,

$\begin{array}{l}{E}^{Q_n}\left[1+a_{n-1}\left({\omega }_1,\cdots ,{\omega }_{n-1}\right){\eta }_i\left({\omega }_n\right)\right]\\ =\left[1+a_{n-1}\left({\omega }_1,\cdots ,{\omega }_{n-1}\right)E^{Q_n}{\eta }_n\left({\omega }_n\right)\right]=1.\end{array}$ (111)

From the last equality, we have

$E^Q{\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right]=1.$ (112)

Since ${\xi }_0=\underset{n\to \infty }{\lim }{\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right]$, from the equality (112) and the

possibility to go to the limit under the mathematical expectation, we prove the needed statement. Let us prove the existence of the set of measures $M_0$ consistent with the filtration ${\mathcal{F}}_n$. If $Q\in M^{Q_0}$, then

$E^Q\left\{{\xi }_0|{\mathcal{F}}_n\right\}={\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],Q\in M^{Q_0}.$ (113)

Due to Lemma 4, there exists a set of measures $M_0$ such that it is consistent with the filtration and $M_0\supseteq M^{Q_0}$, $E^Q{\xi }_0=1,Q\in M_0$. The set $M_0$ is a linear convex span of the set $M^{Q_0}$. It means that the set of measures $M_0$ is consistent with the filtration. Lemma 9 is proved. □

Remark 2 The boundedness of the random value ${\xi }_1$ is not essential. For the applications, the case, as $a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)=0,i\ge n+1$, is very important (see Section 8). In this case, Lemma 9 is true as the random value ${\eta }_1$ is an integrable one. The random value ${\xi }_0$ is also integrable one relative to every measures from the set $M_0$ and it is ${\mathcal{F}}_n$ -measurable one.

Below, we describe one class of evolutions of risk assets satisfying no arbitrage condition [15] - [20] and give the complete description of the set of equivalent martingale measures.

On the introduced measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\mathrm{,}P\right\}$ we consider the evolution of the risk asset given by the law

$S_n=S_{n-1}\left(1+a_n\left({\omega }_1,\cdots ,{\omega }_{n-1}\right)\right){\eta }_n\left({\omega }_n\right),n=\overline{1,N},$ (114)

where the random values $a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)$ are ${\mathcal{F}}_{i-1}$ -measurable, $i=\overline{1,N}$, they satisfy the conditions $0<a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)\le 1$, ${\eta }_1\left({\omega }_1\right)={\xi }_1\left({\omega }_1\right)-1$, the random value ${\eta }_i\left({\omega }_i\right)$ is given on $\left\{{\Omega }_i^0\mathrm{,}{\mathcal{F}}_i^0\mathrm{,}{P}_i^0\right\}$ and is distributed as ${\eta }_1\left({\omega }_1\right)$ on $\left\{{\Omega }_1^0\mathrm{,}{\mathcal{F}}_1^0\mathrm{,}{P}_1^0\right\}$. The main aim is to describe the set of martingale measures for the evolution of risk asset given by the formula (114). This problem we solve in Theorem 8.

Below, we describe completely the regular set of measures in the case as

${\xi }_0={\displaystyle \underset{i=1}{\overset{N}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],N<\infty$, $0<a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)\le 1,i=\overline{1,N}$, and

the random value ${\xi }_1$ is an integrable one relative to the measure $P_1^0$. For this purpose, we introduce the denotations: ${\Omega }_1^{-}=\left\{{\omega }_1\in {\Omega }_1^0,{\eta }_1\left({\omega }_1\right)\le 0\right\}$, ${\Omega }_1^{+}=\left\{{\omega }_1\in {\Omega }_1^0,{\eta }_1\left({\omega }_1\right)>0\right\}$, $P_1^{-}$ is a contraction of the measure $P_1^0$ on the σ-algebra ${\mathcal{F}}_1^{-}$, $P_1^{+}$ is a contraction of the measure $P_1^0$ on the σ-algebra ${\mathcal{F}}_1^{+}$, ${\mathcal{F}}_1^{-}={\Omega }_1^{-}\cap {\mathcal{F}}_1^0$, ${\mathcal{F}}_1^{+}={\Omega }_1^{+}\cap {\mathcal{F}}_1^0$.

Denote $U_1={\Omega }_1^{-}\times {\Omega }_1^{+}$ and introduce the measure ${\mu }_1=P_1^{-}\times P_1^{+}$ on the σ-algebra $G_1={\mathcal{F}}_1^{-}\times {\mathcal{F}}_1^{+}$. Let us introduce the measurable space $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\mathrm{,}\mu \right\}$,

where $\mathcal{V}={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{U}_i,U_i=U_1,i=\overline{1,N}$, is a direct product of the spaces $U_i={\Omega }_i^{-}\times {\Omega }_i^{+}$, ${\Omega }_i^{-}={\Omega }_1^{-}$, ${\Omega }_i^{+}={\Omega }_1^{+}$, $\mathcal{L}={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{G}_i$ is a direct product of the σ-algebras $G_i=G_1,i=\overline{1,N}$. At last, let $\mu ={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{\mu }_i$ be a direct product of the measures ${\mu }_i={\mu }_1,i=\overline{1,N}$, and let ${\nu }_v={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{\nu }_{{\omega }_i^1,{\omega }_i^2},v=\left\{\left({\omega }_1^1,{\omega }_1^2\right),\cdots ,\left({\omega }_N^1,{\omega }_N^2\right)\right\}$,

be a direct product of the measures ${\nu }_{{\omega }_i^1,{\omega }_i^2},i=\overline{1,N}$, which is a countable additive function on the σ-algebra ${\mathcal{F}}_N$ for every $v\in \mathcal{V}$, where

${\nu }_{{\omega }_i^1,{\omega }_i^2}\left(A_i\right)={\chi }_{A_i}\left({\omega }_i^1\right)\frac{{\eta }_i^{+}\left({\omega }_i^2\right)}{{\eta }_i^{-}\left({\omega }_i^1\right)+{\eta }_i^{+}\left({\omega }_i^2\right)}+{\chi }_{A_i}\left({\omega }_i^2\right)\frac{{\eta }_i^{-}\left({\omega }_i^1\right)}{{\eta }_i^{-}\left({\omega }_i^1\right)+{\eta }_i^{+}\left({\omega }_i^2\right)}$ (115)

for ${\omega }_i^1\in {\Omega }_i^{-}\mathrm{,}{\omega }_i^2\in {\Omega }_i^{+}\mathrm{,}{A}_i\in {\mathcal{F}}_i^0$.

In the next Theorem 8, we assume that the random value ${\eta }_1\left({\omega }_1\right)$ is an integrable one.

Theorem 8. On the measurable space $\left\{\Omega \mathrm{,}\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_n$ on it, every measure Q of the regular set of measures M for the random value

${\xi }_0={\displaystyle \underset{i=1}{\overset{N}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],N<\infty$, $0<a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)\le 1,i=\overline{1,N}$, has

the representation

$Q\left(A\right)={\displaystyle \underset{V}{\int }}\alpha \left(v\right){\nu }_v\left(A\right)\text{d}\mu \left(v\right)\mathrm{,}$ (116)

where the random value $\alpha \left(v\right)$ satisfies the conditions

$\mu \left(\left\{v\in \mathcal{V},\alpha \left(v\right)>0\right\}\right)={\left[P_1^0\left({\Omega }_1^{-}\right)P_1^0\left({\Omega }_1^{+}\right)\right]}^N,$ (117)

${\displaystyle \underset{\mathcal{V}}{\int }}\alpha \left(v\right){\displaystyle \underset{i\mathrm{<mo>\; =\; </mo>1}}{\overset{N}{\prod }}}\frac{{\eta }_i^{-}\left({\omega }_i^1\right){\eta }_i^{+}\left({\omega }_i^2\right)}{{\eta }_i^{-}\left({\omega }_i^1\right)+{\eta }_i^{+}\left({\omega }_i^2\right)}\text{d}\mu \left(v\right)<\infty \mathrm{,}$ (118)

${\displaystyle \underset{\mathcal{V}}{\int }}\alpha \left(v\right)\text{d}\mu \left(v\right)=1.$ (119)

Proof. To prove Theorem, it needs to prove that the countable additive measure ${\nu }_v\left(A\right)$ at every fixed $v\in \mathcal{V}$ is a measurable map from the measurable space $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into the measurable space $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$ for every fixed

$A\in {\mathcal{F}}_N$. For $A={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{A}_i,A_i\in {\mathcal{F}}_i^0$, ${\nu }_v\left(A\right)$ is a measurable map from the measurable space $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into the measurable space $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. The family of sets of the kind ${\displaystyle \underset{i\in I}{\cup }}{E}_i$, $E_i={\displaystyle \underset{s=1}{\overset{N}{\prod }}}{A}_s^i,A_s^i\in F_s^0$, where $E_i\cap E_j=\varnothing$, the set I is an

arbitrary finite set, forms the algebra of the sets that we denote by $U_0$. From the

countable additivity of ${\nu }_v\left(A\right)$, ${\nu }_v\left({\displaystyle \underset{i\in I}{\cup }}{E}_i\right)={\displaystyle \underset{i\in I}{\sum }}{\nu }_v\left(E_i\right)$ is a measurable map

from the measurable space $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into the measurable space $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. Let T be a class of the sets from the minimal σ-algebra $\Sigma$ generated by $U_0$ for every subset E of that ${\nu }_v\left(E\right)$ is a measurable map from the measurable space

$\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into the measurable space $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. Let us prove that T is a monotonic class. Suppose that $E_i\subset E_{i+1},i=\overline{1,\infty },E_i\in T$. Then,

${\nu }_v\left(E_i\right)\le {\nu }_v\left(E_{i+1}\right)$. From this, it follows that $\underset{i\to \infty }{\lim }{\nu }_v\left(E_i\right)$ is a measurable map from the measurable space $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into the measurable space $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. But, ${\nu }_v\left(E_{i+1}\backslash E_i\right)={\nu }_v\left(E_{i+1}\right)-{\nu }_v\left(E_i\right)$ is a measurable map from $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. From this equality, it follows that the set $E_{i+1}\backslash E_i$ belongs to

the class T. Since ${\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{E}_i=E_1\cup {\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}\left[E_{i+1}\backslash E_i\right]$, we have

$\begin{array}{c}\underset{n\to \infty }{\lim }{\nu }_v\left(E_n\right)={\nu }_v\left(E_1\right)+\underset{n\to \infty }{\lim }{\displaystyle \underset{i=1}{\overset{n}{\sum }}}{\nu }_v\left(E_{i+1}\backslash E_i\right)\\ ={\nu }_v\left(E_1\right)+{\displaystyle \underset{i=1}{\overset{\infty }{\sum }}}{\nu }_v\left(E_{i+1}\backslash E_i\right)\\ ={\nu }_v\left(E_1\cup {\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}\left[E_{i+1}\backslash E_i\right]\right)={\nu }_v\left({\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{E}_i\right).\end{array}$ (120)

The equalities (120) mean that ${\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{E}_i$ belongs to T, since ${\nu }_v\left({\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{E}_i\right)$ is a

measurable map of $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$. Suppose that

$E_i\supset E_{i+1},E_i\in T,i=\overline{1,\infty }$. Then, this case is reduced to the previous one by the

note that the sequence ${\bar{E}}_i={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{\Omega }_i^0\backslash E_i,i=\overline{1,\infty }$ is monotonically increasing. From this, it follows that $\bar{E}={\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{\bar{E}}_i\in T$. Therefore, ${\displaystyle \underset{i=1}{\overset{\infty }{\cap }}}{E}_i={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{\Omega }_i^0\backslash {\displaystyle \underset{i=1}{\overset{\infty }{\cup }}}{\bar{E}}_i\in T$.

Thus, T is a monotone class. But, $U_0\subset T$. Hence, T contains the minimal monotone class generated by the algebra $U_0$, that is, $m\left(U_0\right)=\Sigma$, therefore, $\Sigma \subset T$. Thus, ${\nu }_v\left(E\right)$ is a measurable map of $\left\{\mathcal{V}\mathrm{,}\mathcal{L}\right\}$ into $\left\{\left[\mathrm{0,1}\right]\mathrm{,}B\left(\left[\mathrm{0,1}\right]\right)\right\}$ for $A\in \Sigma$. The fact that the random value $\alpha \left(v\right)$ satisfies the conditions (117)-(119) means that Q, given by the formula (116), is a countable additive function of sets and $E^Q{\xi }_0<\infty$. Moreover, $E^Q{\xi }_0=1$. It is evident that

$E^Q\left\{{\xi }_0|{\mathcal{F}}_n\right\}={\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],Q\in M$. Due to Lemma 4, this proves that the set M is a regular set of measure. Theorem 8 is proved. □

Remark 3. The representation (116) for the regular set of measures M means that M is a convex set of equivalent measures. Since the random value $\alpha \left(v\right)$ runs all bounded random values, satisfying the conditions (117 - 119), it is easy to show that the set of measures ${\nu }_v\left(A\right)\mathrm{,}v\in \mathcal{V}\mathrm{,}A\in {\mathcal{F}}_N$, is the set of extreme points for the set M.

Let us introduce the denotations

$m_n\left(\left\{\omega \right\}\right)={\displaystyle \underset{i=1}{\overset{n}{\prod }}}\left[1+a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right){\eta }_i\left({\omega }_i\right)\right],1\le n\le N<\infty ,$ (121)

$0<a_i\left({\omega }_1,\cdots ,{\omega }_{i-1}\right)\le 1,i=\overline{1,N}.$

$\left\{\omega \right\}=\left\{{\omega }_1,\cdots ,{\omega }_N\right\},{\left\{\omega \right\}}^i=\left\{{\omega }_1^i,\cdots ,{\omega }_N^i\right\},i=1,2,{\Omega }_n={\displaystyle \underset{i=1}{\overset{n}{\prod }}}{\Omega }_i^0,n=\overline{1,N},$

${\left\{\omega \right\}}_n^1=\left\{{\omega }_1^1,\cdots ,{\omega }_n^1\right\},{\left\{\omega \right\}}_n^i=\left\{{\omega }_1^i,\cdots ,{\omega }_n^i\right\},i=1,2,$

${\Omega }_{N-n}={\displaystyle \underset{i=n+1}{\overset{N}{\prod }}}{\Omega }_i^0,n=\overline{1,N-1},$

$\begin{array}{c}{\bar{\Omega }}_n^{-}=\left\{{\left\{\omega \right\}}_n\in {\Omega }_n,\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n\right)\le 0\right\}\\ ={\Omega }_{n-1}\times \left\{{\omega }_n\in {\Omega }_n^0,{\eta }_n\left({\omega }_n\right)\le 0\right\},\end{array}$

$\begin{array}{c}{\bar{\Omega }}_n^{+}=\left\{{\left\{\omega \right\}}_n\in {\Omega }_n,\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n\right)>0\right\}\\ ={\Omega }_{n-1}\times \left\{{\omega }_n\in {\Omega }_n^0,{\eta }_n\left({\omega }_n\right)>0\right\},\end{array}$

$\begin{array}{c}{\Omega }_n^{-}=\left\{\left\{\omega \right\}\in {\Omega }_N,\left[m_n-m_{n-1}\right]\left(\left\{\omega \right\}\right)\le 0\right\}\\ ={\Omega }_{n-1}\times \left\{{\omega }_n\in {\Omega }_n^0,{\eta }_n\left({\omega }_n\right)\le 0\right\}\times {\Omega }_{N-n},\end{array}$

$\begin{array}{c}{\Omega }_n^{+}=\left\{\left\{\omega \right\}\in {\Omega }_N,\left[m_n-m_{n-1}\right]\left(\left\{\omega \right\}\right)>0\right\}\\ ={\Omega }_{n-1}\times \left\{{\omega }_n\in {\Omega }_n^0,{\eta }_n\left({\omega }_n\right)>0\right\}\times {\Omega }_{N-n}.\end{array}$ (122)

Note that the σ-algebra ${\mathcal{F}}_n$ is generated by sets of the kind $G={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{G}_i$, where $G_i\in {\mathcal{F}}_i^0,i=\overline{1,n},G_i={\Omega }_i^0,i=\overline{n+1,N}$. Denote $P_n={\displaystyle \underset{i=1}{\overset{n}{\prod }}}{P}_i^0$ the contraction of the measure $P_N={\displaystyle \underset{i=1}{\overset{N}{\prod }}}{P}_i^0$ onto the σ-algebra ${\mathcal{F}}_n$. Further we use the denotations

$P_n^{-}$ and $P_n^{+}$ which are the contractions the measure $P_n$ onto the σ-algebras ${\mathcal{F}}_n\cap {\Omega }_n^{-}$ and ${\mathcal{F}}_n\cap {\Omega }_n^{+}$, correspondingly. If the measure Q belongs to the set of martingale measures (116), then $E^Q\left\{m_n|{\mathcal{F}}_{n-1}\right\}=m_{n-1}$, or $E^Q\left[m_n-m_{n-1}\right]=0$. From this, for the measure Q the representation

$\begin{array}{l}Q\left(A_1\right)={\displaystyle \underset{{\Omega }_n^{-}\times {\Omega }_n^{+}}{\int }}\frac{{\chi }_{A_1}\left({\left\{\omega \right\}}^1\right)\alpha \left({\left\{\omega \right\}}^1;{\left\{\omega \right\}}^2\right){\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^2\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^2\right)}\text{d}\left[P_N^{-}\times P_N^{+}\right]\\ +{\displaystyle \underset{{\Omega }_n^{-}\times {\Omega }_n^{+}}{\int }}\frac{{\chi }_{A_1}\left({\left\{\omega \right\}}^2\right)\alpha \left({\left\{\omega \right\}}^1;{\left\{\omega \right\}}^2\right){\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^1\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^2\right)}\text{d}\left[P_N^{-}\times P_N^{+}\right],A_1\in {\mathcal{F}}_n,\end{array}$ (123)

is true if the random value $\alpha \left({\left\{\omega \right\}}^1;{\left\{\omega \right\}}^2\right)>0$ satisfies the condition

${\displaystyle \underset{{\Omega }_n^{-}\times {\Omega }_n^{+}}{\int }}\alpha \left({\left\{\omega \right\}}^1;{\left\{\omega \right\}}^2\right)\text{d}\left[P_N^{-}\times P_N^{+}\right]=1.$ (124)

Since for the set $A_1$ the representation $A_1=A\times {\displaystyle \underset{i=n+1}{\overset{N}{\prod }}}{\Omega }_i^0$, is true, where $A\in {\bar{\mathcal{F}}}_n={\displaystyle \underset{i=1}{\overset{n}{\prod }}}{\mathcal{F}}_i^0$, then for the contraction $Q_n$ of the measure Q onto the σ-algebra ${\bar{\mathcal{F}}}_n$ the representation

$\begin{array}{l}{Q}_n\left(A\right)={\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}\frac{{\chi }_A\left({\left\{\omega \right\}}_n^1\right){\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right){\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)}\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]\\ +{\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}\frac{{\chi }_A\left({\left\{\omega \right\}}_n^2\right){\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right){\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)}\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right],A\in {\bar{\mathcal{F}}}_n,\end{array}$ (125)

is true, where we introduced the denotations ${\bar{P}}_n^{-}$ and ${\bar{P}}_n^{+}$ which are the contractions of the measure $P_n$ onto the σ-algebras ${\bar{\mathcal{F}}}_n\cap {\bar{\Omega }}_n^{-}$ and ${\bar{\mathcal{F}}}_n\cap {\bar{\Omega }}_n^{+}$, correspondingly,

${\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)={\displaystyle \underset{{\Omega }_{N-n}\times {\Omega }_{N-n}}{\int }}\alpha \left({\left\{\omega \right\}}^1;{\left\{\omega \right\}}^2\right)\text{d}\left[P_{N-n}\times P_{N-n}\right],$

$P_{N-n}={\displaystyle \underset{i=n+1}{\overset{N}{\prod }}}{P}_i^0,{\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}{\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]=1.$ (126)

In the set ${\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}$ let us introduce the transformation

$T_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)=\left(T_n^1\left({\left\{\omega \right\}}_n^1\right);T_n^2\left({\left\{\omega \right\}}_n^2\right)\right),$

$T_n^1\left({\left\{\omega \right\}}_n^1\right)=\left\{{\left\{\omega \right\}}_{n-1}^2,{\omega }_n^1\right\},T_n^2\left({\left\{\omega \right\}}_n^2\right)=\left\{{\left\{\omega \right\}}_{n-1}^1,{\omega }_n^2\right\},n=\overline{1,N}.$ (127)

By the definition we put that for $n=1$ the transformation $T_1$ is identical one. Introduce the denotations

${\nu }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)=\frac{{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)}{{\phi }_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)},$ (128)

${\nu }_n^2\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)=\frac{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)}{{\phi }_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)}.$ (129)

${\phi }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)={\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right),$ (130)

${\phi }_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)={\phi }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)+{\phi }_n^1\left(T_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\right).$ (131)

Theorem 9. Let ${\Omega }_1^0$ be a complete separable metric space and ${\mathcal{F}}_1^0$ be a Borel σ-algebra on it. If the condition

${\displaystyle \underset{{\Omega }_n}{\int }}f\left({\left\{\omega \right\}}_n\right)\text{d}{P}_n<\infty ,$ (132)

is true for ${\mathcal{F}}_n$ -measurable nonnegative random value $f\left({\left\{\omega \right\}}_n\right)$, then the closure of the set of points $E^{Q_n}f\left({\left\{\omega \right\}}_n\right),Q_n\in M_n$, in metrics $\rho \left(x,y\right)=\left|x-y\right|$ on the real line contains the set of points

$\begin{array}{l}f\left({\left\{\omega \right\}}_n^1\right){\nu }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)+f\left({\left\{\omega \right\}}_n^2\right){\nu }_n^2\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\\ +f\left(T_n^1\left({\left\{\omega \right\}}_n^1\right)\right){\nu }_n^1\left(T_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\right)\\ +f\left(T_n^2\left({\left\{\omega \right\}}_n^2\right)\right){\nu }_n^2\left(T_n\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\right),n=\overline{1,N}.\end{array}$ (133)

Proof. Let us find the conditions for the measurable functions ${\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)$ under which $E^{Q_n}\left\{m_n|{\bar{\mathcal{F}}}_{n-1}\right\}=m_{n-1}$. Introduce the denotation

${\alpha }_n^0\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)=\frac{{\alpha }_n^1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)}{{\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)+{\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)}.$ (134)

Let the set B belongs to ${\bar{\mathcal{F}}}_{n-1}$, then

$\begin{array}{l}{E}^{Q_n}{\chi }_B\left({\left\{\omega \right\}}_{n-1}\right)\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n\right)\\ ={\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}{\chi }_B\left({\left\{\omega \right\}}_{n-1}^1\right){\alpha }_n^0\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n^1\right)\\ \times {\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n^2\right)\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]\\ +{\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}{\chi }_B\left({\left\{\omega \right\}}_{n-1}^2\right){\alpha }_n^0\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n^2\right)\\ \times {\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n^1\right)\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]\mathrm{.}\end{array}$ (135)

If to take into account the relations

$\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n\right)=m_{n-1}\left({\left\{\omega \right\}}_{n-1}\right)a_n\left({\left\{\omega \right\}}_{n-1}\right){\eta }_n\left({\omega }_n\right),$

${\left[m_n-m_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_n\right)=m_{n-1}\left({\left\{\omega \right\}}_{n-1}\right)a_n\left({\left\{\omega \right\}}_{n-1}\right){\eta }_n^{+}\left({\omega }_n\right),$

${\left[m_n-m_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_n\right)=m_{n-1}\left({\left\{\omega \right\}}_{n-1}\right)a_n\left({\left\{\omega \right\}}_{n-1}\right){\eta }_n^{-}\left({\omega }_n\right),$ (136)

and introduce the denotations

$\begin{array}{l}{\theta }_1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\\ =m_{n-1}\left({\left\{\omega \right\}}_{n-1}^1\right)a_n\left({\left\{\omega \right\}}_{n-1}^1\right)\times m_{n-1}\left({\left\{\omega \right\}}_{n-1}^2\right)a_n\left({\left\{\omega \right\}}_{n-1}^2\right){\alpha }_n^0\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right),\end{array}$ (137)

$\begin{array}{l}{\theta }_2\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)\\ =m_{n-1}\left({\left\{\omega \right\}}_{n-1}^1\right)a_n\left({\left\{\omega \right\}}_{n-1}^1\right)\times m_{n-1}\left({\left\{\omega \right\}}_{n-1}^2\right)a_n\left({\left\{\omega \right\}}_{n-1}^2\right){\alpha }_n^0\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right),\end{array}$ (138)

we obtain

$\begin{array}{l}{E}^{Q_n}{\chi }_B\left({\left\{\omega \right\}}_{n-1}\right)\left[m_n-m_{n-1}\right]\left({\left\{\omega \right\}}_n\right)\\ =-{\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}{\chi }_B\left({\left\{\omega \right\}}_{n-1}^1\right){\theta }_1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right){\eta }_n^{-}\left({\omega }_n^1\right){\eta }_n^{+}\left({\omega }_n^2\right)\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]\\ +{\displaystyle \underset{{\bar{\Omega }}_n^{-}\times {\bar{\Omega }}_n^{+}}{\int }}{\chi }_B\left({\left\{\omega \right\}}_{n-1}^2\right){\theta }_2\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right){\eta }_n^{-}\left({\omega }_n^1\right){\eta }_n^{+}\left({\omega }_n^2\right)\text{d}\left[{\bar{P}}_n^{-}\times {\bar{P}}_n^{+}\right]\end{array}$

$\begin{array}{l}={\displaystyle \underset{\left\{{\eta }_n\left({\omega }_n^1\right)\le 0\right\}\times \left\{{\eta }_n\left({\omega }_n^2\right)>0\right\}}{\int }}\text{d}\left[P_1\left({\omega }_n^1\right)\times P_1\left({\omega }_n^2\right)\right]{\eta }_n^{-}\left({\omega }_n^1\right){\eta }_n^{+}\left({\omega }_n^2\right)\\ \times {\displaystyle \underset{{\Omega }_{n-1}\times {\Omega }_{n-1}}{\int }}{\chi }_B\left({\left\{\omega \right\}}_{n-1}^1\right)\left[{\theta }_1\left({\left\{\omega \right\}}_n^1;{\left\{\omega \right\}}_n^2\right)-{\theta }_1\left({\left\{\omega \right\}}_{n-1}^2,{\omega }_n^1;{\left\{\omega \right\}}_{n-1}^1,{\omega }_n^2\right)\right]\\ \times \text{d}[P_{n-1}\left({\left\{\omega \right\}}_{n-1}^1\right)\end{array}$