The relation of Banach-Alaoglu theorem and Banach-Bourbaki-Kakutani-Šmulian theorem in complete random normed modules to stratification structure

Abstract

Let (Ω, A, μ) be a probability space, K the scalar field R of real numbers or C of complex numbers,and (S, X ) a random normed space over K with base (Ω, A, μ). Denote the support of (S, X ) by E, namely E is the essential supremum of the set {A ∈ A : there exists an element p in S such that Xp(ω) > 0 for almost all ω in A}. In this paper, Banach-Alaoglu theorem in a random normed space is first established as follows: The random closed unit ball S * (1) = {f ∈ S * : X * f 1} of the random conjugate space (S * , X * ) of (S, X ) is compact under the random weak star topology on (S * , X * ) iff E A=: {E A | A ∈ A} is essentially purely μ-atomic (namely, there exists a disjoint family {An : n ∈ N } of at most countably many μ-atoms from E A such that E = ∞ n=1 An and for each element F in E A, there is an H in the σ-algebra generated by {An : n ∈ N } satisfying μ(F H) = 0), whose proof forces us to provide a key topological skill, and thus is much more involved than the corresponding classical case. Further, Banach-Bourbaki-Kakutani-Šmulian (briefly, BBKS) theorem in a complete random normed module is established as follows: If (S, X ) is a complete random normed module, then the random closed unit ball S(1) = {p ∈ S : Xp 1} of (S, X ) is compact under the random weak topology on (S, X ) iff both (S, X ) is random reflexive and E A is essentially purely μ-atomic. Our recent work shows that the famous classical James theorem still holds for an arbitrary complete random normed module, namely a complete random normed module is random reflexive iff the random norm of an arbitrary almost surely bounded random linear functional on it is attainable on its random closed unit ball, but this paper shows that the classical Banach-Alaoglu theorem and BBKS theorem do not hold universally for complete random normed modules unless they possess extremely simple stratification structure, namely their supports are essentially purely μ-atomic. Combining the James theorem and BBKS theorem in complete random normed modules leads directly to an interesting phenomenum: there exist many famous classical propositions that are mutually equivalent in the case of Banach spaces, some of which remain to be mutually equivalent in the context of arbitrary complete random normed modules, whereas the other of which are no longer equivalent to another in the context of arbitrary complete random normed modules unless the random normed modules in question possess extremely simple stratification structure. Such a phenomenum is, for the first time, discovered in the course of the development of random metric theory.Keywords: random normed module, random reflexivity, random weak star compactness, random weak compactness, stratification structure MSC(2000): 46A16, 46H25, 46B10, 54E45, 54E70

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

“…Based on the new version of an R N space we presented a definitive definition of the random conjugate space for an R N space, further the deep development of the theory of random conjugate spaces led us to present the notion of a random normed module (briefly, an R N module) in [10], which is the elaboration of the notion of the original R N module introduced in [11]. With the notions of R N modules and their random conjugate spaces at hand, we have developed deeply and systematically the theory of R N modules under the (ε, λ)-topology [12][13][14][15][16]. An interesting phenomenon is: some classical theorems such as the Riesz's representation theorem in Hilbert spaces and the James theorem in Banach spaces still hold in complete random inner product modules (briefly, R I P modules) and complete R N modules, respectively [13,15], whereas others such as the classical Banach-Alaoglu theorem and Banach-Bourbaki-Kakutani-Šmulian theorem do not universally hold in our random setting [16].…”

Weak topologies for modules over rings of bounded random variables

“…to a weak*-weak* topology on E , we get a module analogy to the Alaoglu-Bourbaki theorem in Section 12. Theorems of this kind can also be found in [20]. Finally, we give in Section 13 a module version of Goldstine's theorem and a characterization of reflexive Banach λ-modules.…”

von Neumann’s mean ergodic theorem on complete random inner product modules

“…In the last ten years, the theory of RN modules together with their random conjugate spaces have obtained systematic and deep developments [8,9,[11][12][13][14][15][16][17][18][19][20]. In particular, the recently developed L 0 -convex analysis, which has been a powerful tool for the study of conditional risk measures, is just based on the theory of RN modules together with their random conjugate spaces [5,12,13].…”