Table of Contents
Fetching ...

The random Kakutani fixed point theorem in random normed modules

Qiang Tu, Xiaohuan Mu, Tiexin Guo, Guang Yang, Yuanyuan Sun

TL;DR

The paper addresses the existence of fixed points for set-valued mappings on random sequentially compact, $L^{0}$-convex subsets of random normed modules (RN modules). It develops a random Schauder projection framework and leverages a noncompact Schauder fixed point theorem to prove a random Kakutani fixed point theorem, extending the classical Kakutani result to the random setting and generalizing the noncompact Schauder theorem to RN modules. The main result establishes that a $\sigma$-stable $\mathcal{T}_{c}$-upper semicontinuous set-valued map with closed, $L^{0}$-convex values has a fixed point on a random sequentially compact $L^{0}$-convex domain. This provides a foundational fixed point tool in random functional analysis with potential applications to stochastic equilibria and random optimization. The work connects random sequential compactness, random total boundedness, and stable concatenation techniques to extend classical fixed point theory into the RN-module framework, enabling new avenues in stochastic analysis and dynamic games under uncertainty.

Abstract

Based on the recently developed theory of random sequential compactness, we prove the random Kakutani fixed point theorem in random normed modules: if G is a random sequentially compact L0-convex subset of a random normed module, then every -stable Tc-upper semicontinuous mapping F:G to 2G such that F(x) is closed and L0-convex for each x in G, has a fixed point. This is the first fixed point theorem for set-valued mappings in random normed modules, providing a random generalization of the classical Kakutani fixed point theorem as well as a set-valued extension of the noncompact Schauder fixed point theorem established in Math. Ann. 391(3), 3863--3911 (2025).

The random Kakutani fixed point theorem in random normed modules

TL;DR

The paper addresses the existence of fixed points for set-valued mappings on random sequentially compact, -convex subsets of random normed modules (RN modules). It develops a random Schauder projection framework and leverages a noncompact Schauder fixed point theorem to prove a random Kakutani fixed point theorem, extending the classical Kakutani result to the random setting and generalizing the noncompact Schauder theorem to RN modules. The main result establishes that a -stable -upper semicontinuous set-valued map with closed, -convex values has a fixed point on a random sequentially compact -convex domain. This provides a foundational fixed point tool in random functional analysis with potential applications to stochastic equilibria and random optimization. The work connects random sequential compactness, random total boundedness, and stable concatenation techniques to extend classical fixed point theory into the RN-module framework, enabling new avenues in stochastic analysis and dynamic games under uncertainty.

Abstract

Based on the recently developed theory of random sequential compactness, we prove the random Kakutani fixed point theorem in random normed modules: if G is a random sequentially compact L0-convex subset of a random normed module, then every -stable Tc-upper semicontinuous mapping F:G to 2G such that F(x) is closed and L0-convex for each x in G, has a fixed point. This is the first fixed point theorem for set-valued mappings in random normed modules, providing a random generalization of the classical Kakutani fixed point theorem as well as a set-valued extension of the noncompact Schauder fixed point theorem established in Math. Ann. 391(3), 3863--3911 (2025).

Paper Structure

This paper contains 4 sections, 9 theorems, 35 equations.

Key Result

Proposition 2.5

Let $(E,\|\cdot\|)$ be an $RN$ module over $\mathbb{K}$ with base $(\Omega,\mathcal{F},P)$ and $G$ be a nonempty subset of $E$. Then we have the following:

Theorems & Definitions (31)

  • Definition 2.1: Guo1992Guo1993
  • Definition 2.2: Guo2010
  • Definition 2.3: FKV2009
  • Definition 2.4: Guo2010
  • Proposition 2.5: Guo2010
  • Remark 2.6
  • Definition 2.7: GWXYC2025
  • Definition 2.8
  • Definition 2.8
  • Theorem 2.9
  • ...and 21 more