# Loeb measure

Welcome to MedLibrary.org. For best results, we recommend beginning with the navigation links at the top of the page, which can guide you through our collection of over 14,000 medication labels and package inserts. For additional information on other topics which are not covered by our database of medications, just enter your topic in the search box below:

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

## Construction

Loeb's construction starts with a finitely additive map ν from an internal algebra A of sets to the non-standard reals. Define μ to be given by the standard part of ν, so that μ is a finitely additive map from A to the extended reals R∪∞∪–∞. Even if A is a non-standard σ-algebra, the algebra A need not be an ordinary σ-algebra as it is not usually closed under countable unions. Instead the algebra A has the property that if a set in it is the union of a countable family of elements of A, 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 A to the extended reals is automatically countably additive. Define M to be the σ-algebra generated by A. Then by Carathéodory's extension theorem the measure μ on A extends to a countably additive measure on M, called a Loeb measure.