Brouwer fixed point theorem in ${({L}^{0})}^{d}$
 Samuel Drapeau^{1},
 Martin Karliczek^{1},
 Michael Kupper^{2}Email author and
 Martin Streckfuß^{1}
https://doi.org/10.1186/168718122013301
© Drapeau et al.; licensee Springer. 2013
Received: 17 May 2013
Accepted: 21 October 2013
Published: 19 November 2013
Abstract
The classical Brouwer fixed point theorem states that in ${\mathbb{R}}^{d}$ every continuous function from a convex, compact set on itself has a fixed point. For an arbitrary probability space, let ${L}^{0}={L}^{0}(\mathrm{\Omega},\mathcal{A},P)$ be the set of random variables. We consider ${({L}^{0})}^{d}$ as an ${L}^{0}$module and show that local, sequentially continuous functions on ${L}^{0}$convex, closed and bounded subsets have a fixed point which is measurable by construction.
MSC:47H10, 13C13, 46A19, 60H25.
Keywords
Introduction
The Brouwer fixed point theorem states that a continuous function from a compact and convex set in ${\mathbb{R}}^{d}$ to itself has a fixed point. This result and its extensions play a central role in analysis, optimization and economic theory among others. To show the result, one approach is to consider functions on simplexes first and use Sperner’s lemma.
Recently, Cheridito et al. [1], inspired by the theory developed by Filipović et al. [2] and Guo [3], studied ${({L}^{0})}^{d}$ as an ${L}^{0}$module, discussing concepts like linear independence, σstability, locality and ${L}^{0}$convexity. Based on this, we define affine independence and conditional simplexes in ${({L}^{0})}^{d}$. Showing first a result similar to Sperner’s lemma, we obtain a fixed point for local, sequentially continuous functions on conditional simplexes. From the measurable structure of the problem, it turns out that we have to work with local, measurable labeling functions. To cope with this difficulty and to maintain some uniform properties, we subdivide the conditional simplex barycentrically. We then prove the existence of a measurable completely labeled conditional simplex, contained in the original one, which turns out to be a suitable σcombination of elements of the barycentric subdivision along a partition of Ω. Thus, we can construct a sequence of conditional simplexes converging to a point. By applying always the same rule of labeling using the locality of the function, we show that this point is a fixed point. Due to the measurability of the labeling function, the fixed point is measurable by construction. Hence, even though we follow the constructions and methods used in the proof of the classical result in ${\mathbb{R}}^{d}$ (cf. [4]), we do not need any measurable selection argument.
 (i)
$R(\cdot ,x):\mathrm{\Omega}\to \mathcal{C}$ is a random variable for any fixed $x\in \mathcal{C}$,
 (ii)
$R(\omega ,\cdot ):\mathcal{C}\to \mathcal{C}$ is a continuous function for any fixed $\omega \in \mathrm{\Omega}$.
For R there exists a random fixed point which is a random variable $\xi :\mathrm{\Omega}\to \mathcal{C}$ such that $\xi (\omega )=R(\omega ,\xi (\omega ))$ for any ω (cf. [5–7]). In contrast to this ωwise consideration, our approach is completely within the theory of ${L}^{0}$. All objects and properties are therefore defined in that language and proofs are done with ${L}^{0}$methods. Moreover, the connection between continuous random operators on ${\mathbb{R}}^{d}$ and sequentially continuous functions on ${({L}^{0})}^{d}$ is not entirely clear.
An application, though not studied in this paper, is for instance possible in economic theory or optimization in the context of [8]. Therein the methods from convex analysis are used to obtain equilibrium results for translation invariant utility functionals on ${({L}^{0})}^{d}$. Without translation invariance, these methods fail and will be replaced by fixed point arguments in an ongoing work. Thus, our result is helpful to develop the theory of nontranslation invariant preference functionals mapping to ${L}^{0}$.
The present paper is organized as follows. In the first section, we present the basic concepts concerning ${({L}^{0})}^{d}$ as an ${L}^{0}$module. We define conditional simplexes and examine their basic properties. In the second section, we define measurable labeling functions and show the Brouwer fixed point theorem for conditional simplexes via a construction in the spirit of Sperner’s lemma. In the third section, we show a fixed point result for ${L}^{0}$convex, bounded and sequentially closed sets in ${({L}^{0})}^{d}$. With this result at hand, we present the topological implications known from the realvalued case. On the one hand, we show the impossibility of contracting a ball to a sphere in ${({L}^{0})}^{d}$ and, on the other hand, an intermediate value theorem in ${L}^{0}$.
1 Conditional simplex
For a probability space $(\mathrm{\Omega},\mathcal{A},P)$, let ${L}^{0}={L}^{0}(\mathrm{\Omega},\mathcal{A},P)$ be the space of all $\mathcal{A}$measurable random variables, where Palmost surely equal random variables are identified. In particular, for $X,Y\in {L}^{0}$, the relations $X\ge Y$ and $X>Y$ have to be understood Palmost surely. The set ${L}^{0}$ with the Palmost everywhere order is a lattice ordered ring, and for a nonempty subset $\mathcal{C}\subseteq {L}^{0}$, we denote the least upper bound by $ess\hspace{0.17em}sup\mathcal{C}$ and the greatest lower bound by $ess\hspace{0.17em}inf\mathcal{C}$, respectively (cf. [1]). For $m\in \mathbb{R}$, we denote the constant random variable $m{1}_{\mathrm{\Omega}}$ by m. Further, we define the sets ${L}_{+}^{0}=\{X\in {L}^{0}:X\ge 0\}$, ${L}_{++}^{0}=\{X\in {L}^{0}:X>0\}$ and ${\mathcal{A}}_{+}=\{A\in \mathcal{A}:P(A)>0\}$. The set of random variables with values in a set $M\subseteq \mathbb{R}$ is denoted by $M(\mathcal{A})$. For example, $\{1,\dots ,r\}(\mathcal{A})$ is the set of $\mathcal{A}$measurable functions with values in $\{1,\dots ,r\}\subseteq \mathbb{N}$, $[0,1](\mathcal{A})=\{Z\in {L}^{0}:0\le Z\le 1\}$ and $(0,1)(\mathcal{A})=\{Z\in {L}^{0}:0<Z<1\}$.
An element $Y={\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}$ such that ${\lambda}_{i}>0$ for all $i\in I\subseteq \{1,\dots ,N\}$ is called a strict convex combination of $\{{X}_{i}:i\in I\}$. Moreover, a set $\mathcal{C}\subseteq {({L}^{0})}^{d}$ is said to be ${L}^{0}$convex if for any $X,Y\in \mathcal{C}$ and $\lambda \in [0,1](\mathcal{A})$, it holds that $\lambda X+(1\lambda )Y\in \mathcal{C}$.
We call $\mathcal{C}\subseteq {({L}^{0})}^{d}$ bounded if ${ess\hspace{0.17em}sup}_{X\in \mathcal{C}}\parallel X\parallel \in {L}^{0}$ and sequentially closed if it contains all Palmost sure limits of sequences in $\mathcal{C}$. Further, the diameter of $\mathcal{C}\subseteq {({L}^{0})}^{d}$ is defined as $diam(\mathcal{C})={ess\hspace{0.17em}sup}_{X,Y\in \mathcal{C}}\parallel XY\parallel $.
where ${\lambda}_{1},\dots ,{\lambda}_{N1}\in {L}^{0}$.
Indeed, first we show that (1.1) implies (1.2). Let ${\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}=0$ and ${\sum}_{i=1}^{N}{\lambda}_{i}=0$. Then ${\sum}_{i=1}^{N1}{\lambda}_{i}({X}_{i}{X}_{N})={\lambda}_{N}{X}_{N}+{\sum}_{i=1}^{N1}{\lambda}_{i}{X}_{i}=0$. By assumption (1.1), it holds that ${\lambda}_{1}=\cdots ={\lambda}_{N1}=0$, thus also ${\lambda}_{N}=0$. To see that (1.2) implies (1.1), let ${\sum}_{i=1}^{N1}{\lambda}_{i}({X}_{i}{X}_{N})=0$. With ${\lambda}_{N}={\sum}_{i=1}^{N1}{\lambda}_{i}$, it holds that ${\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}={\lambda}_{N}{X}_{N}+{\sum}_{i=1}^{N1}{\lambda}_{i}{X}_{i}={\sum}_{i=1}^{N1}{\lambda}_{i}({X}_{i}{X}_{N})=0$. By assumption (1.2), ${\lambda}_{1}=\cdots ={\lambda}_{N}=0$.
Remark 1.2 We observe that if ${({X}_{i})}_{i=1}^{N}\subseteq {({L}^{0})}^{d}$ are affinely independent, then ${(\lambda {X}_{i})}_{i=1}^{N}$ for $\lambda \in {L}_{++}^{0}$ and ${({X}_{i}+Y)}_{i=1}^{N}$ for $Y\in {({L}^{0})}^{d}$ are affinely independent. Moreover, if a family ${X}_{1},\dots ,{X}_{N}$ is affinely independent, then also ${1}_{B}{X}_{1},\dots ,{1}_{B}{X}_{N}$ are affinely independent on $B\in {\mathcal{A}}_{+}$, which means from ${\sum}_{i=1}^{N}{1}_{B}{\lambda}_{i}{X}_{i}=0$ and ${\sum}_{i=1}^{N}{1}_{B}{\lambda}_{i}=0$ it always follows that ${1}_{B}{\lambda}_{i}=0$ for all $i=1,\dots ,N$.
such that ${X}_{1},\dots ,{X}_{N}\in {({L}^{0})}^{d}$ are affinely independent. We call $N\in \mathbb{N}$ the dimension of $\mathcal{S}$.
Indeed, since ${\sum}_{i=1}^{N}({\lambda}_{i}{\mu}_{i}){X}_{i}=0$ and ${\sum}_{i=1}^{N}({\lambda}_{i}{\mu}_{i})=0$, it follows from (1.2) that ${\lambda}_{i}{\mu}_{i}=0$ for all $i=1,\dots ,N$.
Remark 1.5 Note that the present setting  ${L}^{0}$modules and the sequential Palmost sure convergence  is of local nature. This is, for instance, not the case for subsets of ${L}^{p}$ or the convergence in the ${L}^{p}$norm for $1\le p<\mathrm{\infty}$. First, ${L}^{p}$ is not closed under multiplication and hence neither a ring nor a module over itself, so that we cannot even speak about affine independence. Second, it is in general not a σstable subspace of ${L}^{0}$. However, for a conditional simplex $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$ in ${({L}^{0})}^{d}$ such that any ${X}_{k}$ is in ${({L}^{p})}^{d}$, it holds that $\mathcal{S}$ is uniformly bounded by $N{sup}_{k=1,\dots ,N}\parallel {X}_{k}\parallel \in {L}^{p}$. This uniform boundedness yields that any Palmost sure converging sequence in $\mathcal{S}$ is also converging in the ${L}^{p}$norm for $1\le p<\mathrm{\infty}$ due to the dominated convergence theorem. This shows how one can translate results from ${L}^{0}$ to ${L}^{p}$.
Since a conditional simplex is a convex hull, it is in particular σstable. In contrast to a simplex in ${\mathbb{R}}^{d}$, the representation of $\mathcal{S}$ as a convex hull of affinely independent elements is unique but up to σstability.
Proposition 1.6 Let ${({X}_{i})}_{i=1}^{N}$ and ${({Y}_{i})}_{i=1}^{N}$ be families in ${({L}^{0})}^{d}$ with $\sigma ({X}_{1},\dots ,{X}_{N})=\sigma ({Y}_{1},\dots ,{Y}_{N})$. Then $conv({X}_{1},\dots ,{X}_{N})=conv({Y}_{1},\dots ,{Y}_{N})$. Moreover, ${({X}_{i})}_{i=1}^{N}$ are affinely independent if and only if ${({Y}_{i})}_{i=1}^{N}$ are affinely independent.
If $\mathcal{S}$ is a conditional simplex such that $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})=conv({Y}_{1},\dots ,{Y}_{N})$, then it holds that $\sigma ({X}_{1},\dots ,{X}_{N})=\sigma ({Y}_{1},\dots ,{Y}_{N})$.
Therefore, $conv({X}_{1},\dots ,{X}_{N})\subseteq conv({Y}_{1},\dots ,{Y}_{N})$ and the reverse inclusion holds analogously.
Hence, it holds that ${1}_{A}Z\in {1}_{A}aff({Y}_{2},\dots ,{Y}_{N})$. It follows that ${1}_{A}aff({X}_{1},\dots ,{X}_{N})={1}_{A}aff({Y}_{1},\dots ,{Y}_{N})={1}_{A}aff({Y}_{2},\dots ,{Y}_{N})$. This is a contradiction to the former part of the proof (because $N1\ngeqq N$).
Next, we show that in a conditional simplex $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$ it holds that X is in $\sigma ({X}_{1},\dots ,{X}_{N})$ if and only if there do not exist Y and Z in $\mathcal{S}\setminus \{X\}$ and $\lambda \in (0,1)(\mathcal{A})$ such that $\lambda Y+(1\lambda )Z=X$. Consider $X\in \sigma ({X}_{1},\dots ,{X}_{N})$ which is $X={\sum}_{k=1}^{N}{1}_{{A}_{k}}{X}_{k}$ for a partition ${({A}_{k})}_{k=1,\dots ,N}$. Now assume to the contrary that we find $Y={\sum}_{k=1}^{N}{\lambda}_{k}{X}_{k}$ and $Z={\sum}_{k=1}^{N}{\mu}_{k}{X}_{k}$ in $\mathcal{S}\setminus \{X\}$ such that $X=\lambda Y+(1\lambda )Z$. This means that $X={\sum}_{k=1}^{N}(\lambda {\lambda}_{k}+(1\lambda ){\mu}_{k}){X}_{k}$. Due to uniqueness of the coefficients (cf. (1.3)) in a conditional simplex, we have $\lambda {\lambda}_{k}+(1\lambda ){\mu}_{k}={1}_{{A}_{k}}$ for all $k=1,\dots ,N$. By means of $0<\lambda <1$, it holds that $\lambda {\lambda}_{k}+(1\lambda ){\mu}_{k}={1}_{{A}_{k}}$ if and only if ${\lambda}_{k}={\mu}_{k}={1}_{{A}_{k}}$. Since the last equality holds for all k, it follows that $Y=Z=X$. Therefore, we cannot find Y and Z in $\mathcal{S}\setminus \{X\}$ such that X is a strict convex combination of them. On the other hand, consider $X\in \mathcal{S}$ such that $X\notin \sigma ({X}_{1},\dots ,{X}_{N})$. This means $X={\sum}_{k=1}^{N}{\nu}_{k}{X}_{k}$ such that there exist ${\nu}_{{k}_{1}}$ and ${\nu}_{{k}_{2}}$ and $B\in {\mathcal{A}}_{+}$ with $0<{\nu}_{{k}_{1}}<1$ on B and $0<{\nu}_{{k}_{2}}<1$ on B. Define $\epsilon :=ess\hspace{0.17em}inf\{{\nu}_{{k}_{1}},{\nu}_{{k}_{2}},1{\nu}_{{k}_{1}},1{\nu}_{{k}_{2}}\}$. Then define ${\mu}_{k}={\lambda}_{k}={\nu}_{k}$ if ${k}_{1}\ne k\ne {k}_{2}$ and ${\lambda}_{{k}_{1}}={\nu}_{{k}_{1}}\epsilon $, ${\lambda}_{{k}_{2}}={\nu}_{{k}_{2}}+\epsilon $, ${\mu}_{{k}_{1}}={\nu}_{{k}_{1}}+\epsilon $ and ${\mu}_{{k}_{2}}={\nu}_{{k}_{2}}\epsilon $. Thus, $Y={\sum}_{k=1}^{N}{\lambda}_{k}{X}_{k}$ and $Z={\sum}_{k=1}^{N}{\mu}_{k}{X}_{k}$ fulfill $0.5Y+0.5Z=X$ but both are not equal to X by construction. Hence, X can be written as a strict convex combination of elements in $\mathcal{S}\setminus \{X\}$. To conclude, consider $X\in \sigma ({X}_{1},\dots ,{X}_{N})\subseteq \mathcal{S}=conv({X}_{1},\dots ,{X}_{N})=conv({Y}_{1},\dots ,{Y}_{N})$. Since $X\in \sigma ({X}_{1},\dots ,{X}_{N})$, it is not a strict convex combination of elements in $\mathcal{S}\setminus \{X\}$, in particular, of elements in $conv({Y}_{1},\dots ,{Y}_{N})\setminus \{X\}$. Therefore, X is also in $\sigma ({Y}_{1},\dots ,{Y}_{N})$. Hence, $\sigma ({X}_{1},\dots ,{X}_{N})\subseteq \sigma ({Y}_{1},\dots ,{Y}_{N})$. With the same argumentation, the other inclusion follows. □
As an example, let us consider $[0,1](\mathcal{A})$. For an arbitrary $A\in \mathcal{A}$, it holds that ${1}_{A}$ and ${1}_{{A}^{c}}$ are affinely independent and $conv({1}_{A},{1}_{{A}^{c}})=\{\lambda {1}_{A}+(1\lambda ){1}_{{A}^{c}}:0\le \lambda \le 1\}=[0,1](\mathcal{A})$. Thus, the conditional simplex $[0,1](\mathcal{A})$ can be written as a convex combination of different affinely independent elements of ${L}^{0}$. This is due to the fact that $\sigma (0,1)=\{{1}_{B}:B\in \mathcal{A}\}=\sigma ({1}_{A},{1}_{{A}^{c}})$ for all $A\in \mathcal{A}$.
Remark 1.7 In ${({L}^{0})}^{d}$, let ${e}_{i}$ be the random variable which is 1 in the i th component and 0 in any other. Then the family $0,{e}_{1},\dots ,{e}_{d}$ is affinely independent and ${({L}^{0})}^{d}=aff(0,{e}_{1},\dots ,{e}_{d})$. Hence, the maximal number of affinely independent elements in ${({L}^{0})}^{d}$ is $d+1$.
The characterization of $X\in \sigma ({X}_{1},\dots ,{X}_{N})$ leads to the following definition.
Definition 1.8 Let $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$ be a conditional simplex. We define the set of extremal points $ext(\mathcal{S})=\sigma ({X}_{1},\dots ,{X}_{N})$. For an index set I and a collection $\mathcal{S}={({\mathcal{S}}_{i})}_{i\in I}$ of conditional simplexes, we denote $ext(\mathcal{S})=\sigma ({\bigcup}_{i\in I}ext({\mathcal{S}}_{i}))$.
shows $conv({Y}_{1},\dots ,{Y}_{N})\subseteq {\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{\mathcal{S}}^{j}$. The other inclusion follows by considering ${\sum}_{k=1}^{N}{\lambda}_{k}^{j}{X}_{k}^{j}\in {\mathcal{S}}^{j}$ and defining ${\lambda}_{k}={\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{\lambda}_{k}^{j}$. To show that ${Y}_{1},\dots ,{Y}_{N}$ are affinely independent, we consider ${\sum}_{k=1}^{N}{\lambda}_{k}{Y}_{k}=0={\sum}_{k=1}^{N}{\lambda}_{k}$. Then by (1.4) it holds that ${1}_{{A}_{j}}{\sum}_{k=1}^{N}{\lambda}_{k}{X}_{k}^{j}=0$ and since ${\mathcal{S}}^{j}$ is a conditional simplex, ${1}_{{A}_{j}}{\lambda}_{k}=0$ for all $j\in \mathbb{N}$ and $k=1,\dots ,N$. From the fact that ${({A}_{j})}_{j\in \mathbb{N}}$ is a partition, it follows that ${\lambda}_{k}=0$ for all $k=1,\dots ,N$.
We will prove the Brouwer fixed point theorem in the present setting using an ${L}^{0}$module version of Sperner’s lemma. As in the unconditional case, we have to subdivide a conditional simplex into smaller ones. For our argumentation, we cannot use arbitrary subdivisions and need very special properties of the conditional simplexes in which we subdivide. This leads to the following definition.
We call ${({\mathcal{C}}_{\pi})}_{\pi \in {\mathrm{S}}_{N}}$ the barycentric subdivision of $\mathcal{S}$.
 (i)
$\sigma ({\bigcup}_{\pi \in {\mathrm{S}}_{N}}{\mathcal{C}}_{\pi})=\mathcal{S}$.
 (ii)
${\mathcal{C}}_{\pi}$ has dimension N, $\pi \in {\mathrm{S}}_{N}$.
 (iii)
${\mathcal{C}}_{\pi}\cap {\mathcal{C}}_{\overline{\pi}}$ is a conditional simplex of dimension $r\in \mathbb{N}$ and $r<N$ for $\pi ,\overline{\pi}\in {\mathrm{S}}_{N}$, $\pi \ne \overline{\pi}$.
 (iv)
For $s=1,\dots ,N1$, let ${\mathcal{B}}_{s}:=conv({X}_{1},\dots ,{X}_{s})$. All conditional simplexes ${\mathcal{C}}_{\pi}\cap {\mathcal{B}}_{s}$, $\pi \in {\mathrm{S}}_{N}$, of dimension s subdivide ${\mathcal{B}}_{s}$ barycentrically.
with ${\mu}_{i}={\sum}_{k={\pi}^{1}(i)}^{N}\frac{{\lambda}_{\pi (k)}}{k}$. Since ${\sum}_{i=1}^{N}{\mu}_{i}={\sum}_{i=1}^{N}{\lambda}_{i}$, the affine independence of ${Y}_{1}^{\pi},\dots ,{Y}_{N}^{\pi}$ is obtained by the affine independence of ${X}_{1},\dots ,{X}_{N}$. Therefore all ${\mathcal{C}}_{\pi}$ are conditional simplexes.
which shows that $X\in {\mathcal{C}}_{{\pi}^{n}}$ on ${A}_{n}$. Condition (ii) is fulfilled by construction.
which is only possible if ${\mu}_{j}={\lambda}_{j}=0$ since $p,q\le j$. Furthermore, if ${\mathcal{C}}_{\pi}\cap {\mathcal{C}}_{\overline{\pi}}$ is of dimension N, by (1.5) it follows that $\pi =\overline{\pi}$. This shows (iii).
Further, for ${\mathcal{B}}_{s}=conv({X}_{1},\dots ,{X}_{s})$, the elements ${\mathcal{C}}_{{\pi}^{\prime}}\cap {\mathcal{B}}_{s}$ of dimension s are exactly the ones with $\{{\pi}^{\prime}(i):i=1,\dots ,s\}=\{1,\dots ,s\}$. To this end, let ${C}_{{\pi}^{\prime}}\cap {\mathcal{B}}_{s}$ be of dimension s. This means there exists an element Y in this intersection such that $Y={\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}$ with ${\lambda}_{i}>0$ for all $i=1,\dots ,s$ and ${\lambda}_{i}=0$ for $i>s$. As an element of ${C}_{{\pi}^{\prime}}$, this Y has a representation of the form $Y={\sum}_{j=1}^{N}({\sum}_{k=j}^{N}\frac{{\mu}_{k}}{k}){X}_{{\pi}^{\prime}(j)}$ for ${\sum}_{k=1}^{N}{\mu}_{k}=1$ and ${\mu}_{k}\in {L}_{+}^{0}$ for every $k=1,\dots ,N$. Suppose now that there exists some ${j}_{0}\le s$ with ${\pi}^{\prime}({j}_{0})>s$. Then due to ${\lambda}_{{\pi}^{\prime}({j}_{0})}=0$ and the uniqueness of the coefficients (cf. (1.3)) in a conditional simplex, it holds that ${\sum}_{k={j}_{0}}^{N}\frac{{\mu}_{k}}{k}=0$ and within ${\sum}_{k=j}^{N}\frac{{\mu}_{k}}{k}=0$ for all $j\ge {j}_{0}$. This means $Y={\sum}_{j=1}^{{j}_{0}1}({\sum}_{k=j}^{N}\frac{{\mu}_{k}}{k}){X}_{{\pi}^{\prime}(j)}$ and hence Y is the convex combination of ${j}_{0}1$ elements with ${j}_{0}1<s$. This contradicts the property that ${\lambda}_{i}>0$ for s elements. Therefore, ${({\mathcal{C}}_{{\pi}^{\prime}}\cap {\mathcal{B}}_{s})}_{{\pi}^{\prime}}$ is exactly the barycentric subdivision of ${\mathcal{B}}_{s}$, which has been shown to fulfill the properties (i)(iii). □
Subdividing a conditional simplex $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$ barycentrically, we obtain ${({\mathcal{C}}_{\pi})}_{\pi \in {S}_{N}}$. Dividing every ${\mathcal{C}}_{\pi}$ barycentrically results in a new collection of conditional simplexes and we call this the twofold barycentric subdivision of $\mathcal{S}$. Inductively, we can subdivide every conditional simplex of the $(m1)$th step barycentrically and call the resulting collection of conditional simplexes the mfold barycentric subdivision of $\mathcal{S}$ and denote it by ${\mathcal{S}}^{m}$. Further, we define $ext({\mathcal{S}}^{m})=\sigma (\{ext(\mathcal{C}):\mathcal{C}\in {\mathcal{S}}^{m}\})$ to be the σstable hull of all extremal points of the conditional simplexes of the mfold barycentric subdivision of $\mathcal{S}$. Notice that this is the σstable hull of only finitely many elements, since there are only finitely many simplexes in the subdivision, each of which is the convex hull of N elements.
Since this holds for any $\pi \in {S}_{N}$, it follows that the diameter of ${\mathcal{S}}^{m}$, which is an arbitrary conditional simplex of the mfold barycentric subdivision of $\mathcal{S}$, fulfills $diam({\mathcal{S}}^{m})\le {(\frac{N1}{N})}^{m}diam(\mathcal{S})$. Since $diam(\mathcal{S})<\mathrm{\infty}$ and ${(\frac{N1}{N})}^{m}\to 0$, for $m\to \mathrm{\infty}$, it follows that $diam({\mathcal{S}}^{m})\to 0$ for $m\to \mathrm{\infty}$ for every sequence ${({\mathcal{S}}^{m})}_{m\in \mathbb{N}}$.
2 Brouwer fixed point theorem for conditional simplexes
for all $i\in \{1,\dots ,N\}$.
 (i)
$P(\{\omega :\varphi (X)(\omega )=i;{\lambda}_{i}(\omega )=0\phantom{\rule{0.25em}{0ex}}\mathit{\text{or}}\phantom{\rule{0.25em}{0ex}}{\mu}_{i}(\omega )>{\lambda}_{i}(\omega )\})=0$ for all $i=1,\dots ,N$,
 (ii)
$P(\{\omega :\varphi (X)(\omega )=0,\mathrm{\exists}i\in \{1,\dots ,N\},{\lambda}_{i}(\omega )>0,{\lambda}_{i}(\omega )\ge {\mu}_{i}(\omega )\})=0$,
where ${({\lambda}_{i})}_{i=1,\dots ,N}$ and ${({\mu}_{i})}_{i=1,\dots ,N}$ are determined by $X={\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}$ and $f(X)={\sum}_{i=1}^{N}{\mu}_{i}{X}_{i}$. Then ϕ is a proper labeling function.
Moreover, the set of functions fulfilling these properties is nonempty.
Assume, to the contrary, that ${\mu}_{i}>{\lambda}_{i}$ on $A\in {\mathcal{A}}_{+}$ for all ${\lambda}_{i}$ with ${\lambda}_{i}>0$ on A. Then it holds that $1={\sum}_{i=1}^{N}{\lambda}_{i}{1}_{\{{\lambda}_{i}>0\}}<{\sum}_{i=1}^{N}{\mu}_{i}{1}_{\{{\mu}_{i}>0\}}=1$ on A, which yields a contradiction. Thus, ϕ is a labeling function. Moreover, due to (i), it holds in particular that $P(\{\omega :\varphi (X)(\omega )=i,{\lambda}_{i}(\omega )=0\})=0$, which shows that ϕ is proper.
To prove the existence for $X\in ext({\mathcal{S}}^{m})$ with $X={\sum}_{i=1}^{N}{\lambda}_{i}{X}_{i}$, $f(X)={\sum}_{i=1}^{N}{\mu}_{i}$, let ${B}_{i}:=\{\omega :{\lambda}_{i}(\omega )>0\}\cap \{\omega :{\lambda}_{i}(\omega )\ge {\mu}_{i}(\omega )\}$, $i=1,\dots ,N$. Then we define the function ϕ at X as $\{\omega :\varphi (X)(\omega )=i\}={B}_{i}\setminus ({\bigcup}_{k=1}^{i1}{B}_{k})$, $i=1,\dots ,N$. It has been shown that ϕ maps to $\{1,\dots ,N\}(\mathcal{A})$ and is proper. It remains to show that ϕ is local. To this end, consider $X={\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{X}^{j}$, where ${X}^{j}={\sum}_{i=1}^{N}{\lambda}_{i}^{j}{X}_{i}$ and $f({X}^{j})={\sum}_{i=1}^{N}{\mu}_{i}^{j}{X}_{i}$. Due to uniqueness of the coefficients in a conditional simplex, it holds that ${\lambda}_{i}={\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{\lambda}_{i}^{j}$, and due to locality of f, it follows that ${\mu}_{i}={\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{\mu}_{i}^{j}$. Therefore it holds that ${B}_{i}={\bigcup}_{j\in \mathbb{N}}(\{\omega :{\lambda}_{i}^{j}(\omega )>0\}\cap \{\omega :{\lambda}_{i}^{j}(\omega )\ge {\mu}_{i}^{j}(\omega )\}\cap {A}_{j})={\bigcup}_{j\in \mathbb{N}}({B}_{i}^{j}\cap {A}_{j})$. Hence, $\varphi (X)=i$ on ${B}_{i}\setminus ({\bigcup}_{k=1}^{i1}{B}_{k})=[{\bigcup}_{j\in \mathbb{N}}({B}_{i}^{j}\cap {A}_{j})]\setminus [{\bigcup}_{k=1}^{i1}({\bigcup}_{j\in \mathbb{N}}{B}_{k}^{j}\cap {A}_{j})]={\bigcup}_{j\in \mathbb{N}}[({B}_{i}^{j}\setminus {\bigcup}_{k=1}^{i1}{B}_{k}^{j})\cap {A}_{j}]$. On the other hand, we see that ${\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}\varphi ({X}^{j})$ is i on any ${A}_{j}\cap \{\omega :\varphi ({X}^{j})(\omega )=i\}$, hence it is i on ${\bigcup}_{j\in \mathbb{N}}({B}_{i}^{j}\setminus {\bigcup}_{k=1}^{i1}{B}_{k}^{j})\cap {A}_{j}$. Thus, ${\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}\varphi ({X}^{j})=\varphi ({\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{X}^{j})$, which shows that ϕ is local. □
If we label Y by the rule explained in Lemma 2.2, ϕ takes the values $\varphi (Y)({\omega}_{1})\in \{1,2\}$ and $\varphi (Y)({\omega}_{2})=3$. Therefore, we can really distinguish on which sets ${\lambda}_{i}\ge {\mu}_{i}$. Yet, using a deterministic labeling of Y, we would lose this information.
Theorem 2.3 Let $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$ be a conditional simplex in ${({L}^{0})}^{d}$. Let further $f:\mathcal{S}\to \mathcal{S}$ be a local, sequentially continuous function. Then there exists $Y\in \mathcal{S}$ such that $f(Y)=Y$.
Proof We consider the barycentric subdivision ${({\mathcal{C}}_{\pi})}_{\pi \in {\mathrm{S}}_{N}}$ of $\mathcal{S}$ and a proper labeling function ϕ on $ext(\mathcal{S})$. First, we show that we can find a completely labeled conditional simplex in $\mathcal{S}$. By induction on the dimension of $\mathcal{S}=conv({X}_{1},\dots ,{X}_{N})$, we show that there exists a partition ${({A}_{k})}_{k=1,\dots ,K}$ such that on any ${A}_{k}$ there is an odd number of completely labeled ${\mathcal{C}}_{\pi}$. The case $N=1$ is clear since a point can be labeled with the constant index 1 only.
Suppose that the case $N1$ is proven. Since the number of ${Y}_{i}^{\pi}$ of the barycentric subdivision is finite and ϕ can only take finitely many values, it holds for all $V\in {({Y}_{i}^{\pi})}_{i=1,\dots ,N,\pi \in {\mathrm{S}}_{N}}$ that there exists a partition ${({A}_{k}^{V})}_{k=1,\dots ,K}$, $K<\mathrm{\infty}$, where $\varphi (V)$ is constant on any ${A}_{k}^{V}$. Therefore, we find a partition ${({A}_{k})}_{k=1,\dots ,K}$ such that $\varphi (V)$ on ${A}_{k}$ is constant for all V and ${A}_{k}$. Fix ${A}_{k}$ now.
In the following, we denote by ${\mathcal{C}}_{{\pi}^{b}}$ those conditional simplexes for which ${\mathcal{C}}_{{\pi}^{b}}\cap {\mathcal{B}}_{N1}$ are $N1$dimensional (cf. Lemma 1.11(iv)), therefore ${\pi}^{b}(N)=N$. Further we denote by ${\mathcal{C}}_{{\pi}^{c}}$ these conditional simplexes which are not of the type ${\mathcal{C}}_{{\pi}^{b}}$, that is, ${\pi}^{c}(N)\ne N$. If we use ${\mathcal{C}}_{\pi}$, we mean a conditional simplex of arbitrary type. We define:

$\mathcal{C}\subseteq {({\mathcal{C}}_{\pi})}_{\pi \in {\mathrm{S}}_{N}}$ to be the set of ${\mathcal{C}}_{\pi}$ which are completely labeled on ${A}_{k}$.

$\mathcal{A}\subseteq {({\mathcal{C}}_{\pi})}_{\pi \in {\mathrm{S}}_{N}}$ to be the set of Palmost completely labeled ${\mathcal{C}}_{\pi}$, that is,$\{\varphi \left({Y}_{k}^{\pi}\right),k\in \{1,\dots ,N\}\}=\{1,\dots ,N1\}\phantom{\rule{1em}{0ex}}\text{on}{A}_{k}.$

${\mathcal{E}}_{\pi}$ to be the set of intersections ${({\mathcal{C}}_{\pi}\cap {\mathcal{C}}_{{\pi}_{l}})}_{{\pi}_{l}\in {\mathrm{S}}_{N}}$ which are $N1$dimensional and completely labeled on ${A}_{k}$.^{b}

${\mathcal{B}}_{\pi}$ to be the set of intersections ${\mathcal{C}}_{\pi}\cap {\mathcal{B}}_{N1}$ which are completely labeled on ${A}_{k}$.
It holds that ${\mathcal{E}}_{\pi}\cap {\mathcal{B}}_{\pi}=\mathrm{\varnothing}$ and hence ${\mathcal{E}}_{\pi}\cup {\mathcal{B}}_{\pi}={\mathcal{E}}_{\pi}+{\mathcal{B}}_{\pi}$. Since ${\mathcal{C}}_{{\pi}^{c}}\cap {\mathcal{B}}_{N1}$ is at most $N2$dimensional, it holds that ${\mathcal{B}}_{{\pi}^{c}}=\mathrm{\varnothing}$ and hence ${\mathcal{B}}_{{\pi}^{c}}=0$. Moreover, we know that ${\mathcal{C}}_{\pi}\cap {\mathcal{C}}_{{\pi}_{l}}$ is $N1$dimensional on ${A}_{k}$ if and only if this holds on the whole Ω (cf. Lemma 1.11(iii)) and ${\mathcal{C}}_{{\pi}^{b}}\cap {\mathcal{B}}_{N1}\ne \mathrm{\varnothing}$ on ${A}_{k}$ if and only if this also holds on the whole Ω (cf. Lemma 1.11(iv)). So, it does not play any role if we look at these sets which are intersections on ${A}_{k}$ or on Ω since they are exactly the same sets.
If ${\mathcal{C}}_{{\pi}^{c}}\in \mathcal{C}$, then ${\mathcal{E}}_{{\pi}^{c}}=1$ and if ${\mathcal{C}}_{{\pi}^{b}}\in \mathcal{C}$, then ${\mathcal{E}}_{{\pi}^{b}}\cup {\mathcal{B}}_{{\pi}^{b}}=1$. If ${\mathcal{C}}_{{\pi}^{c}}\in \mathcal{A}$, then ${\mathcal{E}}_{{\pi}^{c}}=2$ and if ${\mathcal{C}}_{{\pi}^{b}}\in \mathcal{A}$, then ${\mathcal{E}}_{{\pi}^{b}}\cup {\mathcal{B}}_{{\pi}^{b}}=2$. Therefore it holds that ${\sum}_{\pi \in {\mathrm{S}}_{N}}{\mathcal{E}}_{\pi}\cup {\mathcal{B}}_{\pi}=\mathcal{C}+2\mathcal{A}$.
If we pick ${E}_{\pi}\in {\mathcal{E}}_{\pi}$, we know that there always exists exactly one other ${\pi}_{l}$ such that ${E}_{\pi}\in {\mathcal{E}}_{{\pi}_{l}}$ (Lemma 1.11(iii)). Therefore ${\sum}_{\pi \in {\mathrm{S}}_{N}}{\mathcal{E}}_{\pi}$ is even. Moreover, ${({\mathcal{C}}_{{\pi}^{b}}\cap {\mathcal{B}}_{N1})}_{{\pi}^{b}}$ subdivides ${\mathcal{B}}_{N1}$ barycentrically, and hence we can apply the inductive hypothesis (on $ext({\mathcal{C}}_{{\pi}^{b}}\cap {\mathcal{B}}_{N1})$). Indeed, the set ${\mathcal{B}}_{N1}$ is a σstable set, so if it is partitioned by the labeling function into ${({A}_{k})}_{k=1,\dots ,K}$, we know that ${\mathcal{B}}_{N1}(\mathcal{S})={\sum}_{k=1}^{K}{1}_{{A}_{k}}{\mathcal{B}}_{N1}({1}_{{A}_{k}}\mathcal{S})$ and by Lemma 1.11(iv) we can apply the induction hypothesis also to every ${A}_{k}$, $k=1,\dots ,K$. Thus, the number of completely labeled conditional simplexes is odd on a partition of Ω, but since ϕ is constant on ${A}_{k}$, it also has to be odd there. This means that ${\sum}_{{\pi}^{b}}{\mathcal{B}}_{{\pi}^{b}}$ has to be odd. Hence, we also have that ${\sum}_{\pi}{\mathcal{E}}_{\pi}\cup {\mathcal{B}}_{\pi}$ is the sum of an even and an odd number and thus odd. So, we conclude $\mathcal{C}+2\mathcal{A}$ is odd and hence also $\mathcal{C}$. Thus, we find for any ${A}_{k}$ a completely labeled ${\mathcal{C}}_{{\pi}_{k}}$.
We define ${\mathcal{S}}^{1}={\sum}_{k=1}^{K}{1}_{{A}_{k}}{\mathcal{C}}_{{\pi}_{k}}$ which by Remark 1.9 is indeed a conditional simplex. Due to σstability of $\mathcal{S}$, it holds that ${\mathcal{S}}^{1}\subseteq \mathcal{S}$. By Remark 1.12, ${\mathcal{S}}^{1}$ has a diameter which is less than $\frac{N1}{N}diam(\mathcal{S})$ and since ϕ is local, ${\mathcal{S}}^{1}$ is completely labeled on the whole Ω.
The same argumentation holds for every mfold barycentric subdivision ${\mathcal{S}}^{m}$ of $\mathcal{S}$, $m\in \mathbb{N}$, that is, there exists a completely labeled conditional simplex in every mfold barycentrically subdivided conditional simplex which is properly labeled. Henceforth, subdividing $\mathcal{S}$ mfold barycentrically and labeling it by ${\varphi}^{m}:ext({\mathcal{S}}^{m})\to \{1,\dots ,N\}(\mathcal{A})$, which is a labeling function as in Lemma 2.2, we always obtain a completely labeled conditional simplex ${\mathcal{S}}^{m+1}\subseteq \mathcal{S}$ for $m\in \mathbb{N}$. Moreover, since ${\mathcal{S}}^{1}$ is completely labeled, it holds ${\mathcal{S}}^{1}={\sum}_{k=1}^{K}{1}_{{A}_{k}}{\mathcal{C}}_{{\pi}_{k}}$ as above, where ${\mathcal{C}}_{{\pi}_{k}}$ is completely labeled on ${A}_{k}$. This means ${\mathcal{C}}_{{\pi}_{k}}=conv({Y}_{1}^{k},\dots ,{Y}_{N}^{k})$ with $\varphi ({Y}_{j}^{k})=j$ on ${A}_{k}$ for every $j=1,\dots ,N$. Defining ${V}_{j}^{1}={\sum}_{k=1}^{K}{1}_{{A}_{k}}{Y}_{j}^{k}$ for every $j=1,\dots ,N$ yields $P(\{\omega :\varphi ({V}_{j}^{1})(\omega )=j\})=1$ for every $j=1,\dots ,N$ and ${\mathcal{S}}^{1}=conv({V}_{1}^{1},\dots ,{V}_{N}^{1})$. The same holds for any $m\in \mathbb{N}$ and so that we can write ${\mathcal{S}}^{m}=conv({V}_{1}^{m},\dots ,{V}_{N}^{m})$ with $P(\{\omega :{\varphi}^{m1}({V}_{j}^{m})(\omega )=j\})=1$ for every $j=1,\dots ,N$.
Now, ${({V}_{1}^{m})}_{m\in \mathbb{N}}$ is a sequence in the sequentially closed, ${L}^{0}$bounded set $\mathcal{S}$, so that by [[1], Corollary 3.9], there exists $Y\in \mathcal{S}$ and a sequence ${({M}_{m})}_{m\in \mathbb{N}}$ in $\mathbb{N}(\mathcal{A})$ such that ${M}_{m+1}>{M}_{m}$ for all $m\in \mathbb{N}$ and ${lim}_{m\to \mathrm{\infty}}{V}_{1}^{{M}_{m}}=Y$ Palmost surely. For ${M}_{m}\in \mathbb{N}(\mathcal{A})$, ${V}_{1}^{{M}_{m}}$ is defined as ${\sum}_{n\in \mathbb{N}}{1}_{\{{M}_{m}=n\}}{V}_{1}^{n}$. This means an element with index ${M}_{m}$, for some $m\in \mathbb{N}$, equals ${V}_{1}^{n}$ on ${A}_{n}$, $n\in \mathbb{N}$, where the sets ${A}_{n}$ are determined by ${M}_{m}$ via ${A}_{n}=\{\omega :{M}_{m}(\omega )=n\}$, $n\in \mathbb{N}$. Furthermore, as m goes to ∞, $diam({S}^{m})$ is converging to zero Palmost surely, and therefore it also follows that ${lim}_{m\to \mathrm{\infty}}{V}_{k}^{{M}_{m}}=Y$ Palmost surely for every $k=1,\dots ,N$. Indeed, it holds that ${V}_{k}^{m}Y\le diam({\mathcal{S}}^{m})+{V}_{1}^{m}Y$ for every $k=1,\dots ,N$ and $m\in \mathbb{N}$, so we can use the sequence ${({M}_{m})}_{m\in \mathbb{N}}$ for every $k=1,\dots ,N$.
Let $Y={\sum}_{l=1}^{N}{\alpha}_{l}{X}_{l}$ and $f(Y)={\sum}_{l=1}^{N}{\beta}_{l}{X}_{l}$ as well as ${V}_{k}^{m}={\sum}_{l=1}^{N}{\lambda}_{l}^{m,k}{X}_{l}$ and $f({V}_{k}^{m})={\sum}_{l=1}^{N}{\mu}_{l}^{m,k}{X}_{l}$ for $m\in \mathbb{N}$. As f is local, it holds that $f({V}_{1}^{{M}_{m}})={\sum}_{n\in \mathbb{N}}{1}_{\{{M}_{m}=n\}}f({V}_{1}^{n})$. By sequential continuity of f, it follows that ${lim}_{m\to \mathrm{\infty}}f({V}_{k}^{{M}_{n}})=f(Y)$ Palmost surely for every $k=1,\dots ,N$. In particular, ${lim}_{m\to \mathrm{\infty}}{\lambda}_{l}^{{M}_{m},l}={\alpha}_{l}$ and ${lim}_{m\to \mathrm{\infty}}{\mu}_{l}^{{M}_{m},l}={\beta}_{l}$ Palmost surely for every $l=1,\dots ,N$. However, by construction, ${\varphi}^{m1}({V}_{l}^{m})=l$ for every $l=1,\dots ,N$, and from the choice of ${\varphi}^{m1}$, it follows that ${\lambda}_{l}^{m,l}\ge {\mu}_{l}^{m,l}$ Palmost surely for every $l=1,\dots ,N$ and $m\in \mathbb{N}$. Hence, ${\alpha}_{l}={lim}_{m\to \mathrm{\infty}}{\lambda}_{l}^{{M}_{m},l}\ge {lim}_{m\to \mathrm{\infty}}{\mu}_{l}^{{M}_{m},l}={\beta}_{l}$ Palmost surely for every $l=1,\dots ,N$. This is possible only if ${\alpha}_{l}={\beta}_{l}$ Palmost surely for every $l=1,\dots ,N$, showing that $f(Y)=Y$. □
3 Applications
3.1 Fixed point theorem for sequentially closed and bounded sets in ${({L}^{0})}^{d}$
Proposition 3.1 Let $\mathcal{K}$ be an ${L}^{0}$convex, sequentially closed and bounded subset of ${({L}^{0})}^{d}$, and let $f:\mathcal{K}\to \mathcal{K}$ be a local, sequentially continuous function. Then f has a fixed point.
This means, that h is the identity function on $\mathcal{K}$ and the projection on $\mathcal{K}$ for the elements in $\mathcal{S}\setminus \mathcal{K}$. Due to [[1], Corollary 4.5] this minimum exists and is unique. Therefore h is well defined.
which is the desired claim.
by (3.1), it follows that $\u3008c,h(X)h(Y)\u3009\ge 0$. Therefore, ${\parallel XY\parallel}^{2}\ge {\parallel h(X)h(Y)\parallel}^{2}$ by (3.2). This shows that h is sequentially continuous.
The function $f\circ h$ is a sequentially continuous function mapping from $\mathcal{S}$ to $\mathcal{K}\subseteq \mathcal{S}$. Hence, there exists a fixed point $f\circ h(Z)=Z$. Since $f\circ h$ maps into $\mathcal{K}$, this Z has to be in $\mathcal{K}$. But then we know $h(Z)=Z$ and therefore $f(Z)=Z$, which ends the proof. □
Remark 3.2 In Drapeau et al. [9] the concept of conditional compactness is introduced and it is shown that there is an equivalence between conditional compactness and conditional closed and boundedness in ${({L}^{0})}^{d}$. In that context we can formulate the conditional Brouwer fixed point theorem as follows. A sequentially continuous function $f:\mathcal{K}\to \mathcal{K}$ such that $\mathcal{K}$ is a conditionally compact and ${L}^{0}$convex subset of ${({L}^{0})}^{d}$ has a fixed point.
3.2 Applications in conditional analysis on ${({L}^{0})}^{d}$
Working in ${\mathbb{R}}^{d}$, the Brouwer fixed point theorem can be used to prove several topological properties and is even equivalent to some of them. In the theory of ${({L}^{0})}^{d}$, we will show that the conditional Brouwer fixed point theorem has several implications as well.
Define the unit ball in ${({L}^{0})}^{d}$ by $\mathcal{B}(d)=\{X\in {({L}^{0})}^{d}:\parallel X\parallel \le 1\}$. Then, by the former theorem, any local, sequentially continuous function $f:\mathcal{B}(d)\to \mathcal{B}(d)$ has a fixed point. The unit sphere $\mathcal{S}(d1)$ is defined as $\mathcal{S}(d1)=\{X\in {({L}^{0})}^{d}:\parallel X\parallel =1\}$.
Definition 3.3 Let $\mathcal{X}$ and $\mathcal{Y}$ be subsets of ${({L}^{0})}^{d}$. An ${L}^{0}$homotopy of two local, sequentially continuous functions $f,g:\mathcal{X}\to \mathcal{Y}$ is a jointly local, sequentially continuous function $H:\mathcal{X}\times [0,1](\mathcal{A})\to \mathcal{Y}$ such that $H(X,0)=f(X)$ and $H(X,1)=g(X)$. Jointly local means $H({\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{X}_{j},{\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}{t}_{j})={\sum}_{j\in \mathbb{N}}{1}_{{A}_{j}}H({X}_{j},{t}_{j})$ for any partition ${({A}_{j})}_{j\in \mathbb{N}}$, ${({X}_{j})}_{j\in \mathbb{N}}$ in $\mathcal{X}$ and ${({t}_{j})}_{j\in \mathbb{N}}$ in $[0,1](\mathcal{A})$. Sequential continuity of H is therefore $H({X}_{n},{t}_{n})\to H(X,t)$ whenever ${X}_{n}\to X$ and ${t}_{n}\to t$ both Palmost surely for ${X}_{n},X\in \mathcal{X}$ and ${t}_{n},t\in [0,1](\mathcal{A})$.
Lemma 3.4 The identity function of the sphere is not ${L}^{0}$homotopic to a constant function.
The proof is a consequence of the following lemma.
Lemma 3.5 There does not exist a local, sequentially continuous function $f:\mathcal{B}(d)\to \mathcal{S}(d1)$ which is the identity on $\mathcal{S}(d1)$.
Proof Suppose that there is this local, sequentially continuous function f. Define the function $g:\mathcal{S}(d1)\to \mathcal{S}(d1)$ by $g(X)=X$. Then the composition $g\circ f:\mathcal{B}(d)\to \mathcal{B}(d)$, which actually maps to $\mathcal{S}(d1)$, is local and sequentially continuous. Therefore, this has a fixed point Y which has to be in $\mathcal{S}(d1)$ since this is the image of $g\circ f$. But we know $f(Y)=Y$ and $g(Y)=Y$ and hence $g\circ f(Y)=Y$. Therefore, Y cannot be a fixed point (since $0\notin \mathcal{S}(d1)$), which is a contradiction. □
It directly follows that the identity on the sphere is not ${L}^{0}$homotopic to a constant function. In the case $d=1$, we get the following result which is the ${L}^{0}$module version of an intermediate value theorem.
Lemma 3.6 Let $X,\overline{X}\in {L}^{0}$ with $X\le \overline{X}$ and $[X,\overline{X}]:=\{Z\in {L}^{0}:X\le Z\le \overline{X}\}$. Let further $f:[X,\overline{X}]\to {L}^{0}$ be a local, sequentially continuous function and $A:=\{\omega :f(X)(\omega )\le f(\overline{X})(\omega )\}$. If Y is in $[{1}_{A}f(X)+{1}_{{A}^{c}}f(\overline{X}),{1}_{A}f(\overline{X})+{1}_{{A}^{c}}f(X)]$, then there exists $\overline{Y}\in [X,\overline{X}]$ with $f(\overline{Y})=Y$.
Proof Since f is local, it is sufficient to prove the case for $f(X)\le f(\overline{X})$ which is $A=\mathrm{\Omega}$. For the general case, we would consider A and ${A}^{c}$ separately, obtain ${1}_{A}f({\overline{Y}}_{1})={1}_{A}Y$, ${1}_{{A}^{c}}f({\overline{Y}}_{2})={1}_{{A}^{c}}Y$ and by locality we have $f({1}_{A}{\overline{Y}}_{1}+{1}_{{A}^{c}}{\overline{Y}}_{2})=Y$. So, suppose that Y is in $[f(X),f(\overline{X})]$ in the rest of the proof.
Notice that as a sum, product, and composition of local, sequentially continuous functions, g is so as well. Hence, g has a fixed point $\overline{Y}$. If $\overline{Y}=X$, it must hold that $Xf(X)+Y\le X$, which means $Y\le f(X)$, which is a contradiction. If $\overline{Y}=\overline{X}$, it follows that $f(\overline{X})\le Y$, which is also a contradiction. Hence, $\overline{Y}=\overline{Y}f(\overline{Y})+Y$, which means $f(\overline{Y})=Y$.
If $Y=f(X)$ on B and $Y=f(\overline{X})$ on C, then $f(X)<Y<f(\overline{X})$ on $D:={(B\cup C)}^{c}$. Then we find $\overline{Y}$ such that $f(\overline{Y})=Y$ on D. In total $f({1}_{B}X+{1}_{C\setminus B}\overline{X}+{1}_{D}\overline{Y})={1}_{B}f(X)+{1}_{C\setminus B}f(\overline{X})+{1}_{D}f(\overline{Y})=Y$. This shows the claim for general Y in $[f(X),f(\overline{X})]$. □
Endnotes
Let ${B}_{\pi}:=\{\omega :{\lambda}_{\pi (1)}(\omega )\ge {\lambda}_{\pi (2)}(\omega )\ge \cdots \ge {\lambda}_{\pi (N)}(\omega )\}$, $\pi \in {S}_{N}$. This finite collection of measurable sets fulfills $P({\bigcup}_{\pi \in {S}_{N}}{B}_{\pi})=1$. We can construct a partition ${({A}_{n})}_{n=1,\dots ,M}$ such that ${A}_{n}\subseteq {B}_{{\pi}_{n}}$ for some ${\pi}_{n}\in {S}_{N}$ and for all $n=1,\dots ,M$. Such a partition fulfills the required property.
That is bearing exactly the label $1,\dots ,N1$ on ${A}_{k}$.
Declarations
Acknowledgements
We thank Asgar Jamneshan for fruitful discussions. The first author was supported by MATHEON project E11. The second author was supported by Konsul Karl und Dr. Gabriele Sandmann Stiftung. The fourth author was supported by Evangelisches Studienwerk Villigst.
Authors’ Affiliations
References
 Cheridito, P, Kupper, M, Vogelpoth, N: Conditional analysis on ${\mathbb{R}}^{d}$. Preprint (2012)Google Scholar
 Filipović D, Kupper M, Vogelpoth N:Separation and duality in locally ${L}^{0}$convex modules. J. Funct. Anal. 2009, 256: 3996–4029. 10.1016/j.jfa.2008.11.015MathSciNetView ArticleGoogle Scholar
 Guo T: Relations between some basic results derived from two kinds of topologies for a random locally convex module. J. Funct. Anal. 2010, 258(9):3024–3047. 10.1016/j.jfa.2010.02.002MathSciNetView ArticleGoogle Scholar
 Border KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge; 1985.View ArticleMATHGoogle Scholar
 BharuchaReid AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 1976, 82(5):641–657. 10.1090/S000299041976140918MathSciNetView ArticleGoogle Scholar
 Shahzad N: Random fixed points of setvalued maps. Nonlinear Anal. 2001, 45: 689–692. 10.1016/S0362546X(99)004125MathSciNetView ArticleGoogle Scholar
 Fierro R, Martinez C, Morales CH: Fixed point theorems for random lower semicontinuous mappings. Fixed Point Theory Appl. 2009., 2009: Article ID 584178Google Scholar
 Cheridito, P, Horst, U, Kupper, M, Pirvu, T: Equilibrium pricing in incomplete markets under translation invariant preferences (2011, submitted)Google Scholar
 Drapeau, S, Jamneshan, A, Karliczek, M, Kupper, M: The algebra of conditional sets and the concepts of conditional topology and compactness. Preprint (2013)Google Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.