The Embedding Theorem of an L0-Prebarreled Module into Its Random Biconjugate Space

We first prove mazur's lemma in a random locally convex module endowed with the locally l0-convex topology. then,we establish the embedding theorem of an l0-prebarreled random locally convex module,which says that if (s,p) is an l0-prebarreled random locally convex module such that s has the countable concatenation property,then the canonical embedding mapping j of s onto j(s)⊂(s∗s)∗s is an l0-linear homeomorphism,where (s∗s)∗s is the strong random biconjugate space of s under the locally l0-convex topology. © 2017 xia zhang and ming liu.