Existence theorems in probability theory
type: Item
instance of: scholarly article
title: Existence theorems in probability theory
zbMATH Open document ID: 0860.60028
author: Sergio Fajardo
author: H. Jerome Keisler
published in: Advances in Mathematics
publication date: 1997-04-21T00:00:00Z
review text: The paper suggests new important notions and methods of solving existence problems in various fields of mathematics. Existence proofs often involve arguments which verify that a sequence of approximations converges to the desired solution. The most useful tools in existence proofs are families of compact sets. The goal of the paper is to go beyond the usual case of convergence in a compact set. The authors deal with probability spaces \((\Omega,P,B,G_t)_{t\in B}\), where \(P\) is a probability measure on a \(\sigma\)-algebra \(G\), \(B\) is the set of dyadic rationals in \([0,T)\), and \((G_t)\) is a filtration or a flow of \(\sigma\)-subalgebras of \(G\). Let \(L^0(\Omega,M)\) be a metric of all \(P\)-measurable functions from \(\Omega\) into a complete separable metric space \(M\), identifying functions which are equal \(P\) -- almost surely, with the metric of convergence in probability. The key new concept is that of neocompact subset of a space \(L^0(\Omega,M)\). The notion of a neocompact set is a generalization of the notion of a compact set. It is a modification of the notion of the family of neocompact sets introduced by the second author [Ann. Pure Appl. Logic 52, No. 1/2, 99-141 (1991; Zbl 0756.60036)]. The motivation for this notion comes from nonstandard analysis. The family of neocompact sets is much larger than the family of compact sets. It provides new opportunities for proving existence theorems by approximation. Nonstandard analysis' main contribution to probability theory is the introduction of ``very rich'' spaces. With neocompact sets it becomes possible to define the notion of a rich adapted probability space in conventional terms. A theory of neometric spaces is investigated. A neometric space is a metric space endowed with a collection of neocompact sets. Then the neometric theory of sets of stochastic processes and stochastic integrals is developed. It is shown how a whole new class of optimality problems can be solved in rich probability s…
Mathematics Subject Classification ID: 60G20
Mathematics Subject Classification ID: 26E35
Mathematics Subject Classification ID: 60H10
Mathematics Subject Classification ID: 60H05
zbMATH DE Number: 915907
zbMATH Keywords: nonstandard analysis
zbMATH Keywords: neocompact
zbMATH Keywords: neoclosed
zbMATH Keywords: neometric
zbMATH Keywords: neocontinuous
zbMATH Keywords: adapted probability space
zbMATH Keywords: Brownian motion
MaRDI profile type: Publication
OpenAlex ID: W1971136131
DOI: 10.1006/AIMA.1996.0037
description: scientific article; zbMATH DE number 915907