The fundamental theorem of affine geometry in regular \(L^0\)-modules (Q2059979)

Let \((\Omega, {\mathcal F}, P)\) denote a probability space, \(L^0 ({\mathcal F})\) the algebra of equivalence classes of real-valued random variables defined on \((\Omega, {\mathcal F}, P)\), which is endowed with the usual algebraic operations on equivalence classes, and \(L^0 ({\mathcal F}, {\mathbb R}^n)\) the set of equivalence classes of random vectors from \((\Omega, {\mathcal F}, P)\) to \({\mathbb R}^n\), which forms a free \(L^0 ({\mathcal F})\)-module of rank \(n\) in a natural way. \((L^0 ({\mathcal F}), \leq)\) is a Dedekind complete lattice under the partial order defined by \(\xi \leq \eta\) iff \(\xi_0 (\omega) \leq \eta_0 (\omega)\), a.s., where \(\xi_0\) and \(\eta_0\) are respectively arbitrarily chosen representatives of \(\xi\) and \(\eta\) in \(L^0 ({\mathcal F})\). Let \(V\) and \(V'\) denote two \(L^0 ({\mathcal F})\)-modules. A mapping \(T : V \rightarrow V'\) is said to be: (1) \(L^0\)-linear if \(T\) is a module homomorphism from \(V\) to \(V'\); (2) \(L^0\)-affine if there exist an \(L^0\)-linear mapping \(S\) from \(V\) to \(V'\) and \(b \in V'\) such that \(T (x) = S(x) + b\) for any \(x \in V\); (3) stable if \(T(\tilde{I}_A x + \tilde{I}_{A^c}y) = \tilde{I}_A(x) +\tilde{I}_{A^c}(y)\) for any \(x\) and \(y\) in \(V\) and any \(A\) in \({\mathcal F}\), where \( \tilde{I}_A\) stands for the equivalence class of the characteristic function \(I_A\) of \(A\); (4) \(T\) is said to map each \(L^0\)-line segment to an \(L^0\)-line segment if \(T ([x, y]) = [T (x), T (y)]\) for any two different elements \(x\) and \(y\) in \(V\), where \([x, y] = \{\lambda x + (1-\lambda)y :\lambda \in L^0 ({\mathcal F})\) and \(0 \leq \lambda \leq 1\}\), called the \(L^0\)-line segment linking \(x\) and \(y\). \(V\) contains a free \(L^0 ({\mathcal F})\)-submodule of rank \(2\) if \(V\) contains two \(L^0 ({\mathcal F})\)-independent elements \(x\) and \(y\), which means \(\xi = \eta = 0\) for any two \(\xi\) and \(\eta\) in \(L^0 ({\mathcal F})\) such that \(\xi x + \eta y = 0\). The main result of this paper is: Let \(V\) and \(V'\) be any two regular \(L^0 ({\mathcal F})\)-modules such that \(V\) contains a free \(L^0 ({\mathcal F})\)-submodule of rank \(2\). If \(T : V \rightarrow V'\) is stable, invertible and maps each \(L^0\)-line segment to an \(L^0\)-line segment, then \(T\) is \(L^0\)-affine.