Loeb space

From HandWiki - Reading time: 2 min


In mathematics, a Loeb space is a type of measure space introduced by Loeb (1975) using nonstandard analysis.

Construction

Loeb's construction starts with a finitely additive map ν from an internal algebra 𝒜 of sets to the nonstandard reals. Define μ to be given by the standard part of ν, so that μ is a finitely additive map from 𝒜 to the extended reals . Even if 𝒜 is a nonstandard σ-algebra, the algebra 𝒜 need not be an ordinary σ-algebra as it is not usually closed under countable unions. Instead the algebra 𝒜 has the property that if a set in it is the union of a countable family of elements of 𝒜, then the set is the union of a finite number of elements of the family, so in particular any finitely additive map (such as μ) from 𝒜 to the extended reals is automatically countably additive. Define to be the σ-algebra generated by 𝒜. Then by Carathéodory's extension theorem the measure μ on 𝒜 extends to a countably additive measure on , called a Loeb measure.

References




Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Loeb_space
47 views | Status: cached on October 19 2025 01:53:18
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF