stringtranslate.com

espacio de loeb

En matemáticas, un espacio de Loeb es un tipo de espacio de medida introducido por Loeb  (1975) mediante análisis no estándar .

Construcción

La construcción de Loeb comienza con un mapa finitamente aditivo de un álgebra interna de conjuntos a los reales no estándar . Defina que está dado por la parte estándar de , por lo que es un mapa finitamente aditivo desde los reales extendidos . Incluso si es un álgebra no estándar , no es necesario que sea un álgebra ordinaria, ya que generalmente no está cerrada bajo uniones contables. En cambio, el álgebra tiene la propiedad de que si un conjunto es la unión de una familia contable de elementos de , entonces el conjunto es la unión de un número finito de elementos de la familia, por lo que, en particular, cualquier aplicación finitamente aditiva (como ) desde hasta los reales extendidos es automáticamente aditivo contable. Definir como el álgebra generada por . Luego, según el teorema de extensión de Carathéodory, la medida en se extiende a una medida contablemente aditiva en , llamada medida de Loeb.

Referencias

enlaces externos