stringtranslate.com

Espacio de Loeb

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

Construcción

La construcción de Loeb comienza con una función finitamente aditiva de un álgebra interna de conjuntos a los reales no estándar . Defina como dada por la parte estándar de , de modo que es una función finitamente aditiva de a los reales extendidos . Incluso si es un -álgebra no estándar , el álgebra no necesita ser un -álgebra ordinaria ya que no suele estar cerrada bajo uniones contables. En cambio, el álgebra tiene la propiedad de que si un conjunto en ella 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, de modo que en particular cualquier función finitamente aditiva (como ) de a los reales extendidos es automáticamente contablemente aditiva. Defina como el -álgebra generada por . Luego, por 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