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 un mapa finitamente aditivo .de un álgebra internade conjuntos a los reales no estándar . Definirser dado por la parte estándar de, de modo quees una aplicación finitamente aditiva dea los reales extendidos. Incluso sies un no estándar-álgebra , el álgebrano tiene por qué ser una persona común y corriente-álgebra ya que no suele ser cerrada bajo uniones numerables. En cambio, el álgebratiene la propiedad de que si un conjunto en él 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) deLa suma de los números reales extendidos es automáticamente numerablemente aditiva. Definirser el-álgebra generada por. Entonces, por el teorema de extensión de Carathéodory, la medidaense extiende a una medida aditiva contable en, denominada medida Loeb.
Referencias
- Cutland, Nigel J. (2000), Medidas de Loeb en la práctica: avances recientes , Lecture Notes in Mathematics, vol. 1751, Berlín, Nueva York: Springer-Verlag , doi : 10.1007/b76881 , ISBN 978-3-540-41384-4, MR 1810844
- Goldblatt, Robert (1998), Lectures on the hyperreals , Graduate Texts in Mathematics, vol. 188, Berlín, Nueva York: Springer-Verlag , doi : 10.1007/978-1-4612-0615-6 , ISBN 978-0-387-98464-3, MR 1643950
- Loeb, Peter A. (1975). "Conversión de espacios de medida no estándar a estándar y aplicaciones en teoría de la probabilidad" . Transactions of the American Mathematical Society . 211 : 113–22 . doi : 10.2307/1997222 . ISSN 0002-9947 . JSTOR 1997222. MR 0390154 .
Enlaces externos
- Página principal de Peter Loeb
- teoría de la medida
- Análisis no estándar