stringtranslate.com

Medida de impulso

En la teoría de la medida , una medida de empuje hacia adelante (también conocida como push forward , push-forward o medida de imagen ) se obtiene transfiriendo ("empujando hacia adelante") una medida de un espacio medible a otro utilizando una función medible .

Definición

Dados espacios medibles y , una función medible y una medida , el empuje hacia adelante de se define como la medida dada por

para

Esta definición se aplica mutatis mutandis a una medida con signo o compleja . La medida de avance también se denota como , , , o .

Propiedades

Fórmula de cambio de variable

Teorema: [1] Una función medible g en X 2 es integrable con respecto a la medida de empuje hacia adelante f ( μ ) si y solo si la composición es integrable con respecto a la medida μ . En ese caso, las integrales coinciden, es decir,

Nótese que en la fórmula anterior .

Funcionalidad

Los empujes hacia delante de medidas permiten inducir, a partir de una función entre espacios medibles , una función entre los espacios de medidas . Como ocurre con muchas aplicaciones inducidas, esta construcción tiene la estructura de un funtor , en la categoría de espacios medibles .

Para el caso especial de medidas de probabilidad , esta propiedad equivale a la funcionalidad de la mónada de Giry .

Ejemplos y aplicaciones

Esta función iterada forma un sistema dinámico . En el estudio de estos sistemas suele ser de interés encontrar una medida μ en X que la función f no modifique, una medida denominada invariante , es decir, una medida para la que f ( μ ) =  μ .

Una generalización

En general, cualquier función medible puede ser desplazada hacia adelante. El desplazamiento hacia adelante se convierte entonces en un operador lineal , conocido como operador de transferencia u operador de Frobenius-Perron . En espacios finitos, este operador normalmente satisface los requisitos del teorema de Frobenius-Perron , y el valor propio máximo del operador corresponde a la medida invariante.

El adjunto del empuje hacia adelante es el retroceso ; como operador en espacios de funciones en espacios medibles, es el operador de composición u operador de Koopman .

Véase también

Notas

  1. ^ Secciones 3.6 a 3.7 en Bogachev 2007

Referencias