[논문 리뷰] The Schauder fixed point theorem in random normed modules

Tiexin Guo, Yachao Wang외 2명|arXiv (Cornell University)|2021. 04. 22.

Fixed Point Theorems Analysis인용 수 1

한 줄 요약

이 논문은 (ε,λ)-위상과 국소 L⁰-볼록 위상에서 랜덤 노름 모듈러(이하 RN 모듈러)에 대한 고전적 샤펄러 고정점 정리의 일반화를 수행한다. σ-안정 RN 모듈러에서 랜덤 순차적 컴팩트성과 랜덤 전반 유계성 사이의 등가성을 확립함으로써, 모든 σ-안정 연속 사상이 자기 자신으로부터 랜덤 순차적 컴팩트인 L⁰-볼록 닫힌 부분집합으로 사상할 경우 고정점을 가짐을 증명하며, 기존의 랜덤 고정점 정리들을 통합하고 향후 확률적 분석 및 금융 분야의 응용을 가능하게 한다.

ABSTRACT

Random normed modules (briefly, $RN$ modules) are a random generalization of ordinary normed spaces, whose $L^0$--norm induces two kinds of most useful topologies (called the $(\varepsilon,\lambda)$--topology and the locally $L^0$--convex topology). The purpose of this paper is to generalize the classical Schauder fixed point theorem to $RN$ modules under the two kinds of topologies. Motivated by the randomized version of the classical Bolzano--Weierstrass theorem, we first systematically and deeply study the random sequential compactness under the $(\varepsilon,\lambda)$--topology and random total boundedness under the locally $L^0$--convex topology for a $\sigma$--stable subset of a $\sigma$--stable $RN$ module, establishing the Hausdorff theorem on their equivalence, which allows us to construct the well defined random Schauder projection and countably many decompositions of the mapping in question so that we can prove Schauder fixed point theorem in a $\sigma$--stable $RN$ module, namely every $\sigma$--stable continuous mapping (under either of the two topologies) of a random sequentially compact closed $L^0$--convex subset into itself has a fixed point. The new fixed point theorem both unifies all the random generalizations currently available of the classical Brouwer or Schauder fixed point theorem and meets the need of the future applications of $RN$ modules to stochastic analysis and stochastic finance.

연구 동기 및 목표

• 랜덤 노름 모듈러(RN 모듈러)의 맥락에서 고전적 샤펠러 고정점 정리를 일반화하는 것.
• 특히 확률적 및 금융 응용을 고려할 때 RN 모듈러에서 종합적인 고정점 이론의 부재를 해결하는 것.
• σ-안정 RN 모듈러에서 랜덤 순차적 컴팩트성((ε,λ)-위상 하에서)과 랜덤 전반 유계성(국소 L⁰-볼록 위상 하에서) 사이의 등가성을 확립하는 것.
• 고정점 존재성을 증명하기 위해 잘 정의된 랜덤 샤펠러 사영과 사상의 가산 분해를 구성하는 것.

제안 방법

• σ-안정 RN 모듈러에서 가장 유용한 두 위상인 (ε,λ)-위상과 국소 L⁰-볼록 위상을 도입하고 분석하는 것.
• σ-안정 부분집합에 대해 (ε,λ)-위상 하에서의 랜덤 순차적 컴팩트성과 국소 L⁰-볼록 위상 하에서의 랜덤 전반 유계성을 정의하고 연구하는 것.
• σ-안정 RN 모듈러에서 랜덤 순차적 컴팩트성과 랜덤 전반 유계성 사이의 등가성을 증명하는 하우스도르프 유형 정리를 확립하는 것.
• 랜덤 샤펠러 사영을 구성하고, 사상을 가산적으로 분해하여 고정점 문제를 해결 가능한 형태로 환원하는 것.
• 확률적 맥락에서 수렴을 보장하기 위해 랜덤화된 볼차노-바이어스트라스 정리를 기본 도구로 적용하는 것.
• 모든 σ-안정 연속 사상이 자기 자신으로부터 랜덤 순차적 컴팩트인 L⁰-볼록 닫힌 부분집합으로 사상할 경우, 어느 위상(ε,λ 또는 국소 L⁰-볼록)에서도 고정점을 가짐을 증명하는 것.

실험 결과

연구 질문

• RQ1 고전적 샤펠러 고정점 정리는 (ε,λ)-위상과 국소 L⁰-볼록 위상 하에서 랜덤 노름 모듈러로 일반화될 수 있는가?
• RQ2 σ-안정 RN 모듈러에서 랜덤 순차적 컴팩트성과 랜덤 전반 유계성 사이의 관계는 무엇인가?
• RQ3 이 확률적 프레임워크에서 잘 정의된 랜덤 샤펠러 사영을 어떻게 구성할 수 있는가?
• RQ4 RN 모듈러의 닫힌 L⁰-볼록 부분집합에서 정의된 σ-안정 연속 사상이 고정점을 가지는 조건은 무엇인가?
• RQ5 이 새로운 고정점 정리는 기존의 브라우어 및 샤펠러 정리의 랜덤 일반화를 어느 정도 통합하는가?

주요 결과

• σ-안정 RN 모듈러의 σ-안정 부분집합에 대해 (ε,λ)-위상 하에서의 랜덤 순차적 컴팩트성과 국소 L⁰-볼록 위상 하에서의 랜덤 전반 유계성 사이의 등가성이 엄밀히 증명되었다.
• 잘 정의된 랜덤 샤펠러 사영이 구성되었으며, 이는 사상의 가산적 구성요소로 분해 가능하게 하였다.
• 모든 σ-안정 연속 사상이 자기 자신으로부터 랜덤 순차적 컴팩트인 L⁰-볼록 닫힌 부분집합으로 사상할 경우, (ε,λ)-위상 또는 국소 L⁰-볼록 위상 하에서 고정점을 가진다.
• 이 새로운 고정점 정리는 현재까지 알려진 모든 랜덤 일반화된 고전적 브라우어 및 샤펠러 고정점 정리를 통합한다.
• 결과적으로 이 정리는 향후 RN 모듈러 프레임워크 내에서의 확률적 분석 및 확률적 금융 응용을 위한 기초 도구를 제공한다.
• 증명은 확률적 맥락에서 수렴을 보장하기 위해 랜덤화된 볼차노-바이어스트라스 정리를 기반으로 한다.