The embedding theorem of an \(L^0\)-prebarreled module into its random biconjugate space (Q2397036)

Summary: We first prove Mazur's lemma in a random locally convex module endowed with the locally \(L^0\)-convex topology. Then, we establish the embedding theorem of an \(L^0\)-prebarreled random locally convex module, which says that if \((S, \mathcal{P})\) is an \(L^0\)-prebarreled random locally convex module such that \(S\) has the countable concatenation property, then the canonical embedding mapping \(J\) of \(S\) onto \(J(S) \subset(S_s^\ast)_s^\ast\) is an \(L^0\)-linear homeomorphism, where \((S_s^\ast)_s^\ast\) is the strong random biconjugate space of \(S\) under the locally \(L^0\)-convex topology.