The algebraic structure of finitely generated L0(F,K)-modules and the Helly theorem in random normed modules

Let K be the scalar field of real numbers or complex numbers and L0(F,K) the algebra of equivalence classes of K-valued random variables defined on a probability space (Ω,F,P). In this paper, we first characterize the algebraic structure of finitely generated L0(F,K)-modules and then combining the recently developed separation theorem in random locally convex modules we prove the Helly theorem in random normed modules with the countable concatenation property under the framework of random conjugate spaces at the same time a simple counterexample shows that it is necessary to require the countable concatenation property.