The fundamental theorem of affine geometry in regular L^0-modules

DOI10.1016/J.JMAA.2021.125827MaRDI QIDQ2059979zbMATH OpenOpenAlexFDO

Authors Mingzhi Wu, Long Long, Tiexin Guo

Publication date 13 December 2021

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.08625

zbMATH Keywords

\(L^0\)-affine mappingsfundamental theorem of affine geometryregular \(L^0\)-modulesstable mappings

Mathematics Subject Classification ID

Ordered topological linear spaces, vector lattices (46A40) Functional calculus in topological algebras (46H30) Homomorphism, automorphism and dualities in linear incidence geometry (51A10)

Abstract: Let $(Omega,mathcalF,P)$ be a probability space and $L^0(mathcalF)$ the algebra of equivalence classes of real-valued random variables defined on $(Omega,mathcalF,P)$. A left module $M$ over the algebra $L^0(mathcalF)$(briefly, an $L^0(mathcalF)$-module) is said to be regular if $x=y$ for any given two elements $x$ and $y$ in $M$ such that there exists a countable partition $A_n,ninmathbbN$ of $Omega$ to $mathcalF$ such that ${ildeI}_{A_n}cdotx={ildeI}_{A_n}cdoty$ for each $ninmathbbN$, where $I_{A_n}$ is the characteristic function of $A_n$ and ${ildeI}_{A_n}$ its equivalence class. The purpose of this paper is to establish the fundamental theorem of affine geometry in regular $L^0(mathcalF)$-modules: let $V$ and $V^{p}rime$ be two regular $L^0(mathcalF)$-modules such that $V$ contains a free $L^0(mathcalF)$-submodule of rank $2$, if $T:Vo{V}^{p}rime$ is stable and invertible and maps each $L^0$-line segment to an $L^0$-line segment, then $T$ must be $L^0$-affine.

Review text

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.

Recommendations

• The algebraic structure of finitely generated L^0( F, K)-modules and the Helly theorem in random normed modules
• An \(L^0(\mathcal F,\mathbb R)\)-valued function's intermediate value theorem and its applications to random uniform convexity
• On non-L^0-linear perturbations of random isometries in random normed modules
• \(L^0\)-convex compactness and random normal structure in \(L^0(\mathcal{F}, B)\)
• On the kernel space for an \(L^0\)-linear function

Cites work

• L^0-convex compactness and its applications to random convex optimization and random variational inequalities
• Affine geometry of modules over a ring with an invariant basis number
• Farkas' lemma in random locally convex modules and Minkowski-Weyl type results in L^0( F,R^n)
• Fundamental theorem of geometry without the 1-to-1 assumption
• scientific article; zbMATH DE number 1619455 (Why is no real title available?)
• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• scientific article; zbMATH DE number 193020 (Why is no real title available?)
• On random convex analysis
• Order preserving and order reversing operators on the class of convex functions in Banach spaces
• Relations between some basic results derived from two kinds of topologies for a random locally convex module
• Some remarks on the invariant basis property
• The algebraic structure of finitely generated L^0( F, K)-modules and the Helly theorem in random normed modules
• The concept of duality in convex analysis, and the characterization of the Legendre transform
• The relations among the three kinds of conditional risk measures
• Two fixed point theorems in complete random normed modules and their applications to backward stochastic equations

Cited in

(8)

• Affine geometry of modules over a ring with an invariant basis number
• Fundamentalsatz für affine Räume über Moduln
• scientific article; zbMATH DE number 892117 (Why is no real title available?)
• The algebraic structure of finitely generated L^0( F, K)-modules and the Helly theorem in random normed modules
• Trotter–Kato approximations of semilinear stochastic evolution equations in Hilbert spaces
• The relations among the notions of various kinds of stability and their applications
• Common fixed point theorems for a commutative family of nonexpansive mappings in complete random normed modules
• A noncompact Schauder fixed point theorem in random normed modules and its applications

This page was built for publication: The fundamental theorem of affine geometry in regular \(L^0\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2059979)